Author of the publication

Using model-based analysis in certification of critical software-intensive systems.

, , and . Software Engineering (Workshops), volume P-199 of LNI, page 155-162. GI, (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.

 

Other publications of authors with the same name

Dependability in Pervasive Computing: Challenges and Chances.. JITR, 5 (1): 1-17 (2012)Integrated formal methods for safety analysis of train systems., , , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 637-642. Kluwer/Springer, (2004)Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development., , and . HASE, page 159-166. IEEE Computer Society, (2012)Trajectory Description Conception for Industrial Robots., , and . ROBOTIK, VDE-Verlag, (2012)Formal Modeling and Verification of Systems with Self-x Properties., , and . ATC, volume 4158 of Lecture Notes in Computer Science, page 38-47. Springer, (2006)Interactive Verification of Statecharts., , , and . SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 355-373. Springer, (2004)Using model-based analysis in certification of critical software-intensive systems., , and . Software Engineering (Workshops), volume P-199 of LNI, page 155-162. GI, (2012)Programmers do not favor lambda expressions for concurrent object-oriented code., , and . Empirical Software Engineering, 24 (1): 103-138 (2019)Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models., , and . RSSRail, volume 9707 of Lecture Notes in Computer Science, page 106-122. Springer, (2016)Robotic Task Sequencing Problem: A Survey., , and . J. Intell. Robotic Syst., 80 (2): 279-298 (2015)