Thilo Vörtler

According to our database, Thilo Vörtler authored at least 10 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Functional Coverage-Driven Characterization of RF Amplifiers.

Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

2018

Verification of software for Contiki-based low-power embedded systems using software model checking.

Thilo Vörtler

PhD thesis, 2018

Testbench qualification for SystemC-AMS timed data flow models.

Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

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, Philippe Cuenot, Ingmar Neumann, Thang Nguyen, Ronan Lucas, Emmanuel Vaumorin

IEEE Des. Test, 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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Formal Verification of Software for the Contiki Operating System Considering Interrupts.

Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

2014

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

Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014

2013

Design space exploration for cyber physical system design using constraint solving.

Benny Höckner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer, Thilo Vörtler

Proceedings of the 2013 Forum on specification and Design Languages, 2013

2012

Bounded model checking of Contiki applications.

Thilo Vörtler, Steffen Rülke, Petra Hofstedt

Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

2011

Formale Verifikation von Contiki-Anwendungen.

Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011