Logical and Stochastic Modeling with SMART
暂无分享,去创建一个
Gianfranco Ciardo | R. L. Jones | Andrew S. Miner | R. L. Jones | Radu Siminiceanu | Radu I. Siminiceanu | Gianfranco Ciardo
[1] Gianfranco Ciardo,et al. Storage Alternatives for Large Structured State Spaces , 1997, Computer Performance Evaluation.
[2] Marta Z. Kwiatkowska,et al. PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.
[3] Gianfranco Ciardo,et al. Saturation Unbound , 2003, TACAS.
[4] Gianfranco Ciardo,et al. Using the exact state space of a Markov model to compute approximate stationary measures , 2000, SIGMETRICS '00.
[5] Peter Buchholz,et al. Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models , 2000, INFORMS J. Comput..
[6] Gianfranco Ciardo,et al. On phased delay stochastic Petri nets: definition and an application , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.
[7] Tiziano Villa,et al. Multi-valued decision diagrams: theory and applications , 1998 .
[8] Gianfranco Ciardo,et al. Simulation and numerical solution of stochastic petri nets with discrete and continuous timing , 2002 .
[9] Fausto Giunchiglia,et al. NUSMV: A New Symbolic Model Verifier , 1999, CAV.
[10] Gianfranco Ciardo,et al. Efficient Symbolic State-Space Construction for Asynchronous Systems , 2000, ICATPN.
[11] Gianfranco Ciardo,et al. Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation , 2001, TACAS.
[12] Gianfranco Ciardo,et al. Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths , 2002, FMCAD.
[13] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[14] Christel Baier,et al. Model Checking Continuous-Time Markov Chains by Transient Analysis , 2000, CAV.
[15] William H. Sanders,et al. Performability Modeling with UltraSAN , 1991, IEEE Softw..
[16] Gianfranco Ciardo,et al. A data structure for the efficient Kronecker solution of GSPNs , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).
[17] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[18] Jordi Cortadella,et al. Petri Net Analysis Using Boolean Manipulation , 1994, Application and Theory of Petri Nets.
[19] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[20] Gianfranco Ciardo,et al. Efficient Reachability Set Generation and Storage Using Decision Diagrams , 1999, ICATPN.
[21] Kishor S. Trivedi,et al. A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.
[22] Andrew S. Miner,et al. Efficient state space generation of GSPNs using decision diagrams , 2002, Proceedings International Conference on Dependable Systems and Networks.
[23] Gianfranco Ciardo,et al. A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..
[24] Joe Brewer,et al. Kronecker products and matrix calculus in system theory , 1978 .
[25] William H. Sanders,et al. Möbius: An Extensible Tool for Performance and Dependability Modeling , 2000, Computer Performance Evaluation / TOOLS.
[26] L Jones Robert,et al. Analysis of Phase-Type Stochastic Petri Nets With Discrete and Continuous Timing , 2000 .
[27] Sergio Yovine,et al. Model Checking Timed Automata , 1996, European Educational Forum: School on Embedded Systems.