Inhalt des Dokuments
Sebastian Schlesinger Formal verification of model refactorings for hybrid control systems - original publication Technische Universität Berlin, 19. July 2018 |
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 |
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 |
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 |
Christine Hundt Optimized Aspect Execution Mechanisms inside Virtual Machines for Embedded Systems - original publication Technische Universität Berlin, 4. November 2011 |
Paula Herber A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata – original publication Technische Universität Berlin, 25. February 2010 |
Lars Alvincz A Framework for Intelligent Speculative Compiler Optimizations and its Application to the Optimization of Memory Accesses – original publication Technische Unviersität Berlin, 17. July 2009 |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe