Author of the publication

A Formal Semantics for Traffic Sequence Charts.

, , , and . Principles of Modeling, volume 10760 of Lecture Notes in Computer Science, page 182-205. Springer, (2018)

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

HW/SW Cosynthesis Using Statecharts and Symbolic Timing Diagrams., , and . International Workshop on Rapid System Prototyping, page 212-217. IEEE Computer Society, (1998)Boosting re-use of embedded automotive applications through rich components, , , , , and . Proceedings of Foundations of Interface Technologies, (2005)Model Based Importance Analysis for Minimal Cut Sets., , , and . ATVA, volume 5311 of Lecture Notes in Computer Science, page 303-317. Springer, (2008)MTBF Inconsistency Analysis on Inferred Product Breakdown Structures., , and . SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 108-118. Springer, (2014)Metamodels in Europe: Languages, Tools, and Applications., , , , , , , , , and 4 other author(s). IEEE Des. Test Comput., 26 (3): 38-53 (2009)Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach., , , , , , , , , and 1 other author(s). SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 57-70. Springer, (2011)An Extended Gradient Model for NUMA Multiprocessor Systems., , and . ASIAN, volume 1023 of Lecture Notes in Computer Science, page 210-224. Springer, (1995)Nachweis von Sicherheitseigenschaften in modellbasierten Entwurfsprozessen.. Software Engineering (Workshops), volume P-122 of LNI, page 329-334. GI, (2008)Reusing a Functional Safety Concept in Variable System Architectures., , and . ACES-MB@MoDELS, volume 1250 of CEUR Workshop Proceedings, page 16-25. CEUR-WS.org, (2014)Towards a Unified Model-Based Safety Assessment., , , , , and . SAFECOMP, volume 4166 of Lecture Notes in Computer Science, page 275-288. Springer, (2006)