Model checking multiagent programs with CASP, Proc. of CAV03, pp.110-113, 2003. ,
The dining cryptographers problem: Unconditional sender and recipient untraceability, Journal of Cryptology, vol.1, issue.1, pp.65-75, 1988. ,
DOI : 10.1007/BF00206326
Model Checking, 1999. ,
Memory-efficient algorithms for the verification of temporal properties, Formal Methods in System Design, vol.64, issue.12, pp.275-288, 1992. ,
DOI : 10.1007/BF00121128
Reasoning about Knowledge, 1995. ,
MCK: Model Checking the Logic of Knowledge, Proc. of CAV04, pp.479-483, 2004. ,
DOI : 10.1007/978-3-540-27813-9_41
A partial order approach to branching time logic model checking, Proceedings Third Israel Symposium on the Theory of Computing and Systems, pp.132-152, 1999. ,
DOI : 10.1109/ISTCS.1995.377038
Using partial orders to improve automatic verification methods, Proc. of CAV90, pp.176-185, 1991. ,
DOI : 10.1007/BFb0023731
Complete Axiomatizations for Reasoning about Knowledge and Time, SIAM Journal on Computing, vol.33, issue.3, pp.674-703, 2003. ,
DOI : 10.1137/S0097539797320906
Knowledge and common knowledge in a distributed environment, Journal of the ACM, vol.37, issue.3, pp.549-587, 1990. ,
DOI : 10.1145/79147.79161
Model checking knowledge and time, Proc. of SPIN02, pp.95-111, 2002. ,
Partial order reduction of the state space, Proc. of SPIN95, 1995. ,
On nested depth first search, Proc. of SPIN96, pp.23-32, 1996. ,
VerICS 2007 -a Model Checker for Knowledge and Real-Time, Fundamenta Informaticae, vol.85, pp.1-4, 2008. ,
Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol, Fundamenta Informaticae, vol.63, issue.2-3, pp.221-240, 2006. ,
Stronger Reduction Criteria for Local First Search, Proc. of ICTAC06, pp.108-122, 2006. ,
DOI : 10.1007/11921240_8
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic, Proc. of MoChArt08, pp.106-121, 2009. ,
DOI : 10.1007/BFb0023729
MCMAS: A Model Checker for the Verification of Multi-Agent Systems, Proc. of CAV09, pp.682-688, 2009. ,
DOI : 10.1007/978-3-642-02658-4_55
Symbolic Model Checking, 1993. ,
A technique of state space search based on unfolding, Formal Methods in System Design, vol.22, issue.12, pp.45-65, 1995. ,
DOI : 10.1007/BF01384314
Distributed processes and the logic of knowledge, Logic of Programs, pp.256-268, 1985. ,
DOI : 10.1007/3-540-15648-8_21
All from one, one for all: on model checking using representatives, Proc. of CAV93, pp.409-423, 1993. ,
DOI : 10.1007/3-540-56922-7_34
Combining partial order reductions with on-the-fly model-checking, Proc. of CAV94, pp.377-390, 1994. ,
Verifying epistemic properties of multi-agent systems via bounded model checking, Proceedings of the second international joint conference on Autonomous agents and multiagent systems , AAMAS '03, pp.167-185, 2003. ,
DOI : 10.1145/860575.860609
Improving Partial Order Reductions for Universal Branching Time Properties, Fundamenta Informaticae, vol.43, issue.1-4, pp.245-267, 2000. ,
Verification of hybrid systems using abstractions, Hybrid Systems II, pp.359-369, 1995. ,
DOI : 10.1007/3-540-60472-3_18
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams, Journal of Applied Logic, vol.5, issue.2, pp.235-251, 2007. ,
DOI : 10.1016/j.jal.2005.12.010
Formal theories of knowledge in AI and robotics, New Generation Computing, vol.9, issue.4, pp.345-357, 1985. ,
DOI : 10.1007/BF03037076
A stubborn attack on state explosion, Proc. of CAV90, pp.156-165, 1990. ,
Knowledge and social laws, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.674-681, 2005. ,
DOI : 10.1145/1082473.1082576
Symbolic model checking the knowledge of the dining cryptographers, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., pp.280-291, 2004. ,
DOI : 10.1109/CSFW.2004.1310747
A Knowledge Based Analysis of Cache Coherence, Proc. of ICFEM04, pp.99-114, 2004. ,
DOI : 10.1007/978-3-540-30482-1_15
Cache coherence protocols: evaluation using a multiprocessor simulation model, ACM Transactions on Computer Systems, vol.4, issue.4, pp.273-298, 1986. ,
DOI : 10.1145/6513.6514