Supporting Case Analysis with Algebraic Specification Languages. - Takahiro Seino; Kazuhiro Ogata 001; Kokichi Futatsugi (CIT, 2004)

Modeling and Verification of Hybrid Systems Based on Equations. - Kazuhiro Ogata 001; Daigo Yamagishi; Takahiro Seino; Kokichi Futatsugi (DIPES, 2004)

A Lightweight Integration of Theorem Proving and Model Checking for System Verification. - Weiqiang Kong; Takahiro Seino; Kokichi Futatsugi; Kazuhiro Ogata 001 (APSEC, 2005)

Provably Correct Translation from CafeOBJ into Java. - Jittisak Senachak; Takahiro Seino; Kazuhiro Ogata 001; Kokichi Futatsugi (SEKE, 2005)

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. - Takahiro Seino; Kazuhiro Ogata 001; Kokichi Futatsugi (RULE@RDP, 2005)

Mechanically supporting case analysis for verification of distributed systems. - Takahiro Seino; Kazuhiro Ogata 001; Kokichi Futatsugi (Int. J. Pervasive Comput. Commun., 2005)

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. - Osamu Takaki; Takahiro Seino; Izumi Takeuti; Noriaki Izumi; Koichi Takahashi (ICSEA, 2007)

Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. - Osamu Takaki; Takahiro Seino; Izumi Takeuti; Noriaki Izumi; Koichi Takahashi (ICEIS (3-2), 2008)

Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. - Osamu Takaki; Izumi Takeuti; Takahiro Seino; Noriaki Izumi; Koichi Takahashi (ICSEA, 2008)

Workflow Diagrams Based on Evidence Life Cycles. - Osamu Takaki; Takahiro Seino; Izumi Takeuti; Noriaki Izumi; Koichi Takahashi (JCKBSE, 2008)

Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method. - Masaki Nakamura 001; Takahiro Seino (IEICE Trans. Inf. Syst., 2009)