International Conference (Refereed)

1. Pham Thanh Hung and Mizuhito Ogawa
   Original Entry Point detection based on graph similarity.
   The 16th International Symposium on Foundations & Practice of Security FPS 2023, To appear, Springer LNCS, December 2023.
   
   
2. Nguyen Van Anh and Mizuhito Ogawa
   Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary.
   THe 11th International Symposium on Information and Communication Technology SoICT 2022, pp.352-359, ACM.
   
   
3. Mizuhito Ogawa and Alexander Okhotin
   On the determinization of event-clock input-driven pushdown automata
   The 17th International Computer Science Symposium in Russia CSR 2022, pp.256-268, Springer LNCS 13296.
   
   
4. Yoon Myet Thwe, Mizuhito Ogawa and Pham Ngoc Dung
   Applying Clustering Techniques for Refining Large Data Set: Case Study on Malware
   The 3rd International Conference on Advanced Information Technologies ICAIT, 2019 November, IEEE.
   
   
5. Trac Quang Thinh and Mizuhito Ogawa
   Formal Semantics Extraction from MIPS Instruction Manual
   The 7th International Workshop on Formal Techniques for Safety-Critical Systems FTSCS 2019, pp. 133-140, Springer CCIS 1165.
   
   
6. Viet Anh Vu and Mizuhito Ogawa
   Formal Semantics Extraction from Natural Language Specifications for ARM
   The 23rd International Symposium on Formal Methods FM 2019, pp.465-483, Springer LNCS 11800.
   
   
7. Mizuhito Ogawa and Victor Selivanov
   On Classes of Regular Languages Related to Monotone WQOs
   The 21st International Conference on Descriptional Complexity of Formal Systems DCFS 2019, Springer LNCS 11612, pp.235-247.
   
   
8. Khanh Duy Tung Nguyen, Tran Minh Tuan, Son Hai Le, Anh Phan Viet, Mizuhito Ogawa, and Nguyen Le Minh
   Comparison of Three Deep Learning-based Approaches for IoT Malware Detection
   The 10th International Conference on Knowledge and Systems Engineering KSE 2018, pp.382-388, IEEE.
   
   
9. Nguyen Minh Hai, Mizuhito Ogawa, and Quan Thanh Tho
   Packer Identification Based on Metadata Signature
   The 7th Software Security, Protection, and Reverse Engineering Workshop SSPREW-7, ACM, 2017.
   
   
10. Xin Li and Mizuhito Ogawa
    A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis
    19th International Conference on Formal Engineering Methods ICFEM17, Springer LNCS 10610, pp.281-297.
    
    
11. Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Tung Vu
    Subtropical Satisfiability
    11th International Symposium on Frontiers of Combining Systems 2017 FroCos 2017, Springer LNCS 10483, pp.189-206.
    
    
12. Vu Xuan Tung, To Van Khanh, and Mizuhito Ogawa
    raSAT : SMT Solver for Polynomial Constraints
    International Joint Conference on Automated Reasoning 2016 IJCAR 2016, Springer LNCS 9706, pp.228-237.
    
    
13. Suhua Lei, Xiaojuan Cai, and Mizuhito Ogawa
    Termination and boundedness problems of well-structured pushdown systems
    The 10th International Symposium on Theoretical Aspects of Software Engineering TASE 2016, pp.22-29, IEEE.
    Previous oral presentation at Young Researcher Workshop on Automata, Languages and Programming YR-ICALP 2015
    
    
14. Nguyen Minh Hai, Mizuhito Ogawa, and Quan Thanh Tho
    Obfuscation code localization based on CFG generation of malware
    The 8th International Symposium on Foundations and Practice of Security FPS 2015, Springer LNCS 9482, pp.229-247.
    
    
15. Jiaxiang Liu, Jean-Pierre Jouannaud, and Mizuhito Ogawa
    Confluence of Layered Rewrite Systems
    The 24th Computer Science Logic 2015 CSL 2015, LIPICS Vol.41, pp.423-440.
    
    
16. Guoqiang Li, Mizuhito Ogawa, and Shoji Yuen
    Nested Timed Automata with Frozen Clocks (corrected version)
    The 13th International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2015, Springer LNCS 9268, pp.189-205.
    
    
17. Masahiko Sakai, Michio Oyamaguchi, and Mizuhito Ogawa
    Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent
    The 25th International Conference on Automated Deduction CADE-25 2015, Springer LNAI 9195, pp.111-126.
    
    
18. Xiaojuan Cai and Mizuhito Ogawa
    Well-Structured Pushdown Systems: Case of Dense Timed Pushdown Automata
    Proceedings of the 12th International Symposium on Functional and Logic Programming FLOPS 2014, Springer LNCS 8475, pp.336-352.
    
    
19. Minh Hai Nguyen, Thien Binh Nguyen, Thanh Tho Quan, and Mizuhito Ogawa
    A Hybrid Aproach for Control Flow Graph Construction from Binary Code
    Proceedings of the 20th Asia-Pacific Software Engineering Conference APSEC 2013 Postdoctorial Symposium, pp.159-164.
    
    
20. Xiaojuan Cai and Mizuhito Ogawa
    Well-Structured Pushdown Systems
    Proceedings of the 24th International Conference on Concurrency Theory CONCUR 2013, Springer LNCS 8052, pp.121-136.
    Long version: JAIST Research Report IS-RR-2013-001 (dated 2013.1.8, revised 2013.8.17)
    
    
21. Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, and Shoji Yuen
    Nested Timed Automata
    Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2013, Springer LNCS 8053, pp.168-182.
    Long version: JAIST Research Report IS-RR-2013-004 (dated 2013.6.11)
    
    
22. To Van Khanh, and Mizuhito Ogawa
    SMT for Polynomial Constraints on Real Numbers
    Tools for Automatic Program Analysis TAPAS 2012 , Elsevier ENTCS vol.289, pp.27-40.
    
    
23. Kobkrit Viriyayudhakorn, Susumu Kunifuji, and Mizuhito Ogawa
    A Comparison of Four Association Engines in Divergent Thinking Support Systems on Wikipedia
    Proceedings of the 5th International Conference on Knowledge, Information and Creativity Support Systems KICSS 2010,
    Springer LNAI 6746, pp.226-237.
    
    
24. Do Thi Bich Ngoc, Mizuhito Ogawa
    Checking Roundoff Errors using Counterexample-Guided Narrowing
    Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering ASE 2010, pp.301-304.
    
    
25. Xin Li and Mizuhito Ogawa
    Conditional Weighted Pushdown Systems and Applications
    Proceedings of ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation PEPM10, pp.141-150.
    
    
26. Do Thi Bich Ngoc, Mizuhito Ogawa
    Roundoff and Overflow Error Analysis via Model Checking
    Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods SEFM09, pp.105-114.
    
    
27. Xin Li and Mizuhito Ogawa
    Stacking-based Context-Sensitive Points-to Analysis for Java
    Proceedings of the Haifa Verification Conference 2009 HVC09,
    Springer LNCS 6405, pp.133-149.
    
    
28. Xin Li and Mizuhito Ogawa
    An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java
    Proceedings of the 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation BYTECODE09
    Elsevier ENTCS 253(5), pp.31-46
    
    
29. Nguyen Van Tang and Mizuhito Ogawa
    Event-Clock Visibly Pushdown Automata
    Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM09
    Springer LNCS 5404, pp.558-569.
    
    
30. Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, and Sarfraz Khurshid
    Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
    Proceedings of the 6th ASIAN Symposium on Programming Languages and Systems, APLAS08
    Springer LNCS 5356, pp.36-52.
    
    
31. Guoqiang Li, Mizuhito Ogawa
    Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
    Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA08
    Springer LNCS 5311, pp.374-385.
    Long version (JAIST Technical report IS-RR-2008-002)
    
    
32. Guoqiang Li, Mizuhito Ogawa
    On-the-fly Model Checking of Fair Non-repudiation Protocols
    Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA07
    Springer LNCS 4762, pp.511-522.
    
    
33. Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
    Modeling Urgency in Component-Based Real-Time Systems
    Proceedings of the 11th Annual Asian Computing Science Conference, ASIAN'06,
    Springer LNCS 4435, pp.248-255.
    
    
34. Xin Li and Mizuhito Ogawa
    Interprocedural Program Analysis for Java based on Weighted Pushdown Model Checking
    5th International Workshop on Automated Verification of Infinite-State Systems, AVIS'06,
    
    
35. Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu,
    Maximum Marking Problems with Accumulative Weight Functions
    Proceedings of International Colloquium on Theoretical Aspects of Computing, ICTAC05,
    Springer LNCS3722, pp.562-578.
    
    
36. Mizuhito Ogawa, Eiichi Horita, Satoshi Ono
    Proving Properties of Incremental Merkle Trees
    Proceedings of the 20th International Conference on Automated Deduction, CADE-20, 2005.
    Springer LNAI 3632, pp.424-440.
    
    
37. Xin Li and Mizuhito Ogawa
    A Lightweight Mutual Authentication based on Proxy Certificate Trust List
    Proceedings of the 5th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2004,
    Springer LNCS 3320, pp.628-632.
    
    
38. Mizuhito Ogawa
    Complete Axiomatization of an Algebraic Construction of Graphs
    Proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004,
    Springer LNCS 2998, pp.163-179.
    
    
39. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
    Iterative-Free Program Analysis
    Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, pp.111-123.
    
    
40. Mizuhito Ogawa
    Call-by-Need Reductions for Membership Conditional Term Rewriting Systems
    The 3rd International Workshop on Rewriting Strategies in Rewriting and Programming, WRS'03,
    Electronic Notes in Theoretical Computer Science, Vol.86, No.4, pp.673-688, 2003.
    
    
41. Mizuhito Ogawa
    Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders
    Proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS2001
    Springer LNCS 2215, pp.283-297.
    
    
42. Zurab Khasidashvili, Mizuhito Ogawa, and Vincent van Oostrom
    Uniform Normalization beyond Orthogonality,
    Proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA2001
    Springer LNCS 2051, pp.122-136.
    
    
43. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
    Make It Practical: A Generic Linear-Time Algorithms for Solving Maximum-Weightsum Problems
    Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP'00, pp.137-149.
    
    
44. Mizuhito Ogawa
    Automatic verification based on abstract interpretation
    Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99,
    Springer LNCS 1722, pp.131-146.
    
    
45. Zurab Khasidashvili and Mizuhito Ogawa
    Perpetuality and Uniform Normalization
    Proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP'97
    Springer LNCS 1298, pp.240-255.
    
    
46. Ken Mano and Mizuhito Ogawa
    Unique Normal Form Property of Higher-Order Rewriting Systems
    Proceedings of the 5th International Conference on Algebraic and Logic Programming, ALP'96
    Springer LNCS 1139, pp.269-283.
    
    
47. Mizuhito Ogawa
    Chew's theorem revisited - uniquely normalizing property of non-linear term rewriting systems
    Proceedings of the 1st International symposium on algorithms and computation, ISAAC'92
    Springer LNCS 620, pp.309-318.
    comment  
    
    
48. Mizuhito Ogawa and Satoshi Ono
    Transformation of strictness-related analyses based on abstract interpretation
    Proceedings of the International Conference on Fifth Generation Computer Systems 1988, FGCS'88 , pp.430-438.
    abstract