Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2015Formal verification of software for the Contiki operating system considering interrupts
Vörtler, Thilo; Höckner, Benny; Hofstedt, Petra; Klotz, Thomas
Konferenzbeitrag
2015Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts
Vörtler, Thilo; Höckner, Benny; Hofstedt, Petra; Klotz, Thomas
Konferenzbeitrag
2015Simplifying UVM in SystemC
Vörtler, Thilo; Klotz, Thomas; Einwich, Karsten; Assmann, Felix
Konferenzbeitrag
2014Enriching UVM in SystemC with AMS extensions for randomization and functional coverage
Vörtler, Thilo; Klotz, Thomas; Einwich, Karsten; Li, Yao; Wang, ZHi; Louërat, Marie- Minerve; Chaput, Jean-Paul; Pêcheux, François; Iskander, Ramy; Barnasconi, Martin
Konferenzbeitrag
2014Introducing the universal verification methodology (UVM) in SystemC and SystemC-AMS
Einwich, Karsten; Barnasconi, Martin; Vörtler, Thilo; Klotz, Thomas
Vortrag
2014Reliable execution of statechart-generated correct embedded software under soft errors
Ferreira, Ronaldo R.; Klotz, Thomas; Vörtler, Thilo; Rolt, Jean da; Nazar, Gabriel L.; Moreira, Àlvaro F.; Carro, Luigi; Einwich, Karsten
Konferenzbeitrag
2013Ein Ansatz zur Verifikation von Materialflusssystemen durch Model Checking
Turek, Karsten; Klotz, Thomas; Schmidt, Thorsten; Straube, Bernd
Konferenzbeitrag
2013Automated formal verification of routing in material handling systems
Klotz, Thomas; Schönherr, Jens; Seßler, Norman; Straube, Bernd; Turek, Karsten
Zeitschriftenaufsatz
2013Dresdner Arbeitstagung Schaltungs- und Systementwurf, DASS 2013. Tagungsband. CD-ROM
: Schneider, Peter (Hrsg.); Klotz, Thomas (Hrsg.)
Tagungsband
2013Formale Verifikation von Materialflusssystemen
Turek, Karsten; Klotz, Thomas; Straube, Bernd
Konferenzbeitrag
2013Model checking specifications of smart cards
Greimel, Karin; Seßler, Norman; Klotz, Thomas
Konferenzbeitrag
2013Modeling and verification of material handling systems
Klotz, Thomas
: Spallek, Rainer G. (Erstgutachter); Eveking, Hans (Zweitgutachter); Straube, Bernd (Fachreferent)
Dissertation
2012Ein Ansatz zur Verifikation von Materialflusssteuerungen
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Seßler, Norman; Haufe, Jürgen; Schulze, Frank
Konferenzbeitrag
2012Compositional verification of material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens
Konferenzbeitrag
2012Dresdner Arbeitstagung Schaltungs- und Systementwurf, DASS 2012. Tagungsband. CD-ROM
: Schneider, Peter (Hrsg.); Klotz, Thomas (Hrsg.)
Tagungsband
2012On the formal verification of routing in material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens
Konferenzbeitrag
2012On the verification of routing in material handling systems
Seßler, Norman
: Klotz, Thomas; Fordran, Eva
Diplomarbeit
2011An approach to the verification of material handling systems
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Haufe, Jürgen; Schulze, Frank; Turek, Karsten; Schmidt, Thorsten
Konferenzbeitrag
2011Toward verification of material handling systems
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Haufe, Jürgen; Schulze, Frank; Turek, Karsten; Schmidt, Thorsten
Konferenzbeitrag