tr-announce

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

2020-04: Cylindrical Algebraic Decomposition for Nonlinear Arithmetic Problems
by Hensel, Jera
4 years, 3 months

2020-05: Pre-Study on the Usefulness of Difference Operators for Modeling Languages in Software Development
by Hensel, Jera
4 years, 4 months

2020-03: Adaptierung des Zeitverhaltens nicht-echtzeitfähiger Software für den Einsatz in zeitheterogenen Netzwerken
by Hensel, Jera
4 years, 4 months

2020-02: Towards an Isabelle Theory for distributed, interactive systems - the untimed case
by Hensel, Jera
4 years, 8 months

2019-05: Runtime Supervision of PLC Programs Using Discrete-Event Systems
by Hensel, Jera
4 years, 10 months

2019-03: Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
by Hensel, Jera
4 years, 11 months

2019-02: IC3 Software Model Checking
by Hensel, Jera
5 years, 7 months

2018-06: The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking
by Hensel, Jera
5 years, 9 months

2018-05: Real-World Deployment and Evaluation of Synchronous Programming in Reactive Embedded Systems
by Hensel, Jera
5 years, 10 months

2018-04: Operation-Based Model Recommenders
by Jera Hensel
6 years, 4 months
Results per page: