Lares—a novel approach for describing system reconfigurability in dependability models of fault-tolerant systems M Walter, A Gouberman, M Riedl, J Schuster, M Siegle Reliability, Risk, and Safety, Three Volume Set, 187-194, 2009 | 21 | 2009 |
An efficient symbolic elimination algorithm for the stochastic process algebra tool CASPA J Bachmann, M Riedl, J Schuster, M Siegle SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on …, 2009 | 19 | 2009 |
Recent extensions to the stochastic process algebra tool CASPA M Riedl, J Schuster, M Siegle 2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008 | 12 | 2008 |
Assessing dependability and resilience in critical infrastructures: challenges and opportunities A Avritzer, F Di Giandomenico, A Remke, M Riedl Resilience assessment and evaluation of computing systems, 41-63, 2012 | 10 | 2012 |
A LAnguage for REconfigurable dependable Systems: Semantics & Dependability Model Transformation M Riedl, M Siegle Proc. 6th International Workshop VECOS 12, 78-89, 2012 | 9 | 2012 |
Bewertung der Zuverlässigkeit selbstoptimierender Systeme mit dem LARES-Framework T Meyer, C Sondermann-Wölke, W Sextro, M Riedl, A Gouberman, ... Gausemeier, J., Dumitrescu, R., Rammig, F., Schäfer, W., Trächtler, A.(eds …, 2013 | 5 | 2013 |
A Modelling and Analysis Environment for LARES A Gouberman, M Riedl, J Schuster, M Siegle Measurement, Modelling, and Evaluation of Computing Systems and …, 2012 | 5 | 2012 |
A Cyberthreat Search Process and Service. Y Bhanu, S Dännart, H von Kielpinski, A Laux, U Lechner, T Lehmann, ... ICISSP, 528-535, 2016 | 4 | 2016 |
Transformation of LARES performability models to continuous-time Markov reward models A Gouberman, M Riedl, M Siegle Proc. 7th Int. Workshop on Verification and Evaluation of Computer and …, 2013 | 4 | 2013 |
A Modular and Hierarchical Modelling Approach for Stochastic Control A Gouberman, M Riedl, M Siegle MIC, 2013 | 3 | 2013 |
How many roads? Object segmentation on satellite imagery in a production environment EC Iris Wieser, Peter Schauer, Martin Angelhuber, Martin Riedl, Paul Fischer Proc. of the 2019 conference on Big Data from Space (BiDS’19), 173-176, 2019 | 2* | 2019 |
Suche nach IT-Sicherheitsinformationen–Ein Referenzmodell S Dännart, A Laux, U Lechner, M Riedl Konferenzband Multikonferenz Wirtschaftsinformatik 2016 (To appear), 2016 | 2 | 2016 |
An IDE for the LARES Toolset A Gouberman, C Grand, M Riedl, M Siegle Measurement, Modelling, and Evaluation of Computing Systems and …, 2014 | 2 | 2014 |
A view-probability-matrix approach to the modelling of gossiping protocols T Krieger, M Riedl, J Schuster, M Siegle ACM SIGMETRICS Performance Evaluation Review 36 (3), 23-30, 2008 | 2 | 2008 |
Networked IT-Security for Critical Infrastructures–The Research Agenda Of VeSiKi S Bergner, B Buchner, S Dännart, A Fritzsche, A Harner, S Harth, ... | 1 | 2017 |
Dependability Model Transformation–A Stochastic Process Algebra Semantics for ZuverSicht Models M Riedl, J Schuster, M Siegle, M Blum, F Schiller Reliability, Risk and Safety: Back to the Future. Proceedings of the …, 2010 | 1* | 2010 |
Wortstellungsrestriktionen für Zeichenketten generierende Hypergraphgrammatiken M Riedl Studienarbeit, Lehrstuhl für Informatik 2, 2004 | 1* | 2004 |
Analysing reward measures of LARES performability models by discontinuous Markov chains A Gouberman, M Riedl, M Siegle International Journal of Critical Computer-Based Systems 7 (1), 22-42, 2017 | | 2017 |
A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment M Riedl Universitätsbibliothek der Universität der Bundeswehr München, 2014 | | 2014 |
CASPA-A Tool for Symbolic Performance Evaluation and Stochastic Model Checking BR Haverkort, M Kuntz, M Riedl, J Schuster, M Siegle Workshop at Lorentz Center 12, 16, 2007 | | 2007 |