|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023, pp. 12-21, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023, pp. 270-271, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023, pp. 132-141, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023, pp. 187-198, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023, pp. 22-33, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023, pp. 44-55, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 32(3), pp. 403-413, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 3(3), pp. 236, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cloud Comput. ![In: J. Cloud Comput. 11, pp. 64, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 37(12), pp. 10513-10532, December 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 9(24), pp. 25780-25790, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 193, pp. 302-331, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 189, pp. 205-220, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 194, pp. 378-386, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 188, pp. 81-89, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(11), pp. 2285, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(7), pp. 1447, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 359(17), pp. 9666-9689, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 142, pp. 103715, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Smart Grid ![In: IEEE Trans. Smart Grid 13(1), pp. 82-95, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discov. Internet Things ![In: Discov. Internet Things 2(1), 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Control. Sci. Eng. ![In: J. Control. Sci. Eng. 2022, pp. 1-19, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Commun. Networks ![In: Digit. Commun. Networks 8(6), pp. 964-975, December 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 144, pp. 110461, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 13(5), pp. 226, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 19(1), pp. 614-626, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(2), pp. 238-251, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Julian L. Rrushi |
Physics-Driven Page Fault Handling for Customized Deception against CPS Malware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 21(3), pp. 23:1-23:36, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | |
CPS-MEBR: Click Feedback-Aware Web Page Summarization for Multi-Embedding-Based Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.09787, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.06799, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.08939, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.12727, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Xinwen Fu |
A Unified View of IoT And CPS Security and Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.13793, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.03681, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.06722, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.00170, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.02022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jarkko Peltomäki, Frankie Spencer, Ivan Porres |
WOGAN at the SBST 2022 CPS Tool Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.11064, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 52, pp. 101534, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 12(4), pp. 453-483, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 114, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things Mag. ![In: IEEE Internet Things Mag. 5(4), pp. 78-84, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Junsup Song, Dimitris Karagiannis, Moonkun Lee |
Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(13), pp. 5057, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(4), pp. 1448, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 37(4), pp. 97-102, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Haisheng Yu 0001, Heng Qi, Keqiu Li |
A powerful software-defined cyber-physical system to expand CPS adoption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 52(4), pp. 904-916, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Consumer Electron. Mag. ![In: IEEE Consumer Electron. Mag. 11(2), pp. 36-41, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 77(7-8), pp. 457-471, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 19(1), pp. 524-536, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN (Supplements) ![In: 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, Supplemental Volume, Baltimore, MD, USA, June 27-30, 2022, pp. 47-48, 2022, IEEE, 978-1-6654-0260-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSIOTSEC@CCS ![ACM, 978-1-4503-9876-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Earlence Fernandes, Cristina Alcaraz |
CPSIoTSec '22: 4th Workshop on CPS & IoT Security and Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pp. 3533-3534, 2022, ACM, 978-1-4503-9450-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODASPY ![In: CODASPY '22: Twelveth ACM Conference on Data and Application Security and Privacy, Baltimore, MD, USA, April 24 - 27, 2022, pp. 336-337, 2022, ACM, 978-1-4503-9220-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings, pp. 130-141, 2022, Springer, 978-3-031-26506-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAMS ![In: International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2022, Pittsburgh, PA, USA, May 22-24, 2022, pp. 132-143, 2022, ACM/IEEE, 978-1-4503-9305-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Guillaume Roumage, Selma Azaiez, Stéphane Louise |
A survey of main dataflow MoCCs for CPS design and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCSoC ![In: 15th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC 2022, Penang, Malaysia, December 19-22, 2022, pp. 1-9, 2022, IEEE, 978-1-6654-6499-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mohsin Shan, Omer Khan |
HD-CPS: Hardware-assisted Drift-aware Concurrent Priority Scheduler for Shared Memory Multicores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: IEEE International Symposium on High-Performance Computer Architecture, HPCA 2022, Seoul, South Korea, April 2-6, 2022, pp. 528-542, 2022, IEEE, 978-1-6654-2027-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Zhenyong Zhang, Xin Che, Xuguo Jiao, Wanke Yu, Liang Wan |
Quadratic Optimization Using Additive Homomorphic Encryption in CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 13th Asian Control Conference, ASCC 2022, Jeju, Korea, May 4-7, 2022, pp. 1995-2000, 2022, IEEE, 978-89-93215-23-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 22nd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2022 - Companion, Guangzhou, China, December 5-9, 2022, pp. 576-579, 2022, IEEE, 979-8-3503-1991-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/DSS/SmartCity/DependSys ![In: 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application, HPCC/DSS/SmartCity/DependSys 2022, Hainan, China, December 18-20, 2022, pp. 2159-2163, 2022, IEEE, 979-8-3503-1993-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jarkko Peltomäki, Frankie Spencer, Ivan Porres |
WOGAN at the SBST 2022 CPS Tool Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBST@ICSE ![In: 15th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2022, Pittsburgh, PA, USA, May 9, 2022, pp. 53-54, 2022, IEEE, 978-1-4503-9318-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav |
Search-based Testing for Accurate Fault Localization in CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, pp. 145-156, 2022, IEEE, 978-1-6654-5132-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Perla Tannoury, Samir Chouali, Ahmed Hammad |
Model Driven Approach to Design an Automotive CPS with SysReo Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiWac ![In: Proceedings of the 20th ACM International Symposium on Mobility Management and Wireless Access on 20th ACM International Symposium on Mobility Management and Wireless Access, MobiWac 2022, Montreal, Quebec, Canada, October 24-28, 2022, pp. 97-104, 2022, ACM, 978-1-4503-9480-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2022 - 48th Annual Conference of the IEEE Industrial Electronics Society, Brussels, Belgium, October 17-20, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8025-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2022 - 48th Annual Conference of the IEEE Industrial Electronics Society, Brussels, Belgium, October 17-20, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8025-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DoCEIS ![In: Technological Innovation for Digitalization and Virtualization - 13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2022, Caparica, Portugal, June 29 - July 1, 2022, Proceedings, pp. 74-82, 2022, Springer, 978-3-031-07519-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: IEEE International Conference on Systems, Man, and Cybernetics, SMC 2022, Prague, Czech Republic, October 9-12, 2022, pp. 229-234, 2022, IEEE, 978-1-6654-5258-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Branko Brkljac, Boris Antic, Zoran Mitrovic |
Potential of embedded vision platforms in development of spatial AI enabled CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 11th Mediterranean Conference on Embedded Computing, MECO 2022, Budva, Montenegro, June 7-10, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-6828-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: IEEE Real-Time Systems Symposium, RTSS 2022, Houston, TX, USA, December 5-8, 2022, pp. 266-276, 2022, IEEE, 978-1-6654-5346-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME Workshops ![In: IEEE International Conference on Multimedia and Expo Workshops, ICME Workshops 2022, Taipei, Taiwan, July 18-22, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-7218-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSTCC ![In: 26th International Conference on System Theory, Control and Computing , ICSTCC 2022, Sinaia, Romania, October 19-21, 2022, pp. 13-18, 2022, IEEE, 978-1-6654-6746-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HP3C ![In: HP3C 2022: 6th International Conference on High Performance Compilation, Computing and Communications, Virtual Event, China, June 23-25, 2022, pp. 32-37, 2022, ACM, 978-1-4503-9629-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KGSWC Workshops ![In: Joint Proceedings of the Second International Workshop on Multilingual Semantic Web and Second International Workshop on Deep Learning for Question Answering and First International Workshop on Semantic Reasoning and Representation in IoT, co-located with 4th Knowledge Graph and Semantic Web (KGSWC 2022), Madrid, Spain November 21-23, 2022., pp. 130-149, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Abhinav Chawla, Stanley Bak |
CPS Testing using Stateless RRT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022, pp. 302-303, 2022, IEEE, 978-1-6654-0967-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger |
Qualitative models for the supervision of CPS simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 612-616, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLARE@MICCAI ![In: Fast and Low-Resource Semi-supervised Abdominal Organ Segmentation - MICCAI 2022 Challenge, FLARE 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings, pp. 87-100, 2022, Springer, 978-3-031-23910-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Ran Li, Huibiao Zhu, Richard Banach |
Translating CPS with Shared-Variable Concurrency in SpaceEx. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 127-133, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
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*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022, pp. 85-90, 2022, IEEE, 978-1-6654-6880-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISOCC ![In: 19th International SoC Design Conference, ISOCC 2022, Gangneung-si, Republic of Korea, October 19-22, 2022, pp. 101-102, 2022, IEEE, 978-1-6654-5971-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, pp. 231-250, 2022, Springer, 978-3-031-06772-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand |
MASS: A tool for Mutation Analysis of Space CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE-Companion ![In: 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022, pp. 134-138, 2022, ACM/IEEE, 978-1-6654-9598-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I-ESA Workshops ![In: Proceedings of Interoperability for Enterprise Systems and Applications Workshops co-located with 11th International Conference on Interoperability for Enterprise Systems and Applications (I-ESA 2022), Valencia, Spain, March 23-25, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 17th Annual System of Systems Engineering Conference, SOSE 2022, Rochester, NY, USA, June 7-11, 2022, pp. 205-212, 2022, IEEE, 978-1-6654-9623-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSC ![In: IEEE Conference on Dependable and Secure Computing, DSC 2022, Edinburgh, UK, June 22-24, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-2141-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jérôme Hugues, Daniela Cancila |
Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISafety@IJCAI ![In: Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), Vienna, Austria, July 24-25, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![Springer, 978-3-031-12428-0 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Vijay Banerjee, Sena Hounsinou, Habeeb Olufowobi, Monowar Hasan, Gedare Bloom |
Secure Reboots for Real-Time Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSIOTSEC@CCS ![In: Proceedings of the 4th Workshop on CPS & IoT Security and Privacy, CPSIOTSEC@CCS 2022, Los Angeles, CA, USA, 7 November 2022, pp. 27-33, 2022, ACM, 978-1-4503-9876-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Fakhruddin Babar, Monowar Hasan |
Real-Time Scheduling of TrustZone-enabled DNN Workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSIOTSEC@CCS ![In: Proceedings of the 4th Workshop on CPS & IoT Security and Privacy, CPSIOTSEC@CCS 2022, Los Angeles, CA, USA, 7 November 2022, pp. 63-69, 2022, ACM, 978-1-4503-9876-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Tser Jern Kon, Diogo Barradas, Ang Chen 0001 |
Stargaze: A LEO Constellation Emulator for Security Experimentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSIOTSEC@CCS ![In: Proceedings of the 4th Workshop on CPS & IoT Security and Privacy, CPSIOTSEC@CCS 2022, Los Angeles, CA, USA, 7 November 2022, pp. 47-53, 2022, ACM, 978-1-4503-9876-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Sanjeev Rao, Majid Ghaderi, Hongwen Zhang 0002 |
CloudPAD: Managed Anomaly Detection for ICS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSIOTSEC@CCS ![In: Proceedings of the 4th Workshop on CPS & IoT Security and Privacy, CPSIOTSEC@CCS 2022, Los Angeles, CA, USA, 7 November 2022, pp. 55-61, 2022, ACM, 978-1-4503-9876-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Pegah Nikbakht Bideh, Christian Gehrmann |
RoSym: Robust Symmetric Key Based IoT Software Upgrade Over-the-Air. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSIOTSEC@CCS ![In: Proceedings of the 4th Workshop on CPS & IoT Security and Privacy, CPSIOTSEC@CCS 2022, Los Angeles, CA, USA, 7 November 2022, pp. 35-46, 2022, ACM, 978-1-4503-9876-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSIOTSEC@CCS ![In: Proceedings of the 4th Workshop on CPS & IoT Security and Privacy, CPSIOTSEC@CCS 2022, Los Angeles, CA, USA, 7 November 2022, pp. 1-13, 2022, ACM, 978-1-4503-9876-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSIOTSEC@CCS ![In: Proceedings of the 4th Workshop on CPS & IoT Security and Privacy, CPSIOTSEC@CCS 2022, Los Angeles, CA, USA, 7 November 2022, pp. 15-26, 2022, ACM, 978-1-4503-9876-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Markus Alexander Kuppe |
The TLA+ Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers, pp. 174-180, 2022, Springer, 978-3-031-26235-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Joachim Denil |
Validity in (Co-) Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers, pp. 193-199, 2022, Springer, 978-3-031-26235-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers, pp. 181-188, 2022, Springer, 978-3-031-26235-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Zizheng Liu, Yingguang Chu, Guoyuan Li, Houxiang Zhang |
A Co-simulation-Based System Using Vico for Marine Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers, pp. 228-241, 2022, Springer, 978-3-031-26235-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers, pp. 93-102, 2022, Springer, 978-3-031-26235-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Loïc Correnson |
Ivette: A Modern GUI for Frama-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers, pp. 116-131, 2022, Springer, 978-3-031-26235-7. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|