Holger Hermanns profile picture

Holger Hermanns

CONCUR 2006 - Concurrency Theory
Dependable Software Engineering: Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings
Computer Aided Verification
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) July 8-11, 2020, Saarbrücken, Germany
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings
Interactive Markov Chains The Quest for Quantified Quality
Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Validation of Stochastic Systems A Guide to Current Research
Interactive Markov Chains The Quest for Quantified Quality
Measurement, Modelling and Evaluation of Computing Systems 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings
Measurement, Modelling and Evaluation of Computing Systems
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
Interactive Markov Chains
Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings