Functional Coverage-Driven Characterization of RF Amplifiers. - Hassan, Muhammad; Große, Daniel; Vörtler, Thilo; Einwich, Karsten; Drechsler, Rolf (2019)

Verification of software for Contiki-based low-power embedded systems using software model checking. - Vörtler, Thilo (2018)

Testbench qualification for SystemC-AMS timed data flow models. - Hassan, Muhammad; Große, Daniel; Le, Hoang M.; Vörtler, Thilo; Einwich, Karsten; Drechsler, Rolf (2018)

UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases. - Barnasconi, Martin; Dietrich, Manfred; Einwich, Karsten; Vörtler, Thilo; Chaput, Jean-Paul; Louërat, Marie-Minerve; Pêcheux, François; Wang, Zhi; Cuenot, Philippe; Neumann, Ingmar; Nguyen, Thang; Lucas, Ronan; et al. (IEEE Des. Test, 2015)

Formal Verification of Software for the Contiki Operating System Considering Interrupts. - Vörtler, Thilo; Höckner, Benny; Hofstedt, Petra; Klotz, Thomas (2015)

Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. - Vörtler, Thilo; Höckner, Benny; Hofstedt, Petra; Klotz, Thomas (2015)

Reliable execution of statechart-generated correct embedded software under soft errors. - Ferreira, Ronaldo Rodrigues; Klotz, Thomas; Vörtler, Thilo; Rolt, Jean da; Nazar, Gabriel L.; Moreira, Álvaro Freitas; Carro, Luigi; Einwich, Karsten (2014)

Design space exploration for cyber physical system design using constraint solving. - Höckner, Benny; Hofstedt, Petra; Kaltschmidt, Sascha; Sauer, Peter; Vörtler, Thilo (2013)

Bounded model checking of Contiki applications. - Vörtler, Thilo; Rülke, Steffen; Hofstedt, Petra (2012)

Formale Verifikation von Contiki-Anwendungen. - Vörtler, Thilo; Klotz, Thomas; Fordran, Eva; Hofstedt, Petra (2011)