| 2007 |
|---|
| 6 | EE | Osamu Takaki,
Takahiro Seino,
Izumi Takeuti,
Noriaki Izumi,
Koichi Takahashi:
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.
ICSEA 2007: 9 |
| 2006 |
|---|
| 5 | EE | Takahiro Seino,
Kazuhiro Ogata,
Kokichi Futatsugi:
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method.
Electr. Notes Theor. Comput. Sci. 147(1): 57-72 (2006) |
| 2005 |
|---|
| 4 | EE | Weiqiang Kong,
Takahiro Seino,
Kokichi Futatsugi,
Kazuhiro Ogata:
A Lightweight Integration of Theorem Proving and Model Checking for System Verification.
APSEC 2005: 59-66 |
| 3 | | Jittisak Senachak,
Takahiro Seino,
Kazuhiro Ogata,
Kokichi Futatsugi:
Provably Correct Translation from CafeOBJ into Java.
SEKE 2005: 614-619 |
| 2004 |
|---|
| 2 | EE | Takahiro Seino,
Kazuhiro Ogata,
Kokichi Futatsugi:
Supporting Case Analysis with Algebraic Specification Languages.
CIT 2004: 1073-1080 |
| 1 | | Kazuhiro Ogata,
Daigo Yamagishi,
Takahiro Seino,
Kokichi Futatsugi:
Modeling and Verification of Hybrid Systems Based on Equations.
DIPES 2004: 43-52 |
