"
How Secure Is ERTMS?" In Computer Safety, Reliability, and Security, edited by Frank Ortmeier and Peter Daniel, 247-258. Vol. 7613. Lecture Notes in Computer Science 7613. Magdeburg: Springer Berlin Heidelberg, 2012.
"
The ARTEMIS SESAMO Project (oral presentation)." In Society of Automotive Engineers (SAE) World Congress., 2013.
"
Integration of Quantitative Methods for Risk Evaluation within Usage Control Policies." In Computer Communications and Networks (ICCCN), 2013 22nd International Conference on., 2013.
"
Software fault-freeness and reliability predictions." In SAFECOMP 2013., 2013.
"
Towards Attribute-based Access Control Policy Engineering Using Risk." In Proceedings of 1st International Workshop on Risk Assessment and Risk-driven Testing (RISK)., 2013.
"
A Study of the Relationship Between Antivirus Regressions and Label Changes." In IEEE International Symposium on Software Reliability Engineering. Pasadena, CA, USA, 2013.
"
Security-Informed Safety: If It's Not Secure, It's Not Safe." In 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013). Kiev, Ukraine, 2013.
"
An Approach to Safety and Security Analysis for Automotive Systems." In Eurofourm Jahrestagung ISO 26262., 2014.
"
An Approach to Safety and Security Analysis for Automotive Systems (oral presentation)." In SAE World Congress 2014., 2014.
"
Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis." In SmartGrid 2014., 2014.
"
Fruth., 2014.
Introduction., 2014.
Joyce CSL., 2014.
MERGE., 2014.
Onera., 2014.
Quantitative Safety and Security Analysis from a Communication Perspective." In ValueTools '14 Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools. Bratislava, Slovakia, 2014.
"
Security and Safety Modelling in Embedded Sys-tems." In Embedded Real Time Software and Systems Conference. Toulouse, France, 2014.
"
SESAMO., 2014.
Model-based Evaluation of the Resilience of Critical Infrastructures under Cyber Attacks." In 9th International Conference on Critical Information Infrastructures Security. Limassol, Cyprus, 2014.
"
Building Blocks for Assurance Cases." In International Symposium on Software Reliability Engineering. Naples, Italy, 2014.
"
Formal Security Analysis of the MaCAN Protocol." In Integrated Formal Methods. Bertinoro, Italy, 2014.
"
The ARTEMIS SESAMO Project (oral presentation)." In Society of Automotive Engineers (SAE) World Congress., 2014.
"
Case study on combined validation of safety & security requirements." In IEEE International Symposium on Industrial Embedded Systems. Pisa, Italy, 2014.
"
Diversity for Safety and Security in Embedded Systems." In IEEE International Conference on Dependable Systems and Networks. Atlanta, GA, USA, 2014.
"
Performance evaluation of Linux CAN-related system calls." In 10th IEEE International Workshop on Factory Communication Systems. Toulouse, France, 2014.
"
Software diversity as a measure for reducing development risk." In European Dependable Computing Conference - EDCC. Newcastle upon Tyne, UK, 2014.
"
"
Quantification of the Impact of Cyber Attack in Critical Infrastructures." In SAFECOMP 2014., 2014.
"
Design Methodology for Safety and Security in Automotive." In SAE World Congress 2015., 2015.
"
Integrated Design and Evaluation of Safety and Security in Automotive System Development." In Fifth VDA Automotive SYS Konferenz., 2015.
"
Security-Informed Safety Case Approach to Analysing MILS Systems." In HiPEAC 2015., 2015.
"