Author of the publication

On the Relation between Programming Models, Computational/Execution Models and Software Platforms in Automotive

, , , , , , , , , and 1 other author(s). Future Automotive HW/SW Platform Design, volume 9 of Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (January 2020)
DOI: 10.4230/DagRep.9.12.28

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

Rigorous software engineering.. Comput. Sci. Res. Dev., 28 (4): 263-264 (2013)Information Flow Analysis of Combined Simulink/Stateflow Models., , , and . Inf. Technol. Control., 48 (2): 299-315 (2019)Methods of Model Quality in the Automotive Area., and . Software Engineering, volume P-227 of LNI, page 73-74. GI, (2014)Coinductive Verification of Program Optimizations Using Similarity Relations., , and . COCV@ETAPS, volume 176 of Electronic Notes in Theoretical Computer Science, page 61-77. Elsevier, (2006)On the Relation between Programming Models, Computational/Execution Models and Software Platforms in Automotive, , , , , , , , , and 1 other author(s). Future Automotive HW/SW Platform Design, volume 9 of Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (January 2020)Efficient Load-Time Diversity for an Embedded Real-Time Operating System., , , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 357-371. Springer, (2020)Strategische Bedeutung des Software Engineering für die Medizin., , , , , and . Software Engineering, volume P-105 of LNI, page 25-27. GI, (2007)Optimizing Aspectual Execution Mechanisms for Embedded Applications., and . WGT@ETAPS, volume 238 of Electronic Notes in Theoretical Computer Science, page 35-45. Elsevier, (2008)Learning Mealy Machines with Local Timers., , and . ICFEM, volume 14308 of Lecture Notes in Computer Science, page 47-64. Springer, (2023)A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL., and . GI Jahrestagung (2), volume P-51 of LNI, page 449-458. GI, (2004)