Author of the publication

An ISO 26262 Compliant Design Flow and Tool for Automotive Multicore Systems.

, , , and . PROFES, volume 10027 of Lecture Notes in Computer Science, page 163-180. (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

HW/SW Cosynthesis Using Statecharts and Symbolic Timing Diagrams., , and . International Workshop on Rapid System Prototyping, page 212-217. IEEE Computer Society, (1998)Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262 (Design Validation for Embedded Multi-core Systems in the Context of ISO 26262)., , , , and . Software Engineering (Workshops), volume 2066 of CEUR Workshop Proceedings, page 107-110. CEUR-WS.org, (2018)An ISO 26262 Compliant Design Flow and Tool for Automotive Multicore Systems., , , and . PROFES, volume 10027 of Lecture Notes in Computer Science, page 163-180. (2016)Compositional Dependability Evaluation for STATEMATE., , , , , , , , and . IEEE Trans. Software Eng., 35 (2): 274-292 (2009)MTBF Inconsistency Analysis on Inferred Product Breakdown Structures., , and . SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 108-118. Springer, (2014)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)Metamodels in Europe: Languages, Tools, and Applications., , , , , , , , , and 4 other author(s). IEEE Design & Test of Computers, 26 (3): 38-53 (2009)Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation., , , and . HCI (22), volume 8025 of Lecture Notes in Computer Science, page 108-117. Springer, (2013)Model Based Importance Analysis for Minimal Cut Sets., , , and . ATVA, volume 5311 of Lecture Notes in Computer Science, page 303-317. Springer, (2008)A Formal Semantics for Traffic Sequence Charts., , , and . Principles of Modeling, volume 10760 of Lecture Notes in Computer Science, page 182-205. Springer, (2018)