Martin Riedl

发表

String Generating Hypergraph Grammars with Word Order Restrictions

Ingrid Fischer, Martin Riedl, Sebastian Seifert, 2006, ICGT.

An IDE for the LARES Toolset

Markus Siegle, Martin Riedl, Christophe Grand, 2014, MMB/DFT.

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

Martin Riedl, 2014 .

LARES ‚Äî A novel approach for describing system reconfigurability in dependability models of fault-tolerant systems

Markus Siegle, Martin Riedl, Alexander Gouberman, 2009 .

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

Markus Siegle, Martin Riedl, Johann Schuster, 2008, PERV.

A Modelling and Analysis Environment for LARES

Markus Siegle, Martin Riedl, Alexander Gouberman, 2012, MMB/DFT.

A Comparison of WorldView-2 and Landsat 8 Images for the Classification of Forests Affected by Bark Beetle Outbreaks Using a Support Vector Machine and a Neural Network: A Case Study in the Sumava Mountains

Martin Riedl, Premysl Stych, Josef Lastovicka, 2019, Geosciences.

Analysing reward measures of LARES performability models by discontinuous Markov chains

Markus Siegle, Martin Riedl, Alexander Gouberman, 2017, Int. J. Crit. Comput. Based Syst..

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

Markus Siegle, Jens Bachmann, Martin Riedl, 2009, SOFSEM.

Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities

Felicita Di Giandomenico, Anne Remke, Martin Riedl, 2012, Resilience Assessment and Evaluation of Computing Systems.

Recent Extensions to the Stochastic Process Algebra Tool CASPA

Markus Siegle, Martin Riedl, Johann Schuster, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

A MODULAR AND HIERARCHICAL MODELLING APPROACH FOR STOCHASTIC CONTROL

Markus Siegle, Martin Riedl, Alexander Gouberman, 2013 .

A Cyberthreat Search Process and Service

Tobias Lehmann, Ulrike Lechner, Martin Riedl, 2016, ICISSP.