Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540424796, 9783540446675

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Non-Markovian Analysis

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_4 ◽

2001 ◽

pp. 156-182 ◽

Cited By ~ 5

Author(s):

Reinhard German

Keyword(s):

Markovian Analysis

Download Full-text

Exploiting Structure in Solution: Decomposing Compositional Models

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_8 ◽

2001 ◽

pp. 278-314 ◽

Cited By ~ 5

Author(s):

Jane Hillston

Keyword(s):

Structure In Solution

Download Full-text

Formal Methods for Performance Evaluation

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_1 ◽

2001 ◽

pp. 1-37 ◽

Cited By ~ 7

Author(s):

Ulrich Herzog

Keyword(s):

Performance Evaluation ◽

Formal Methods

Download Full-text

Stochastic Activity Networks: Formal Definitions and Concepts⋆

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_9 ◽

2001 ◽

pp. 315-343 ◽

Cited By ~ 131

Author(s):

William H. Sanders ◽

John F. Meyer

Keyword(s):

Stochastic Activity Networks ◽

Activity Networks ◽

Formal Definitions ◽

Stochastic Activity

Download Full-text

Process Algebra and Markov Chains

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_5 ◽

2001 ◽

pp. 183-231 ◽

Cited By ~ 19

Author(s):

Ed Brinksma ◽

Holger Hermanns

Keyword(s):

Markov Chains ◽

Process Algebra

Download Full-text

General Distributions in Process Algebra

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_11 ◽

2001 ◽

pp. 375-429 ◽

Cited By ~ 15

Author(s):

Joost-Pieter Katoen ◽

Pedro R. D’Argenio

Keyword(s):

Process Algebra ◽

General Distributions

Download Full-text

Markovian Models for Performance and Dependability Evaluation

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_2 ◽

2001 ◽

pp. 38-83 ◽

Cited By ~ 19

Author(s):

Boudewijn R. Haverkort

Keyword(s):

Markovian Models ◽

Dependability Evaluation

Download Full-text

Introduction to Stochastic Petri Nets

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_3 ◽

2001 ◽

pp. 84-155 ◽

Cited By ~ 36

Author(s):

Gianfranco Balbo

Keyword(s):

Petri Nets ◽

Stochastic Petri Nets

Download Full-text

Constructing Automata from Temporal Logic Formulas: A Tutorial⋆

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_7 ◽

2001 ◽

pp. 261-277 ◽

Cited By ~ 30

Author(s):

Pierre Wolper

Keyword(s):

Temporal Logic

Download Full-text

Distributed and Structured Analysis Approaches to Study Large and Complex Systems⋆

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_10 ◽

2001 ◽

pp. 344-374 ◽

Cited By ~ 4

Author(s):

Gianfranco Ciardo

Keyword(s):

Complex Systems ◽

Structured Analysis ◽

Approaches To Study

Download Full-text

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysisLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Non-Markovian Analysis

Exploiting Structure in Solution: Decomposing Compositional Models

Formal Methods for Performance Evaluation

Stochastic Activity Networks: Formal Definitions and Concepts⋆

Process Algebra and Markov Chains

General Distributions in Process Algebra

Markovian Models for Performance and Dependability Evaluation

Introduction to Stochastic Petri Nets

Constructing Automata from Temporal Logic Formulas: A Tutorial⋆

Distributed and Structured Analysis Approaches to Study Large and Complex Systems⋆

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis
Latest Publications