Jonas Elmqvist

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Jonas Elmqvist, Simin Nadjm-Tehrani
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. HASE (2008)
Jonas Elmqvist, Simin Nadjm-Tehrani
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. DATE (2008)
Jonas Elmqvist, Simin Nadjm-Tehrani
Safety-Oriented Design of Component Assemblies using Safety Interfaces. Electron. Notes Theor. Comput. Sci. 182 (2007)
Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea
Safety Interfaces for Component-Based Systems. SAFECOMP (2005)