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 001 (CTS, 2009)

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 001; William McKeever (Netw. Protoc. Algorithms, 2010)

Can we measure security and how? - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki (CSIIRW, 2011)

Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure. - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki (ENASE, 2012)

Formal Modeling and Verification of Security Property in Handel C Program. - Yujian Fu; Jeffery Kulick; Lok K. Yan; Steven Drager 001 (Int. J. Secur. Softw. Eng., 2012)

Threat modeling for security assessment in cyberphysical systems. - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki (CSIIRW, 2013)

Measuring Security: A Challenge for the Generation. - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki (FedCSIS (Position Papers), 2014)

Modeling and Verification of Humanoid Robot Task Coordination. - Yujian Fu; Steven Drager 001 (HASE, 2014)

Recovering Software Design from Interviews Using the NFR Approach: An Experience Report. - Nary Subramanian; Steven Drager 001; William McKeever (Adv. Softw. Eng., 2014)

Modeling Resiliency and Its Essential Components for Cyberphysical Systems. - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki; Bogdan D. Czejdo (FedCSIS (Position Papers), 2015)

Cyber-physical specification mismatch identification with dynamic analysis. - Taylor T. Johnson; Stanley Bak; Steven Drager 001 (ICCPS, 2015)

Reconfiguration of Autonomous Robotics. - Yujian Fu; Steven Drager 001 (Int. J. Robotics Appl. Technol., 2015)

A Framework to Support Generation and Maintenance of an Assurance Case. - Chung-Ling Lin; Wuwei Shen; Steven Drager 001 (ISSRE Workshops, 2016)

The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks. - Alvaro Velasquez; Piotr Wojciechowski 002; K. Subramani 001; Steven L. Drager 001; Sumit Kumar Jha 001 (NCA, 2016)

A Framework for Measuring Security as a System Property in Cyberphysical Systems. - Janusz Zalewski; Ingrid A. Buckley; Bogdan D. Czejdo; Steven Drager 001; Andrew J. Kornecki; Nary Subramanian (Inf., 2016)

A Novel and Unifying View of Trustworthiness in Cyberphysical Systems. - Steven Drager 001; Janusz Zalewski (MMM-ACNS, 2017)

Measure confidence of assurance cases in safety-critical domains. - Chung-Ling Lin; Wuwei Shen; Steven Drager 001; Betty H. C. Cheng (ICSE (NIER), 2018)

Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach. - Alvaro Velasquez; K. Subramani 001; Steven L. Drager 001 (ISCO, 2018)

Cyber-Physical Specification Mismatches. - Luan Viet Nguyen; Khaza Anuarul Hoque; Stanley Bak; Steven Drager 001; Taylor T. Johnson (ACM Trans. Cyber Phys. Syst., 2018)

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 001 (CoRR, 2019)

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 001 (ICECCS, 2020)

Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives. - A. H. M. Jakaria; Mohammad Ashiqur Rahman; Matthew Anderson; Steven Drager 001 (CoRR, 2020)

Work-in-Progress: Victim-Aware Scheduling for Robust Operations in Safety-Critical Systems. - Dakai Zhu 001; Steven Drager 001; Matthew Anderson; Hakan Aydin (RTSS, 2022)

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 001 (SERA, 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 001 (IEEE Trans. Netw. Serv. Manag., 2023)

Impact of priority assignment on schedule-based attacks in real-time embedded systems. - Sina Yari-Karin; Hakan Aydin; Dakai Zhu 001; Steven Drager 001; Matthew Anderson (J. Syst. Archit., 2023)

Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems. - Weizhe Xu; Mengyu Liu; Steven Drager 001; Matthew Anderson; Fanxin Kong (ICCPS, 2024)

Fast Attack Recovery for Stochastic Cyber-Physical Systems. - Lin Zhang 039; Luis Burbano; Xin Chen 002; Alvaro A. Cárdenas; Steven Drager 001; Matthew Anderson; Fanxin Kong (RTAS, 2024)