Conferences in DBLP
Bengt Jonsson , Wang Yi Fully Abstract Characterization of Probabilistic May Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Annabelle McIver Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Christel Baier , Bettina Engelen Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Mariëlle Stoelinga , Frits W. Vaandrager Root Contention in IEEE 1394. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Z. Kwiatkowska , Gethin Norman , Roberto Segala , Jeremy Sproston Automatic Verification of Real-Time Systems with Discrete Probability Distributions. [Citation Graph (0, 0)][DBLP ] Conf ] Vicky Hartonas-Garmhausen , Sérgio Vale Aguiar Campos , Edmund M. Clarke ProbVerus: Probabilistic Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Suzana Andova Process Algebra with Probabilistic Choice. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Núñez An Axiomatization of Probabilistic Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Frits W. Vaandrager Verification of Hybrid Systems (abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Karl Lermer A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Jenner , Walter Vogler Comparing the Efficiency of Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Lermer , Colin J. Fidge A Formal Model of Real-Time Program Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Graham Clark , Stephen Gilmore , Jane Hillston Specifying Performance Measures for PEPA. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik C. Bohnenkamp , Boudewijn R. Haverkort Semi-numerical Solution of Stochastic Process Algebra Models. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Hermanns , Markus Siegle Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Y. Vardi Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Havelund , Kim Guldstrand Larsen , Arne Skou Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. [Citation Graph (0, 0)][DBLP ] Conf ] Stavros Tripakis Verifying Progress in Timed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Z. Kolano Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Bowman Modelling Timeouts without Timelocks. [Citation Graph (0, 0)][DBLP ] Conf ] 