|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 266 occurrences of 175 keywords
|
|
|
|
|
Results
Found 2058 publication records. Showing 2058 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 14 | Jiale Chen, Duc Van Le, Rui Tan 0001, Daren Ho |
BubCam: A Vision System for Automated Quality Inspection at Manufacturing Lines.  |
ICCPS  |
2023 |
DBLP DOI BibTeX RDF |
|
| 14 | Akash Bhattacharya, Sunandan Adhikary, Ipsita Koley, Anirban Majumder, Soumyajit Dey |
Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical Systems. |
ICCPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 14 | Yixuan Wang 0001, Simon Sinong Zhan, Zhilu Wang, Chao Huang 0015, Zhaoran Wang 0001, Zhuoran Yang, Qi Zhu 0002 |
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. |
ICCPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 14 | Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque |
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. |
ICCPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 14 | Yilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, Zhihao Jiang |
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation. |
ICCPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 14 | Qitong Gao, Stephen L. Schmidt, Afsana Chowdhury, Guangyu Feng, Jennifer J. Peters, Katherine Genty, Warren M. Grill, Dennis A. Turner, Miroslav Pajic |
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. |
ICCPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 14 | Aniruddha Bhattacharjya |
A Holistic Study on the Use of Blockchain Technology in CPS and IoT Architectures Maintaining the CIA Triad in Data Communication. |
Int. J. Appl. Math. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Laavanya Rachakonda, Anand K. Bapatla, Saraju P. Mohanty, Elias Kougianos |
BACTmobile: A Smart Blood Alcohol Concentration Tracking Mechanism for Smart Vehicles in Healthcare CPS Framework. |
SN Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | R. Priyadarshini, Abdul Quadir Muhammed 0001, N. Rajendran, Neelanarayanan Venkataraman, H. Sabireen |
An enhanced encryption-based security framework in the CPS Cloud. |
J. Cloud Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Ramesh Sekaran, Ashok Kumar Munnangi, Sivaram Rajeyyagari, Manikandan Ramachandran, Fadi M. Al-Turjman |
Ant colony resource optimization for Industrial IoT and CPS. |
Int. J. Intell. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Riya Kakkar, Rajesh Gupta 0007, Mohammad Dahman Alshehri, Sudeep Tanwar, Amit Dua, Neeraj Kumar 0001 |
Block-CPS: Blockchain and Non-Cooperative Game-Based Data Pricing Scheme for Car Sharing. |
IEEE Internet Things J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Zakir Ahmad Sheikh, Yashwant Singh, Pradeep Kumar Singh 0001, Kayhan Zrar Ghafoor |
Intelligent and secure framework for critical infrastructure (CPS): Current trends, challenges, and future scope. |
Comput. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Mohamed Azab, Mohamed Samir, Effat Samir |
"MystifY": A proactive Moving-Target Defense for a resilient SDN controller in Software Defined CPS. |
Comput. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Manash Kumar Mondal, Riman Mandal, Sourav Banerjee, Utpal Biswas, Pushpita Chatterjee, Waleed S. Alnumay |
A CPS based social distancing measuring model using Edge and Fog computing. |
Comput. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Senthil Murugan Nagarajan 0001, Ganesh Gopal Deverajan, Ali Kashif Bashir, Rajendra Prasad Mahapatra, Mohammed S. Al-Numay |
IADF-CPS: Intelligent Anomaly Detection Framework towards Cyber Physical Systems. |
Comput. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Kunpeng Wang, Wenjing Lu, Hao Zhou, Juan Yao |
Speech Enhancement Model Synthesis Based on Federal Learning for Industrial CPS in Multiple Noise Conditions. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Burak Karaduman, Baris Tekin Tezel, Moharram Challenger |
Enhancing BDI Agents Using Fuzzy Logic for CPS and IoT Interoperability Using the JaCa Platform. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Cancan Wang, Qing Geng, Fucai Liu, Meng Han |
Interval type-2 T-S fuzzy MPC for CPS under hybrid attacks over a multi-channel framework. |
J. Frankl. Inst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | David Garcia Rosado, Antonio Santos-Olmo, Luis Enrique Sánchez, Manuel A. Serrano, Carlos Blanco 0001, Haralambos Mouratidis, Eduardo Fernández-Medina |
Managing cybersecurity risks of cyber-physical systems: The MARISMA-CPS pattern. |
Comput. Ind. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Yi-De Wu, Ming-Feng Ge, Zhi-Wei Liu, Wen-Yi Zhang, Wei Wei 0007 |
Distributed CPS-Based Secondary Control of Microgrids With Optimal Power Allocation and Limited Communication. |
IEEE Trans. Smart Grid |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Yunkai Bai, Jungmin Park, Mark M. Tehranipoor, Domenic Forte |
Real-time instruction-level verification of remote IoT/CPS devices via side channels. |
Discov. Internet Things |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Li Zhao, Wei Li 0113, Yajie Li |
Research on Dual Security Control for a Non-Linear CPS with Multi-Objective Constraints under DoS Attack and Actuator Fault: An Active-Passive Attack-Tolerant Approach. |
J. Control. Sci. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Zigui Jiang, Kai Chen, Hailin Wen, Zibin Zheng |
Applying blockchain-based method to smart contract classification for CPS applications. |
Digit. Commun. Networks |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Yuzhe Li, Yake Yang, Tianyou Chai, Tongwen Chen |
Stochastic detection against deception attacks in CPS: Performance evaluation and game-theoretic analysis. |
Autom. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Ander García, Xabier Oregui, Unai Arrieta, Iñigo Valverde |
Methodology and Tools to Integrate Industry 4.0 CPS into Process Design and Management: ISA-88 Use Case. |
Inf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Silvio Ereno Quincozes, Daniel Mossé, Diego G. Passos 0001, Célio Vinicius N. de Albuquerque, Luiz Satoru Ochi, Vinícius Figueiredo dos Santos |
On the Performance of GRASP-Based Feature Selection for CPS Intrusion Detection. |
IEEE Trans. Netw. Serv. Manag. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li |
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Julian L. Rrushi |
Physics-Driven Page Fault Handling for Customized Deception against CPS Malware. |
ACM Trans. Embed. Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | |
CPS-MEBR: Click Feedback-Aware Web Page Summarization for Multi-Embedding-Based Retrieval. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Yong-Jun Shin, Donghwan Shin 0001, Doo-Hwan Bae |
Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Yongzhi Huang, Hanwen Zhang, Yan Yan, Haseeb Hassan, Bingding Huang |
3D Cross Pseudo Supervision (3D-CPS): A semi-supervised nnU-Net architecture for abdominal organ segmentation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Ziaur Rahman 0003, Xun Yi, Ibrahim Khalil |
Blockchain based AI-enabled Industry 4.0 CPS Protection against Advanced Persistent Threat. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
| 14 | Xinwen Fu |
A Unified View of IoT And CPS Security and Privacy. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin |
Plant model generation from event log using ProM for formal verification of CPS. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Zhaoyang Qu, Xiaoyong Bo, Tong Yu, Yaowei Liu, Yunchang Dong, Zhongfeng Kan, Lei Wang, Yang Li |
Active and Passive Hybrid Detection Method for Power CPS False Data Injection Attacks with Improved AKF and GRU-CNN. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
| 14 | Anne Remke, Dung Hoang Tran (eds.) |
Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021. |
SNR |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Junyi Liu, Yifu Tang, Haimeng Zhao, Xieheng Wang, Fangyu Li, Jingyi Zhang |
CPS Attack Detection under Limited Local Information in Cyber Security: A Multi-node Multi-class Classification Ensemble Approach. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Jürgen Dobaj, Andreas Riel, Thomas Krug, Matthias Seidl, Georg Macher, Markus Egretzberger |
Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation & Verification at Runtime. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Jarkko Peltomäki, Frankie Spencer, Ivan Porres |
WOGAN at the SBST 2022 CPS Tool Competition. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Lingxiang Yun, Shuaiyin Ma, Lin Li, Yang Liu |
CPS-enabled and knowledge-aided demand response strategy for sustainable manufacturing. |
Adv. Eng. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Hengjun Zhao, Quanzhong Li 0005, Xia Zeng, Zhiming Liu 0001 |
Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. |
Int. J. Softw. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Ziaur Rahman 0003, Xun Yi, Ibrahim Khalil |
Blockchain based AI-enabled Industry 4.0 CPS Protection against Advanced Persistent Threat. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
| 14 | Vinay Chakravarthi Gogineni, Stefan Werner 0001, François Gauthier 0002, Yih-Fang Huang, Anthony Kuh |
Personalized Online Federated Learning for IoT/CPS: Challenges and Future Directions. |
IEEE Internet Things Mag. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Junsup Song, Dimitris Karagiannis, Moonkun Lee |
Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Mohammed Amin Almaiah, Fahima Hajjej, Aitizaz Ali, Muhammad Fermi Pasha, Omar Almomani |
A Novel Hybrid Trustworthy Decentralized Authentication and Data Preservation Model for Digital Healthcare IoT Based CPS. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Xiao Wang 0002, Jing Yang, Jinpeng Han, Wei Wang, Fei-Yue Wang 0001 |
Metaverses and DeMetaverses: From Digital Twins in CPS to Parallel Intelligence in CPSS. |
IEEE Intell. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Haisheng Yu 0001, Heng Qi, Keqiu Li |
A powerful software-defined cyber-physical system to expand CPS adoption. |
Softw. Pract. Exp. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Hao Peng 0002, Zhe Kan, Can Liu, Thar Baker, Dandan Zhao |
Risk Assessment of CPS Composed of Edge Consumer Electronics Under Intentional Attack. |
IEEE Consumer Electron. Mag. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Silvio E. Quincozes, Diego G. Passos 0001, Célio Vinicius N. de Albuquerque, Daniel Mossé, Luiz Satoru Ochi |
An extended assessment of metaheuristics-based feature selection for intrusion detection in CPS perception layer. |
Ann. des Télécommunications |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Naman Patel, Prashanth Krishnamurthy, Hussam Amrouch, Jörg Henkel, Michael Shamouilian, Ramesh Karri, Farshad Khorrami |
Towards a New Thermal Monitoring Based Framework for Embedded CPS Device Security. |
IEEE Trans. Dependable Secur. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Hebert de Oliveira Silva |
CSAI-4-CPS: A Cyber Security characterization model based on Artificial Intelligence For Cyber Physical Systems. |
DSN (Supplements) |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Earlence Fernandes, Cristina Alcaraz (eds.) |
Proceedings of the 4th Workshop on CPS & IoT Security and Privacy, CPSIOTSEC@CCS 2022, Los Angeles, CA, USA, 7 November 2022 |
CPSIOTSEC@CCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Earlence Fernandes, Cristina Alcaraz |
CPSIoTSec '22: 4th Workshop on CPS & IoT Security and Privacy. |
CCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Elisa Bertino, Ravi S. Sandhu, Bhavani Thuraisingham, Indrakshi Ray, Wenjia Li, Maanak Gupta, Sudip Mittal |
Security and Privacy for Emerging IoT and CPS Domains. |
CODASPY |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Ji-Young Oh, Claudia Raibulet, Joran Leest |
Analysis of MAPE-K Loop in Self-adaptive Systems for Cloud, IoT and CPS. |
ICSOC Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Jürgen Dobaj, Andreas Riel, Thomas Krug, Matthias Seidl, Georg Macher, Markus Egretzberger |
Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation & Verification at Runtime. |
SEAMS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Guillaume Roumage, Selma Azaiez, Stéphane Louise |
A survey of main dataflow MoCCs for CPS design and verification. |
MCSoC |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Mohsin Shan, Omer Khan |
HD-CPS: Hardware-assisted Drift-aware Concurrent Priority Scheduler for Shared Memory Multicores. |
HPCA |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Zhenyong Zhang, Xin Che, Xuguo Jiao, Wanke Yu, Liang Wan |
Quadratic Optimization Using Additive Homomorphic Encryption in CPS. |
ASCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Mingfu Tuo, Xiaoqiang Zhao, Bo Shen, Wenliang Wu |
Modeling and Real-Time Verification for CPS based on Time Automata. |
QRS Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Li-Fang Zhou, Ping-Ping Zeng, Li-Hua Zhou, Kang Min, Bo Wei, Yu-Sheng Wang |
Factors influencing out of pocket ratio to CPS among NPC patients in Guangxi: 2014-2020. |
HPCC/DSS/SmartCity/DependSys |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Jarkko Peltomäki, Frankie Spencer, Ivan Porres |
WOGAN at the SBST 2022 CPS Tool Competition. |
SBST@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav |
Search-based Testing for Accurate Fault Localization in CPS. |
ISSRE |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Perla Tannoury, Samir Chouali, Ahmed Hammad |
Model Driven Approach to Design an Automotive CPS with SysReo Language. |
MobiWac |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Peter Waher, Kristjan Araoz, Pablo Pulgar R., Daniel Moström |
Tokenization of sustainable real estate in Smart Cities : Monetization as basis for construction, authorization and carbon neutralization in CPS. |
IECON |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Xuanzhao Lu, Qimin Xu, Jinglong Zhang, Cailian Chen |
Joint Design of Control and Transmission for Industrial CPS under Time Sensitive Networking. |
IECON |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo |
Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems. |
DoCEIS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Meihan Lin, Qimin Xu, Xuanzhao Lu, Jinglong Zhang, Cailian Chen |
Control and Transmission Co-design for Industrial CPS Integrated with Time-Sensitive Networking. |
SMC |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Branko Brkljac, Boris Antic, Zoran Mitrovic |
Potential of embedded vision platforms in development of spatial AI enabled CPS. |
MECO |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Jongwoo Han, Chang-Gun Lee, Sanjoy K. Baruah |
Improved Results for Guaranteeing Safety Despite Physical Errors in CPS's. |
RTSS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Weipeng Wang, Xiaobing Li, Cong Jin, Di Lu, Qingwen Zhou, Yun Tie |
CPS: Full-Song and Style-Conditioned Music Generation with Linear Transformer. |
ICME Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Hamid Boukerrou, Gilles Millerioux, Marine Minier |
Towards a new design of ciphers to secure CPS: the role of control theory. |
ICSTCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Ren Lou, Jiacheng Zhang, Lei Zhang 0110, Qiang Hong, Yueqi Zhou, Xinghua Li |
Research on highway CPS-T of wide area communication and data cloud. |
HP3C |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Mohamed Madani Hafidi, Meriem Djezzar, Mounir Hemam, Zianou Ahmed Seghir, Moufida Maimour |
Semantic Models and Machine Learning Approach in CPS : a Survey. |
KGSWC Workshops |
2022 |
DBLP BibTeX RDF |
|
| 14 | Abhinav Chawla, Stanley Bak |
CPS Testing using Stateless RRT. |
ICCPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger |
Qualitative models for the supervision of CPS simulations. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Yongzhi Huang, Hanwen Zhang, Yan Yan, Haseeb Hassan |
3D Cross-Pseudo Supervision (3D-CPS): A Semi-supervised nnU-Net Architecture for Abdominal Organ Segmentation. |
FLARE@MICCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Ran Li, Huibiao Zhu, Richard Banach |
Translating CPS with Shared-Variable Concurrency in SpaceEx. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Hui Xie, Dejun Wang, Shaojun Gan, Zechen Li, Shan Liang |
Intelligent Vessel Scheduling System for the Controlled inland Waterway Based CPS*. |
ITSC |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Yuuki Teramura, Toshiyuki Inoue, Akira Tsuchiya, Keiji Kishine |
Smart Computational Resource Distribution System with Automatic Classification Interface for CPS. |
ISOCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller |
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand |
MASS: A tool for Mutation Analysis of Space CPS. |
ICSE-Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Fábio Januário, Carlos Lopes, Vasco Delgado-Gomes, Carlos Agostinho, Maria Marques |
Smarterization of Medical Device using a CPS approach. |
I-ESA Workshops |
2022 |
DBLP BibTeX RDF |
|
| 14 | Yong-Jun Shin, Esther Cho, Hansu Kim, Doo-Hwan Bae |
Hands-On Field Operational Test Dataset of a Multi-Controller CPS: A Modeled Case Study on Autonomous Driving. |
SoSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Muhammad Omer Shahid, Chuadhry Mujeeb Ahmed, Venkata Reddy Palleti, Jianying Zhou 0001 |
Curse of System Complexity and Virtue of Operational Invariants: Machine Learning based System Modeling and Attack Detection in CPS. |
DSC |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Jérôme Hugues, Daniela Cancila |
Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective. |
AISafety@IJCAI |
2022 |
DBLP BibTeX RDF |
|
| 14 | Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes 0001, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture (eds.) |
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers |
SEFM Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Vijay Banerjee, Sena Hounsinou, Habeeb Olufowobi, Monowar Hasan, Gedare Bloom |
Secure Reboots for Real-Time Cyber-Physical Systems. |
CPSIOTSEC@CCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Mohammad Fakhruddin Babar, Monowar Hasan |
Real-Time Scheduling of TrustZone-enabled DNN Workloads. |
CPSIOTSEC@CCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Patrick Tser Jern Kon, Diogo Barradas, Ang Chen 0001 |
Stargaze: A LEO Constellation Emulator for Security Experimentation. |
CPSIOTSEC@CCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Sanjeev Rao, Majid Ghaderi, Hongwen Zhang 0002 |
CloudPAD: Managed Anomaly Detection for ICS. |
CPSIOTSEC@CCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Pegah Nikbakht Bideh, Christian Gehrmann |
RoSym: Robust Symmetric Key Based IoT Software Upgrade Over-the-Air. |
CPSIOTSEC@CCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Alessandro Erba 0001, Anne Müller, Nils Ole Tippenhauer |
Security Analysis of Vendor Implementations of the OPC UA Protocol for Industrial Control Systems. |
CPSIOTSEC@CCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Giovanni Di Crescenzo, Matluba Khodjaeva, Rajesh Krishnan, David Shur |
Single-Server Delegation of Small-Exponent Exponentiation from Quasilinear-Time Clients and Applications. |
CPSIOTSEC@CCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Markus Alexander Kuppe |
The TLA+ Debugger. |
SEFM Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Joachim Denil |
Validity in (Co-) Simulation. |
SEFM Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym |
Developing the UML-B Modelling Tools. |
SEFM Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Zizheng Liu, Yingguang Chu, Guoyuan Li, Houxiang Zhang |
A Co-simulation-Based System Using Vico for Marine Operation. |
SEFM Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Anne Rathje, Ronja Witt, Anna Lena Knott, Benjamin Küster, Malte Stonis, Ludger Overmeyer, Robert H. Schmitt |
Quality Monitoring Procedure in Additive Material Extrusion Using Machine Learning. |
SEFM Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
| 14 | Loïc Correnson |
Ivette: A Modern GUI for Frama-C. |
SEFM Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 2058 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license