Boudewijn R. Haverkort

Paulo Veríssimo

IEEE Trans. Dependable Secur. Comput., 2006

Distributed disk-based algorithms for model checking very large Markov chains.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2006

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.

[BibT_eX]

[DOI]

Anne Remke

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.

[BibT_eX]

[DOI]

José M. Martínez

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Measuring and Modeling of Application Flow Length in Commercial GPRS Networks.

[BibT_eX]

[DOI]

Roger Kalden

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

CSL model checking of Deterministic and Stochastic Petri Nets.

[BibT_eX]

José M. Martínez

Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

2005

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Sequential and distributed model checking of Petri nets.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2005

Performance and verification.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

Model checking meets performance evaluation.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

Model Checking Infinite-State Markov Chains.

[BibT_eX]

[DOI]

Anne Remke

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Model Checking for Survivability.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004

The pseudo-self-similar traffic model: application and validation.

[BibT_eX]

[DOI]

Perform. Evaluation, 2004

Model Checking Action- and State-Labelled Markov Chains.

[BibT_eX]

[DOI]

Matthias Kuntz

Markus Siegle

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Model-Checking Algorithms for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Fitting world-wide web request traces with the EM-algorithm.

[BibT_eX]

[DOI]

Perform. Evaluation, 2003

A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluations, 2003

2002

Introduction to the Special Section on Petri Nets and Performance Models.

[BibT_eX]

[DOI]

Gianfranco Ciardo

Reinhard German

IEEE Trans. Software Eng., 2002

Sequential and Distributed Model Checking of Petri Net Specifications.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Model Checking, 2002

Automated Performance and Dependability Evaluation Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

The Mean Value of the Maximum.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2002

A Validation of the Pseudo Self-Similar Traffic Model.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Model Checking Performability Properties.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Enabling Network Caching of Dynamic Web Objects.

[BibT_eX]

[DOI]

Pankaj K. Garg

Kave Eshghi

Thomas Gschwind

Katinka Wolter

Proceedings of the Computer Performance Evaluation, 2002

Simulation for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

2001

Performance and dependability techniques and tools.

[BibT_eX]

[DOI]

Rick Harper

Perform. Evaluation, 2001

Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme.

[BibT_eX]

[DOI]

Stephan Ehren

Norbert Ludwig

Proceedings of the Information Age Economy: 5. Internationale Tagung Wirtschaftsinformatik 2001, 2001

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Flows in Networks of MAP/MAP/1 Queues.

[BibT_eX]

Proceedings of the Proceedings 11th GI/ITG Conference on Measuring, 2001

2000

Performance evaluation of multicast communication in packet-switched networks.

[BibT_eX]

[DOI]

Marko Schuba

Gaby Schneider

Perform. Evaluation, 2000

On the Use of Model Checking Techniques for Dependability Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Are Stochastic Process Algebras Good for Performance and Dependability Evaluation.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

On the Logical Characterisation of Performability Properties.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Markovian Models for Performance and Dependability Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

Model Checking Continuous-Time Markov Chains by Transient Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Semi-numerical Solution of Stochastic Process Algebra Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

Structural Decomposition and Serial Solution of SPN Models of the ATM GAUSS Switch.

[BibT_eX]

[DOI]

Hessel P. Idzenga

Proceedings of the Application of Petri Nets to Communication Networks, 1999

Performance Evaluation of Polling-Based Communication Systems Using SPNs.

[BibT_eX]

[DOI]

Proceedings of the Application of Petri Nets to Communication Networks, 1999

1998

Analysis of windowing mechanisms with infinite-state stochastic Petri nets.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 1998

Approximate analysis of networks of PH|PH|1|K queues with customer losses: Test results.

[BibT_eX]

[DOI]

Ann. Oper. Res., 1998

QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams.

[BibT_eX]

[DOI]

Gaby Schneider

Marko Schuba

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

Performance of computer communication systems - a model-based approach.

[BibT_eX]

Wiley, ISBN: 978-0-471-97228-0, 1998

1997

Quality of service management using generic modelling and monitoring techniques.

[BibT_eX]

[DOI]

Leonard J. N. Franken

Distributed Syst. Eng., 1997

Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen.

[BibT_eX]

Carsten Frank

Proceedings of the MMB '97, 1997

1996

A mean-value analysis of slotted-ring network models.

[BibT_eX]

[DOI]

Andrew J. Coyle

William Henderson

Charles E. M. Pearce

Telecommun. Syst., 1996

Performability Modelling Tools and Techniques.

[BibT_eX]

[DOI]

Ignas G. Niemegeers

Perform. Evaluation, 1996

Design and evaluation of a connection management mechanism for an ATM-based connectionless service.

[BibT_eX]

[DOI]

Geert J. Heijenk

Distributed Syst. Eng., 1996

1995

In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models.

[BibT_eX]

[DOI]

Comput. J., 1995

Using the probabilistic evaluation tool for the analytical solution of large Markov models.

[BibT_eX]

[DOI]

Aad P. A. van Moorsel

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Approximate Analysis of Networks of PH|PH|1|<i>K</i> Queues: Theory & Tool Support.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

1994

The performability manager.

[BibT_eX]

[DOI]

Leonard J. N. Franken

IEEE Netw., 1994

Xmgm: Performance Modeling Using Matrix Geometric Techniques.

[BibT_eX]

[DOI]

Aad P. A. van Moorsel

Dirk-Jan Speelman

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives.

[BibT_eX]

[DOI]

Kishor S. Trivedi