Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 15

Doctoral Thesis (1)

Quality Assurance for Dependable Embedded Systems (Jan 2018)
Andreas Johnsen

Licentiate Thesis (1)

Architecture-Based Verification of Dependable Embedded Systems (Jun 2013)
Andreas Johnsen

Conference/Workshop Paper (11)

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (Apr 2017)
Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2nd International Workshop on Decision Making in Software Architecture (MARCH)

AQAF: an Architecture Quality Assurance Framework for systems modeled in AADL (Apr 2016)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Martin Torelm , Paul Pettersson
12th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA)

Regression Verification of AADL Models through Slicing of System Dependence Graphs (Jun 2014)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen
Tenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA'14)

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262 (Nov 2012)
Raghad Dardar , Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg
2nd International Workshop on Software Certification (WoSoCER 2012)

Automated Verification of AADL-Specifications Using UPPAAL (Oct 2012)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat
14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012)

Formal Execution Semantics for Asynchronous Constructs of AADL (Sep 2012)
Jiale Zhou, Andreas Johnsen, Kristina Lundqvist
5th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB'12)

Liability for Software in Safety-Critical Mechatronic Systems: An Industrial Questionnaire (Jun 2012)
Holger Kienle, Daniel Sundmark, Kristina Lundqvist, Andreas Johnsen
2nd International Workshop on Software Engineering for Embedded Systems (SEES 2012)

An Architecture-Based Verification Technique for AADL Specifications (Sep 2011)
Andreas Johnsen, Paul Pettersson, Kristina Lundqvist
5th European conference on Software architecture (ECSA 2011)

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (Jun 2011)
Andreas Johnsen, Kristina Lundqvist
International Conference on Reliable Software Technologies (Ada-Europe 2011)

Report - MRTC (1)

Empirical Validation of the Architecture Quality Assurance Framework (AQAF): A Technical Report (Jan 2016)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen, Martin Torelm

Report (1)

Fixed-Priority Preemptive Scheduling Semantics of AADL in UPPAAL Timed Automata (Jul 2012)
Andreas Johnsen

Items per page: