Searching for authors named "Holger Hermanns" – sorted by Relevance.
55 documents found, showing 1 through 10.
Next 10 →
-
Performance Prediction of Behavioural Descriptions with Temporal Logics (Extended Abstract)
- … Prediction of Behavioural Descriptions with Temporal Logics (extended abstract) Holger Hermanns University…
- Cited by 2 (0 self) – Add To MetaCart
-
Construction and Verification of Performance and Reliability Models
- …Construction and Verification of Performance and Reliability Models Holger Hermanns University…
- Cited by 1 (1 self) – Add To MetaCart
-
An Operator for Symmetry Representation and Exploitation in Stochastic Process Algebras
- …An Operator for Symmetry Representation and Exploitation in Stochastic Process Algebras Holger…
- Cited by 3 (0 self) – Add To MetaCart
-
CWIEHE INR UER ZAR UTO UNE IMP
- … Characteristic Equations for Markovian TIPP Holger Hermanns Michael Rettelbach University of Erlangen cfl…
- Add To MetaCart
-
Symbolic Minimisation of Stochastic Process Algebra Models
- …Symbolic Minimisation of Stochastic Process Algebra Models Holger Hermanns 1 and Markus Siegle…
- Add To MetaCart
-
A Stochastic Process Algebra Based Modelling Tool
- … Systems Liverpool, 5.--6. September, 1995 A Stochastic Process Algebra Based Modelling Tool Holger…
- Cited by 13 (6 self) – Add To MetaCart
-
Process Algebra and Markov Chains
- …Process Algebra and Markov Chains Ed Brinksma and Holger Hermanns Formal Methods and Tools Group…
- Cited by 5 (1 self) – Add To MetaCart
-
Uniformity by construction in the analysis of nondeterministic stochastic systems
- … with convenient compositional properties. Holger Hermanns Sven Johr Universität des Saarlandes, FR 6.2 Informatik…
- Cited by 2 (0 self) – Add To MetaCart
-
Towards a superset of Basic Lotos for Performance Prediction
- …Towards a superset of Basic Lotos for Performance Prediction Holger Hermanns, Michael Rettelbach…
- Cited by 8 (3 self) – Add To MetaCart
-
Priority and Maximal Progress are completely axiomatisable (Extended Abstract)
- …Priority and Maximal Progress are completely axiomatisable (extended abstract) Holger Hermanns 1…
- Cited by 11 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
