Martin Riedl

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 2

Top Topics

Probabilistic Automata

Monte Carlo Simulation

Markov Processes

Top Venues

Int. J. Crit. Comput. Based Syst.

Bundeswehr University Munich (PHD)

Education History

Bundeswehr University Munich

PHD

Publications

Alexander Gouberman, Martin Riedl, Markus Siegle
Analysing reward measures of LARES performability models by discontinuous Markov chains. Int. J. Crit. Comput. Based Syst. 7 (1) (2017)
Yogesh Bhanu, Sebastian Dännart, Henning von Kielpinski, Alexander Laux, Ulrike Lechner, Tobias Lehmann, Andreas Rieb, Martin Riedl, Florian Wolf
A Cyberthreat Search Process and Service. ICISSP (2016)
Alexander Gouberman, Christophe Grand, Martin Riedl, Markus Siegle
An IDE for the LARES Toolset. MMB/DFT (2014)
Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle
A Modelling and Analysis Environment for LARES. MMB/DFT (2012)
Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. SOFSEM (2009)
Martin Riedl, Johann Schuster, Markus Siegle
Recent Extensions to the Stochastic Process Algebra Tool CASPA. QEST (2008)
Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle
A view-probability-matrix approach to the modelling of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
Martin Riedl, Sebastian Seifert, Ingrid Fischer
String Generating Hypergraph Grammars with Word Order Restrictions. ICGT (2006)