MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly
暂无分享,去创建一个
[1] Matteo Sereno,et al. On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process , 2009, CMSB.
[2] Martin Schwarick,et al. MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.
[3] Sheng Wu,et al. StochKit2: software for discrete stochastic simulation of biochemical systems with events , 2011, Bioinform..
[4] Joost-Pieter Katoen,et al. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison , 2007, Haifa Verification Conference.
[5] Monika Heiner,et al. A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets , 2007, CMSB.
[6] Christel Baier,et al. Approximate Symbolic Model Checking of Continuous-Time Markov Chains , 1999, CONCUR.
[7] Werner Sandmann,et al. ON THE STATISTICAL ACCURACY OF STOCHASTIC SIMULATION ALGORITHMS IMPLEMENTED IN DIZZY , 2008 .
[8] Martin Schwarick,et al. A comparative study of stochastic analysis techniques , 2010, CMSB '10.
[9] Gianfranco Ciardo,et al. Efficient Reachability Set Generation and Storage Using Decision Diagrams , 1999, ICATPN.
[10] G. Ciardo,et al. ON THE USE OF KRONECKER OPERATORS FOR THE SOLUTION OF GENERALIZED STOCHASTIC PETRI NETS , 1996 .
[11] Kishor S. Trivedi,et al. Stochastic Petri Net Models of Polling Systems , 1990, IEEE J. Sel. Areas Commun..
[12] Gianfranco Ciardo,et al. Data Representation and Efficient Solution: A Decision Diagram Approach , 2007, SFM.
[13] P. Merlin,et al. Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.
[14] Monika Heiner,et al. Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments , 2009, Trans. Comp. Sys. Biology.
[15] Monika Heiner,et al. Snoopy - a unifying Petri net framework to investigate biomolecular networks , 2010, Bioinform..
[16] Christel Baier,et al. Model checking performability properties , 2002, Proceedings International Conference on Dependable Systems and Networks.
[17] Boudewijn R. Haverkort,et al. Five Performability Algorithms. A Comparison , 2006 .
[18] Martin Schwarick,et al. IDD-based model validation of biochemical networks , 2011, Theor. Comput. Sci..
[19] Muffy Calder,et al. A Model and Analysis of the AKAP Scaffold , 2010, Electron. Notes Theor. Comput. Sci..
[20] David Gilbert,et al. A Monte Carlo model checker for probabilistic LTL with numerical constraints , 2008 .
[21] William H. Sanders,et al. Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models , 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
[22] Kishor S. Trivedi,et al. A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.
[23] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[24] Robert K. Brayton,et al. Model-checking continuous-time Markov chains , 2000, TOCL.
[25] Martin Schwarick. Symbolic Model Checking of Stochastic Reward Nets , 2012, CS&P.
[26] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[27] Martin Schwarick,et al. CSL Model Checking of Biochemical Networks with Interval Decision Diagrams , 2009, CMSB.
[28] Kishor S. Trivedi,et al. Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets , 1993 .
[29] David Anthony Parker,et al. Implementation of symbolic model checking for probabilistic systems , 2003 .
[30] Michael A. Gibson,et al. Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels , 2000 .
[31] Christel Baier,et al. Model Checking Continuous-Time Markov Chains by Transient Analysis , 2000, CAV.
[32] Marta Z. Kwiatkowska,et al. Stochastic Model Checking , 2007, SFM.
[33] Gianfranco Ciardo,et al. Logic and stochastic modeling with S m A r T , 2006, Perform. Evaluation.
[34] Monika Heiner,et al. Petri Nets for Systems and Synthetic Biology , 2008, SFM.
[35] Joost-Pieter Katoen,et al. The Ins and Outs of the Probabilistic Model Checker MRMC , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
[36] Christian Rohr,et al. Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators , 2013, Trans. Petri Nets Other Model. Concurr..
[37] William H. Sanders,et al. "On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions , 1998, IEEE Trans. Software Eng..
[38] Fabrice Kordon,et al. A primer on the Petri Net Markup Language and ISO/IEC 15909-2 , 2009 .
[39] William J. Stewart,et al. Introduction to the numerical solution of Markov Chains , 1994 .
[40] Thomas A. Henzinger,et al. Fast Adaptive Uniformization of the Chemical Master Equation , 2009 .
[41] Marco Ajmone Marsan,et al. Modelling with Generalized Stochastic Petri Nets , 1995, PERV.
[42] Gianfranco Ciardo,et al. Logical and Stochastic Modeling with SMART , 2003, Computer Performance Evaluation / TOOLS.
[43] Martin Schwarick,et al. DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets , 2009, Petri Nets.
[44] Martin Schwarick,et al. Snoopy - A Unifying Petri Net Tool , 2012, Petri Nets.
[45] Thomas A. Henzinger,et al. Sliding Window Abstraction for Infinite Markov Chains , 2009, CAV.
[46] Christel Baier,et al. Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science) , 2004 .
[47] Martin Schwarick. IDD-MC - A Model Checker for Bounded Stochastic Petri nets , 2010, AWPN.
[48] Sofia Cassel,et al. Graph-Based Algorithms for Boolean Function Manipulation , 2012 .