Steven Drager

发表

William McKeever, Steven Drager, Andrew J. Kornecki, 2011, CSIIRW '11.

Steven Drager, Stanley Bak, Matthew Anderson, 2017 .

Measure Confidence of Assurance Cases in Safety-Critical Domains

Steven Drager, Betty H. C. Cheng, Chung-Ling Lin, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER).

Threat modeling for security assessment in cyberphysical systems

William McKeever, Steven Drager, Andrew J. Kornecki, 2013, CSIIRW '13.

A Framework to Support Generation and Maintenance of an Assurance Case

Steven Drager, Chung-Ling Lin, Wuwei Shen, 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Cyber-Physical Specification Mismatches

Steven Drager, Luan Viet Nguyen, Taylor T. Johnson, 2018, ACM Trans. Cyber Phys. Syst..

Justifying the Transition from Trustworthiness to Resiliency via Generation of Safety Cases

Steven Drager, Wuwei Shen, Chung Ling Lin, 2016 .

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

Steven Drager, Mohammad Ashiqur Rahman, Matthew O. Anderson, 2020, ArXiv.

Cyber-physical specification mismatch identification with dynamic analysis

Steven Drager, Taylor T. Johnson, Stanley Bak, 2015, ICCPS.

Safe and Secure Integration of Automation Systems and Enterprise IT Infrastructure Using Cloud

William McKeever, Steven Drager, Janusz Zalewski, 2012 .

A Novel and Unifying View of Trustworthiness in Cyberphysical Systems

Steven Drager, Janusz Zalewski, 2017, MMM-ACNS.

Quantum simulator review

Steven Drager, Earl Bednar, 2007, SPIE Defense + Commercial Sensing.

Advanced Computer Technology for Novel Information Processing Paradigms

Steven Drager, Daniel J. Burns, Christopher Flynn, 2004, J. Aerosp. Comput. Inf. Commun..

Quantum computing at the Air Force Research Laboratory Information Directorate (Plenary Paper)

Steven Drager, Lois D. Walsh, 2005, SPIE Defense + Commercial Sensing.

Waves-VHDL Integration for Common Applications.

Steven Drager, Christopher Flynn, James P. Hanna, 1996 .

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

Steven Drager, Andrew J. Kornecki, Janusz Zalewski, 2016, Inf..

Modeling Resiliency and Its Essential Components for Cyberphysical Systems

William McKeever, Steven Drager, Andrew J. Kornecki, 2015, FedCSIS.

Assessment of QoS adaptation and cyber-defense mechanisms in networked systems

Steven Drager, Kaliappa Nadar Ravindran, Arun Adiththan, 2017, 2017 IEEE Conference on Dependable and Secure Computing.

Assessment of QoS adaptation capability of complex network systems

Steven Drager, Kaliappa Nadar Ravindran, Yassine Wardei, 2016, 2016 12th International Conference on the Design of Reliable Communication Networks (DRCN).

Advanced Computer Technology for Novel Information Processing Paradigms

Steven Drager, Daniel J. Burns, Christopher Flynn, 2004 .

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

Aniruddha S. Gokhale, William McKeever, Steven Drager, 2010, Netw. Protoc. Algorithms.

Measuring Security: A Challenge for the Generation

William McKeever, Steven Drager, Andrew J. Kornecki, 2014, FedCSIS.

Designing Trustworthy Software Systems Using the NFR Approach

William McKeever, Steven Drager, Nary Subramanian, 2014 .

Modeling and Verification of Humanoid Robot Task Coordination

Steven Drager, Yujian Fu, 2014, 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering.

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

William McKeever, Steven Drager, Nary Subramanian, 2014, Adv. Softw. Eng..