Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. - Andreas Johnsen; Kristina Lundqvist (Ada-Europe, 2011)

An Architecture-Based Verification Technique for AADL Specifications. - Andreas Johnsen; Paul Pettersson; Kristina Lundqvist (ECSA, 2011)

Automated Verification of AADL-Specifications Using UPPAAL. - Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Omar Jaradat (HASE, 2012)

Liability for software in safety-critical mechatronic systems: An industrial questionnaire. - Holger M. Kienle; Daniel Sundmark; Kristina Lundqvist; Andreas Johnsen (SEES@ICSE, 2012)

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. - Raghad Dardar; Barbara Gallina; Andreas Johnsen; Kristina Lundqvist; Mattias Nyberg (ISSRE Workshops, 2012)

Formal execution semantics for asynchronous constructs of AADL. - Jiale Zhou; Andreas Johnsen; Kristina Lundqvist (ACES-MB@MoDELS, 2012)

Regression verification of AADL models through slicing of system dependence graphs. - Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Kaj Hänninen (QoSA, 2014)

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL. - Andreas Johnsen; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson; Martin Torelm (QoSA, 2016)

Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. - Andreas Johnsen; Gordana Dodig Crnkovic; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson (ICSA Workshops, 2017)

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. - Andreas Johnsen; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson (ISSRE, 2017)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. - Andreas Johnsen; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson; Martin Torelm (ISSRE, 2017)

Quality Assurance for Dependable Embedded Systems. - Andreas Johnsen (2018)