Follow
Kokichi FUTATSUGI
Kokichi FUTATSUGI
Professor of Computer Science, JAIST
Verified email at jaist.ac.jp
Title
Cited by
Cited by
Year
Introducing obj
JA Goguen, T Winkler, J Meseguer, K Futatsugi, JP Jouannaud
Software Engineering with OBJ: algebraic specification in action, 3-167, 2000
11262000
Principles of OBJ2
K Futatsugi, JA Goguen, JP Jouannaud, J Meseguer
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985
8251985
CafeOBJ report: The language, proof techniques, and methodologies for object-oriented algebraic specification
R Diaconescu, K Futatsugi
World Scientific, 1998
4761998
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
1582003
Logical foundations of CafeOBJ
R Diaconescu, K Futatsugi
Theoretical computer science 285 (2), 289-318, 2002
1482002
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks
K Futatsugi, A Nakagawa
First IEEE International Conference on Formal Engineering Methods, 170-181, 1997
1461997
CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
R 鎍 zvan· Diaconescu, K Futatsugi
World Scientific, 1998
1401998
Behavioural Coherence in Object-Oriented Algebraic Specification1, 2
R azvan Diaconescu, K Futatsugi
Journal of Universal Computer Science 6 (1), 74-96, 2000
1212000
CafeOBJ Report, volume 6 of AMAST series in Computing
R Diaconescu, K Futatsugi
World Scientific, Singapore, etc, 1998
991998
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
Parameterized programming in OBJ2
K Futatsugi, J Goguen, J Meseguer, K Okada
Proceedings of the 9th international conference on Software Engineering, 51-60, 1987
801987
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
Fault tree and formal methods in system safety analysis
J Xiang, K Futatsugi, Y He
The Fourth International Conference onComputer and Information Technology …, 2004
542004
Formal Analysis of the iKP Electronic Payment Protocols
K Ogata, K Futatsugi
International Symposium on Software Security, 441-460, 2002
492002
Verifying specifications with proof scores in CafeOBJ
K Futatsugi
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
482006
CAFE: An industrial-strength algebraic formal method
K Futatsugi, AT Nakagawa, T Tamai
Elsevier, 2000
462000
Principles of proof scores in CafeOBJ
K Futatsugi, D Găină, K Ogata
Theoretical Computer Science 464, 90-112, 2012
452012
Logical semantics for CafeOBJ
R Diaconescu, K Futatsugi
北陸先端科学技術大学院大学情報科学研究科, 1996
451996
Component-based algebraic specification and verification in CafeOBJ
R Diaconescu, K Futatsugi, S Iida
FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999
411999
The system can't perform the operation now. Try again later.
Articles 1–20