Markus Siegle

According to our database1, Markus Siegle authored at least 54 papers between 1991 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Markov chains with perturbed rates to absorption: Theory and application to model repair.
Perform. Eval., 2019

2017
Analysing reward measures of LARES performability models by discontinuous Markov chains.
IJCCBS, 2017

Perturbation of CTMC Trapping Probabilities with Application to Model Repair.
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 and 3rd International Workshop on Synthesis of Complex Parameters, 2016

2015
Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
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

An IDE for the LARES Toolset.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

2013
Preface.
Electr. Notes Theor. Comput. Sci., 2013

Lattice structures for bisimilar Probabilistic Automata.
Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

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

A Modelling and Analysis Environment for LARES.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Scale-Freeness of SPA Models with Weighted Immediate Actions.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Scalable Stochastic Modelling for Resilience.
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 in System Design, 2010

On Lifetime Optimization of Boolean Parallel Systems with Erlang Repair Distributions.
Proceedings of the Operations Research Proceedings 2010, 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
A view-probability-matrix approach to the modelling of gossiping protocols.
SIGMETRICS Performance Evaluation Review, 2008

Quantitative analysis of gossiping protocols.
SIGMETRICS Performance Evaluation Review, 2008

OpenSESAME - the simple but extensive, structured availability modeling environment.
Rel. Eng. & Sys. Safety, 2008

Recent Extensions to the Stochastic Process Algebra Tool CASPA.
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
Model Checking Markov Chains with Actions and State Labels.
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
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.
Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

Symbolic Model Checking of Stochastic Systems: Theory and Implementation.
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
Symbolic Performance and Dependability Evaluation with the Tool CASPA.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Model Checking Action- and State-Labelled Markov Chains.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
A tool for model-checking Markov chains.
STTT, 2003

On the use of MTBDDs for performability analysis and verification of stochastic systems.
J. Log. Algebr. Program., 2003

ETMCC: Model Checking Performability Properties of Markov Chains.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Deriving Symbolic Representations from Stochastic Process Algebras.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

2001
Advances in Model Representations.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000
Compositional performance modelling with the TIPPtool.
Perform. Eval., 2000

A Markov Chain Model Checker.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Towards Model Checking Stochastic Process Algebra.
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

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models.
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

1998
Compositional Performance Modelling with TIPPtool.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1996
Combining gprof and event-driven monitoring for analyzing distributed programs: a rough view of NCSA mosaic.
J. Comput. Sci. Technol., 1996

1995
Beschreibung und Analyse von Markovmodellen mit grossem Zustandsraum.
PhD thesis, 1995

Modellierung und Meßunterstützung mit dem Werkzeug PEPP.
it+ti - Informationstechnik und Technische Informatik, 1995

Messung und Modellierung paralleler und verteilter Rechensysteme
Vieweg+Teubner Verlag, ISBN: 978-3-519-02144-5, 1995

1994
Distributed Performance Monitoring: Methods, Tools, and Applications.
IEEE Trans. Parallel Distrib. Syst., 1994

Reduced Markov Models Of Parallel Programs With Replicated Processes.
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
Monitoring Program Behaviour on SUPRENUM.
Proceedings of the 19th Annual International Symposium on Computer Architecture. Gold Coast, 1992

1991
The Interlocking Bus Network for Fault-Tolerant Processor Arrays.
Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991


  Loading...