By Professor Ron Van der Meyden

Conference Papers

Al Bateineh O; Van Der Meyden R, 2011, 'Abstraction for Epistemic Model Checking of Dining-Cryptographers based Protocols', in TARK XIII: Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011, ACM, New York, NY, USA, pp. 247 - 256, presented at 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011, Gronigen, Netherlands, 12 July 2011 - 14 July 2011, http://dx.doi.org/10.1145/2000378.2000408

Huang X; Luo C; Van Der Meyden R, 2011, 'Symbolic Model Checking of Probabilistic Knowledge', in TARK XIII: Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011, ACM, New York, NY, USA, pp. 177 - 186, presented at 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011, Gronigen, Netherlands, 12 July 2011 - 14 July 2011, http://dx.doi.org/10.1145/2000378.2000399

Eggert S; Van Der Meyden R; Schnoor H; Wilke T, 2011, 'The complexity of Intransitive Noninterference', in Proceedings - 2011 IEEE Symposium on Security and Privacy, SP 2011, Institute of Electrical and Electronics Engineers Inc., New York, NY, United States, pp. 196 - 211, presented at 2011 IEEE Symposium on Security and Privacy, SP 2011, Berkeley, CA, USA, 22 May 2011 - 25 May 2011, http://dx.doi.org/10.1109/SP.2011.30

Al Bateineh O; Van Der Meyden R, 2010, 'Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast', in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, Springer, Berlin, Germany, presented at 6th International Conference on Security and Privacy in Communication Networks, SecureComm 2010, Singapore, 07 September 2010 - 09 September 2010, http://dx.doi.org/10.1007/978-3-642-16161-2_25

Huang X; Van Der Meyden R, 2010, 'The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time', in ECAI 2010, 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, pp. 549 - 554, presented at 19th European Conference on Artificial Intelligence, Lisbon, Portugal, 16 August 2010 - 20 August 2010, http://dx.doi.org/10.3233/978-1-60750-606-5-549

Huang X; Luo C; Van Der Meyden R, 2010, 'Improved bounded model checking for a fair branching-time temporal epistemic logic', in Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Revised Selected and Invited Papers, Springer Verlag, Heidelberg, Germany, pp. 95 - 111, presented at AAMAS 2010, Toronto, Canada, 10 May 2010 - 14 May 2010, http://dx.doi.org/10.1007/978-3-642-20674-0_7

Huang X; Luo C; Van Der Meyden R, 2010, 'Improved bounded model checking for a fair branching-time temporal epistemic logic', in Proc. 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2010), IFIMAAS, http://www.aamas-conference.org/Proceedings/aamas2010/, presented at AAMAS 2010, Toronto, Canada, 10 May 2010 - 14 May 2010, http://www.aamas-conference.org/Proceedings/aamas2010/pdf/02%20Extended%20Abstracts/Red/R-18.pdf

Cassez F; Van Der Meyden R; Zhang C, 2010, 'The Complexity of Synchronous Notions of Information Flow Security', in 13th International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FoSSaCS 2010), Springer-Verlag, Germany, presented at 13th International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FoSSaCS 2010), Paphos, Cyprus, 20 March 2010 - 28 March 2010, http://dx.doi.org/10.1007/978-3-642-12032-9_20

Van Der Meyden R, 2010, 'Games, Norms and Strategic Notions in Information Flow Security', in CLIMA XI - Computational Logic in Multi-agent Systems, Springer, Lisbon, presented at 11th Int. Workshop on Computational Logic in Multi- Agent Systems, Lisbon, http://dx.doi.org/10.1007/978-3-642-14977-1_2

Huang X; Van Der Meyden R, 2009, 'Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic', in AI 2010: Advances in Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, presented at 22nd Australasian Joint Conference on Artificial Intelligence, Melbourne, 01 December 2009 - 04 December 2009, http://dx.doi.org/10.1007/978-3-642-10439-8_2

Van Der Meyden R, 2009, 'Architectural refinement and notions of intransitive noninterference', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 60 - 74, http://dx.doi.org/10.1007/978-3-642-00199-4_6

Chong S; Van Der Meyden R, 2009, 'Deriving Epistemic Conclusions from Agent architecture', in Theoretical Aspects of Rationality and Knowledge, ACM Digital Library, Palo Alto CA, presented at 12th Conf. on Theoretical Aspects of Rationality and Knowledge, Palo Alto, CA, 06 July 2009 - 09 July 2009

Cohen A; Van Der Meyden R; Zuck L, 2008, 'Access Control and Information Flow in Transactional Memory', in Formal Aspects in Security and Trust, Springer, Berlin, presented at 5th International Workshop on Formal Aspects in Security and Trust, FAST08, Malaga, Spain, 09 October 2008 - 10 October 2008

Van Der Meyden R, 2008, 'On notions of causality and distributed knowledge', in 11th International conference on principles of knowledge representation and reasoning, Proceedings, Sydney, presented at 11th International conference on principles of knowledge representation and reasoning, Sydney, 16 September 2008 - 18 September 2008

Van Der Meyden R; Zhang C, 2008, 'Information flow in systems with schedulers', in 21st IEEE computer security foundations symposium, Pittsburgh, Pennsylvania, presented at 21st IEEE computer security foundations symposium, Pittsburgh, Pennsylvania, 23 June 2008 - 25 June 2008

Van Der Meyden R, 2007, 'What, indeed, is intransitive noninterference?', in European symposium on research in computer security, Dresden, Germany, presented at European symposium on research in computer security, Dresden, Germany, 24 September 2007 - 26 September 2007

van der Meyden R, 2007, 'What, indeed, is intransitive noninterference? - (Extended abstract)', in Biskup J; Lopez J (ed.), COMPUTER SECURITY - ESORICS 2007, PROCEEDINGS, SPRINGER-VERLAG BERLIN, GERMANY, Dresden, pp. 235 - 250, presented at 12th European Symposium on Research in Computer Security, GERMANY, Dresden, 24 September 2007 - 26 September 2007, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000250570800015&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Van Der Meyden R; Wilke T, 2007, 'Preservation of epistemic properties in security protocol implementations', in Theoretical Aspects of Rationality and Knowledge, ACM Digital Library, Palo Alto CA, presented at Theoretical aspects of knowledge and rationality, Brussels, Belgiium, 25 June 2007 - 27 June 2007

Van Der Meyden R; Engelhardt K; Gammie PR, 2007, 'Model checking knowledge and linear-time PSPACE cases', in Logical Foundations of Computer Science, International Symposium, LFCS 2007, volume 4514 of LNCS, Springer-Verlag, New York, USA, presented at Logical foundations of computer science, New York, USA, 04 June 2007 - 07 June 2007

Gao P; Van Der Meyden R, 2007, 'A linear time algorithm for pricing European sequential barrier options', in Computing: the Australasian theory symposium, Ballarat, Victoria, presented at Computing: The Australasian Theory Symposium CATS 2007, Ballarat, Victoria, 30 January 2007 - 02 February 2007

Van Der Meyden R; Chenyi Z, 2007, 'A comparison of semantic models for noninterference', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 235 - 249, http://dx.doi.org/10.1007/978-3-540-75227-1_16

Van Der Meyden R; Wilke T, 2005, 'Synthesis of distributed systems from knowledge-based specifications', in 16th international conference on concurrency theory, San Francisco, California USA, presented at 16th international conference on concurrency theory, San Francisco, California USA, 23 August 2005 - 26 August 2005

Baukus K; Van Der Meyden R, 2004, 'A knowledge-based analysis of cache coherence', in 6th International Conference on Formal Engineering Methods, ICFEM 2004, Springer, Seattle, Washington, USA, presented at 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, Washington, USA, 08 November 2004 - 12 November 2004

Van Der Meyden RD; Su K, 2004, 'Symbolic model checking the knowledge of the Dining Cryptographers', in Proceedings of the Computer Security Foundations Workshop, pp. 280 - 291

Gammie PR; Van Der Meyden R, 2004, 'MCK - Model Checking the Logic of Knowledge', in 16th International Conference on Computer Aided Verification, Boston, Massachusetts, presented at 16th International Conference on Computer Aided Verification, Boston, Massachusetts, 12 July 2004 - 17 July 2004

Van Der Meyden R; Su K, 2004, 'Model Checking the Knowledge of the Dining Cryptographers', in 17th Computer Security Foundations Workshop, Pacific Grove CA, USA, presented at 17th Computer Security Foundations Workshop, Pacific Grove CA, USA, 28 June 2004 - 30 June 2004

Van Der Meyden R; Patra MK, 2003, 'A logic for probability in quantum systems', in 17th International Workshop CSL 2003, Vienna, Austria, presented at 17th International Workshop CSL 2003, Vienna, Austria, 25 August 2003 - 30 August 2003

Van Der Meyden R, 2003, 'Modal Logics of Knowledge and Time', in Reynolds M; Sattar A (ed.), 10th Internaltional Symposium on Temporal Representation and Reasoning and 4th Internaltional Conference on Temporal Logics, Queensland, pp. 5 - 5, presented at 10th Internaltional Symposium on Temporal Representation and Reasoning and 4th Internaltional Conference on Temporal Logics, Queensland, 08 July 2003 - 10 July 2003

Van Der Meyden R; Patra MK, 2003, 'Knowledge in Quantum Systems', in TARK 2003, Indiana USA, presented at TARK 2003, Indiana USA, 20 June 2003 - 22 June 2003

Engelhardt K; Van Der Meyden R, 2002, 'Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers (Preliminary Version)', in Advances in Modal Logic 2002 (AiML), Toulouse France, presented at Advances in Modal Logic 2002 (AiML), Toulouse France, 02 September 2002

Engelhardt K; Van Der Meyden R; Moses Y, 2001, 'A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agen', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, 03 December 2001 - 07 December 2001, http://dx.doi.org/10.1007/3-540-45653-8_9

Van Der Meyden R; Halpern JY, 2001, 'A logical Reconstruction of SPKI', in 14th IEEE Comnputer Security Foundations Workshop, Cape Breton, Nova Scotia, presented at 14th IEEE Comnputer Security Foundations Workshop, Cape Breton, Nova Scotia

Van Der Meyden R; Moses Y, 2000, 'On Refinement and Temporal Annotations', in 6th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Pune India, presented at 6th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Pune India, 20 September 2000 - 22 September 2000

Engelhardt K; Van Der Meyden R; Moses Y; Moses Y, 2000, 'A Program Refinement Framework Supporting Reasoning about Knowledge and Time', in Foundations of Software Science and Computation Structures, volume 1784 of LNCS, Springer-Verlag, Berlin, Germany, presented at Foundations of Software Science and Computation Structures, Berlin, Germany, 25 March 2000 - 02 April 2000, http://dx.doi.org/10.1007/3-540-46432-8_8

Van Der Meyden R; Shilov N, 1999, 'Model Checking Knowledge and Time in Systems with Perfect Recall', in 12th Australia Joint Conference on Artificial Intelligence, AI 1999, Madras India, presented at 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, 06 December 1999 - 10 December 1999

Halpern JY; van der Meyden R, 1999, 'Logic for SDSI's linked local name spaces preliminary version', in Proceedings of the Computer Security Foundations Workshop, pp. 111 - 122

van der Meyden R; Vardi MY, 1998, 'Synthesis from knowledge-based specifications (Extended abstract)', in Sangiorgi D; deSimone R (ed.), CONCUR'98: CONCURRENCY THEORY, SPRINGER-VERLAG BERLIN, FRANCE, NICE, pp. 34 - 49, presented at 9th International Conference on Concurrency Theory (CONCUR 98), FRANCE, NICE, 08 September 1998 - 11 September 1998, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000082774600003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

van der Meyden R; Vardi MY, 1998, 'Synthesis from knowledge-based specifications', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 34 - 49, http://dx.doi.org/10.1007/bfb0055614

Van Der Meyden R; Moses Y, 1998, 'Top-down considerations on distributed computing', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 16 - 19, http://dx.doi.org/10.1007/bfb0056469

Van Der Meyden R, 1997, 'Constructing finite state implementations of knowledge-based programs with perfect recall', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 135 - 151, http://dx.doi.org/10.1007/3-540-62686-7_33

van der Meyden R, 1996, 'Finite state implementations of knowledge-based programs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 262 - 273, http://dx.doi.org/10.1007/3-540-62034-6_55

Chart EPF; Van Der Meyden R, 1995, 'Testing containment of object-oriented conjunctive queries is Π^p2 -hard', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 81 - 90, http://dx.doi.org/10.1007/BFb0030822

van der Meyden R, 1994, 'Axioms for knowledge and time in distributed systems with perfect recall', in Proceedings - Symposium on Logic in Computer Science, pp. 448 - 457

van der Meyden R, 1992, 'Complexity of querying indefinite data about linearly ordered domains', in Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 331 - 345, http://dx.doi.org/10.1145/137097.137902

van der Meyden R, 1991, 'Clausal logic for deontic action specification (extended abstract)', pp. 221 - 238

van der Meyden R, 1990, 'The dynamic logic of permission', in Proceedings - Symposium on Logic in Computer Science, pp. 72 - 78

van der Meyden R, 1990, 'Recursively indefinite databases', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 364 - 378, http://dx.doi.org/10.1007/3-540-53507-1_89

Conference Proceedings (Editor of)

Van Der Meyden R; Smaus JG, 2011, 'Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface', Vol. 6572 LNAI, http://dx.doi.org/10.1007/978-3-642-20674-0

Van Der Meyden R; Van Der Torre L, (ed.), 2008, 'Deontic Logic in Computer Science - 9th International Conference, DEON 2008', Luxembourg, presented at Deontic Logic in Computer Science - 9th International Conference, DEON 2008, Luxembourg, 15 July 2008 - 18 July 2008, http://dx.doi.org/10.1007/978-3-540-70525-3

Van Der Meyden R, 2005, 'Proceedings of the Tenth Conference on the Theoretical Aspects of Rationality and Knowledge: Preface'

Back to profile page