Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An algebraic approach to the specification of stochastic systems., , and . PROCOMET, volume 125 of IFIP Conference Proceedings, page 126-147. Chapman & Hall, (1998)Input/Output Stochastic Automata - Compositionality and Determinism., , and . FORMATS, volume 9884 of Lecture Notes in Computer Science, page 53-68. Springer, (2016)Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism., and . ICTAC, volume 11187 of Lecture Notes in Computer Science, page 132-152. Springer, (2018)A Hierarchy of Scheduler Classes for Stochastic Automata., , , and . FoSSaCS, volume 10803 of Lecture Notes in Computer Science, page 384-402. Springer, (2018)Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation., and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 452-466. Springer, (2012)A general SOS theory for the specification of probabilistic transition systems., , and . Inf. Comput., (2016)The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation., and . CONCUR, volume 3653 of Lecture Notes in Computer Science, page 125-140. Springer, (2005)A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems., , , and . ROCKS, volume 8453 of Lecture Notes in Computer Science, page 67-86. Springer, (2012)Measuring Masking Fault-Tolerance., , , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 375-392. Springer, (2019)A Statistical Model Checker for Nondeterminism and Rare Events., , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 340-358. Springer, (2018)