Charging Support Communication System Based on Vehicle-to-Vehicle Communication for Electric Vehicles.
Computer, May, 2024
Hazard Management with DOORS: Rail Infrastructure Projects.
Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009
On the Role of Traceability for Standards Compliance: Tracking Requirements to Code.
Proceedings of the Computer Safety, 2003
Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003
Safety Analysis Techniques for Validating Formal Models During Verification.
Proceedings of the Computer Safety, 1999
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.
Proceedings of the Computer Safety, 1998
An Object-Based Approach to Modelling and Analysis of Failure Properties.
Proceedings of the 16th International Conference on Computer Safety, 1997
Analyzing Safety Requirements for Process-Control Systems.
IEEE Softw., 1995
Safety Analysis for Requirements Specifications: Methods and Techniques.
Proceedings of the 14th International Conference on Computer Safety, 1995
Robust Requirements Specifications for Safety - Critical Systems.
Proceedings of the 12th International Conference on Computer Safety, 1993
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems.
Comput. J., 1992
On Foraml Support for Industrial-Scale Requirements Analysis.
Proceedings of the Hybrid Systems, 1992
Analysis of Timeliness Requirements in Safety-Critical Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992
The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example.
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991
A framework for the requirements analysis of safety-critical computing systems.
PhD thesis, 1990