Steven Drager

According to our database, Steven Drager authored at least 28 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fast Attack Recovery for Stochastic Cyber-Physical Systems.

Lin Zhang, Luis Burbano, Xin Chen, Alvaro A. Cárdenas, Steven Drager, Matthew Anderson, Fanxin Kong

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems.

Weizhe Xu, Mengyu Liu, Steven Drager, Matthew Anderson, Fanxin Kong

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

2023

Impact of priority assignment on schedule-based attacks in real-time embedded systems.

Sina Yari-Karin, Hakan Aydin, Dakai Zhu, Steven Drager, Matthew Anderson

J. Syst. Archit., December, 2023

Trajectory Synthesis for a UAV Swarm Based on Resilient Data Collection Objectives.

A. H. M. Jakaria, Mohammad Ashiqur Rahman, Muneeba Asif, Alvi Ataur Khalil, Hisham A. Kholidy, Matthew Anderson, Steven Drager

IEEE Trans. Netw. Serv. Manag., March, 2023

An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study.

Ioannis Nearchou, Lance Rafalko, Ryan Phillips, Matthew Anderson, Wuwei Shen, Steven Drager

Proceedings of the 21st IEEE/ACIS International Conference on Software Engineering Research, 2023

2022

Work-in-Progress: Victim-Aware Scheduling for Robust Operations in Safety-Critical Systems.

Dakai Zhu, Steven Drager, Matthew Anderson, Hakan Aydin

Proceedings of the IEEE Real-Time Systems Symposium, 2022

2020

Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives.

A. H. M. Jakaria, Mohammad Ashiqur Rahman, Matthew Anderson, Steven Drager

CoRR, 2020

Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines.

Mohammad Ashiqur Rahman, Rahat Masum, Matthew Anderson, Steven L. Drager

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019

Trajectory Synthesis for a UAV Swarm to Perform Resilient Requirement-Aware Surveillance: A Smart Grid-based Study.

Mohammad Ashiqur Rahman, Rahat Masum, Matthew Anderson, Steven L. Drager

CoRR, 2019

2018

Cyber-Physical Specification Mismatches.

Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson

ACM Trans. Cyber Phys. Syst., 2018

Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach.

Alvaro Velasquez, K. Subramani, Steven L. Drager

Proceedings of the Combinatorial Optimization - 5th International Symposium, 2018

Measure confidence of assurance cases in safety-critical domains.

Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

2017

A Novel and Unifying View of Trustworthiness in Cyberphysical Systems.

Steven Drager, Janusz Zalewski

Proceedings of the Computer Network Security, 2017

2016

A Framework for Measuring Security as a System Property in Cyberphysical Systems.

Janusz Zalewski, Ingrid A. Buckley, Bogdan D. Czejdo, Steven Drager, Andrew J. Kornecki, Nary Subramanian

Inf., 2016

The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks.

Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

A Framework to Support Generation and Maintenance of an Assurance Case.

Chung-Ling Lin, Wuwei Shen, Steven Drager

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

Reconfiguration of Autonomous Robotics.

Yujian Fu, Steven Drager

Int. J. Robotics Appl. Technol., 2015

Cyber-physical specification mismatch identification with dynamic analysis.

Taylor T. Johnson, Stanley Bak, Steven Drager

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Modeling Resiliency and Its Essential Components for Cyberphysical Systems.

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki, Bogdan D. Czejdo

Proceedings of the Position Papers of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Recovering Software Design from Interviews Using the NFR Approach: An Experience Report.

Nary Subramanian, Steven Drager, William McKeever

Adv. Softw. Eng., 2014

Modeling and Verification of Humanoid Robot Task Coordination.

Yujian Fu, Steven Drager

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Measuring Security: A Challenge for the Generation.

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki

Proceedings of the Position Papers of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2013

Threat modeling for security assessment in cyberphysical systems.

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki

Proceedings of the Cyber Security and Information Intelligence, 2013

2012

Formal Modeling and Verification of Security Property in Handel C Program.

Yujian Fu, Jeffery Kulick, Lok K. Yan, Steven Drager

Int. J. Secur. Softw. Eng., 2012

Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure.

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki

Proceedings of the ENASE 2012, 2012

2011

Can we measure security and how?

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

2010

A Cyber Physical Systems Perspective on the Real-time and Reliable Dissemination of Information in Intelligent Transportation Systems.

Aniruddha S. Gokhale, Mark P. McDonald, Steven Drager, William McKeever

Netw. Protoc. Algorithms, 2010

2009

SPRUCE: A web portal for the collaborative engineering of Software Intensive Systems Producibility challenge problems and solutions.

Patrick J. Lardieri, Rick Buskens, Srini Srinivasan, William McKeever, Steven Drager

Proceedings of the 2009 International Symposium on Collaborative Technologies and Systems, 2009