Publikationen

Publications of Markus Siegle

Note that the copyright for papers appearing in the Springer "LNCS" series is held by Springer.


Habilitation

"Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties"
M. Siegle
Habilitationsschrift (habilitation thesis), Universitaet Erlangen-Nuernberg, 2002


Dissertation

"Beschreibung und Analyse von Markovmodellen mit grossem Zustandsraum" (in German)
M. Siegle
Dissertation (doctoral thesis), Universitaet Erlangen-Nuernberg, Arbeitsberichte des IMMD, Band 28, Nummer 7, 1995


Books

"Validation of Stochastic Systems -- A Guide to Current Research"
C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen, M. Siegle (editors)
Springer, LNCS 2925, 2004
Springer Link

"Messung und Modellierung paralleler und verteilter Rechensysteme" (in German)
R. Klar, P. Dauphin, F. Hartleb, R. Hofmann, B. Mohr, A. Quick, M. Siegle
Teubner, Stuttgart, 1995


Papers 2009

"An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA"
J. Bachmann, M. Riedl, J. Schuster, M. Siegle
Proc. of 35th Int. Conf. on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), pp. xx-yy, Springer LNCS xxxx, 2009 (to appear)


Papers 2008

"A symbolic multilevel method with sparse submatrix representation for memory-speed tradeoff"
J. Schuster, M. Siegle
Proc. of 14. GI/ITG Conf. Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB08) , F. Bause and P. Buchholz (eds.), pp. 191-205, VDE-Verlag, 2008

"Recent extensions to the stochastic process algebra tool CASPA"
M. Riedl, J. Schuster, M. Siegle
Proc. of 5th International Conference on the Quantitative Evaluation of SysTems (QEST'08), pp. 113-114, IEEE Computer Society, 2008

"A view-probability-matrix approach to the modelling of gossiping protocols"
T. Krieger, M. Riedl, J. Schuster, M. Siegle
ACM Performance Evaluation Review 36(3), pp. 23-30, 2008

"Special Issue on the Quantitative Analysis of Gossiping Protocols"
B. Haverkort, M. van Steen, M. Siegle (eds.)
ACM Performance Evaluation Review xx(yy), 2008 (to appear)


Papers 2007

"Model Checking Markov Chains with Actions and State Labels"
C.Baier, L. Cloth, B. Haverkort, M. Kuntz, M. Siegle
IEEE Transactions on Software Engineering 33(4), pp. 209-224, April 2007.

"Can matrix-layout-independent numerical solvers be efficient? - Implementing the Moebius State-Level Abstract Functional Interface for ZDDs"
K. Lampka, s. Harwarth, M. Siegle
Proc. of 2nd Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools'07), SMCtools Workshop, ACM press, ISBN 978-963-9799-00-4, 10 pages, 2007

"A Multilevel Algorithm Based on Binary Decision Diagrams"
J. Schuster, M. Siegle
Proc. of 14th Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'07), K. Al-Begain, A. Heindl and M. Telek (eds.), pp. 129-136, Prague, 2007

"OpenSESAME: The Simple but Extensive, Structured Availability Environment"
M. Walter, M. Siegle, A. Bode
Reliability Engineering and System Safety Journal 93(6), Elsevier, pp. 857-873, 2007.


Papers 2006

"Analysis of Markov Reward Models using Zero-suppressed Multi-terminal BDDs"
K. Lampka, M. Siegle
Proc. of 1st Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools'06), ACM press, ISBN 1-59593-504-5, 10 pages, 2006

"An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment"
K. Lampka, M. Siegle, M. Walter
Proc. of 11th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'06), Springer, LNCS 4346, pages 35-50, 2007

"Symbolic Model Checking of Stochastic Systems: Theory and Implementation"
M. Kuntz, M. Siegle
Proc. of 13th Int. SPIN Workshop, LNCS 3925, pp. 89-107, 2006

"Verifying Finite State Machines in Probabilistic Environments"
M. Siegle
Proc. of 9th ITG/GI/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), pp. 248-254, 2006

"Activity-Local Symbolic State Graph Generation for High-Level Stochastic Models"
K. Lampka, M. Siegle
Proc. of 13th GI/ITG Conference on "Measuring, Modelling and Evaluation of Computer and Communication Systems" (MMB), pp. 245-263, 2006

"CASPA: Symbolic Model Checking of Stochastic Systems"
M. Kuntz, M. Siegle
Proc. of 13th GI/ITG Conference on "Measuring, Modelling and Evaluation of Computer and Communication Systems" (MMB), pp. 469-472, 2006


Papers 2004

"Model Checking Action- and State-Labelled Markov Chains"
C.Baier, L. Cloth, B. Haverkort, M. Kuntz, M. Siegle
Proc. of Int. Conf. on Dependable Systems and Networks (DSN), Performance and Dependability Symposium (PDS), pp. 701-710, IEEE Computer Society, 2004

"CASPA: A Tool for Symbolic Performance and Dependability Evaluation"
M. Kuntz, M. Siegle, E. Werner
Supplemental Volume of Proc. of Int. Conf. on Dependable Systems and Networks (DSN), pp. 90-91, 2004

"Symbolic Performance and Dependability Evaluation with the Tool CASPA"
M. Kuntz, M. Siegle, E. Werner
Proc. of First European Performance Engineering Workshop (EPEW), FORTE'04 Workshop, Springer LNCS 3236, pp. 293-307, 2004

"A Stochastic Extension of the Logic PDL"
M. Kuntz, M. Siegle
Technical Report, Universtiy of the Federal Armed Forces Munich, Dept. of Computer Science, TR 2004/05.


Papers 2003

"On the use of MTBDDs for performability analysis and verification of stochastic systems"
H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker, M. Siegle
Journal of Logic and Algebraic Programming, Vol 56(1-2), pp. 23-67, 2003

"A tool for model-checking Markov chains"
H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, M. Siegle
Int. Journal on Software Tools for Technology Transfer, Vol 4(2), pp. 153-172, 2003

"Symbolic Activity-Local State Graph Generation in the Context of Mobius"
K. Lampka, M. Siegle
ICALP'03 Satellite Workshop on Stochastic Petri Nets and Related Formalisms, appeared as Tech. Rep. 780/2003 of the University of Dortmund, P. Kemper ed., pp. 172-182, 2003

"MTBDD-based activity-local state graph generation"
K. Lampka, M. Siegle
Sixth Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS6), Monticello (IL), pp. 15-18, 2003

"A stochastic extension of the logic PDL"
M. Kuntz, M. Siegle
Sixth Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS6), Monticello (IL), pp. 58-61, 2003

"CASPA: A performance evaluation tool based on stochastic process algebra and symbolic data structures"
M. Kuntz, M. Siegle, E. Werner
Tools of the 2003 Illinois Int. Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, pp. 19-21, 2003, Tech. Report 781 / 2003 of the University of Dortmund


Papers 2002

"Deriving symbolic representations from stochastic process algebras"
M. Kuntz, M. Siegle
In Process Algebra and Probabilistic Methods, Joint Int. Workshop PAPM-PROBMIV 2002,
H. Hermanns, R. Segala, editors, pp. 188-206, Springer LNCS 2399

"Symbolic Composition within the Moebius Framework"
K. Lampka, M. Siegle
In Leistungs-, Zuverlaessigkeits- und Verlaesslichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen, 2. MMB Arbeitsgespraech,
B. Wolfinger, K. Heidtmann, editors, pp. 63-74, Universitaet Hamburg, Fachbereich Informatik, Bericht 242


Papers 2001

"Advances in model representation"
M. Siegle
In Process Algebra and Probabilistic Methods, Joint Int. Workshop PAPM-PROBMIV 2001,
L. de Alfaro and S. Gilmore, editors, pp. 1-22, Springer LNCS 2165,

"A Markov Chain Model Checker"
H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, M. Siegle
In Tool Proceedings of Aachen 2001 Int. Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, P. Kemper editor, Universitaet Dortmund, Informatik IV, Bericht 760/2001, pp. 1-6,

"Implementing a Model Checker for Performability Behaviour"
H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, M. Siegle
In Fifth Int. Workshop on Performability Modelling of Computer and Communication Systems (PMCCS5),
R. German and J. Luethi and M. Telek, editors, Universitaet Erlangen-Nuernberg, Arbeitsberichte des Instituts fuer Informatik, Band 34 Nummer 13, September 2001


Papers 2000

"Towards Model Checking Stochastic Process Algebra"
H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, M. Siegle
In 2nd Int. Conf. on Integrated Formal Methods (IFM'2000), pp. 420-439, Springer LNCS 1945,
W. Grieskamp, T. Santen, B. Stoddart editors

"A Markov Chain Model Checker"
H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, M. Siegle
In TACAS'2000, pp. 347-362, Springer LNCS 1785,
S. Graf and M. Schwartzbach editors

"Compositional performance modelling with the TIPPtool"
H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, M. Siegle
Performance Evaluation, 39(1-4), pp.5-35, January 2000


Papers 1999

"TIPPtool: Compositional Specification and Analysis of Markovian Performance Models"
H. Hermanns, V. Mertsiotakis, M. Siegle
In Compter Aided Verification (CAV) 1999, pp. 487-490, Springer LNCS 1633,
N. Halbwachs and D. Peled editors

"Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains"
H. Hermanns, J. Meyer-Kayser, M. Siegle
In 3rd Int. Workshop on the Numerical Solution of Markov Chains, 1999, pp. 188-207,
B. Plateau, W.J. Stewart, M. Silva editors, Prensas Universitarias de Zaragoza

"Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs"
M. Siegle
In Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen (MMB'99), Trier,
September 1999, pp. 173-185, D. Baum and N. Mueller and R. Roedler editors, VDE Verlag

"Compositional Reduction of Performability Models based on Stochastic Process Algebras"
U. Klehmet, M. Siegle
In Modelling and Simulation: A Tool for the next Millennium,
Proc of the 13th European Simulation Multiconference (ESM'99),
H. Szczerbicka editor, a publication of the SCS, Printed in Delft, The Netherlands

"Bisimulation Algorithms for Stochastic Process Algebras and their BDD-based Implementation"
H. Hermanns, M. Siegle
In 5th Int. AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99), pp. 144-264,
J.-P. Katoen editor, Springer, LNCS 1601

"Symbolic Minimisation of Stochastic Process Algebra Models"
H. Hermanns, M. Siegle
In 9. GI/ITG Fachgespraech Formale Beschreibungstechniken fuer verteilte Systeme (FBT'99), pp. 73-82,
K. Spies, B. Schaetz editors, Herbert Utz Verlag, ISBN 3-89675-918-3

"Using stochastic modelling to support the development of modern hospital communication systems"
M. Siegle, D. Kraska, B. Wentz
In ISCB99 and GMDS'99 abstract volume, pp. 416, Heidelberg, September 1999


Papers 1998

"Compact representation of large performability models based on extended BDDs"
M. Siegle
In Fourth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS4),
pp. 77-80, Williamsburg, September 1998

"Technique and Tool for Symbolic Representation and Manipulation of Stochastic Transition Systems"
M. Siegle
In International Computer Performance and Dependability Symposium (IPDS), p. 272, Durham, NC, September 1998

"Compositional Performance Modelling with the TIPPtool"
H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, M. Siegle
In 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS '98),
pp. 51-62, Palma de Mallorca, September 1998, LNCS 1469

"Computing Bisimulations for Stochastic Process Algebras using Symbolic Representations"
H. Hermanns, M. Siegle
In Sixth International Workshop on Process Algebras and Performance Modelling PAPM'98,
Nice, September 1998

"Technique and tool for symbolic representation and manipulation of stochastic transition systems"
M. Siegle
Universitaet Erlangen-Nuernberg, Technical Report IMMD 7, 2/98, March 1998


Papers 1997

"BDD extensions for stochastic transition systems"
M. Siegle
in Proc. of 13th UK Performance Evaluation Workshop, Ilkley/West Yorkshire, July 1997,
pp. 9/1-9/7, D. Kouvatsos ed.

"Neue Ansaetze zur Planung von Klinikkommunikationssystemen mittels stochastischer Leistungsmodellierung" (in German)
M. Siegle, B. Wentz, A. Klingler, M. Simon
in Proc. of 42. Jahrestagung der GMDS, Ulm, September 1997,
pp. 188 - 192, MMV Medizin Verlag, Muenchen, R. Muche, G. Buechele, D. Harder, W. Gaus eds..


Papers 1996

"Integration of performance aspects into formal methods for concurrency"
M. Siegle
in Colloquium ``Formal Methods for Concurrency'', Muenchen, July 1996, TU Dresden,
TR TUD/FI 96/16 - September 1996, Joerg Desel and Horst Reichel, eds., pp. 33-40.

"Erzeugung reduzierter Markovketten am Beispiel einer stochastischen Prozessalgebra" (in German)
M. Siegle
in Proceedings des Fachgespraechs ueber "Modellierung und Bewertung paralleler Systeme",
Universitaet Erlangen-Nuernberg, Maerz 1996, Interner Bericht IMMD III 2/96.

"Combining Gprof and Event-Driven Monitoring for Analyzing Distributed Programs: A Rough View of NCSA Mosaic"
Ch. Peng, R. Klar, R. Hofmann, P. Dauphin, M. Siegle
in Journal of Computer Science and Technology, China,
11(4), pp. 427-432, 1996


Papers 1995

"Modellierung und Messunterstuetzung mit dem Werkzeug PEPP" (in German)
F. Hartleb, P. Dauphin, R. Klar, A. Quick, M. Siegle
in it+ti - Informationstechnik und Technische Informatik , 37(3), pp. 41-48, June 1995.

Papers 1994

"Structured Markovian Performance Modelling with Automatic Symmetry Exploitation"
M. Siegle
in Tools and Posters Proc. of the 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation,
Vienna, Austria, pp. 77-81, May 1994.

"Compositional Minimal Semantics for the Stochastic Process Algebra TIPP"
M. Rettelbach, M. Siegle
in Proceedings of the "2nd International Workshop on Process Algebras and Performance Modelling",
July 1994, U. Herzog and M. Rettelbach, eds., Regensberg/Erlangen, Universitaet Erlangen-Nuernberg,
Arbeitsberichte des IMMD, 27(4).

"Reduced Markov Models of Parallel Programs with Replicated Processes"
M. Siegle
in 2nd EUROMICRO Workshop on ``Parallel and Distributed Processing'', Malaga, Spain, pp. 126-133, January 1994.

"ZM4/SIMPLE: a General Approach to Performance-Measurement and -Evaluation of Distributed Systems"
P. Dauphin, R. Hofmann, R. Klar, B. Mohr, A. Quick, M. Siegle, and F. Sötz
in Readings in Distributed Computing Systems (T. Casavant and M. Singhal, eds.), ch. 6, pp. 286-309,
Los Alamitos, California: IEEE Computer Society Press, Jan 1994. SBN 0-8186-3032-9.

"Distributed Performance Monitoring: Methods, Tools, and Applications"
R. Hofmann, R. Klar, B. Mohr, A. Quick, and M. Siegle
IEEE Transactions on Parallel and Distributed Systems, 5(6), June 1994, pp. 585-598.


Papers 1993

"Using Structured Modelling for Efficient Performance Prediction of Parallel Systems"
M. Siegle
in Parallel Computing: Trends and Applications (ParCo'93: Proceedings of the International Conference on Parallel Computing)
G.R. Joubert, D. Trystram, F.J. Peters and D.J. Evans, eds., pp. 453-460, North-Holland, 1994.

"Observing Parallel Programs at a Flexible Level of Granularity"
R. Klar, A. Quick, and M. Siegle
PARS-Mitteilungen, vol. 12, pp. 102-110, 1993.

"Markovian Performance Modelling of Parallel Systems"
M. Siegle
PARS-Mitteilungen, vol. 11, pp. 144-149, 1993.


Papers 1992

"Monitoring Program Behaviour on SUPRENUM"
M. Siegle and R. Hofmann
Computer Architecture News, vol. 20(2), pp. 332-341, May 1992.

"On Efficient Markovian Modelling"
M. Siegle
in Proc. QMIPS Workshop on Stochastic Petri Nets, (Sophia Antipolis), pp. 213-225, November 1992.


Papers 1991

"The Interlocking Bus Network for Fault-Tolerant Processor Arrays"
M. Siegle, D.R. Reeves, K. Kozminski
in Fault-Tolerant Computing Systems (M. Dal Cin and W. Hohl, eds.), pp. 348-359, Springer (IFB 283), 1991.

Markus Siegle (Markus.Siegle[at]unibw.de)