We stand with Ukraine  

Martin Riedl

Affiliations:
  • Bundeswehr University Munich, Institute for Applied Computer Science
  • University of Erlangen-Nuremberg, Department of Computer Science


According to our database1, Martin Riedl authored at least 10 papers between 2006 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Analysing reward measures of LARES performability models by discontinuous Markov chains.
[BibTeX]
[DOI]
Alexander Gouberman
,
Martin Riedl
,
Markus Siegle
Int. J. Crit. Comput. Based Syst., 2017

2016
A Cyberthreat Search Process and Service.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Martin Riedl
PhD thesis, 2014

An IDE for the LARES Toolset.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Thomas Krieger
,
Martin Riedl
,
Johann Schuster
,
Markus Siegle
SIGMETRICS Perform. Evaluation Rev., 2008

Recent Extensions to the Stochastic Process Algebra Tool CASPA.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Martin Riedl
,
Sebastian Seifert
,
Ingrid Fischer
Proceedings of the Graph Transformations, Third International Conference, 2006


  Loading...