トップページ  >  教員個別情報  >  発表論文
小川　瑞史 （OGAWA, Mizuhito）教授
情報科学, コンピューティング科学研究領域

発表論文

57件
On Classes of Regular Languages Related to Monotone WQOs.
Mizuhito Ogawa, Victor, L. Selivanov
Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings, 235-247, 2019
Comparison of Three Deep Learning-based Approaches for IoT Malware Detection.
Khanh Duy Tung, Nguyen, Tran Minh Tuan, Son Hai Le, Viet-Anh Phan, Mizuhito Ogawa, Nguyen Le Minh
10th International Conference on Knowledge and Systems Engineering, KSE 2018, Ho Chi Minh City, Vietnam, November 1-3, 2018, 382-388, 2018
Packer identification based on metadata signature
Nguyen Minh Hai, Mizuhito Ogawa, Quan Thanh Tho
ACM International Conference Proceeding Series, -, 2017
raSAT: an SMT solver for polynomial constraints
Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa
FORMAL METHODS IN SYSTEM DESIGN, 51, 3, 462-499, 2017
Subtropical satisfiability
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Tung Vu
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10483, 189-206, 2017
A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis
Xin Li, Mizuhito Ogawa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10610, 281-297, 2017
Subtropical Satisfiability.
Array,Array,Array,Array
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, 189-206, 2017
Obfuscation Code Localization Based on CFG Generation of Malware
Nguyen Minh Hai, Mizuhito Ogawa, Quan Thanh Tho
FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2015), 9482, 229-247, 2016
Obfuscation Code Localization Based on CFG Generation of Malware
Nguyen Minh Hai, Mizuhito Ogawa, Quan Thanh Tho
FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2015), 9482, 229-247, 2016
Termination and Boundedness for Well-Structured Pushdown Systems
Suhua Lei, Xiaojuan Cai, Mizuhito Ogawa
2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 22-29, 2016
raSAT: An SMT solver for polynomial constraints
Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9706, 228-237, 2016
Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4).
Jean-Yves Marion, Akira Mori, Mizuhito Ogawa
NII Shonan Meet. Rep., 2015, -, 2015
Confluence of Layered Rewrite Systems.
Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa
CoRR, abs/1509.04699, -, 2015
Nested Timed Automata with Frozen Clocks
Guoqiang Li, Mizuhito Ogawa, Shoji Yuen
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 9268, 189-205, 2015
Confluence of Layered Rewrite Systems.
Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, 423-440, 2015
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent
Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa
AUTOMATED DEDUCTION - CADE-25, 9195, 111-126, 2015
raSAT: SMT for Polynomial Inequality.
To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2, 67-, 2014
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata
Xiaojuan Cai, Mizuhito Ogawa
FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 8475, 336-352, 2014
A hybrid approach for control flow graph construction from binary code
Minh Hai Nguyen, Thien Binh Nguyen, Thanh Tho Quan, Mizuhito Ogawa
Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2, 159-164, 2013
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
ATVA 2013, 8172, -, 2013
Nested timed automata
Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8053, 168-182, 2013
Well-structured pushdown systems
Xiaojuan Cai, Mizuhito Ogawa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8052, 121-136, 2013
A hybrid approach for control flow graph construction from binary code
Minh Hai Nguyen, Thien Binh Nguyen, Thanh Tho Quan, Mizuhito Ogawa
Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2, 159-164, 2013
SAT and SMT: Their Algorithm Designs and Applications
Mizuhito Ogawa, Khanh To Van
2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 83-84, 2013
SMT for polynomial constraints on real numbers
To Van Khanh, Mizuhito Ogawa
Electronic Notes in Theoretical Computer Science, 289, 27-40, 2012
Stacking-Based Context-Sensitive Points-to Analysis for Java
Xin Li, Mizuhito Ogawa
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 6405, 133-149, 2011
A Comparison of Four Association Engines in Divergent Thinking Support Systems on Wikipedia
Kobkrit Viriyayudhakorn, Susumu Kunifuji, Mizuhito Ogawa
KNOWLEDGE, INFORMATION, AND CREATIVITY SUPPORT SYSTEMS, 6746, 226-237, 2011
Stacking-based context-sensitive points-to analysis for Java
Xin Li, Mizuhito Ogawa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6405, 133-149, 2011
A Comparison of Four Association Engines in Divergent Thinking Support Systems on Wikipedia
Kobkrit Viriyayudhakorn, Susumu Kunifuji, Mizuhito Ogawa
KNOWLEDGE, INFORMATION, AND CREATIVITY SUPPORT SYSTEMS, 6746, 226-237, 2011
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
Masahiko Sakai, Mizuhito Ogawa
INFORMATION PROCESSING LETTERS, 110, 18-19, 810-814, 2010
Conditional Weighted Pushdown Systems and Applications
Xin Li, Mizuhito Ogawa
PEPM '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 141-150, 2010
Checking roundoff errors using counterexample-guided narrowing
Do Thi Bich Ngoc, Mizuhito Ogawa
ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 301-304, 2010
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java
Xin Li, Mizuhito Ogawa
Electronic Notes in Theoretical Computer Science, 253, 5, 31-46, 2009
Event-Clock Visibly Pushdown Automata
Nguyen Van Tang, Mizuhito Ogawa
SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 5404, 558-569, 2009
Overflow and Roundoff Error Analysis via Model Checking
Do Thi Bich Ngoc, Mizuhito Ogawa
SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 105-114, 2009
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
Guoqiang Li, Mizuhito Ogawa
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 5311, 374-+, 2008
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 5356, 36-+, 2008
Modeling urgency in component-based real-time systems
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 4435, 248-+, 2007
On-the-fly model checking of fair non-repudiation Protocols
Guoqiang Li, Mizuhito Ogawa
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 4762, 511-+, 2007
Modeling Urgency in Component-Based Real-Time Systems.
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, 248-255, 2006
Maximum marking problems with accumulative weight functions
Sasano, I, M Ogawa, ZJ Hu
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 3722, 562-578, 2005
Proving properties of incremental merkle trees
M Ogawa, E Horita, S Ono
AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 3632, 424-440, 2005
Well-quasi-orders and regular omega-languages
M Ogawa
THEORETICAL COMPUTER SCIENCE, 324, 1, 55-60, 2004
A Lightweight Mutual Authentication Based on Proxy Certificate Trust List.
Xin Li, Mizuhito Ogawa
Parallel and Distributed Computing: Applications and Technologies, 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings, 628-632, 2004
Complete axiomatization of an algebraic construction of graphs
M Ogawa
FUNCTIONAL AND LOGIC PROGRAMMING, 2998, 163-179, 2004
Call-by-need reduction for membership conditional term rewriting systems
Mizuhito Ogawa
Electronic Notes in Theoretical Computer Science, 86, 4, 673-688, 2003
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains
M Ogawa
INFORMATION AND COMPUTATION, 186, 2, 236-259, 2003
Iterative-free program analysis
M Ogawa, ZJ Hu, Sasano, I
ACM SIGPLAN NOTICES, 38, 9, 111-123, 2003
Iterative-free program analysis.
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, 111-123, 2003
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings, 58-73, 2002
Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem
K Mano, M Ogawa
THEORETICAL COMPUTER SCIENCE, 258, 1-2, 169-208, 2001
Perpetuality and uniform normalization in orthogonal rewrite systems
Z Khasidashvili, M Ogawa, van Oostrom, V
INFORMATION AND COMPUTATION, 164, 1, 118-151, 2001
Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders.
Mizuhito Ogawa
Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, 2215, 283-297, 2001
Uniform Normalisation beyond Orthogonality.
Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, 2051, 122-136, 2001
Abstract Interpretation over Infinite Abstract Domains (Tentative Report).
Mizuhito Ogawa
The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings, 183-191, 2001
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.
Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., 137-149, 2000
A Note on Algebraic Structure of Tree Decomposition of Graphs.
Mizuhito Ogawa
The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings, 223-229, 2000