Martin Riedl

According to our database, Martin Riedl authored at least 12 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Analysing reward measures of LARES performability models by discontinuous Markov chains.

Alexander Gouberman, Martin Riedl, Markus Siegle

Int. J. Crit. Comput. Based Syst., 2017

2016

Suche nach IT-Sicherheitsinformationen - Ein Referenzmodell.

Sebastian Dännart, Alexander Laux, Ulrike Lechner, Martin Riedl

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2016

Vorwort.

Benedikt Buchner, Albrecht Fritzsche, Andreas Harner, Ulrike Lechner, Kathrin M. Möslein, Martin Riedl

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2016

A Cyberthreat Search Process and Service.

Yogesh Bhanu, Sebastian Dännart, Henning von Kielpinski, Alexander Laux, Ulrike Lechner, Tobias Lehmann, Andreas Rieb, Martin Riedl, Florian Wolf

Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

2014

A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment.

Martin Riedl

PhD thesis, 2014

An IDE for the LARES Toolset.

Alexander Gouberman, Christophe Grand, Martin Riedl, Markus Siegle

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

2012

A Modelling and Analysis Environment for LARES.

Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities.

Alberto Avritzer, Felicita Di Giandomenico, Anne Remke, Martin Riedl

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2009

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.

Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2008

A view-probability-matrix approach to the modelling of gossiping protocols.

Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle

SIGMETRICS Perform. Evaluation Rev., 2008

Recent Extensions to the Stochastic Process Algebra Tool CASPA.

Martin Riedl, Johann Schuster, Markus Siegle

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2006

String Generating Hypergraph Grammars with Word Order Restrictions.

Martin Riedl, Sebastian Seifert, Ingrid Fischer

Proceedings of the Graph Transformations, Third International Conference, 2006