Thilo Vörtler

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 2

Top Venues

DDECS

FDL

IEEE Des. Test

MBMV

Brandenburg University of Technology, Cottbus - Senftenberg, Germany (PHD)

Education History

Brandenburg University of Technology, Cottbus - Senftenberg, Germany

PHD

Publications

Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler
Functional Coverage-Driven Characterization of RF Amplifiers. FDL (2019)
Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler
Testbench qualification for SystemC-AMS timed data flow models. DATE (2018)
Martin Barnasconi, Manfred Dietrich, Karsten Einwich, Thilo Vörtler, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Zhi Wang, Philippe Cuenot, Ingmar Neumann, Thang Nguyen, Ronan Lucas, Emmanuel Vaumorin
UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases. IEEE Des. Test 32 (6) (2015)
Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. MBMV (2015)
Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz
Formal Verification of Software for the Contiki Operating System Considering Interrupts. DDECS (2015)
Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vörtler, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro, Karsten Einwich
Reliable execution of statechart-generated correct embedded software under soft errors. DDECS (2014)
Benny Höckner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer, Thilo Vörtler
Design space exploration for cyber physical system design using constraint solving. FDL (2013)
Thilo Vörtler, Steffen Rülke, Petra Hofstedt
Bounded model checking of Contiki applications. DDECS (2012)
Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt
Formale Verifikation von Contiki-Anwendungen. MBMV (2011)

Thilo Vörtler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thilo Vörtler