|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 24 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle |
A Modelling and Analysis Environment for LARES.  |
MMB/DFT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier |
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle |
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
MTBDD, elimination of immediate transitions, stochastic process algebra |
| 1 | Max Walter, Markus Siegle, Arndt Bode |
OpenSESAME - the simple but extensive, structured availability modeling environment. |
Rel. Eng. & Sys. Safety |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen |
Quantitative analysis of gossiping protocols. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle |
A view-probability-matrix approach to the modelling of gossiping protocols. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Riedl, Johann Schuster, Markus Siegle |
Recent Extensions to the Stochastic Process Algebra Tool CASPA. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Schuster, Markus Siegle |
A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. |
MMB |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
Model Checking Markov Chains with Actions and State Labels. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
model checking, Markov processes, automata, Protocol verification, performance of systems |
| 1 | Kai Lampka, S. Harwarth, Markus Siegle |
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Markus Siegle |
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution |
| 1 | Kai Lampka, Markus Siegle, Max Walter |
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
Reliability and Availability Analysis, State Space Explosion Binary Decision Diagram, Reliability Block Diagrams, Markov Reward Model |
| 1 | Matthias Kuntz, Markus Siegle |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems |
| 1 | Matthias Kuntz, Markus Siegle |
CASPA: Symbolic model checking of stochastic systems. |
MMB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kai Lampka, Markus Siegle |
Activity-local symbolic state graph generation for high-level stochastic models. |
MMB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Matthias Kuntz, Markus Siegle, Edith Werner |
Symbolic Performance and Dependability Evaluation with the Tool CASPA. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.) |
Validation of Stochastic Systems - A Guide to Current Research |
Validation of Stochastic Systems |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
Model Checking Action- and State-Labelled Markov Chains. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle |
On the use of MTBDDs for performability analysis and verification of stochastic systems. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
A tool for model-checking Markov chains. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Numerical mathematics, Performance evaluation, Model checking, Temporal logic, Markov chain, Probabilistic systems |
| 1 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
ETMCC: Model Checking Performability Properties of Markov Chains. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz, Markus Siegle |
Deriving Symbolic Representations from Stochastic Process Algebras. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Siegle |
Advances in Model Representations. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle |
Compositional performance modelling with the TIPPtool. |
Perform. Eval. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
A Markov Chain Model Checker. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
Towards Model Checking Stochastic Process Algebra. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Markus Siegle |
Symbolic Minimisation of Stochastic Process Algebra Models. |
FBT |
1999 |
DBLP BibTeX RDF |
|
| 1 | Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle |
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Siegle |
Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs. |
MMB |
1999 |
DBLP BibTeX RDF |
|
| 1 | Holger Hermanns, Markus Siegle |
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle |
Compositional Performance Modelling with TIPPtool. |
Computer Performance Evaluation (Tools) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenglian Peng, Rainer Klar, Richard Hofmann, Peter Dauphin, Markus Siegle |
Combining gprof and event-driven monitoring for analyzing distributed programs: a rough view of NCSA mosaic. |
J. Comput. Sci. Technol. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Hofmann, Rainer Klar, Bernd Mohr, Andreas Quick, Markus Siegle |
Distributed Performance Monitoring: Methods, Tools, and Applications. |
IEEE Trans. Parallel Distrib. Syst. |
1994 |
DBLP DOI BibTeX RDF |
functional behavior, hybrid monitoring, parallel ray tracing program, common abstraction, SUPRENUM, performance evaluation, distributed systems, monitoring, debugging, distributed processing, program debugging, performance monitoring, tuning, system monitoring, dynamic behavior |
| 1 | Markus Siegle |
Using Structured Modelling for Efficient Performance Prediction of Parallel Systems. |
PARCO |
1993 |
DBLP BibTeX RDF |
|
| 1 | Markus Siegle, Richard Hofmann |
Monitoring Program Behaviour on SUPRENUM. |
ISCA |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Siegle, Douglas S. Reeves, Krzysztof Kozminski |
The Interlocking Bus Network for Fault-Tolerant Processor Arrays. |
Fault-Tolerant Computing Systems |
1991 |
DBLP BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")