Andreas Johnsen

According to our database, Andreas Johnsen authored at least 11 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems.

Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

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

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

2016

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL.

Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm

Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

2014

Regression verification of AADL models through slicing of system dependence graphs.

Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2012

Formal execution semantics for asynchronous constructs of AADL.

Jiale Zhou, Andreas Johnsen, Kristina Lundqvist

Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262.

Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Liability for software in safety-critical mechatronic systems: An industrial questionnaire.

Holger M. Kienle, Daniel Sundmark, Kristina Lundqvist, Andreas Johnsen

Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, 2012

Automated Verification of AADL-Specifications Using UPPAAL.

Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011

An Architecture-Based Verification Technique for AADL Specifications.

Andreas Johnsen, Paul Pettersson, Kristina Lundqvist

Proceedings of the Software Architecture - 5th European Conference, 2011

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL.

Andreas Johnsen, Kristina Lundqvist

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011