Quantitative Analysis under Fairness Constraints
暂无分享,去创建一个
[1] Moshe Y. Vardi. Automatic verification of probabilistic concurrent finite state programs , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
[2] Christel Baier,et al. Model checking for a probabilistic branching time logic with fairness , 1998, Distributed Computing.
[3] Doron A. Peled. Partial order reduction: Linear and branching temporal logics and process algebras , 1996, Partial Order Methods in Verification.
[4] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[5] Gerard J. Holzmann,et al. An improvement in formal verification , 1994, FORTE.
[6] Thomas Wilke,et al. Automata logics, and infinite games: a guide to current research , 2002 .
[7] Thomas Wilke,et al. Automata Logics, and Infinite Games , 2002, Lecture Notes in Computer Science.
[8] Pedro R. D'Argenio,et al. Partial order reduction on concurrent probabilistic programs , 2004 .
[9] Marta Z. Kwiatkowska,et al. PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.
[10] Martin L. Puterman,et al. Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .
[11] Alexander Schrijver,et al. Combinatorial optimization. Polyhedra and efficiency. , 2003 .
[12] Amir Pnueli,et al. Impartiality, Justice and Fairness: The Ethics of Concurrent Termination , 1981, ICALP.
[13] Ramon Puigjaner,et al. Computer Performance Evaluation , 2000, Lecture Notes in Computer Science.
[14] Christel Baier,et al. Principles of model checking , 2008 .
[15] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[16] Zohar Manna,et al. Formal verification of probabilistic systems , 1997 .
[17] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[18] Amir Pnueli,et al. Parameterized Verification by Probabilistic Abstraction , 2003, FoSSaCS.
[19] Amir Pnueli,et al. Probabilistic Verification , 1993, Information and Computation.
[20] Christel Baier,et al. Reduction Techniques for Model Checking Markov Decision Processes , 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
[21] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.
[22] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[23] Daniel Lehmann,et al. On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem , 1981, POPL '81.
[24] Christel Baier,et al. PROBMELA: a modeling language for communicating probabilistic processes , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
[25] Chin-Laung Lei,et al. Modalities for Model Checking: Branching Time Logic Strikes Back , 1987, Sci. Comput. Program..
[26] Micha Sharir,et al. Termination of Probabilistic Concurrent Program , 1983, TOPL.
[27] Christel Baier,et al. LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[28] Marta Kwiatkowska,et al. Survey of fairness notions , 1989 .
[29] C. Baier,et al. Partial order reduction for probabilistic systems , 2004 .
[30] Hsu-Chun Yen,et al. On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs , 1988, Theor. Comput. Sci..
[31] Thomas A. Henzinger,et al. Reactive Modules , 1999, Formal Methods Syst. Des..
[32] Mihalis Yannakakis,et al. The complexity of probabilistic verification , 1995, JACM.
[33] Luca de Alfaro,et al. Stochastic Transition Systems , 1998, CONCUR.
[34] Ian Stark,et al. Free-Algebra Models for the pi-Calculus , 2005, FoSSaCS.
[35] Wojciech Rytter,et al. A Randomized Algorithm for Gossiping in Radio Networks , 2001, COCOON.
[36] Christel Baier,et al. Principles of Model Checking (Representation and Mind Series) , 2008 .
[37] Gerard J. Holzmann,et al. Partial Order Methods in Verification , 1997 .
[38] Luca de Alfaro,et al. From Fairness to Chance , 1998, PROBMIV.
[39] Robert de Simone,et al. CONCUR'98 Concurrency Theory , 1998, Lecture Notes in Computer Science.
[40] Doron A. Peled,et al. All from One, One for All: on Model Checking Using Representatives , 1993, CAV.
[41] Christel Baier,et al. Partial Order Reduction for Probabilistic Branching Time , 2006, QAPL.
[42] Christel Baier,et al. On-the-Fly Stuttering in the Construction of Deterministic omega -Automata , 2007, CIAA.
[43] Leslie Lamport,et al. Specifying Concurrent Program Modules , 1983, TOPL.
[44] Borivoj Melichar,et al. Finding Common Motifs with Gaps Using Finite Automata , 2006, CIAA.