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, 3-167, 2000
10462000
Principles of OBJ2
K Futatsugi, JA Goguen, JP Jouannaud, J Meseguer
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985
7661985
CafeOBJ report: The language, proof techniques, and methodologies for object-oriented algebraic specification
R Diaconescu, K Futatsugi
World Scientific, 1998
4521998
Behavioural Coherence in Object-Oriented Algebraic Specification1, 2
R azvan Diaconescu, K Futatsugi
Journal of Universal Computer Science 6 (1), 74-96, 2000
146*2000
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
1451997
Proof scores in the OTS/CafeOBJ method
K Ogata, K Futatsugi
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
1302003
Logical foundations of CafeOBJ
R Diaconescu, K Futatsugi
Theoretical computer science 285 (2), 289-318, 2002
1292002
CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
R 鎍 zvan· Diaconescu, K Futatsugi
World Scientific, 1998
1251998
CafeOBJ Report, volume 6 of AMAST series in Computing
R Diaconescu, K Futatsugi
World Scientific, Singapore, etc, 1998
871998
Some tips on writing proof scores in the OTS/CafeOBJ method
K Ogata, K Futatsugi
Algebra, Meaning, and Computation, 596-615, 2006
712006
Parameterized programming in OBJ2
K Futatsugi, J Goguen, J Meseguer, K Okada
Proceedings of the 9th international conference on Software Engineering, 51-60, 1987
711987
CafeOBJ: Logical foundations and methodologies
R Diaconescu, K Futatsugi, K Ogata
Computing and Informatics 22 (3-4), 257-283, 2003
552003
Verifying specifications with proof scores in CafeOBJ
K Futatsugi
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
472006
Equational approach to formal analysis of TLS
K Ogata, K Futatsugi
25th IEEE International Conference on Distributed Computing Systems (ICDCS …, 2005
472005
Fault tree and formal methods in system safety analysis
J Xiang, K Futatsugi, Y He
The Fourth International Conference onComputer and Information Technology …, 2004
462004
Formal Analysis of the iKP Electronic Payment Protocols
K Ogata, K Futatsugi
International Symposium on Software Security, 441-460, 2002
452002
Logical semantics for CafeOBJ
R Diaconescu, K Futatsugi
北陸先端科学技術大学院大学情報科学研究科, 1996
451996
CAFE: an industrial-strength algebraic formal method
K Futatsugi, AT Nakagawa, T Tamai
Elsevier, 2000
432000
Component-based algebraic specification and verification in CafeOBJ
R ăzvan Diaconescu, K Futatsugi, S Iida
International Symposium on Formal Methods, 1644-1663, 1999
411999
Concurrent object composition in CafeOBJ
S Iida, M Matsumoto, R Diaconescu, K Futatsugi, D Lucanu
北陸先端科学技術大学院大学情報科学研究科, 1998
391998
The system can't perform the operation now. Try again later.
Articles 1–20