( en | de | ru )

 

Disambiguation of "Johnsen, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Formal execution semantics for asynchronous constructs of AADL.

, , and . ACES-MB@MoDELS, page 43-48. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Johnsen

Rainer Johnsen

Iris Johnsen

Matthias Johnsen

Rolf Johnsen

 

Other publications of authors with the same name

Formal execution semantics for asynchronous constructs of AADL., , and . ACES-MB@MoDELS, page 43-48. ACM, (2012)Regression verification of AADL models through slicing of system dependence graphs., , , and . QoSA, page 103-112. ACM, (2014)Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool., , , , and . ISSRE, page 271-281. IEEE Computer Society, (2017)Industrial Experiences of Building a Safety Case in Compliance with ISO 26262., , , , and . ISSRE Workshops, page 349-354. IEEE Computer Society, (2012)Liability for software in safety-critical mechatronic systems: An industrial questionnaire., , , and . SEES@ICSE, page 44-50. IEEE, (2012)An Architecture-Based Verification Technique for AADL Specifications., , and . ECSA, volume 6903 of Lecture Notes in Computer Science, page 105-113. Springer, (2011)Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL., and . Ada-Europe, volume 6652 of Lecture Notes in Computer Science, page 103-117. Springer, (2011)AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems., , , and . ISSRE, page 260-270. IEEE Computer Society, (2017)Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough., , , , and . ICSA Workshops, page 153-160. IEEE Computer Society, (2017)Automated Verification of AADL-Specifications Using UPPAAL., , , and . HASE, page 130-138. IEEE Computer Society, (2012)