Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Holger Hermanns

Ten Years of Performance Evaluation for Concurrent Systems Using CADP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Process Algebra for Performance Evaluation

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2002English

Comparative Branching-Time Semantics for Markov Chains

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2005English

Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2008English

On the Logical Characterisation of Performability Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Probabilistic CEGAR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

MoDeST — A Modelling and Description Language for Stochastic Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Towards Performance Prediction of Compositional Models in Industrial GALS Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Markov Chain Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy