| Lab |
| 情報研究棟IS Building II 7F |
| TEL：0761-51-1255 |
To Lab's Site |
| Japanese | English |
Kokichi Futatsugi Professor
School of Information Science（Department of Information Science・Software Science）
■Degrees
B.E., M.E.and Ph.D. from Tohoku University (1970,1972,1975)
■Professional Career
ETL (Electrotechnical Lab), MITI, Japanese Government (1975-1992), International Fellow at SRI International, Calf., USA (1983-1984),
■Specialties
Formal Methods, Formal Specification Languages, Systems Verification, System Security and Safety, Concurrent and Cooperative systems, Software Engineering
■Research Keywords
formal methods, specification/design language, systems verification, software engineering
■Publications
◇Books
- CAFE: An Industiral-Strength Algebraic Formal Method，Kokichi Futatsugi, Aataru Nakagawa, Tetsuo Tamai, editors，Elsevier，2000，xiv+194 pages
◇Published Papers
- Automating Invariant Verification of Behavioral Specifications，Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, and Kokichi Futatsugi ，In Proceedings of The Sixth IEEE International Conference on Quality Software (QSIC2006)，pp. 49-56，Oct. 2006
- A Behavioral Specification of Imperative Programming Languages，Nakamura, M., Watanabe, M., Futatsugi, K.，IEICE Transactions on Fundamentals of Electronics, Communications ancComputer Sciences，Vol. E89-A，No. 6，pp. 1558-1565，JUNE 2006
- A complete specification transformation from OTS/CafeOBJ to OTS/Maude，Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi，信学技報 IEICE Technical Report，SS2006，13，pp. 1-6，JUNE 2006
◇Lectures and Presentations
- Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs，Jitticak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi，情報科学技術フォーラム FIT2004 一般講演論文集第1分冊，4-Sep
- Verifications with Proof Scores in CafeOBJ，Kokichi Futatsugi, Joseph A. Goguen, and Kazuhiro Ogata，17th Int. Workshop on Algebraic Development Techniques，Barcelona, Spain，27th-29th March 2004
- Formal analysis of the NetBill electronic commerce protocol，Kazuhiro Ogata and Kokichi Futatsugi，Proc. of the Second International Symposium on Software Security (ISSS2003)，Tokyo Institute of Technology, Oookayama, Tokyo，4th-6th November 2003
■Extramural Activities
◇Other Activities
- FMOODS 2003 (6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems), Paris, France Nobember 19-21, 2003，Program committee member
- WRLA2004 (5th International Workshop on Rewriting Logic and its Applications), Barcelona, Spain, March 27-28, 2004，Program committee member
- ICSE 2004 (26th International Conference on Software Edinburgh, Scotland, UK, 23rd-28th May, 2004，Program committee member