H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker, and M. Siegle. On the use of MTBDDs for performability analysis and verification of stochastic systems. Journal of Logic and Algebraic Programming, 56(1-2):23--67, 2003. 293, 298, 304 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Symbolic Performance and Dependability Evaluation with the .. - Kuntz, Siegle, Werner (2004) Self-citation (Siegle) (Correct)
No context found.
H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker, and M. Siegle. On the use of MTBDDs for performability analysis and verification of stochastic systems. Journal of Logic and Algebraic Programming, 56(1-2):23--67, 2003. 293, 298, 304
Model Checking for Probability and Time: From Theory to Practice - Kwiatkowska (2003) (6 citations) Self-citation (Kwiatkowska) (Correct)
No context found.
H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker, and M. Siegle. On the use of MTBDDs for performability analysis and verification of stochastic systems. Journal of Logic and Algebraic Programming, 2002. To appear.
Advances in Model Representations - Siegle (2001) (3 citations) Self-citation (Siegle) (Correct)
....transitions. In this case, is a proper MTBDD with possibly more than two terminal vertices. Our tool Im Cat realises this scheme. A second alternative for the symbolic representation of ESLTSs, where both Markovian and immediate transitions are represented by a single MTBDD, is described in [58]. 4.3 Symbolic manipulation and analysis of transition systems In this section, we discuss the construction, manipulation and analysis of transition systems represented by MTBDDs. Given a transition system, its symbolic representation can be easily constructed as the sum of the MTBDDs encoding ....
H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker, and M. Siegle. On the use of MTBDDs for performability analysis and verification of stochastic systems. (in preparation).
Probabilistic Model Checking of the CSMA/CD.. - Duflot, Fribourg, .. (2004) (Correct)
No context found.
H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker and M. Siegle. On the use of MTBDDs for Performability Analysis and Verification of Stochastic Systems. In Journal of Logic and Algebraic Programming: Special Issue on Probabilistic Techniques for the Design and Analysis of Systems. pp 23-67, 56:1-2, 2003.
Approximate Computation of Transient Results for Large Markov .. - Buchholz, Sanders (Correct)
No context found.
H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker, and M. Siegle. On the use of MTBDDs for performability analysis and verification of stochastic systems. Journal of Logic and Algebraic Programming, 56:23--67, 2003.
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