5. ARTS 1999: Bamberg, Germany

@proceedings{DBLP:conf/arts/1999,
  editor    = {Joost-Pieter Katoen},
  title     = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
               AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
  booktitle = {ARTS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1601},
  year      = {1999},
  isbn      = {3-540-66010-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lecture

• Bengt Jonsson, Wang Yi:
  Fully Abstract Characterization of Probabilistic May Testing. 1-18
  

Verification of Probabilistic Systems

• Annabelle McIver:
  Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms. 19-33
  
• Christel Baier, Bettina Engelen:
  Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. 34-52
  
• Mariëlle Stoelinga, Frits W. Vaandrager:
  Root Contention in IEEE 1394. 53-74
  

Model Checking Probabilistic Systems

• Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston:
  Automatic Verification of Real-Time Systems with Discrete Probability Distributions. 75-95
  
• Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke:
  ProbVerus: Probabilistic Symbolic Model Checking. 96-110
  

Semantics of Probabilistic Process Calculi

• Suzana Andova:
  Process Algebra with Probabilistic Choice. 111-129
  
• Manuel Núñez:
  An Axiomatization of Probabilistic Testing. 130-150
  

Invited Lecture

• Frits W. Vaandrager:
  Verification of Hybrid Systems (abstract). 151
  

Semantics of Real-Time Processes

• Karl Lermer:
  A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics. 152-171
  
• Lars Jenner, Walter Vogler:
  Comparing the Efficiency of Asynchronous Systems. 172-191
  

Real-Time Compilation

• Karl Lermer, Colin J. Fidge:
  A Formal Model of Real-Time Program Compilation. 192-210
  

Stochastic Process Algebra

• Graham Clark, Stephen Gilmore, Jane Hillston:
  Specifying Performance Measures for PEPA. 211-227
  
• Henrik C. Bohnenkamp, Boudewijn R. Haverkort:
  Semi-numerical Solution of Stochastic Process Algebra Models. 228-243
  
• Holger Hermanns, Markus Siegle:
  Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. 244-264
  

Invited Lecture

• Moshe Y. Vardi:
  Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. 265-276
  

Modeling and Verification of Real-Time Systems

• Klaus Havelund, Kim Guldstrand Larsen, Arne Skou:
  Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. 277-298
  
• Stavros Tripakis:
  Verifying Progress in Timed Systems. 299-314
  
• Paul Z. Kolano:
  Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover. 315-333
  
• Howard Bowman:
  Modelling Timeouts without Timelocks. 334-353