Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.251.29 ◽

2017 ◽

Vol 251 ◽

pp. 398-414 ◽

Cited By ~ 1

Author(s):

Ron van der Meyden

Keyword(s):

Model Checking ◽

Conditional Independence ◽

Epistemic Model

Download Full-text

A Verification Approach for Web Service Compositions Based on Epistemic Model Checking

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2011.01041 ◽

2011 ◽

Vol 34 (6) ◽

pp. 1041-1061

Author(s):

Xiang-Yu LUO ◽

Zheng TAN ◽

Kai-Le SU ◽

Li-Jun WU

Keyword(s):

Model Checking ◽

Web Service ◽

Epistemic Model

Download Full-text

Abstraction for epistemic model checking of dining cryptographers-based protocols

Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge - TARK XIII ◽

10.1145/2000378.2000408 ◽

2011 ◽

Cited By ~ 2

Author(s):

Omar Al Bataineh ◽

Ron van der Meyden

Keyword(s):

Model Checking ◽

Epistemic Model

Download Full-text

Epistemic Model Checking of Distributed Commit Protocols with Byzantine Faults

2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2019.00014 ◽

2019 ◽

Author(s):

Omar Al-Bataineh ◽

Mark Reynolds

Keyword(s):

Model Checking ◽

Byzantine Faults ◽

Commit Protocols ◽

Epistemic Model

Download Full-text

Security Protocol Verification and Optimization by Epistemic Model Checking

10.21236/ada534019 ◽

2010 ◽

Author(s):

Ron van der Meyden

Keyword(s):

Model Checking ◽

Security Protocol ◽

Protocol Verification ◽

Epistemic Model

Download Full-text

An Epistemic Model Checking Approach to Web Service Compositions

International Journal of Wireless and Microwave Technologies ◽

10.5815/ijwmt.2012.06.10 ◽

2012 ◽

Vol 2 (6) ◽

pp. 66-73

Author(s):

Luo Xiangyu ◽

Wang Kun ◽

Wang Fengchai

Keyword(s):

Model Checking ◽

Web Service ◽

Epistemic Model

Download Full-text

Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering - Security and Privacy in Communication Networks ◽

10.1007/978-3-642-16161-2_25 ◽

2010 ◽

pp. 429-447 ◽

Cited By ~ 3

Author(s):

Omar I. Al-Bataineh ◽

Ron van der Meyden

Keyword(s):

Model Checking ◽

Program Implementation ◽

Knowledge Based ◽

Epistemic Model

Download Full-text

An epistemic model checking approach for OWL-S web services

2012 IEEE Symposium on Electrical & Electronics Engineering (EEESYM) ◽

10.1109/eeesym.2012.6258754 ◽

2012 ◽

Cited By ~ 1

Author(s):

Xiangyu Luo ◽

Lingjie Luo ◽

Mengmeng Zou

Keyword(s):

Model Checking ◽

Web Services ◽

Epistemic Model

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Cited By ~ 2

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Graph Grammars

Download Full-text

An Epistemic Model for Moral Hazards in Scientific Enterprises

PsycEXTRA Dataset ◽

10.1037/e521572012-038 ◽

2000 ◽

Author(s):

Jean Maria Arrigo ◽

Maj-Britt Juhl Poulsen

Keyword(s):

Moral Hazards ◽

Epistemic Model

Download Full-text

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Download Full-text