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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski