Testbench qualification for SystemC-AMS timed data flow models
Hassan, Muhammad, Grose, Daniel, Le, Hoang M., Vortler, Thilo, Einwich, Karsten, Drechsler, Rolf
Published in 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2018)
Published in 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2018)
Get full text
Conference Proceeding
Functional Coverage-Driven Characterization of RF Amplifiers
Hassan, Muhammad, Grosse, Daniel, Vortler, Thilo, Einwich, Karsten, Drechsler, Rolf
Published in 2019 Forum for Specification and Design Languages (FDL) (01.09.2019)
Published in 2019 Forum for Specification and Design Languages (FDL) (01.09.2019)
Get full text
Conference Proceeding
Formal Verification of Software for the Contiki Operating System Considering Interrupts
Vortler, Thilo, Hockner, Benny, Hofstedt, Petra, Klotz, Thomas
Published in 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (13.08.2015)
Published in 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (13.08.2015)
Get full text
Conference Proceeding
Design space exploration for cyber physical system design using constraint solving
Hockner, Benny, Hofstedt, Petra, Kaltschmidt, Sascha, Sauer, Peter, Vortler, Thilo
Published in Proceedings of the 2013 Forum on specification and Design Languages (FDL) (01.09.2013)
Get full text
Published in Proceedings of the 2013 Forum on specification and Design Languages (FDL) (01.09.2013)
Conference Proceeding
Reliable execution of statechart-generated correct embedded software under soft errors
Ferreira, Ronaldo R., Klotz, Thomas, Vortler, Thilo, da Rolt, Jean, Nazar, Gabriel L., Moreira, Alvaro F., Carro, Luigi, Einwich, Karsten
Published in 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (01.04.2014)
Published in 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (01.04.2014)
Get full text
Conference Proceeding
UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases
Barnasconi, Martin, Dietrich, Manfred, Einwich, Karsten, Vortler, Thilo, Chaput, Jean-Paul, Louerat, Marie-Minerve, Pecheux, Francois, Zhi Wang, Cuenot, Philippe, Neumann, Ingmar, Thang Nguyen, Lucas, Ronan, Vaumorin, Emmanuel
Published in IEEE design and test (01.12.2015)
Published in IEEE design and test (01.12.2015)
Get full text
Magazine Article
Bounded model checking of Contiki applications
Vortler, T., Rulke, S., Hofstedt, P.
Published in 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) (01.04.2012)
Published in 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) (01.04.2012)
Get full text
Conference Proceeding