Andreas Johnsen

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 4

Top Topics

Specification Languages

Bounded Rationality

Quality Assurance

Formal Descriptions

Top Venues

ISSRE Workshops

Publications

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