Andreas Johnsen

12 papers A 2B 1Misc 1Unranked 7

Year	Rank	Type	Title / Venue / Authors
2018	—	`—`	Quality Assurance for Dependable Embedded Systems. Andreas Johnsen
2017	A	`conf`	AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. ISSRE Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2017	A	`conf`	Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. ISSRE Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
2017	—	`conf`	Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. ICSA Workshops Andreas Johnsen, Gordana Dodig Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2016	—	`conf`	AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL. QoSA Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
2014	—	`conf`	Regression verification of AADL models through slicing of system dependence graphs. QoSA Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen
2012	—	`conf`	Automated Verification of AADL-Specifications Using UPPAAL. HASE Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat
2012	—	`conf`	Formal execution semantics for asynchronous constructs of AADL. ACES-MB@MoDELS Jiale Zhou, Andreas Johnsen, Kristina Lundqvist
2012	—	`conf`	Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. ISSRE Workshops Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg
2012	—	`conf`	Liability for software in safety-critical mechatronic systems: An industrial questionnaire. SEES@ICSE Holger M. Kienle, Daniel Sundmark, Kristina Lundqvist, Andreas Johnsen
2011	B	`conf`	An Architecture-Based Verification Technique for AADL Specifications. ECSA Andreas Johnsen, Paul Pettersson, Kristina Lundqvist
2011	Misc	`conf`	Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. Ada-Europe Andreas Johnsen, Kristina Lundqvist