Markus Siegle
Orcid: 0000-0001-7639-2280Affiliations:
- Bundeswehr University Munich, Germany
According to our database1,
Markus Siegle
authored at least 62 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
ACM Trans. Model. Comput. Simul., July, 2024
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2024
2023
Proceedings of the Projektmanagement und Vorgehensmodelle 2023 - Nachhaltige IT-Projekte, 2023
2022
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
2021
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021
2020
It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020
2019
Markov chains with perturbed rates to absorption: Theory and application to model repair.
Perform. Evaluation, 2019
Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019
2017
Analysing reward measures of LARES performability models by discontinuous Markov chains.
Int. J. Crit. Comput. Based Syst., 2017
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017
2016
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements.
Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016
2015
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015
2014
Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states.
Inf. Comput., 2014
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014
2013
Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013
2012
Proceedings of the Second Workshop on Quantitative Models for Performance and Dependability, 2012
Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization.
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
2010
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.
Formal Methods Syst. Des., 2010
On Lifetime Optimization of Boolean Parallel Systems with Erlang Repair Distributions.
Proceedings of the Operations Research Proceedings 2010, 2010
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, 2010
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA.
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, 2010
2009
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
2008
SIGMETRICS Perform. Evaluation Rev., 2008
SIGMETRICS Perform. Evaluation Rev., 2008
Reliab. Eng. Syst. Saf., 2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff.
Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008
2007
IEEE Trans. Software Eng., 2007
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007
2006
Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
Activity-local symbolic state graph generation for high-level stochastic models.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006
CASPA: Symbolic model checking of stochastic systems.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006
Verifying Finite State Machines in Probabilistic Environments.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.
Proceedings of the Formal Methods: Applications and Technology, 2006
2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2003
On the use of MTBDDs for performability analysis and verification of stochastic systems.
J. Log. Algebraic Methods Program., 2003
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
2002
Proceedings of the Process Algebra and Probabilistic Methods, 2002
2001
Proceedings of the Process Algebra and Probabilistic Methods, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
1999
Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs.
Proceedings of the MMB '99, 1999
Symbolic Minimisation of Stochastic Process Algebra Models.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999
1996
Combining gprof and event-driven monitoring for analyzing distributed programs: a rough view of NCSA mosaic.
J. Comput. Sci. Technol., 1996
1995
PhD thesis, 1995
Informationstechnik Tech. Inform., 1995
Vieweg+Teubner Verlag, ISBN: 978-3-519-02144-5, 1995
1994
IEEE Trans. Parallel Distributed Syst., 1994
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994
1993
Using Structured Modelling for Efficient Performance Prediction of Parallel Systems.
Proceedings of the Parallel Computing: Trends and Applications, 1993
1992
Proceedings of the 19th Annual International Symposium on Computer Architecture. Gold Coast, 1992
1991
Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991