Mizuhito Ogawa

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 20

Top Topics

Regular Languages

Formal Semantics

Rewrite Systems

Top Venues

Publications

Mizuhito Ogawa, Alexander Okhotin
On the Determinization of Event-Clock Input-Driven Pushdown Automata. CSR (2022)
Anh T. V. Nguyen, Mizuhito Ogawa
Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary. SoICT (2022)
Mizuhito Ogawa, Alexander Okhotin
On the determinization of event-clock input-driven pushdown automata. CoRR (2021)
Mizuhito Ogawa, Victor L. Selivanov
On Classes of Regular Languages Related to Monotone WQOs. DCFS (2019)
Quang Thinh Trac, Mizuhito Ogawa
Formal Semantics Extraction from MIPS Instruction Manual. FTSCS (2019)
Anh V. Vu, Mizuhito Ogawa
Formal Semantics Extraction from Natural Language Specifications for ARM. FM (2019)
Khanh Duy Tung Nguyen, Tran Minh Tuan, Son Hai Le, Viet-Anh Phan, Mizuhito Ogawa, Le Minh Nguyen
Comparison of Three Deep Learning-based Approaches for IoT Malware Detection. KSE (2018)
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, To Van Khanh, Xuan-Tung Vu
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. SC-Square@FLOC (2018)
Xin Li, Mizuhito Ogawa
A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis. ICFEM (2017)
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan-Tung Vu
Subtropical Satisfiability. FroCoS (2017)
Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa
raSAT: an SMT solver for polynomial constraints. Formal Methods Syst. Des. 51 (3) (2017)
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan-Tung Vu
Subtropical Satisfiability. CoRR (2017)
Suhua Lei, Xiaojuan Cai, Mizuhito Ogawa
Termination and Boundedness for Well-Structured Pushdown Systems. TASE (2016)
Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa
raSAT: An SMT Solver for Polynomial Constraints. IJCAR (2016)
Guoqiang Li, Mizuhito Ogawa, Shoji Yuen
Nested Timed Automata with Frozen Clocks. FORMATS (2015)
Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent. CADE (2015)
Nguyen Minh Hai, Mizuhito Ogawa, Quan Thanh Tho
Obfuscation Code Localization Based on CFG Generation of Malware. FPS (2015)
Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa
Confluence of Layered Rewrite Systems. CSL (2015)
Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa
Confluence of Layered Rewrite Systems. CoRR (2015)
Jean-Yves Marion, Akira Mori, Mizuhito Ogawa
Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4). NII Shonan Meet. Rep. 2015 (2015)
Xiaojuan Cai, Mizuhito Ogawa
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata. FLOPS (2014)
To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa
raSAT: SMT for Polynomial Inequality. SMT (2014)
Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
Nested Timed Automata. FORMATS (2013)
Minh Hai Nguyen, Thien Binh Nguyen, Thanh Tho Quan, Mizuhito Ogawa
A Hybrid Approach for Control Flow Graph Construction from Binary Code. APSEC (2) (2013)
Xiaojuan Cai, Mizuhito Ogawa
Well-Structured Pushdown Systems. CONCUR (2013)
Mizuhito Ogawa, To Van Khanh
SAT and SMT: Their Algorithm Designs and Applications. APSEC (2) (2013)
To Van Khanh, Mizuhito Ogawa
SMT for Polynomial Constraints on Real Numbers. Electron. Notes Theor. Comput. Sci. 289 (2012)
Masahiko Sakai, Mizuhito Ogawa
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent. Inf. Process. Lett. 110 (18-19) (2010)
Kobkrit Viriyayudhakorn, Susumu Kunifuji, Mizuhito Ogawa
A Comparison of Four Association Engines in Divergent Thinking Support Systems on Wikipedia. KICSS (2010)
Xin Li, Mizuhito Ogawa
Conditional weighted pushdown systems and applications. PEPM (2010)
Do Thi Bich Ngoc, Mizuhito Ogawa
Checking roundoff errors using counterexample-guided narrowing. ASE (2010)
Xin Li, Mizuhito Ogawa
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Xin Li, Mizuhito Ogawa
Stacking-Based Context-Sensitive Points-to Analysis for Java. Haifa Verification Conference (2009)
Do Thi Bich Ngoc, Mizuhito Ogawa
Overflow and Roundoff Error Analysis via Model Checking. SEFM (2009)
Nguyen Van Tang, Mizuhito Ogawa
Event-Clock Visibly Pushdown Automata. SOFSEM (2009)
Guoqiang Li, Mizuhito Ogawa
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. ATVA (2008)
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS (2008)
Guoqiang Li, Mizuhito Ogawa
On-the-Fly Model Checking of Fair Non-repudiation Protocols. ATVA (2007)
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
Modeling Urgency in Component-Based Real-Time Systems. ASIAN (2006)
Mizuhito Ogawa, Eiichi Horita, Satoshi Ono
Proving Properties of Incremental Merkle Trees. CADE (2005)
Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
Maximum Marking Problems with Accumulative Weight Functions. ICTAC (2005)
Mizuhito Ogawa
Well-quasi-orders and regular omega-languages. Theor. Comput. Sci. 324 (1) (2004)
Mizuhito Ogawa
Complete Axiomatization of an Algebraic Construction of Graphs. FLOPS (2004)
Xin Li, Mizuhito Ogawa
A Lightweight Mutual Authentication Based on Proxy Certificate Trust List. PDCAT (2004)
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
Iterative-free program analysis. ICFP (2003)
Zhenjiang Hu, Isao Sasano, Mizuhito Ogawa
Iterative-free program analysis. SIGPLAN Notices (2003)
Mizuhito Ogawa
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains. Inf. Comput. 186 (2) (2003)
Mizuhito Ogawa
Call-by-need reduction for membership conditional term rewriting Systems. Electron. Notes Theor. Comput. Sci. 86 (4) (2003)
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. APLAS (2002)
Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
Uniform Normalisation beyond Orthogonality. RTA (2001)
Mizuhito Ogawa
Abstract Interpretation over Infinite Abstract Domains (Tentative Report). APLAS (2001)
Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems. Inf. Comput. 164 (1) (2001)
Ken Mano, Mizuhito Ogawa
Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem. Theor. Comput. Sci. 258 (1-2) (2001)
Mizuhito Ogawa
Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders. TACS (2001)
Mizuhito Ogawa
A Note on Algebraic Structure of Tree Decomposition of Graphs. APLAS (2000)
Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP (2000)
Mizuhito Ogawa
Automatic Verification Based on Abstract Interpretation. Fuji International Symposium on Functional and Logic Programming (1999)
Zurab Khasidashvili, Mizuhito Ogawa
Perpetuality and Uniform Normalization. ALP/HOA (1997)
Ken Mano, Mizuhito Ogawa
Unique Normal Form Property of Higher-Order Rewriting Systems. ALP (1996)
Mizuhito Ogawa
Chew's Theorem Revisited -Uniquely Normalizing Property of Nonlinear Term Rewriting Systems-. ISAAC (1992)
Mizuhito Ogawa, Satoshi Ono
Anomaly Detection of Functional Programs Based on Global Dataflow Analysis. Systems and Computers in Japan 21 (2) (1990)
Mizuhito Ogawa, Satoshi Ono
Transformation of Strictness-Related Analyses Nased on Abstract Interpretation. FGCS (1988)