Steven Drager

According to our database1, Steven Drager authored at least 20 papers between 2004 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Cyber-Physical Specification Mismatches.
ACM Trans. Cyber Phys. Syst., 2018

Measure confidence of assurance cases in safety-critical domains.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

A Novel and Unifying View of Trustworthiness in Cyberphysical Systems.
Proceedings of the Computer Network Security, 2017

Assessment of QoS adaptation and cyber-defense mechanisms in networked systems.
Proceedings of the IEEE Conference on Dependable and Secure Computing, 2017

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

A Framework to Support Generation and Maintenance of an Assurance Case.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Assessment of QoS adaptation capability of complex network systems.
Proceedings of the 12th International Conference on the Design of Reliable Communication Networks, 2016

Reconfiguration of Autonomous Robotics.
Int. J. Robotics Appl. Technol., 2015

Cyber-physical specification mismatch identification with dynamic analysis.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Modeling Resiliency and Its Essential Components for Cyberphysical Systems.
Proceedings of the Position Papers of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Recovering Software Design from Interviews Using the NFR Approach: An Experience Report.
Adv. Softw. Eng., 2014

Modeling and Verification of Humanoid Robot Task Coordination.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Measuring Security: A Challenge for the Generation.
Proceedings of the Position Papers of the 2014 Federated Conference on Computer Science and Information Systems, 2014

Threat modeling for security assessment in cyberphysical systems.
Proceedings of the Cyber Security and Information Intelligence, 2013

Formal Modeling and Verification of Security Property in Handel C Program.
Int. J. Secur. Softw. Eng., 2012

Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure.
Proceedings of the ENASE 2012, 2012

Can we measure security and how?
Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

A Cyber Physical Systems Perspective on the Real-time and Reliable Dissemination of Information in Intelligent Transportation Systems.
Netw. Protoc. Algorithms, 2010

SPRUCE: A web portal for the collaborative engineering of Software Intensive Systems Producibility challenge problems and solutions.
Proceedings of the 2009 International Symposium on Collaborative Technologies and Systems, 2009

Advanced Computer Technology for Novel Information Processing Paradigms.
J. Aerosp. Comput. Inf. Commun., 2004