Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings von Hermanns, Holger, Sun, Jun, Bu, Lei

Volltext

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18... von Hermanns, Holger

Volltext

The ins and outs of the probabilistic model checker MRMC von Katoen, Joost-Pieter, Zapreev, Ivan S., Hahn, Ernst Moritz, Hermanns, Holger, Jansen, David N.

Volltext

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures von Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Volltext

On the probabilistic bisimulation spectrum with silent moves von Baier, Christel, D’Argenio, Pedro R., Hermanns, Holger

Volltext

Towards a Framework Combining Machine Ethics and Machine Explainability von Baum, Kevin, Hermanns, Holger, Speith, Timo

Volltext

Battery-aware scheduling in low orbit: the GomX–3 case von Bisgaard, Morten, Gerhardt, David, Hermanns, Holger, Krčál, Jan, Nies, Gilles, Stenger, Marvin

Volltext

Conformance Relations and Hyperproperties for Doping Detection in Time and Space von Biewer, Sebastian, Dimitrova, Rayna, Fries, Michael, Gazda, Maciej, Heinze, Thomas, Hermanns, Holger, Mousavi, Mohammad Reza

Volltext

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Procee... von Hermanns, Holger, Segala, Roberto

Volltext

What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research von Langer, Markus, Oster, Daniel, Speith, Timo, Hermanns, Holger, Kästner, Lena, Schmidt, Eva, Sesing, Andreas, Baum, Kevin

Volltext

Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings von Hermanns, Holger

Volltext

Analysis of Timed and Long-Run Objectives for Markov Automata von Guck, Dennis, Hatefi, Hassan, Hermanns, Holger, Katoen, Joost-Pieter, Timmer, Mark

Volltext

Cost Preserving Bisimulations for Probabilistic Automata von Turrini, Andrea, Hermanns, Holger

Volltext

On the Control of Self-Balancing Unicycles von Freiberger, Felix, Hermanns, Holger

Volltext

Component-aware Input-Output Conformance von Graf-Brill, Alexander, Hermanns, Holger

Volltext

Polynomial time decision algorithms for probabilistic automata von Turrini, Andrea, Hermanns, Holger

Volltext

From Lotosphere to Thermosphere von Hermanns, Holger

Volltext

Probabilistic reachability for parametric Markov models von Hahn, Ernst Moritz, Hermanns, Holger, Zhang, Lijun

Volltext

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification von Hartmanns, Arnd, Hermanns, Holger

Volltext

A Modest Markov Automata Tutorial von Hartmanns, Arnd, Hermanns, Holger

Volltext