Martin Riedl

Publication Activity (10 Years)

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

Top Venues

MKWI

Int. J. Crit. Comput. Based Syst.

ICISSP

MMB/DFT

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)
Sebastian Dännart, Alexander Laux, Ulrike Lechner, Martin Riedl
Suche nach IT-Sicherheitsinformationen - Ein Referenzmodell. MKWI (2016)
Benedikt Buchner, Albrecht Fritzsche, Andreas Harner, Ulrike Lechner, Kathrin M. Möslein, Martin Riedl
Vorwort. MKWI (2016)
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)

Martin Riedl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Riedl