Mizuhito Ogawa

67 papers A* 1A 5B 13C 4Misc 4Journal 15Unranked 25

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