Publications/Elaborations

 


Veröffentlichungen/Ausarbeitungen

2014

Martin Riedl:

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

Dissertationsschrift

full text, bibtex


Alexander Gouberman, Christophe Grand, Martin Riedl und Markus Siegle:

An IDE for the LARES Toolset

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

full text, bibtex


2013

Alexander Gouberman, Martin Riedl und Markus Siegle:

A Modular and Hierarchical Modelling Approach for Stochastic Control

Proceedings of the 32nd IASTED International Conference on Modelling, Identification and Control (MIC ’13)

full text, bibtex


Alexander Gouberman, Martin Riedl und Markus Siegle:

Transformation of LARES performability models to continuous-time Markov reward models

Proceedings of the 7th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS ’13)

full text, bibtex


Tobias Meyer, Christoph Sondermann-Wölke, Walter Sextro, Martin Riedl, Alexander Gouberman und Markus Siegle:

Bewertung der Zuverlässigkeit selbstoptimierender Systeme mit dem LARES-Framework

9. Paderborner Workshop Entwurf Mechatronischer Systeme

full text, bibtex


2012

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

Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities

Springer Book: Resilience Assessment and Evaluation of Computing Systems

full text, bibtex


Martin Riedl und Markus Siegle:

A LAnguage for REconfigurable dependable Systems: Semantics & Dependability Model Transformation

Proceedings of the 6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS ’12)

full text, bibtex, VECoS Workshop

Alexander Gouberman, Martin Riedl und Markus Siegle:

A Modelling and Analysis Environment for LARES

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

full text, bibtex


2010

Martin Riedl, Johann Schuster, Markus Siegle, Michael Blum und Frank Schiller:

Dependability Model Transformation - A stochastic process algebra semantics for ZuverSicht models

Reliability, Risk and Safety: Back to the Future. Proceedings of the European Safety and Reliability Conference (ESREL ’10)

full text, bibtex


2009

Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle und Max Walter:

A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems

Reliability, Risk, and Safety: Theory and Applications. Proceedings of the European Safety and Reliability Conference (ESREL ’09)

full text, bibtex


Jens Bachmann, Martin Riedl, Johann Schuster und Markus Siegle:

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra tool CASPA

35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM09)

full text bibtex, slides


2008

Thomas Krieger, Martin Riedl, Johann Schuster und Markus Siegle:

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

ACM SIGMETRICS Performance Evaluation Review, Volume 36 , Issue 3 (December 2008), Special issue on quantitative analysis of gossiping protocols, Pages 23-30

full text, bibtex


Martin Riedl, Johann Schuster und Markus Siegle:

Recent Extensions to the stochastic process algebra tool CASPA

Fifth International Conference on the Quantitative Evaluation of Systems (QEST 2008), Saint Malo (France)

full text & bibtex, poster


2007

ITIS-Studie 2006-2007:

Definition & Entwicklung eines kombinierten Ausbildungskonzeptes für Operations Research, Modellbildung und Simulation in der Bundeswehr

2006

Martin Riedl:

Distributed Reasoning for Collaborating Agents

Diplomarbeit am Lehrstuhl für Betriebssysteme/Verteilte Systeme der Friedrich-Alexander-Universität Erlangen-Nürnberg und Siemens TS im Kontext des EU-Projektes InteGRail


Martin Riedl, Sebastian Seifert und Ingrid Fischer:

String Generating Hypergraph Grammars with Word Order Restrictions

Lecture Notes of Computer Science (LNCS) Volume 4178/2006 im Rahmen des International Congress on Graph Transformation (ICGT) 2006

full text, bibtex


2005

Martin Riedl:

Wortstellungsrestriktionen für Zeichenketten generierende Hypergraphgrammatiken

Studienarbeit am Lehrstuhl für Programmiersysteme
der Technischen Fakultät der Friedrich-Alexander-Universität Erlangen-Nürnberg

fulltext, web