Thilo Vörtler
According to our database1,
Thilo Vörtler
authored at least 10 papers
between 2011 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
2017
2018
2019
0
1
2
3
4
1
1
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
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.
PhD thesis, 2018
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.
IEEE Des. Test, 2015
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts.
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.
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.
Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014
2013
Proceedings of the 2013 Forum on specification and Design Languages, 2013
2012
Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012
2011
Formale Verifikation von Contiki-Anwendungen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011