GRIP: Generic Representatives in PRISM
暂无分享,去创建一个
[1] Bruno Sericola. Availability Analysis of Repairable Computer Systems and Stationarity Detection , 1999, IEEE Trans. Computers.
[2] Thomas Wahl,et al. On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking , 2003, CHARME.
[3] Miklós Telek,et al. Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).
[4] Jean-Michel Fourneau,et al. SANs and Lumpable Stochastic Bounds: Bounding Availability , 2004 .
[5] Marta Z. Kwiatkowska,et al. Symmetry Reduction for Probabilistic Model Checking , 2006, CAV.
[6] Anne Benoit,et al. Aggregation of stochastic automata networks with replicas , 2004 .
[7] Michael K. Molloy. Discrete Time Stochastic Petri Nets , 1985, IEEE Transactions on Software Engineering.
[8] Gianfranco Ciardo,et al. A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..
[9] A. Horvath,et al. Supplementary variable approach applied to the transient analysis of age-MRSPNs , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).
[10] Wojciech Penczek,et al. Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata , 2004, ICATPN.
[11] Brigitte Plateau. On the stochastic structure of parallelism and synchronization models for distributed algorithms , 1985, SIGMETRICS 1985.
[12] Hoon Choi,et al. Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.
[13] Thomas Wahl,et al. Efficient Reduction Techniques for Systems with Many Components , 2005, Electron. Notes Theor. Comput. Sci..
[14] Kishor S. Trivedi,et al. Performance and Reliability Analysis Using Directed Acyclic Graphs , 1987, IEEE Transactions on Software Engineering.
[15] Alastair F. Donaldson,et al. Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives , 2006, ATVA.
[16] Brigitte Plateau,et al. Phase-type distributions in stochastic automata networks , 2008, Eur. J. Oper. Res..
[17] Gianfranco Ciardo,et al. Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation , 2001, TACAS.
[18] Jörn Freiheit,et al. Petri Net Modelling and Performability Evaluation with TimeNET 3.0 , 2000, Computer Performance Evaluation / TOOLS.
[19] Enrico Vicario,et al. Static Analysis and Dynamic Steering of Time-Dependent Systems , 2001, IEEE Trans. Software Eng..
[20] G. Bucci,et al. Introducing probability within state class analysis of dense-time-dependent systems , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).