Takahiro Seino

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