Travelled to:1 × Italy
2 × Germany
Collaborated with:H.Hermanns J.Katoen J.Meyer-Kayser ∅ V.Mertsiotakis
Talks about:model (4) process (2) markov (2) markovian (1) stochast (1) parallel (1) composit (1) program (1) perform (1) checker (1)
Person: Markus Siegle
DBLP: Siegle:Markus
Contributed to:
2000
2000
1999
1994Wrote 4 papers:
- IFM-2000-HermannsKMS #algebra #model checking #probability #process #towards
- Towards Model Checking Stochastic Process Algebra (HH, JPK, JMK, MS), pp. 420–439.
- TACAS-2000-HermannsKMS #markov #model checking
- A Markov Chain Model Checker (HH, JPK, JMK, MS), pp. 347–362.
- CAV-1999-HermannsMS #analysis #composition #markov #modelling #named #performance #specification
- TIPPtool: Compositional Specification and Analysis of Markovian Performance Models (HH, VM, MS), pp. 487–490.
- PDP-1994-Siegle #markov #modelling #parallel #process #source code
- Reduced Markov Models Of Parallel Programs With Replicated Processes (MS), pp. 126–133.