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

Testbench qualification for SystemC-AMS timed data flow models., , , , , and . DATE, page 857-860. IEEE, (2018)UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases., , , , , , , , , and 3 other author(s). IEEE Design & Test, 32 (6): 76-86 (2015)Reliable execution of statechart-generated correct embedded software under soft errors., , , , , , , and . DDECS, page 147-152. IEEE Computer Society, (2014)Formal Verification of Software for the Contiki Operating System Considering Interrupts., , , and . DDECS, page 295-298. IEEE Computer Society, (2015)Formale Verifikation von Contiki-Anwendungen., , , and . MBMV, page 39-48. OFFIS-Institut für Informatik, (2011)Design space exploration for cyber physical system design using constraint solving., , , , and . FDL, page 1-4. IEEE, (2013)Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts., , , and . MBMV, page 20-29. Sächsische Landesbibliothek, (2015)Bounded model checking of Contiki applications., , and . DDECS, page 258-261. IEEE, (2012)Functional Coverage-Driven Characterization of RF Amplifiers., , , , and . FDL, page 1-8. IEEE, (2019)