direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

PhD Theses (Abgeschlossene Promotionen)

2018
Sebastian Schlesinger
Formal verification of model refactorings for hybrid control systems - original publication
Technische Universität Berlin, 19. July 2018
2015
Helena Gruhn
A framework for reliable and dynamic wireless sensor-actuator networks - original publication
Technische Universität Berlin, 2. December 2015
Robert Reicherdt
A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie - original publication
Technische Universität Berlin, 10. July 2015
2014
Marcel Pockrandt
Model Checking Memory-Related Properties of Hardware/Software Co-designs - original publication
Technische Universität Berlin, 18. December 2014
Dirk Tetzlaff
A Framework for Machine Learning Based Mapping of Concurrent Applications to Parallel Architectures - original publication
Technische Universität Berlin, 27. June 2014
Daniel Stöhr
Automated Composition of Timed Services in Medical Applications - original publication
Technische Universität Berlin, 30. April 2014
Björn Bartels
A mechanized verification environment for real-time process algebras and low-level programming languages - original publication
Technische Universität Berlin, 10. April 2014
2012
Michael Beyer
Static Analysis of Run-time Modes in Kahn Process Networks - original publication
Technische Universität Berlin, Shaker Verlag, 9. July 2012
Elke Salecker
Test and Verification of Compiler Back Ends with a Cost-Benefit Analysis - original publication
Technische Unviersität Berlin, 22. Juny 2012
Thomas Göthel
Mechanical Verification of Parameterized Real-Time Systems – original publication
Technische Unviersität Berlin, 4. Mai 2012
2011
Christine Hundt
Optimized Aspect Execution Mechanisms inside Virtual Machines for Embedded Systems - original publication
Technische Universität Berlin, 4. November 2011
2010
Paula Herber
A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automataoriginal publication
Technische Universität Berlin, 25. February 2010
2009
Lars Alvincz
A Framework for Intelligent Speculative Compiler Optimizations and its Application to the Optimization of Memory Accessesoriginal publication
Technische Unviersität Berlin, 17. July 2009

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe