BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × United Kingdom
Collaborated with:
K.Lundqvist P.Pettersson K.Hänninen Martin Torelm
Talks about:
aadl (4) system (3) architectur (2) depend (2) verif (2) model (2) framework (1) techniqu (1) softwar (1) regress (1)

Person: Andreas Johnsen

DBLP DBLP: Johnsen:Andreas

Contributed to:

QoSA 20142014
Ada-Europe 20112011
ECSA 20112011
QoSA 20162016

Wrote 4 papers:

QoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification
Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (AJ, KL), pp. 103–117.
ECSA-2011-JohnsenPL #architecture #specification #verification
An Architecture-Based Verification Technique for AADL Specifications (AJ, PP, KL), pp. 105–113.
QoSA-2016-JohnsenLHPT #architecture #assurance #framework #named #quality
AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL (AJ, KL, KH, PP, MT), pp. 31–40.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.