Takahiro Seino

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Masaki Nakamura, Takahiro Seino
Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method. IEICE Trans. Inf. Syst. (5) (2009)
Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. ICSEA (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Workflow Diagrams Based on Evidence Life Cycles. JCKBSE (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. ICEIS (3-2) (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. ICSEA (2007)
Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
Provably Correct Translation from CafeOBJ into Java. SEKE (2005)
Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
Mechanically supporting case analysis for verification of distributed systems. Int. J. Pervasive Comput. Commun. 1 (2) (2005)
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata
A Lightweight Integration of Theorem Proving and Model Checking for System Verification. APSEC (2005)
Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi
Modeling and Verification of Hybrid Systems Based on Equations. DIPES (2004)
Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
Supporting Case Analysis with Algebraic Specification Languages. CIT (2004)