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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

2017
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

2016
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

2015
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

2014
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

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

2012
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

2011
Can we measure security and how?
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.
Netw. Protoc. Algorithms, 2010

2009
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

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


  Loading...