Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540660101, 9783540487784

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Model of Real-Time Program Compilation

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_12 ◽

1999 ◽

pp. 192-210 ◽

Cited By ~ 1

Author(s):

Karl Lermer ◽

Colin Fidge

Keyword(s):

Real Time ◽

Formal Model

Download Full-text

Root Contention in IEEE 1394

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_4 ◽

1999 ◽

pp. 53-74 ◽

Cited By ~ 30

Author(s):

Mariëlle Stoelinga ◽

Frits Vaandrager

Keyword(s):

Ieee 1394

Download Full-text

Fully Abstract Characterization of Probabilistic May Testing

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_1 ◽

1999 ◽

pp. 1-18 ◽

Cited By ~ 4

Author(s):

Bengt Jonsson ◽

Wang Yi

Keyword(s):

Abstract Characterization

Download Full-text

Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_16 ◽

1999 ◽

pp. 265-276 ◽

Cited By ~ 39

Author(s):

Moshe Y. Vardi

Keyword(s):

Model Checking ◽

Linear Time ◽

Theoretic Approach ◽

Time Model

Download Full-text

Comparing the Efficiency of Asynchronous Systems

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_11 ◽

1999 ◽

pp. 172-191 ◽

Cited By ~ 6

Author(s):

Lars Jenner ◽

Walter Vogler

Keyword(s):

Asynchronous Systems

Download Full-text

Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_19 ◽

1999 ◽

pp. 315-333 ◽

Cited By ~ 1

Author(s):

Paul Z. Kolano

Keyword(s):

Real Time ◽

Theorem Prover ◽

Real Time Systems ◽

Time Systems

Download Full-text

Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_15 ◽

1999 ◽

pp. 244-264 ◽

Cited By ~ 18

Author(s):

Holger Hermanns ◽

Markus Siegle

Keyword(s):

Stochastic Process ◽

Process Algebras ◽

Stochastic Process Algebras

Download Full-text

Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_17 ◽

1999 ◽

pp. 277-298 ◽

Cited By ~ 18

Author(s):

Klaus Havelund ◽

Kim Guldstrand Larsen ◽

Arne Skou

Keyword(s):

Formal Verification ◽

Real Time ◽

Model Checker ◽

Time Model ◽

The Real ◽

Power Controller

Download Full-text

Process Algebra with Probabilistic Choice

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_7 ◽

1999 ◽

pp. 111-129 ◽

Cited By ~ 22

Author(s):

Suzana Andova

Keyword(s):

Process Algebra ◽

Probabilistic Choice

Download Full-text

Semi-numerical Solution of Stochastic Process Algebra Models

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_14 ◽

1999 ◽

pp. 228-243 ◽

Cited By ~ 6

Author(s):

Henrik C. Bohnenkamp ◽

Boudewijn R. Haverkort

Keyword(s):

Stochastic Process ◽

Numerical Solution ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Formal Model of Real-Time Program Compilation

Root Contention in IEEE 1394

Fully Abstract Characterization of Probabilistic May Testing

Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach

Comparing the Efficiency of Asynchronous Systems

Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover

Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation

Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal

Process Algebra with Probabilistic Choice

Semi-numerical Solution of Stochastic Process Algebra Models

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science
Latest Publications