Inhalt des Dokuments
Sebastian Schlesinger [1] Formal verification of model refactorings for hybrid control systems - original publication [2] Technische Universität Berlin, 19. July 2018 |
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 |
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 |
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 |
Christine Hundt [21] Optimized Aspect Execution Mechanisms inside Virtual Machines for Embedded Systems - original publication [22] Technische Universität Berlin, 4. November 2011 |
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 |
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 |
lige_mitarbeiter/sebastian_schlesinger/parameter/de/max
hilfe/
lige_mitarbeiter/helena_gruhn/parameter/de/maxhilfe/
lige_mitarbeiter/robert_reicherdt/parameter/de/maxhilfe
/
lige_mitarbeiter/marcel_pockrandt/parameter/de/maxhilfe
/
x/index/docId/6060
lige_mitarbeiter/tetzlaff/parameter/de/maxhilfe/
ex/index/docId/5393
alige_mitarbeiter/daniel_stoehr/parameter/de/maxhilfe/
ex/index/docId/5117
alige_mitarbeiter/bjoern_bartels/parameter/de/maxhilfe/
alige_mitarbeiter/beyer/parameter/de/maxhilfe/
p?lang=de&ID=8&ISBN=978-3-8440-1252-1
alige_mitarbeiter/elke_salecker/parameter/de/maxhilfe/
alige_mitarbeiter/thomas_goethel/parameter/de/maxhilfe/
alige_mitarbeiter/christine_hundt/parameter/de/maxhilfe
/
alige_mitarbeiter/paula_herber/parameter/de/maxhilfe/
alige_mitarbeiter/lars_alvincz/parameter/de/maxhilfe/
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe
Hilfsfunktionen
Copyright TU Berlin 2008