PAPM-PROBMIV 2001: Aachen, Germany

Luca de Alfaro, Stephen Gilmore (Eds.): Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings. Lecture Notes in Computer Science 2165 Springer 2001, ISBN 3-540-42556-X BibTeX

@proceedings{DBLP:conf/papm/2001,
  editor    = {Luca de Alfaro and
               Stephen Gilmore},
  title     = {Process Algebra and Probabilistic Methods, Performance Modeling
               and Verification: Joint International Workshop, PAPM-PROBMIV
               2001, Aachen, Germany, September 12-14, 2001, Proceedings},
  booktitle = {PAPM-PROBMIV},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2165},
  year      = {2001},
  isbn      = {3-540-42556-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

Markus Siegle:
Advances in Model Representations. 1-22
Electronic Edition (Springer LINK) BibTeX

Contributed Papers

Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Faster and Symbolic CTMC Model Checking. 23-38
Electronic Edition (Springer LINK) BibTeX
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reachability Analysis of Probabilistic Systems by Successive Refinements. 39-56
Electronic Edition (Springer LINK) BibTeX
Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen:
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. 57-70
Electronic Edition (Springer LINK) BibTeX
Katia Folegati, Roberto Segala:
Coin Lemmas with Random Variables. 71-86
Electronic Edition (Springer LINK) BibTeX
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren:
MoDeST - A Modelling and Description Language for Stochastic Timed Systems. 87-104
Electronic Edition (Springer LINK) BibTeX
Lubos Brim, Ivana Cerná, Martin Necesal:
Randomization Helps in LTL Model Checking. 105-119
Electronic Edition (Springer LINK) BibTeX
Jane Hillston, Leïla Kloul:
An Efficient Kronecker Representation for PEPA Models. 120-135
Electronic Edition (Springer LINK) BibTeX
Marco Bernardo, Mario Bravetti:
Reward Based Congruences: Can We Aggregate More? 136-151
Electronic Edition (Springer LINK) BibTeX
Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort:
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. 152-167
Electronic Edition (Springer LINK) BibTeX
Mario Bravetti, Alessandro Aldini:
Expressing Processes with Different Action Durations through Probabilities. 168-183
Electronic Edition (Springer LINK) BibTeX
Peter Buchholz, Peter Kemper:
Quantifying the Dynamic Behavior of Process Algebras. 184-199
Electronic Edition (Springer LINK) BibTeX
Graham Clark, William H. Sanders:
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. 200-216
Electronic Edition (Springer LINK) BibTeX