Følg
Kazuhiro Ogata
Kazuhiro Ogata
JAIST
Verifisert e-postadresse på jaist.ac.jp
Tittel
Sitert av
Sitert av
År
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
1622003
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
832006
CafeOBJ: Logical foundations and methodologies
R Diaconescu, K Futatsugi, K Ogata
Computing and Informatics 22 (3-4), 257-283, 2003
562003
Equational approach to formal analysis of TLS
K Ogata, K Futatsugi
25th IEEE International Conference on Distributed Computing Systems (ICDCS …, 2005
542005
Formal Analysis of the iKP Electronic Payment Protocols
K Ogata, K Futatsugi
International Symposium on Software Security, 441-460, 2002
492002
Principles of proof scores in CafeOBJ
K Futatsugi, D Găină, K Ogata
Theoretical Computer Science 464, 90-112, 2012
462012
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
462000
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
402005
Rewriting-based verification of authentication protocols
K Ogata, K Futatsugi
Electronic Notes in Theoretical Computer Science 71, 208-222, 2004
372004
Formal analysis of Suzuki&Kasami distributed mutual exclusion algorithm
K Ogata, K Futatsugi
International Conference on Formal Methods for Open Object-Based Distributed …, 2002
362002
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
342008
Flaw and modification of the iKP electronic payment protocols
K Ogata, K Futatsugi
Information Processing Letters 86 (2), 57-62, 2003
342003
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
302000
Verifying design with proof scores
K Futatsugi, JA Goguen, K Ogata
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005
292005
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
282017
Formal verification of the Horn-Preneel micropayment protocol
K Ogata, K Futatsugi
International Workshop on Verification, Model Checking, and Abstract …, 2002
282002
Proof score approach to verification of liveness properties
K Ogata, K Futatsugi
IEICE TRANSACTIONS on Information and Systems 91 (12), 2804-2817, 2008
272008
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
262018
Constructor-based logics.
D Gaina, K Futatsugi, K Ogata
J. Univers. Comput. Sci. 18 (16), 2204-2233, 2012
262012
Implementation of term rewritings with the evaluation strategy
K Ogata, K Futatsugi
Programming Languages: Implementations, Logics, and Programs: 9th …, 1997
261997
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20