Takahiro Seino

According to our database, Takahiro Seino authored at least 11 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method.

Masaki Nakamura, Takahiro Seino

IEICE Trans. Inf. Syst., 2009

2008

Workflow Diagrams Based on Evidence Life Cycles.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the Knowledge-Based Software Engineering, 2008

Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.

Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the ICEIS 2008, 2008

2007

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

2005

Mechanically supporting case analysis for verification of distributed systems.

Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi

Int. J. Pervasive Comput. Commun., 2005

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method.

Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Provably Correct Translation from CafeOBJ into Java.

Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

A Lightweight Integration of Theorem Proving and Model Checking for System Verification.

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Modeling and Verification of Hybrid Systems Based on Equations.

Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Supporting Case Analysis with Algebraic Specification Languages.

Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi

Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004