Jonas Elmqvist

According to our database, Jonas Elmqvist authored at least 5 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems.

Jonas Elmqvist, Simin Nadjm-Tehrani

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems.

Jonas Elmqvist, Simin Nadjm-Tehrani

Proceedings of the Design, Automation and Test in Europe, 2008

2006

Safety-Oriented Design of Component Assemblies using Safety Interfaces.

Jonas Elmqvist, Simin Nadjm-Tehrani

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

2005

Safety Interfaces for Component-Based Systems.

Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea

Proceedings of the Computer Safety, 2005

Intents and Upgrades in Component-Based High-Assurance Systems.

Jonas Elmqvist, Simin Nadjm-Tehrani

Proceedings of the Model-Driven Software Development, 2005