String Generating Hypergraph Grammars with Word Order Restrictions. - Martin Riedl 001; Sebastian Seifert; Ingrid Fischer (ICGT, 2006)

Recent Extensions to the Stochastic Process Algebra Tool CASPA. - Martin Riedl 001; Johann Schuster; Markus Siegle (QEST, 2008)

A view-probability-matrix approach to the modelling of gossiping protocols. - Thomas Krieger; Martin Riedl 001; Johann Schuster; Markus Siegle (SIGMETRICS Perform. Evaluation Rev., 2008)

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. - Jens Bachmann; Martin Riedl 001; Johann Schuster; Markus Siegle (SOFSEM, 2009)

Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities. - Alberto Avritzer; Felicita Di Giandomenico; Anne Remke; Martin Riedl 001 (Resilience Assessment and Evaluation of Computing Systems, 2012)

A Modelling and Analysis Environment for LARES. - Alexander Gouberman; Martin Riedl 001; Johann Schuster; Markus Siegle (MMB/DFT, 2012)

An IDE for the LARES Toolset. - Alexander Gouberman; Christophe Grand; Martin Riedl 001; Markus Siegle (MMB/DFT, 2014)

A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment. - Martin Riedl 001 (2014)

A Cyberthreat Search Process and Service. - Yogesh Bhanu; Sebastian Dännart; Henning von Kielpinski; Alexander Laux; Ulrike Lechner; Tobias Lehmann; Andreas Rieb; Martin Riedl 001; Florian Wolf 005 (ICISSP, 2016)

Vorwort. - Benedikt Buchner; Albrecht Fritzsche; Andreas Harner; Ulrike Lechner; Kathrin M. Möslein; Martin Riedl 001 (MKWI, 2016)

Suche nach IT-Sicherheitsinformationen - Ein Referenzmodell. - Sebastian Dännart; Alexander Laux; Ulrike Lechner; Martin Riedl 001 (MKWI, 2016)

Analysing reward measures of LARES performability models by discontinuous Markov chains. - Alexander Gouberman; Martin Riedl 001; Markus Siegle (Int. J. Crit. Comput. Based Syst., 2017)