direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

PhD Theses (Abgeschlossene Promotionen)

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