Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540439134, 9783540456056

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Possibilistic and Probabilistic Abstraction-Based Model Checking

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_8 ◽

2002 ◽

pp. 115-134 ◽

Cited By ~ 7

Author(s):

Michael Huth

Keyword(s):

Model Checking

Download Full-text

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_7 ◽

2002 ◽

pp. 95-114

Author(s):

Stefan Haar

Keyword(s):

Petri Nets ◽

Partial Order

Download Full-text

Reduction and Refinement Strategies for Probabilistic Analysis

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_5 ◽

2002 ◽

pp. 57-76 ◽

Cited By ~ 27

Author(s):

Pedro R. D’Argenio ◽

Bertrand Jeannet ◽

Henrik E. Jensen ◽

Kim G. Larsen

Keyword(s):

Probabilistic Analysis

Download Full-text

Deriving Symbolic Representations from Stochastic Process Algebras

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_12 ◽

2002 ◽

pp. 188-206 ◽

Cited By ~ 8

Author(s):

Matthias Kuntz ◽

Markus Siegle

Keyword(s):

Stochastic Process ◽

Process Algebras ◽

Symbolic Representations ◽

Stochastic Process Algebras

Download Full-text

Action Refinement for Probabilistic Processes with True Concurrency Models

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_6 ◽

2002 ◽

pp. 77-94 ◽

Cited By ~ 9

Author(s):

Harald Fecher ◽

Mila Majster-Cederbaum ◽

Jinzhao Wu

Keyword(s):

True Concurrency ◽

Action Refinement ◽

Probabilistic Processes

Download Full-text

Probability and Timing: Challenges for Secure Programming

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_2 ◽

2002 ◽

pp. 16-16

Author(s):

David Sands

Keyword(s):

Secure Programming

Download Full-text

Approximate Verification of Probabilistic Systems

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_16 ◽

2002 ◽

pp. 213-214 ◽

Cited By ~ 10

Author(s):

Richard Lassaigne ◽

Sylvain Peyronnet

Keyword(s):

Probabilistic Systems

Download Full-text

Probabilistic Abstract Interpretation and Statistical Testing

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_15 ◽

2002 ◽

pp. 211-212 ◽

Cited By ~ 5

Author(s):

Alessandra Di Pierro ◽

Herbert Wiklicky

Keyword(s):

Abstract Interpretation ◽

Statistical Testing

Download Full-text

Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_1 ◽

2002 ◽

pp. 1-15 ◽

Cited By ~ 3

Author(s):

André Schiper

Keyword(s):

Distributed Systems ◽

Group Membership ◽

Fault Tolerant ◽

Failure Detection ◽

Trade Offs

Download Full-text

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_14 ◽

2002 ◽

pp. 209-210 ◽

Cited By ~ 29

Author(s):

Mario Bravetti

Keyword(s):

Real Time ◽

Integrated Approach ◽

Real Time Systems ◽

Time Systems

Download Full-text

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Possibilistic and Probabilistic Abstraction-Based Model Checking

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

Reduction and Refinement Strategies for Probabilistic Analysis

Deriving Symbolic Representations from Stochastic Process Algebras

Action Refinement for Probabilistic Processes with True Concurrency Models

Probability and Timing: Challenges for Secure Programming

Approximate Verification of Probabilistic Systems

Probabilistic Abstract Interpretation and Statistical Testing

Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Latest Publications