default search action

combined dblp search
author search
venue search
publication search

ask others

PAPM-PROBMIV 2001: Aachen, Germany

> Home > Conferences and Workshops > PAPM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/papm/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/2001
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

- view
  authority control:
- export record
  dblp key:
  - conf/papm/Siegle01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/Siegle01
Markus Siegle:
Advances in Model Representations. 1-22

Contributed Papers

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

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.