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

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

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

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

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

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

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

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

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

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