Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty

von Niehage, Mathis
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction

von Pilch, Carina
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)

hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions

von Hüls, Jannik
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school, ROCKS 2012, Vahrn, Italy, Octobe...

Veröffentlicht 2014

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

von Delicaris, Joanna
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (17. : 2023 : Bristol) Theoretical aspects of software engineering (2023)

A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata

von Pilch, Carina
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty

von Adelt, Julius
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Compositional stochastic process algebra models : a focus on model repair and rate lifting

von Soltanieh, Amin
Veröffentlicht 2023

Quantitative evaluation of systems : 17th international conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings

Veröffentlicht 2020

Distributed applications and interoperable systems : 20th IFIP WG 6.1 international conference, DAIS 2020, held as part of the 15th International Federated Conference on Distribu...

Veröffentlicht 2020

Measurement, modelling and evaluation of dependable computer and communication systems : 18th international GI/ITG conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016 :...

Veröffentlicht 2016

Computer performance engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018 : proceedings

Veröffentlicht 2018