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)
Context of citations to this paper: More
.... based symbolic encodings of transition systems are also possible in the case where both Markovian and immediate transitions coexist [Sie02] 3.1 MTBDD based representation of vector based SSps The main idea of an MTBDD based representation of vector oriented SSps as realised by...
Cited by: More
Symbolic Performance and Dependability Evaluation with the .. - Kuntz, Siegle, Werner (2004) (Correct)
Symbolic Representations and Analysis of Large Probabilistic.. - Miner, Parker (Correct)
Symbolic Composition within the Moebius Framework - Lampka, Siegle (Correct)
Active bibliography (related documents): More All
10.0: Advances in Model Representations - Siegle (2001) (Correct)
2.8: On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (Correct)
1.8: Compositional performance modelling with the TIPPtool - Hermanns, Herzog.. (2000) (Correct)
Similar documents based on text: More All
0.3: Implementing a Model Checker for Performability Behaviour - Hermanns, Katoen.. (2001) (Correct)
0.2: Performance Management in Parallel and Distributed Computing.. - Kotsis (Correct)
0.2: Multiple Objective Metaheuristic Algorithms For Combinatorial.. - Jaszkiewicz (2001) (Correct)
Related documents from co-citation: More All
3: Graph-based algorithms for boolean function manipulation - Bryant - 1986
3: Algebraic decision diagrams and their applications - Bahar, Frohm et al. - 1993
3: Multi-terminal binary decision diagrams: an ecient data structure for matrix rep.. (context) - Clarke, Fujita et al. - 1993
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
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
308 Matrix Multiplication via Arithmetic Progressions (context) - Coppersmith, Winograd - 1987
276 A Compositional Approach to Performance Modelling - Hillston - 1996
276 Finite Markov Chains (context) - Kemeny, Snell - 1976
275 Dynamic variable ordering for ordered binary decision diagra.. (context) - Rudell - 1993
265 Introduction to the numerical solution of Markov chains (context) - Stewart - 1994
247 Bisimulation through Probabilistic Testing (context) - Larsen, Skou - 1991
206 Results on the propositional mu-calculus (context) - Kozen - 1983
201 Three Partition Refinement Algorithms (context) - Paige, Tarjan - 1987
197 A Class of Generalized Stochastic Petri Nets for the Perform.. (context) - Marsan, Balbo et al. - 1984
195 Propositional dynamic logic of regular programs (context) - Fischer, Ladner - 1979
181 Algebraic Decision Diagrams and their Applications - Bahar, Frohm et al. - 1993
181 Algebraic Decision Diagrams and their Applications - Bahar, Frohm et al. - 1997
178 Symbolic model checking for sequential circuit verification - Burch, Clarke et al. - 1994
168 Gaussian elimination is not optimal (context) - Strassen - 1969
155 Modelling with generalized stochastic Petri nets (context) - Marsan, Balbo et al. - 1995
136 Information and Computation (context) - Kanellakis, Smolka et al. - 1990
135 Partial-order methods for the verification of concurrent sys.. - Godefroid - 1996
122 Performance Analysis Using Stochastic Petri Nets (context) - Molloy - 1982
106 Implicit state enumeration of finite state machines using BD.. (context) - Touati, Savoj et al. - 1990
96 Bi-CGSTAB: A fast and smoothly converging variant of Bi-CG f.. (context) - Van der Vorst - 1992
93 On variable ordering of binary decision diagrams for the app.. (context) - Fujita, Matsunaga et al. - 1991
93 Multiprocessor and Distributed System Design: The Integratio.. - Gotz, Herzog et al. - 1993
92 Spectral Transforms for Large Boolean Functions with Applica.. (context) - Clarke, McMillan et al. - 1993
92 Mean Value Analysis of Closed Multichain Queueing Networks (context) - Reiser, Lavenberg - 1980
90 Improving the Variable Ordering of OBDDs is NPComplete (context) - Bollig, Wegener - 1996
87 Verification of Arithmetic Functions with Binary Moment Diag.. - Bryant, Chen - 1994
87 Verification of Arithmetic Functions with Binary Moment Diag.. - Bryant, Chen - 1995
81 The complementation problem for Buchi automata with applicat.. (context) - Sistla, Vardi et al. - 1987
79 Symbolic Model Checking with partitioned transition relation.. - Burch, Clarke et al. - 1991
75 Minimization of binary decision diagrams based on exchange o.. (context) - Ishiura, Sawada et al. - 1991
75 A Tutorial on EMPA: A Theory of Concurrent Processes with No.. - Bernardo, Gorrieri - 1998
69 Representation of switching circuits by binary decision diag.. (context) - Lee - 1959
65 IEEE Transactions on Computers (context) - Akers, Diagrams - 1978
64 A logic for reasoning about time and probability (context) - Hansson, Jonsson - 1994
61 Quantitative System Performance (context) - Lazowska, Zahorjan et al. - 1984
61 A decomposition approach for stochastic reward net models - Ciardo, Trivedi - 1993
60 Introduction to Stochastic Processes (context) - inlar - 1975
60 On Evaluating the Performability of Degradable Computing Sys.. (context) - Meyer - 1980
58 Symbolic verification of communication protocols with infini.. - Boigelot, Godefroid - 1996
58 Characterizing correctness properties of parallel programs u.. (context) - Emerson, Clarke - 1980
58 Reduced Base Model Construction Methods for Stochastic Activ.. - Sanders, Meyer - 1991
58 Algorithms for discrete function manipulation (context) - Srinivasan, Kam et al. - 1990
58 Markovian Analysis of Large Finite State Machines - Hachtel, Macii et al. - 1996
57 and Axioms for MTIPP (context) - Hermanns, Rettelbach et al. - 1994
57 Aggregation of Variables in Dynamic Systems (context) - Simon, Ando - 1961
56 Approximate symbolic model checking of continuous-time Marko.. - Baier, Katoen et al. - 1999
56 Computer-aided verification (context) - Clarke, Kurshan - 1996
54 Jobshop-like Queueing Systems (context) - Jackson - 1963
54 Handbook of Process Algebra (context) - Bergstra, Ponse et al. - 2001
52 The Stochastic Rendezvous Network Model for Performance of S.. - Woodside, Neilson et al. - 1995
52 Superposed stochastic automata: a class of stochastic Petri .. (context) - Donatelli - 1993
52 Verifying continuous time Markov chains - Aziz, Sanwal et al. - 1996
50 Representation of Discrete Functions (context) - Sasao, Fujita - 1996
49 A Methodology for Solving Markov Models of Parallel Systems (context) - Plateau, Fourneau - 1991
49 PRISM: Probabilistic Symbolic Model Checker - Kwiatkowska, Norman et al. - 2001
49 Edge-Valued Binary Decision Diagrams for Multi-Level Hierarc.. (context) - Lai, Sastry - 1992
48 Generating BDDs for symbolic model checking in CCS (context) - Enders, Filkorn et al. - 1993
47 Model Checking Continuous Time Markov Chains by Transient An.. - Baier, Haverkort et al. - 2000
44 Networks of Waiting Lines (context) - Jackson - 1957
44 Analysis of Stochastic Petri Nets by the Method of Supplemen.. (context) - German, Lindemann - 1993
43 PEPS: A Package for Solving Complex Markov Models of Paralle.. (context) - Plateau, Fourneau et al. - 1988
43 Superposed Generalized Stochastic Petri Nets: Definition and.. (context) - Donatelli - 1994
42 Multi Terminal Binary Decision Diagrams to Represent and Ana.. - Hermanns, Meyer-Kayser et al. - 1999
42 CADP: A Protocol Validation and Verification Toolbox - Fernandez, Garavel et al. - 1996
42 Computational Algorithms for Closed Queueing Networks with E.. (context) - Buzen - 1973
40 Measurement and Tuning of Computer Systems (context) - Ferrari, Serazzi et al. - 1983
38 A Markov Chain Model Checker - Hermanns, Katoen et al. - 2001
38 A Markov Chain Model Checker - Hermanns, Katoen et al. - 2000
37 Binary Decision Diagrams: Theory and Implementation (context) - Drechsler, Becker - 1998
37 Three logics for branching bisimulation (context) - De Nicola, Vaandrager - 1995
37 The Numerical Solution of Stochastic Automata Networks - Stewart, Atif et al. - 1993
36 Formal characterisation of immediate actions in SPA with non.. - Hermanns, Rettelbach et al. - 1995
36 Symbolic model checking (context) - Clarke, McMillan et al. - 1996
36 Analyse von Petri-Netz-Modellen (context) - Starke - 1990
36 Weak Bisimulation for Fully Probabilistic Processes - Baier, Hermanns - 1997
35 An improved numerical algorithm for calculating steady-state.. (context) - Lindemann - 1993
35 Stochastic Automata Network for Modeling Parallel Systems (context) - Plateau, Atif - 1991
33 Markovian Process Algebra: Composition and Equivalence - Buchholz - 1994
33 Software Architecture (context) - Chiola - 1991
32 Multiterminal Binary Decision Diagrams: An e#cient data stru.. (context) - Clarke, Fujita et al. - 1993
32 Multi-terminal Binary Decision Diagrams: An e#cient data str.. (context) - Fujita, McGeer et al. - 1997
31 Distributed state space generation of discrete-state stochas.. - Ciardo, Gluckman et al. - 1998
30 Action versus state based logics for transition systems (context) - De Nicola, Vaandrager - 1990
30 Compositional Performance Modelling with the TIPPtool - Hermanns, Herzog et al. - 1998
30 Probabilistic Symbolic Model Checking with PRISM: A Hybrid A.. - Kwiatkowska, Norman et al. - 2001
30 Compositional performance modelling with the TIPPtool - Hermanns, Herzog et al. - 2000
29 Stochastic Process Algebras - Between LOTOS and Markov Chain.. - Hermanns, Herzog et al. - 1998
29 Storage alternatives for large structured state spaces - Ciardo, Miner - 1997
29 A temporal logic of concurrent programs (context) - Pnueli - 1981
28 Faster and Symbolic CTMC Model Checking - Katoen, Kwiatkowska et al. - 2001
28 Stochastic Petri Net Models of Polling Systems (context) - Ibe, Trivedi - 1990
28 Automated compositional Markov chain generation for a plain-.. - Hermanns, Katoen - 1999
28 Simulated annealing to improve variable orderings for OBDDs - Bollig, Lobbing et al. - 1995
27 Towards a product form solution for stochastic process algeb.. (context) - Sereno - 1995
27 Activity Networks: Project Planning and Control by Network M.. (context) - Elmaghraby - 1977
27 Stochastic Process Algebras as a Tool for Performance and De.. - Hermanns, Herzog et al. - 1995
27 Bounds for the Mean Runtime of Parallel Programs (context) - Hartleb, Mertsiotakis - 1992
27 On Well-Formed Coloured Nets and their Symbolic Reachability.. (context) - Chiola, Dutheillet et al. - 1990
27 Exact and Ordinary Lumpability in Finite Markov Chains - Buchholz - 1994
26 Quantitative and Qualitative Extensions of Event Structures (context) - Katoen - 1996
26 Compositional Minimal Semantics for the Stochastic Process A.. - Rettelbach, Siegle - 1994
25 Symbolic model checking of concurrent probabilistic systems .. - Kwiatkowska, Norman et al. - 1999
25 Probabilistic Analysis of Large Finite State Machines - Hachtel, Macii et al. - 1994
25 A Simple Time Scale Decomposition Technique for Stochastic P.. - Hillston, Mertsiotakis - 1995
25 Temporal model checking under generalized fairness constrain.. (context) - Emerson, Lei - 1985
24 Process algebra for performance evaluation - Hermanns, Herzog et al. - 2002
24 Markovian Petri Net Protocols with Product Form Solution (context) - Lazar, Robertazzi - 1991
24 Symbolic Bisimulation Minimisation - Bouali, de Simone - 1992
24 Exploiting quasi-reversible structures in Markovian process .. - Harrison, Hillston - 1995
24 Bisimulation Algorithms for Stochastic Process Algebras and .. - Hermanns, Siegle - 1999
23 Computing Poisson Probabilities (context) - Fox, Glynn - 1988
23 A Concept for Graph-Based Stochastic Process Algebras (context) - Herzog - 1996
22 Implementation of symbolic model checking for probabilistic .. - Parker - 2002
22 Performability: A retrospective and some pointers to the fut.. (context) - Meyer - 1992
21 the Representation of Probabilities over Structured Domains - Bozga, Maler - 1999
21 A Method for Performance Prediction of Parallel Programs (context) - Sotz - 1990
20 A class of hierarchical queueing networks and their analysis - Buchholz - 1994
19 An Introduction to Binary Decision Diagrams (context) - Andersen - 1994
19 A Decomposition Approach for Stochastic Petri Net Models (context) - Ciardo, Trivedi - 1991
19 Analysis of Large Stochastic Petri Net Models (context) - Ciardo - 1989
19 Considerations on the Insularity of Performance Evaluation (context) - Ferrari - 1986
19 Aggregation and Reduction Techniques for Hierarchical GCSPNs (context) - Buchholz - 1993
19 Reachability analysis based on structured representation (context) - Kemper - 1999
18 Queueing Networks -- Exact Computational Algorithms (context) - Conway, Georganas - 1989
18 Parallel state space exploration for GSPN models (context) - Caselli, Conte et al. - 1995
18 Universitat ErlangenN urnberg (context) - Hermanns, Chains - 1998
17 GSPNs versus SPNs: what is the actual role of immediate tran.. (context) - Chiola, Donatelli et al. - 1991
17 IEEE Transactions on Computers (context) - Davio, Shu et al. - 1981
17 State-space support for path-based reward variables - Obal, Sanders - 1999
17 Time and Performance Analysis (context) - Herzog - 1990
17 Performability modeling with UltraSAN - Couvillion, Freire et al. - 1991
16 Closed Queueing Systems with Exponential Servers (context) - Gordon, Newell - 1967
16 cient Implementation of a BDD Package (context) - Brace, Rudell et al. - 1990
16 State-Space Construction and Steady-State Solution of GSPNs .. - Allmaier, Kowarschik et al. - 1997
15 Performance Analysis of Communication Systems --- Modelling .. (context) - German - 2000
15 Technique and tool for symbolic representation and manipulat.. - Siegle - 1998
15 BMDs: A new data structure for verification (context) - Drechsler, Becker et al. - 1996
15 Technique and Tool for Symbolic Representation and Manipulat.. - Siegle - 1998
15 Performance Engineering as an Integral Part of System Design (context) - Harvey - 1986
14 Queueing Networks with Blocking: Exact and Approximate Solut.. (context) - Perros - 1994
13 Performance Prediction of Parallel Programs - Wabnig, Kotsis et al. - 1993
13 A Throughput Approximation Algorithm for Decision Free Proce.. - Mertsiotakis, Silva - 1996
13 Automated parallelization of discrete state-space generation - Nicol, Ciardo - 1997
13 IEEE Transactions on Parallel and Distributed Systems (context) - Hofmann, Klar et al. - 1994
13 the verification of qualitative properties of probabilistic .. - Baier, Kwiatkowska - 1998
13 Compact representation of large performability models based .. - Siegle - 1998
13 A Hierarchical View of GCSPNs and Its Impact on Qualitative .. (context) - Buchholz - 1992
13 Operational analysis of timed Petri nets and application to .. - Chiola, Campos et al. - 1993
12 On some Equivalence Relations for Probabilistic Processes (context) - Huynh, Tian - 1992
12 Functional testing with binary decision diagrams (context) - Akers - 1978
12 Using the exact state space of a Markov model to compute app.. - Miner, Ciardo et al. - 2000
12 Throughput Approximation of Decision Free Processes Using De.. - Mertsiotakis, Silva - 1997
11 The Fork--Join Queue and Related Systems with Synchronizatio.. (context) - Baccelli, Makowski et al. - 1989
11 Specification Techniques for Markov Reward Models (context) - Haverkort, Trivedi - 1993
11 on Software Engineering (context) - Rolia, Sevcik et al. - 1995
11 Distributed Disk-based Solution Techniques for Large Markov .. (context) - Knottenbelt, Harrison - 1999
11 Applying Stochastic Process Algebras to Failure Modelling (context) - Herzog, Mertsiotakis - 1994
11 Approximate Analysis Methods for Stochastic Process Algebras (context) - Mertsiotakis - 1998
10 On Time and Space Decomposition of Complex Structures (context) - Courtois - 1985
10 Specification and analysis of soft real-time systems: Quanti.. - D'Argenio, Katoen et al. - 1999
10 Experience on SIMD Massively Parallel GSPN Analysis (context) - Caselli, Conte et al. - 1994
10 A Software Package for Markov Modeling (context) - Stewart, Markov - 1991
10 Approximate Analysi ForkJoin Synchronization Parallel Queue (context) - Tantawi, of et al. - 1988
10 Semi-Numerical Solution of Stochastic Process Algebra Models - Bohnenkamp, Haverkort - 1999
10 Towards model checking stochastic process algebra - Hermanns, Katoen et al. - 2000
10 Probabilistic Branching in Markovian Process Algebras - Rettelbach - 1995
9 Performance Evaluation and Formal Description (context) - Herzog - 1991
9 QNAP2: A Portable Environment for Queueing Systems Modelling (context) - Veran, Potier - 1984
9 Priority and Maximal Progress are completely axiomatisable - Hermanns, Lohrey - 1998
9 ACM monograph series (context) - Courtois, queueing et al. - 1977
8 Time Scale Decomposition of Stochastic Process Algebra Model.. - Mertsiotakis - 1997
8 Symbolic Algorithms to Calculate Steady-State Probabilities .. (context) - Hachtel, Macii et al. - 1994
8 A Superset of Basic LOTOS for Performance Prediction (context) - Hermanns, Rettelbach - 1996
8 Global rebuilding of OBDDs avoiding memory requirement maxim.. - Bern, Meinel et al. - 1995
8 Structured Markovian Performance Modelling with Automatic Sy.. (context) - Siegle - 1994
7 Symbolic Model Checking for Probabilistic Processes using MT.. - de Alfaro, Kwiatkowska et al. - 2000
7 Complexity of Kronecker Operations on Sparse Matrices with A.. - Buchholz, Ciardo et al. - 1997
7 Exploiting Symmetries in Stochastic Process Algebras - Hermanns, Ribaudo - 1998
7 Automated Performance Modeling from Scenarios and SDL Design.. (context) - El-Sayed, Cameron et al. - 1998
7 Parallel Graph Generation Algorithms for Shared and Distribu.. - Allmaier, Dalibor et al. - 1997
7 ProbVerus: Probabilistic Symbolic Model Checking (context) - Hartonas-Garmhausen, Campos et al. - 1999
7 Acyclic Fork--Join Queuing Networks (context) - Baccelli, Massey et al. - 1989
7 the Synchronization Structure of Parallelism and Synchroniza.. (context) - Plateau - 1985
7 Hierarchies in Colored GSPNs (context) - Buchholz - 1993
[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