H. Hermanns, J. Meyer-Kayser, M. Siegle, Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains, in: B. Plateau, W.J. Stewart, M. Silva (Eds.), Numerical Solution of Markov Chains, Prensas Universitarias de Zaragoza, Zaragoza, Spain, June 1997, pp. 188--207. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Symbolic Performance and Dependability Evaluation with the .. - Kuntz, Siegle, Werner (2004) Self-citation (Siegle) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In 3rd Int. Workshop on the Numerical Solution of Markov Chains, pages 188--207. Prensas Universitarias de Zaragoza, 1999. 293
On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (2 citations) Self-citation (Hermanns Siegle) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, M. Siegle, Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains, in: B. Plateau, W. Stewart, M. Silva (Eds.), 3rd Int. Workshop on the Numerical Solution of Markov Chains, Prensas Universitarias de Zaragoza, 1999, pp. 188-- 207.
Behaviour Analysis of Communication Systems: Compositional.. - Siegle (2002) (1 citation) Self-citation (Siegle) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In B. Plateau, W.J. Stewart, and M. Silva, editors, 3rd Int. Workshop on the Numerical Solution of Markov Chains, pages 188--207. Prensas Universitarias de Zaragoza, 1999.
On The Benefits Of Using Functional Transitions And .. - Benoit, Fernandes, .. (2004) (3 citations) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, M. Siegle, Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains, in: B. Plateau, W.J. Stewart, M. Silva (Eds.), Numerical Solution of Markov Chains, Prensas Universitarias de Zaragoza, Zaragoza, Spain, June 1997, pp. 188--207.
Unknown - Isrn Inria Rr-- (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser and M. Siegle. Multi Terminal Binary Decision Diagram to Represent and Analyse Continuous Time Markov Chains. In Proc. 3rd int. workshop on the numerical solution of Markov chains, Prensas Universitarias de Zaragossa, 2000.
Statistical Model Checking of Black-Box Probabilistic Systems - Sen, Viswanathan, Agha (2004) (1 citation) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi-terminal binary decision diagrams to represent and analyse continuous-time markov chains. In Proceedings of 3rd International Workshop on the Numerical Solution of Markov Chains (NSMC'99), 1999.
Learning Continuous Time Markov Chains from Sample Executions - Sen, Viswanathan, Agha (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multiterminal binary decision diagrams to represent and analyse continuous-time Markov chains. In Workshop on the Numerical Solution of Markov Chains (NSMC'99), 1999.
Symbolic State-space Exploration and Numerical Analysis.. - Derisavi, Kemper.. (2004) (1 citation) (Correct)
No context found.
H. Hermanns, J. Kayser, and M. Siegle. Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains. In Proc. of 3rd Meeting on Numerical Solution of Markov Chains (NSMC), pages 188--207, 1999.
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (5 citations) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In Proc. Numerical Solutions of Markov Chains (NSMC'99), Zaragoza, 1999.
Faster and Symbolic CTMC Model Checking - Katoen, Kwiatkowska, Norman.. (2001) (6 citations) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser and M. Siegle. Multi-terminal binary decision diagrams to represent and analyse continuous-time Markov chains. In Proc. 3rd Int. Workshop on the Num. Sol. of Markov Chains, pp. 188-207, 1999.
Symbolic Model Checking of Probabilistic Processes .. - de Alfaro.. (2000) (5 citations) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to represent and analyse continuous time Markov chains. In Proc. NSMC'99, 1999.
Symbolic Representations and Analysis of Large State Spaces - Miner, Parker (2003) (1 citation) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains. In B. Plateau, W. Stewart, and M. Silva, editors, Proc. 3rd International Workshop on Numerical Solution of Markov Chains (NSMC'99), pages 188-207. Prensas Universitarias de Zaragoza, 1999.
Implementation of Symbolic Model Checking for Probabilistic Systems - Parker (2002) (5 citations) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains. In B. Plateau, W. Stewart, and M. Silva, editors, Proc. 3rd International Workshop on Numerical Solution of Markov Chains (NSMC'99), pages 188-207. Prensas Universitarias de Zaragoza, 1999.
PRISM: Probabilistic Symbolic Model Checker - Kwiatkowska, Norman, Parker (2002) (29 citations) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains. In Proc. NSMC'99, 1999.
An Efficient Symbolic Out-of-Core Solution Method for.. - Mehmood, Parker.. (2003) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In Proc. Numerical Solutions of Markov Chains (NSMC'99), Zaragoza, 1999.
Serial Disk-based Analysis of Large Stochastic Models - Mehmood (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In Proc. NSMC'99, Zaragoza, 1999.
An Efficient BDD-Based Implementation of Gauss-Seidel.. - Mehmood, Parker.. (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In Proc. NSMC'99, 1999. 19
Out-of-Core Solution of Large Linear Systems of Equations.. - Kwiatkowska, Mehmood (2002) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In Proc. Numerical Solutions of Markov Chains (NSMC'99), Zaragoza, 1999.
Learning Continuous Time Markov Chains from Sample Executions - Sen, Viswanathan, Agha (2004) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multiterminal binary decision diagrams to represent and analyse continuous-time Markov chains. In Workshop on the Numerical Solution of Markov Chains (NSMC'99), 1999.
Numerical vs. Statistical Probabilistic Model.. - Younes.. (2004) (Correct)
No context found.
Hermanns, H., Meyer-Kayser, J., and Siegle, M. Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains. In Proc. 3rd International Workshop on the Numerical Solution of Markov Chains, pages 188{ 207. Prensas Universitarias de Zaragoza, 1999.
Symbolic Representations and Analysis of Large Probabilistic.. - Miner, Parker (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains. In B. Plateau, W. Stewart, and M. Silva, editors, Proc. 3rd International Workshop on Numerical Solution of Markov Chains (NSMC'99), pages 188-207. Prensas Universitarias de Zaragoza, 1999.
Numerical vs. Statistical Probabilistic Model.. - Younes.. (2004) (Correct)
No context found.
Hermanns, H., Meyer-Kayser, J., and Siegle, M. Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains. In Proc. 3rd International Workshop on the Numerical Solution of Markov Chains, pages 188-- 207. Prensas Universitarias de Zaragoza, 1999.
An Efficient Symbolic Out-of-Core Solution Method for.. - Mehmood, Parker.. (2003) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In Proc. Numerical Solutions of Markov Chains (NSMC'99), Zaragoza, 1999.
Probabilistic Symbolic Model Checking with PRISM: A.. - Kwiatkowska, Norman.. (2002) (11 citations) (Correct)
No context found.
H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains. In Proc. NSMC'99, 1999.
A Symbolic Out-of-Core Solution Method for Markov Models - Kwiatkowska, Mehmood.. (2002) (Correct)
No context found.
Hermanns, H., J. Meyer-Kayser and M. Siegle, Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains, in: Proc. Numerical Solutions of Markov Chains (NSMC'99), Zaragoza, 1999. 15
First 50 documents
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