Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPAPM-PROBMIV 2001: Aachen, Germany
- Luca de Alfaro, Stephen Gilmore:
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
Invited Paper
- Markus Siegle
:
Advances in Model Representations. 1-22
Contributed Papers
- Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Faster and Symbolic CTMC Model Checking. 23-38 - Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reachability Analysis of Probabilistic Systems by Successive Refinements. 39-56 - Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen:
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. 57-70 - Katia Folegati, Roberto Segala:
Coin Lemmas with Random Variables. 71-86 - Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren:
MoDeST - A Modelling and Description Language for Stochastic Timed Systems. 87-104 - Lubos Brim, Ivana Cerná, Martin Necesal:
Randomization Helps in LTL Model Checking. 105-119 - Jane Hillston, Leïla Kloul:
An Efficient Kronecker Representation for PEPA Models. 120-135 - Marco Bernardo, Mario Bravetti:
Reward Based Congruences: Can We Aggregate More? 136-151 - Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort:
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. 152-167 - Mario Bravetti, Alessandro Aldini:
Expressing Processes with Different Action Durations through Probabilities. 168-183 - Peter Buchholz, Peter Kemper:
Quantifying the Dynamic Behavior of Process Algebras. 184-199 - Graham Clark, William H. Sanders:
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. 200-216
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
