A Framework for Measuring Security as a System Property in Cyberphysical Systems
Zalewski, Janusz, Buckley, Ingrid, Czejdo, Bogdan, Drager, Steven, Kornecki, Andrew, Subramanian, Nary
Published in Information (Basel) (17.06.2016)
Published in Information (Basel) (17.06.2016)
Get full text
Journal Article
Recovering Software Design from Interviews Using the NFR Approach : An Experience Report
Subramanian, Nary, McKeever, William, Drager, Steven
Published in Advances in software engineering (01.01.2014)
Published in Advances in software engineering (01.01.2014)
Get full text
Journal Article
Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines
Rahman, Mohammad Ashiqur, Masum, Rahat, Anderson, Matthew, Drager, Steven L.
Published in 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.10.2020)
Published in 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.10.2020)
Get full text
Conference Proceeding
Impact of priority assignment on schedule-based attacks in real-time embedded systems
Karin, Sina Yari, Aydin, Hakan, Zhu, Dakai, Drager, Steven, Anderson, Matthew
Published in Journal of systems architecture (01.12.2023)
Published in Journal of systems architecture (01.12.2023)
Get full text
Journal Article
Trajectory Synthesis for a UAV Swarm Based on Resilient Data Collection Objectives
Jakaria, A. H. M., Rahman, Mohammad Ashiqur, Asif, Muneeba, Khalil, Alvi Ataur, Kholidy, Hisham A., Anderson, Matthew, Drager, Steven
Published in IEEE eTransactions on network and service management (01.03.2023)
Published in IEEE eTransactions on network and service management (01.03.2023)
Get full text
Journal Article
Fast Attack Recovery for Stochastic Cyber-Physical Systems
Zhang, Lin, Burbano, Luis, Chen, Xin, Cardenas, Alvaro A., Drager, Steven, Anderson, Matthew, Kong, Fanxin
Published in 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS) (13.05.2024)
Published in 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS) (13.05.2024)
Get full text
Conference Proceeding
Measure confidence of assurance cases in safety-critical domains
Lin, Chung-Ling, Shen, Wuwei, Drager, Steven, Cheng, Betty
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER) (27.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER) (27.05.2018)
Get full text
Conference Proceeding
Modeling and Verification of Humanoid Robot Task Coordination
Yujian Fu, Drager, Steven
Published in 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (01.01.2014)
Published in 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (01.01.2014)
Get full text
Conference Proceeding
Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems
Xu, Weizhe, Liu, Mengyu, Drager, Steven, Anderson, Matthew, Kong, Fanxin
Published in 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) (13.05.2024)
Published in 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) (13.05.2024)
Get full text
Conference Proceeding
Work-in-Progress: Victim-Aware Scheduling for Robust Operations in Safety-Critical Systems
Zhu, Dakai, Drager, Steven, Anderson, Matthew, Aydin, Hakan
Published in 2022 IEEE Real-Time Systems Symposium (RTSS) (01.12.2022)
Published in 2022 IEEE Real-Time Systems Symposium (RTSS) (01.12.2022)
Get full text
Conference Proceeding
Trajectory Synthesis for a UAV Swarm to Perform Resilient Requirement-Aware Surveillance: A Smart Grid-based Study
Rahman, M. Ashiqur, Masum, Rahat, Anderson, Matthew, Drager, Steven L
Year of Publication 03.11.2019
Year of Publication 03.11.2019
Get full text
Journal Article
Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives
Jakaria, A H M, Rahman, Mohammad Ashiqur, Anderson, Matthew, Drager, Steven
Year of Publication 24.08.2020
Year of Publication 24.08.2020
Get full text
Journal Article
Cyber-Physical Specification Mismatches
Nguyen, Luan V, Hoque, Khaza Anuarul, Bak, Stanley, Drager, Steven, Johnson, Taylor T
Year of Publication 24.06.2018
Year of Publication 24.06.2018
Get full text
Journal Article
Assessment of QoS adaptation and cyber-defense mechanisms in networked systems
Ravindran, K., Wardei, Y., Kodia, A., Iannelli, M., Adiththan, A., Drager, Steven
Published in 2017 IEEE Conference on Dependable and Secure Computing (01.08.2017)
Published in 2017 IEEE Conference on Dependable and Secure Computing (01.08.2017)
Get full text
Conference Proceeding
A Framework to Support Generation and Maintenance of an Assurance Case
Chung-Ling Lin, Wuwei Shen, Drager, Steven
Published in 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2016)
Published in 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2016)
Get full text
Conference Proceeding
The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks
Velasquez, Alvaro, Wojciechowski, Piotr, Subramani, K., Drager, Steven L., Jha, Sumit Kumar
Published in 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA) (01.10.2016)
Published in 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA) (01.10.2016)
Get full text
Conference Proceeding