Author of the publication

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

Model Checking (Grundlagen und Praxiserfahrungen)., , , , , , , and . Informatik Spektrum, 27 (2): 146-158 (2004)Definition and Generation of Data Exchange Formats in AUTOSAR., and . ECMDA-FA, volume 4066 of Lecture Notes in Computer Science, page 52-65. Springer, (2006)Improving the Interoperability of Automotive Tools by Raising the Abstraction from Legacy XML Formats to Standardized Metamodels., and . ECMDA-FA, volume 4530 of Lecture Notes in Computer Science, page 59-67. Springer, (2007)Dynamic Event Generation for Runtime Checking using the JDI., and . Electron. Notes Theor. Comput. Sci., 70 (4): 21-35 (2002)