 | 2009 |
|---|
| 10 |       | Masaki Nakamura,
Takahiro Seino:
Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method.
IEICE Transactions 92-D(5): 1012-1021 (2009) |
| 2008 |
|---|
| 9 |  | Osamu Takaki,
Takahiro Seino,
Izumi Takeuti,
Noriaki Izumi,
Koichi Takahashi:
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency.
ICEIS (3-2) 2008: 351-359 |
| 8 | | Osamu Takaki,
Izumi Takeuti,
Takahiro Seino,
Noriaki Izumi,
Koichi Takahashi:
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.
ICSEA 2008: 478-487 |
| 7 | | Osamu Takaki,
Takahiro Seino,
Izumi Takeuti,
Noriaki Izumi,
Koichi Takahashi:
Workflow Diagrams Based on Evidence Life Cycles.
JCKBSE 2008: 145-154 |
| 2007 |
|---|
| 6 | | 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 | | 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 | | 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 | | 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 |
