Author of the publication

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

, , , , and . QoSA, page 31-40. IEEE Computer Society, (2016)

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.

 

Other publications of authors with the same name

'State of the Art' in Using Agile Methods for Embedded Systems Development., , and . COMPSAC (2), page 522-527. IEEE Computer Society, (2009)978-0-7695-3726-9.Liability for software in safety-critical mechatronic systems: An industrial questionnaire., , , and . SEES@ICSE, page 44-50. IEEE, (2012)Can we do useful industrial software engineering research in the shadow of lean and agile?, , , and . CESI@ICSE, page 67-68. IEEE Computer Society, (2013)Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller., , , and . ICN/ICONS/MCL, page 192. IEEE Computer Society, (2006)Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board., , , and . ICST, page 113-122. IEEE Computer Society, (2014)Technical Debt in Test Automation., , , and . ICST, page 887-892. IEEE Computer Society, (2012)Formal verification of an autonomous wheel loader by model checking., , , and . FormaliSE@ICSE, page 74-83. ACM, (2018)A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology., , and . SEAA, page 301-304. IEEE Computer Society, (2017)S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes., , and . SERA (selected papers), volume 496 of Studies in Computational Intelligence, page 215-230. Springer, (2013)Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver, and . Electronic Notes in Theoretical Computer Science, 190 (2): 85--97 (August 2007)