Search the dblp DataBase

Publications of Author

1. Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
   Supporting Case Analysis with Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
   CIT, 2004, pp:1073-1080 [Conf]
   
2. Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata
   A Lightweight Integration of Theorem Proving and Model Checking for System Verification. [Citation Graph (0, 0)][DBLP]
   APSEC, 2005, pp:59-66 [Conf]
   
3. Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi
   Modeling and Verification of Hybrid Systems Based on Equations. [Citation Graph (0, 0)][DBLP]
   DIPES, 2004, pp:43-52 [Conf]
   
4. Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
   Provably Correct Translation from CafeOBJ into Java. [Citation Graph (0, 0)][DBLP]
   SEKE, 2005, pp:614-619 [Conf]
   
5. Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
   A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:57-72 [Journal]
   
6. 
   Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. [Citation Graph (, )][DBLP]
   
   
7. 
   Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. [Citation Graph (, )][DBLP]
   
   
8. 
   Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. [Citation Graph (, )][DBLP]
   
   
9. 
   Workflow Diagrams Based on Evidence Life Cycles. [Citation Graph (, )][DBLP]