Publications/Elaborations

Veröffentlichungen/Ausarbeitungen

2010

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

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

full text ,bibtex

2009

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

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

full text ,bibtex

J. Bachmann, M. Riedl, J. Schuster, M. 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)

bibtex ,slides

2008

Th. Krieger, M. Riedl, J. Schuster, M. 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

M. Riedl, J. Schuster, M. 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, Ingrid Fischer:

String Generating Hypergraph Grammars with Word Order Restrictions

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

full text, bibtex

2005