direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

PhD Theses (Abgeschlossene Promotionen)

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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Copyright TU Berlin 2008