tr-announce

tr-announce@lists.rwth-aachen.de
  • 237 Diskussionen

2020-04: Cylindrical Algebraic Decomposition for Nonlinear Arithmetic Problems
von Hensel, Jera
4 Jahre

2020-05: Pre-Study on the Usefulness of Difference Operators for Modeling Languages in Software Development
von Hensel, Jera
4 Jahre, 1 Monat

2020-03: Adaptierung des Zeitverhaltens nicht-echtzeitfähiger Software für den Einsatz in zeitheterogenen Netzwerken
von Hensel, Jera
4 Jahre, 1 Monat

2020-02: Towards an Isabelle Theory for distributed, interactive systems - the untimed case
von Hensel, Jera
4 Jahre, 5 Monate

2019-05: Runtime Supervision of PLC Programs Using Discrete-Event Systems
von Hensel, Jera
4 Jahre, 7 Monate

2019-03: Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
von Hensel, Jera
4 Jahre, 8 Monate

2019-02: IC3 Software Model Checking
von Hensel, Jera
5 Jahre, 4 Monate

2018-06: The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking
von Hensel, Jera
5 Jahre, 6 Monate

2018-05: Real-World Deployment and Evaluation of Synchronous Programming in Reactive Embedded Systems
von Hensel, Jera
5 Jahre, 7 Monate

2018-04: Operation-Based Model Recommenders
von Jera Hensel
6 Jahre, 1 Monat
Ergebnisse pro Seite: