Jonny Vinter
Orcid: 0000-0002-6191-6253
According to our database1,
Jonny Vinter
authored at least 28 papers
between 2001 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2020
J. Robotics, 2020
Analysis of Cybersecurity Mechanisms with respect to Dependability and Security Attributes.
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020
2019
A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2019
A Survey on the Application of Safety, Security, and Privacy Standards for Dependable Systems.
Proceedings of the 15th European Dependable Computing Conference, 2019
2018
J. Robotics, 2018
Proceedings of the IEEE International Conference on Consumer Electronics, 2018
A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection.
Proceedings of the 14th European Dependable Computing Conference, 2018
2015
Safe Transitions From Automated to Manual Driving Using Driver Controllability Estimation.
IEEE Trans. Intell. Transp. Syst., 2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015
2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the International Workshop on Engineering Simulations for Cyber-Physical Systems, 2014
2013
Proceedings of the Dependable Computing - 14th European Workshop, 2013
Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance.
Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013
2011
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
IEEE Trans. Dependable Secur. Comput., 2011
2010
Proceedings of the Computer Safety, 2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
2009
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
2007
Proceedings of the Computer Safety, 2007
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
2006
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.
Proceedings of the Computer Safety, 2006
2005
Proceedings of the Dependable Computing, 2005
Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
2003
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
2001
Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001