S. Drager

Most-cited papers

Trajectory Synthesis for a UAV Swarm Based on Resilient Data Collection Objectives
A. Jakaria, Mohammad Ashiqur Rahman, Muneeba Asif, Alvi Ataur Khalil +3 more
2023IEEE Transactions on Network and Service Management32 citations
Semantic Scholar
Threat modeling for security assessment in cyberphysical systems
J. Zalewski, S. Drager, William McKeever, A. Kornecki
2013Cyber Security and Information Intelligence Research Workshop23 citations
Semantic Scholar
A Cyber Physical Systems Perspective on the Real-time and Reliable Dissemination of Information in Intelligent Transportation Systems
A. Gokhale, Mark P. McDonald, S. Drager, William McKeever
2010Netw. Protoc. Algorithms22 citations Open access
Semantic Scholar
Cyber-physical specification mismatch identification with dynamic analysis
Taylor T. Johnson, Stanley Bak, S. Drager
2015International Conference on Cyber-Physical Systems19 citations
Semantic Scholar
A Framework for Measuring Security as a System Property in Cyberphysical Systems
J. Zalewski, Ingrid A. Buckley, B. Czejdo, S. Drager +2 more
2016Inf.15 citations Open access
Semantic Scholar
Cyber-Physical Specification Mismatches
L. V. Nguyen, K. A. Hoque, Stanley Bak, S. Drager +1 more
2018ACM Trans. Cyber Phys. Syst.14 citations Open access
Semantic Scholar
Measure Confidence of Assurance Cases in Safety-Critical Domains
Chung-Ling Lin, Wu-Wei Shen, S. Drager, B. Cheng
20182018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER)13 citations
Semantic Scholar
Measuring Security: A Challenge for the Generation
J. Zalewski, S. Drager, William McKeever, A. Kornecki
2014Conference on Computer Science and Information Systems12 citations Open access
Semantic Scholar
High performance reconfigurable computing systems
M. C. Smith, S. Drager, L. Pochet, G. D. Peterson
2001Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)12 citations
Semantic Scholar
Advanced Computer Technology for Novel Information Processing Paradigms
Clare D. Thiem, S. Drager, Christopher Flynn, D. Burns +1 more
2004Journal of Aerospace Computing Information and Communication9 citations
Semantic Scholar
Assessment of QoS adaptation and cyber-defense mechanisms in networked systems
K. Ravindran, Yassine Wardei, A. Kodia, Michael Iannelli +2 more
2017International Conference on Data Science in Cyberspace6 citations
Semantic Scholar
A Framework to Support Generation and Maintenance of an Assurance Case
Chung-Ling Lin, Wu-Wei Shen, S. Drager
20162016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)6 citations
Semantic Scholar
Can we measure security and how?
J. Zalewski, S. Drager, William McKeever, A. Kornecki
2011Cyber Security and Information Intelligence Research Workshop6 citations
Semantic Scholar
Fast Attack Recovery for Stochastic Cyber-Physical Systems
Lin Zhang, Luis Burbano, Xin Chen, Alvaro A. Cárdenas +3 more
2024IEEE Real Time Technology and Applications Symposium5 citations
Semantic Scholar
Empirical Bounds of Multicore Cache Interference for Real-Time Schedulability Analysis
Srini Srinivasan, R. Kegley, M. Gerhardt, R. Hilliard +8 more
2019Symposium on Dependable Autonomic and Secure Computing5 citations
Semantic Scholar
Designing Trustworthy Software Systems Using the NFR Approach
Nary Subramanian, S. Drager, William McKeever
20145 citations
Semantic Scholar
Accelerating Defense Applications Using High Performance Reconfigurable Computing
G. D. Peterson, S. Drager
20025 citations
Semantic Scholar
Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach
Alvaro Velasquez, K. Subramani, S. Drager
2018International Symposium on Combinatorial Optimization4 citations
Semantic Scholar
Assessment of QoS adaptation capability of complex network systems
K. Ravindran, Yassine Wardei, S. Drager
2016International Workshop on the Design of Reliable Communication Networks4 citations
Semantic Scholar
Modeling Resiliency and Its Essential Components for Cyberphysical Systems
J. Zalewski, S. Drager, William McKeever, A. Kornecki +1 more
2015Conference on Computer Science and Information Systems4 citations Open access
Semantic Scholar
Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure
J. Zalewski, S. Drager, William McKeever, A. Kornecki
2012International Conference on Evaluation of Novel Approaches to Software Engineering4 citations Open access
Semantic Scholar
High performance real-time fusion architecture
G. Fountain, S. Drager
2002Proceedings of the Fifth International Conference on Information Fusion. FUSION 2002. (IEEE Cat.No.02EX5997)4 citations
Semantic Scholar
Detection of ground targets through transfer learning with generative AI-produced synthetic SAR data
B. Jones, Amir Shirkhodaie, S. Drager, Matthew Anderson
2025Defense + Security3 citations
Semantic Scholar
Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines
M. Rahman, Rahat Masum, Matthew O. Anderson, S. Drager
2020IEEE International Conference on Engineering of Complex Computer Systems3 citations
Semantic Scholar
Justifying the Transition from Trustworthiness to Resiliency via Generation of Safety Cases
Chung-Ling Lin, Wu-Wei Shen, S. Drager
20163 citations
Semantic Scholar
Identifying trustworthiness deficit in legacy systems using the NFR approach
Nary Subramanian, S. Drager, William McKeever
20143 citations
Semantic Scholar
Safe and Secure Integration of Automation Systems and Enterprise IT Infrastructure Using Cloud
Nary Subramanian, J. Zalewski, S. Drager, William McKeever
20123 citations
Semantic Scholar
SPRUCE: A web portal for the collaborative engineering of Software Intensive Systems Producibility challenge problems and solutions
P. Lardieri, R. Buskens, Srini Srinivasan, William McKeever +1 more
20092009 International Symposium on Collaborative Technologies and Systems3 citations
Semantic Scholar
A Distributed Consensus Scenario Approach to Optimization and Control With Uncertainties
Jing Wang, S. Drager
2025IEEE Access2 citations Open access
Semantic Scholar
Generative SAR data generation for deep learning systems training
Amir Shirkhodaie, B. Jones, S. Drager, Matthew Anderson
2025Defense + Security2 citations
Semantic Scholar
Impact of priority assignment on schedule-based attacks in real-time embedded systems
Sina Yari-Karin, H. Aydin, Da-Kai Zhu, S. Drager +1 more
2023Journal of systems architecture2 citations Open access
Semantic Scholar
Trajectory Synthesis for a UAV Swarm to Perform Resilient Requirement-Aware Surveillance: A Smart Grid-based Study
M. Rahman, Rahat Masum, Matthew O. Anderson, S. Drager
2019arXiv.org2 citations
Semantic Scholar
A VHDL-AMS mixed-signal, mixed-technology design tool
S. Drager, H. Carter, H. Hirsch
1998Proceedings of the IEEE 1998 National Aerospace and Electronics Conference. NAECON 1998. Celebrating 50 Years (Cat. No.98CH36185)2 citations
Semantic Scholar
Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems
Wei-Zhe Xu, Xin Chen, M. Anderson, S. Drager +1 more
2025IEEE Real Time Technology and Applications Symposium1 citations
Semantic Scholar
An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study
Ioannis Nearchou, Lance Rafalko, Ryan Phillips, M. Anderson +2 more
2023International Conference on Software Engineering Research and Applications1 citations
Semantic Scholar
The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks
Alvaro Velasquez, P. Wojciechowski, K. Subramani, S. Drager +1 more
2016IEEE International Symposium on Network Computing and Applications1 citations Open access
Semantic Scholar
Modeling and Verification of Humanoid Robot Task Coordination
Yujian Fu, S. Drager
2014IEEE International Symposium on High-Assurance Systems Engineering1 citations
Semantic Scholar
Recovering Software Design from Interviews Using the NFR Approach: An Experience Report
Nary Subramanian, S. Drager, William McKeever
2014Advances in Software Engineering1 citations Open access
Semantic Scholar
Systems and Software Producibility Collaboration and Experimental Environment (SPRUCE)
S. Drager, R. Buskens, P. Lardieri, William McKeever
20091 citations
Semantic Scholar
Quantum computing at the Air Force Research Laboratory Information Directorate (Plenary Paper)
S. Drager, Lois D. Walsh
2005SPIE Defense + Commercial Sensing1 citations
Semantic Scholar
Ep communications: the next revolutionary step in global communications
P. Phister, S. Drager, Igor G. Plonisch
2003IEEE Aerospace Conference. Proceedings1 citations
Semantic Scholar
Field-Programmable Gate-Array-Based Graph Coloring Accelerator
L. Pochet, M. Linderman, S. Drager, R. Kohler
20021 citations
Semantic Scholar
Inference of Control Structures in Adaptive Networked Systems: A Security Perspective
Arun Adiththan, G. Javens, K. Ravindran, M. Lannelli +2 more
2026IEEE Conference on Computer Communications0 citations
Semantic Scholar
A Distributed Multiagent Wireless Federated Learning Algorithm With Local Differential Privacy
Jing Wang, S. Drager
2026IEEE Internet of Things Journal0 citations
Semantic Scholar
Work-in-Progress: Victim-Aware Scheduling for Robust Operations in Safety-Critical Systems
Da-Kai Zhu, S. Drager, M. Anderson, H. Aydin
2022IEEE Real-Time Systems Symposium0 citations
Semantic Scholar
BUILDING RESOURCE ADAPTIVE SOFTWARE SYSTEMS MODEL-BASED ADAPTATION FOR ROBOTICS SOFTWARE
S. Copy, S. Drager, Gregory Hadynski, Jonathan Aldrich
20200 citations
Semantic Scholar
Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives
A. Jakaria, M. Rahman, Matthew O. Anderson, S. Drager
2020arXiv.org0 citations
Semantic Scholar
MINING DEVELOPER COMMUNICATIONS TO CREATE A WEB- SCALE REPOSITORY OF DOCUMENTED AND ANALYZABLE SNIPPETS
S. Copy, S. Drager, J. Matyjas, D. Shepherd
20180 citations
Semantic Scholar
VERIFIED COMPILATION OF CONCURRENT MANAGED
S. Copy, S. Drager, J. Matyjas, S. Jagannathan +1 more
20170 citations
Semantic Scholar
A Novel and Unifying View of Trustworthiness in Cyberphysical Systems
S. Drager, J. Zalewski
2017Mathematical Methods, Models, and Architectures for Network Security Systems0 citations
Semantic Scholar