Markus Siegle  Home/Search
Context Related
| www7.informatik.un...habil_siegle.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www7.informatik.unierlange...own (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this habilitation thesis ("Habilitationsschrift"), we describe novel techniques for analysing the behaviour of complex communication systems by means of advanced stochastic modelling. We are interested in performance and dependability properties (which aspects are subsumed by the term "performability") and focus on Markovian models derived from high-level specifications. It is well known that the notorious problem of state space explosion can make the storing and analysis of large models... (Update)
Similar documents based on text: More All
0.5: On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (Correct)
0.3: Implementing a Model Checker for Performability Behaviour - Hermanns, Katoen.. (2001) (Correct)
0.2: Performance Management in Parallel and Distributed Computing.. - Kotsis (Correct)
BibTeX entry: (Update)
Markus Siegle. Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties. Habilitationsschrift, Institut fur Informatik, FriederichAlexander -Universitat Erlangen-Nurnberg, 2002. http://citeseer.ist.psu.edu/siegle02behaviour.html More
@misc{ siegle02behaviour,
author = "M. Siegle",
title = "Behaviour analysis of communication systems: Compositional modelling",
text = "Markus Siegle. Behaviour analysis of communication systems: Compositional
modelling, compact representation and analysis of performability properties.
Habilitationsschrift, Institut fur Informatik, FriederichAlexander -Universitat
Erlangen-Nurnberg, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/siegle02behaviour.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
1726 Graph-based Algorithms for Boolean Function Manipulation - Bryant - 1986
1174 Statecharts: A Visual Formalism for Complex Systems - Harel - 1987
1097 Automatic verification of finite state concurrent systems us.. (context) - Clarke, Emerson et al. - 1983
906 A structural approach to operational semantics - Plotkin - 1981
828 Model Checking - Clarke, Grumberg et al. - 1999
779 Symbolic Model Checking: 10 States and Beyond - Burch, Clarke et al. - 1992
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
603 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
524 Queueing Systems (context) - Kleinrock - 1975
510 Symbolic Boolean Manipulation with Ordered Binary Decision D.. - Bryant - 1992
502 Concurrency and automata on infinite sequences (context) - Park - 1981
417 Templates for the Solution of Linear Systems: Building Block.. - Barrett, Berry et al. - 1994
407 Introduction to the ISO Specification Language LOTOS (context) - Bolognesi, Brinksma - 1989
[Article contains additional citations not shown here]
Documents on the same site (http://www7.informatik.uni-erlangen.de/~siegle/own.html): More
Technique and Tool for Symbolic Representation and.. - Markus Siegle (1998) (Correct)
The Interlocking Bus Network For Fault-Tolerant Processor.. - Siegle, Reeves, Kozminski (Correct)
BDD extensions for stochastic transition systems - Siegle (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC