default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th ARTS 1999: Bamberg, Germany
- Joost-Pieter Katoen:
Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings. Lecture Notes in Computer Science 1601, Springer 1999, ISBN 3-540-66010-0
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
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 2025-11-18 22:31 CET 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:
