Proof scores in the OTS/CafeOBJ method K Ogata, K Futatsugi Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003 | 157 | 2003 |
Some tips on writing proof scores in the OTS/CafeOBJ method K Ogata, K Futatsugi Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006 | 83 | 2006 |
CafeOBJ: Logical foundations and methodologies R Diaconescu, K Futatsugi, K Ogata Computing and Informatics 22 (3-4), 257-283, 2003 | 56 | 2003 |
Equational approach to formal analysis of TLS K Ogata, K Futatsugi 25th IEEE International Conference on Distributed Computing Systems (ICDCS …, 2005 | 53 | 2005 |
Formal Analysis of the iKP Electronic Payment Protocols K Ogata, K Futatsugi International Symposium on Software Security, 441-460, 2002 | 48 | 2002 |
The evaluation strategy for head normal form with and without on-demand flags M Nakamura, K Ogata Electronic Notes in Theoretical Computer Science 36, 212-228, 2000 | 48 | 2000 |
Principles of proof scores in CafeOBJ K Futatsugi, D Găină, K Ogata Theoretical Computer Science 464, 90-112, 2012 | 46 | 2012 |
A lightweight integration of theorem proving and model checking for system verification W Kong, K Ogata, T Seino, K Futatsugi 12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005 | 39 | 2005 |
Simulation-based verification for invariant properties in the OTS/CafeOBJ method K Ogata, K Futatsugi Electronic Notes in Theoretical Computer Science 201, 127-154, 2008 | 36 | 2008 |
Formal analysis of Suzuki&Kasami distributed mutual exclusion algorithm K Ogata, K Futatsugi Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6/WG6. 1 …, 2002 | 35 | 2002 |
Rewriting-based verification of authentication protocols K Ogata, K Futatsugi Electronic Notes in Theoretical Computer Science 71, 208-222, 2004 | 34 | 2004 |
Flaw and modification of the iKP electronic payment protocols K Ogata, K Futatsugi Information Processing Letters 86 (2), 57-62, 2003 | 32 | 2003 |
Operational semantics of rewriting with the on-demand evaluation strategy K Ogata, K Futatsugi Proceedings of the 2000 ACM symposium on Applied computing-Volume 2, 756-763, 2000 | 30 | 2000 |
Verifying design with proof scores K Futatsugi, JA Goguen, K Ogata Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005 | 29 | 2005 |
Model checking of a mobile robots perpetual exploration algorithm HTT Doan, F Bonnet, K Ogata Structured Object-Oriented Formal Language and Method: 6th International …, 2017 | 28 | 2017 |
Constructor-based logics. D Gaina, K Futatsugi, K Ogata J. Univers. Comput. Sci. 18 (16), 2204-2233, 2012 | 27 | 2012 |
Proof score approach to verification of liveness properties K Ogata, K Futatsugi IEICE TRANSACTIONS on Information and Systems 91 (12), 2804-2817, 2008 | 27 | 2008 |
Formal verification of the Horn-Preneel micropayment protocol K Ogata, K Futatsugi International Workshop on Verification, Model Checking, and Abstract …, 2002 | 27 | 2002 |
Prove it! inferring formal proof scripts from CafeOBJ proof scores A Riesco, K Ogata ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (2), 1-32, 2018 | 26 | 2018 |
Proof score approach to analysis of electronic commerce protocols K Ogata, K Futatsugi International Journal of Software Engineering and Knowledge Engineering 20 …, 2010 | 25 | 2010 |