JAIST Repository >

Mizuhito Ogawa ProfessorFaculty Profile

No.Bibliographical information
1 形式証明の理論依存性解析とその計算可能証明発見への応用 / 小川, 瑞史, 科学研究費助成事業研究成果報告書, pp.1-4, 2016-06-03
2 Termination and Boundedness for Well-Structured Pushdown Systems / Lei, Suhua, Cai, Xiaojuan, Ogawa, Mizuhito, Research report (School of Information Science, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology), IS-RR-2016-001, pp.1-25, 2016-05-17, 北陸先端科学技術大学院大学先端科学技術研究科情報科学系
3 Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent / Sakai, Masahiko, Oyamaguchi, Michio, Ogawa, Mizuhito, Lecture Notes in Computer Science, 9195, pp.111-126, 2015-07-25, Springer
4 近似手法と数式処理の融合による実数多項式制約の効率化 / 小川, 瑞史, 科学研究費助成事業研究成果報告書, pp.1-4, 2015-06-10
5 Pushdown Model Generation of Malware / Nguyen, Minh Hai, Ogawa, Mizuhito, Quan, Thanh Tho, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2014-003, pp.1-18, 2014-06-24, 北陸先端科学技術大学院大学情報科学研究科
6 Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata / Cai, Xiaojuan, Ogawa, Mizuhito, Lecture Notes in Computer Science, 8475, pp.336-352, 2014-06, Springer
7 A Hybrid Approach for Control Flow Graph Construction from Binary Code / Nguyen, Minh Hai, Nguyen, Thien Binh, Quan, Thanh Tho, Ogawa, Mizuhito, Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013), 2, pp.159-164, 2013-12, Institute of Electrical and Electronics Engineers (IEEE)
8 Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata / Ogawa, Mizuhito, Cai, Xiaojuan, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2013-005, pp.1-18, 2013-08-19, 北陸先端科学技術大学院大学情報科学研究科
9 Nested Timed Automata / Li, Guoqiang, Cai, Xiaojuan, Ogawa, Mizuhito, Yuen, Shoji, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2013-004, pp.1-20, 2013-06-11, 北陸先端科学技術大学院大学情報科学研究科
10 raSAT: SMT for Polynomial Inequality / To, Van Khanh, Ogawa, Mizuhito, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2013-003, pp.1-23, 2013-05-27, 北陸先端科学技術大学院大学情報科学研究科
11 Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability / Cai, Xiaojuan, Ogawa, Mizuhito, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2013-001, pp.1-19, 2013-01-08, 北陸先端科学技術大学院大学情報科学研究科
12 Modular Stacking-based Context-Sensitive Program Analysis / Li, Xin, Ogawa, Mizuhito, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2011-002, pp.1-22, 2011-06-29, 北陸先端科学技術大学院大学情報科学研究科
13 リアルタイムソフトウェアのコンポジショナルな処理モデルとその構造検証 / 小川, 瑞史, 科学研究費補助金研究成果報告書, pp.1-4, 2011-06-16
14 Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent / Sakai, Masahiko, Ogawa, Mizuhito, Information Processing Letters, 110(18-19), pp.810-814, 2010-09-15, Elsevier
15 Checking Roundoff Errors using Counterexample-Guided Narrowing / Ngoc, Do Thi Bich, Ogawa, Mizuhito, ASE '10 Proceedings of the IEEE/ACM international conference on Automated software engineering, pp.301-304, 2010-09, Association for Computing Machinery (ACM)
16 Combining Testing and Static Analysis to Overflow and Roundoff Error Detection / Do, Ngoc Thi Bich, Ogawa, Mizuhito, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2010-004, pp.1-27, 2010-06-21, 北陸先端科学技術大学院大学情報科学研究科
17 Conditional Weighted Pushdown Systems and Applications / Li, Xin, Ogawa, Mizuhito, PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, pp.141-150, 2010-01-19, Association for Computing Machinery (ACM)
18 Stacking-based context-sensitive points-to analysis for java / Li, Xin, Ogawa, Mizuhito, Lecture Notes in Computer Science, 6405/2011, pp.133-149, 2009/10/20, Springer
19 Overflow and Roundoff Error Analysis via Model Checking / Ngoc, Do Thi Bich, Ogawa, Mizuhito, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, pp.105-114, 2009-11, Institute of Electrical and Electronics Engineers (IEEE)
20 Proving Properties of Incremental Merkle Trees / Ogawa, Mizuhito, Horita, Eiichi, Ono, Satoshi, pp.1-20, 2009-09-22
21 Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol / Li, Guoqiang, Ogawa, Mizuhito, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2008-002, pp.1-22, 2008-07-25, 北陸先端科学技術大学院大学情報科学研究科
22 Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata / Nguyen, Van Tang, Ogawa, Mizuhito, IPSJ Transactions on Programming, 1(1), pp.36-46, 2008-06-26, 情報処理学会
23 Model Checking Infinite State Machines : Who's who in Ogawa lab / 小川, 瑞史, pp.1-19, 2008-03-03
24 Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution / Li, Xin, Shannon, Daryl, Ghosh, Indradeep, Ogawa, Mizuhito, Rajan, Sreeranga P., Khurshid, Sarfraz, Lecture Notes in Computer Science, 5356, pp.36-52, 2008, Springer
25 Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol / Li, Guoqiang, Ogawa, Mizuhito, Lecture Notes in Computer Science, 5311, pp.374-385, 2008, Springer
26 Modeling Urgency in Component-Based Real-Time Systems / Nguyen, Van Tang, Hung, Dang Van, Ogawa, Mizuhito, Lecture Notes in Computer Science, 4435, pp.248-255, 2008, Springer
27 検証ツールの展開とそのカリキュラムでの利用 / 小川, 瑞史, pp.1-25, 2007-09-06
28 On-the-fly Model Checking of Security Protocols and Its Implementation by Maude / Li, Guoqiang, Ogawa, Mizuhito, 情報処理学会論文誌:プログラミング, 48(SIG10(PRO33)), pp.50-75, 2007-06-15, 情報処理学会
29 On-the-Fly Model Checking of Fair Non-repudiation Protocols / Li, Guoqiang, Ogawa, Mizuhito, Lecture Notes in Computer Science, 4762, pp.511-522, 2007, Springer
30 On-the-fly Model Checking Security Protocols and Its Implementation by Maude / Li, Guoqiang, Ogawa, Mizuhito, pp.1-32, 2006-11-29
31 Parameterized Points-to Analysis for Java based on Weighted Pushdown Model Checking / Li, Xin, Ogawa, Mizuhito, pp.1-42, 2006-11-27
32 Visibly Stack Automata / Nguyen, Van Tang, Ogawa, Mizuhito, pp.1-24, 2006-11-27
33 Proving Properties of Incremental Merkle Trees / Ogawa, Mizuhito, Horita, Eiichi, Ono, Satoshi, Lecture Notes in Computer Science, 3632/2005, pp.424-440, 2005, Springer
34 A Lightweight Mutual Authentication Based on Proxy Certificate Trust List / Li, Xin, Ogawa, Mizuhito, Lecture Notes in Computer Science, 3320, pp.628-632, 2005, Springer
35 Well-quasi-orders and regular ω-languages / Ogawa, Mizuhito, Theoretical Computer Science, 324(1), pp.55-60, 2004-09-16, Elsevier
36 Complete Axiomatization of an Algebraic Construction of Graphs / Ogawa, Mizuhito, Lecture Notes in Computer Science, 2998/2004, pp.163-179, 2004, Springer
37 Call-by-Need Reduction for Membership Conditional Term Rewriting Systems / Ogawa, Mizuhito, Electronic Notes in Theoretical Computer Science, 86(4), pp.673-688, 2003-12, Elsevier
38 A linear time algorithm for monadic querying of indefinite data over linearly ordered domains / Ogawa, Mizuhito, Information and Computation, 186(2), pp.236-259, 2003-11-01, Elsevier
39 モデル検査技術を利用したプログラム解析器の生成ツール / 山岡, 裕司, 胡, 振江, 武市, 正人, 小川, 瑞史, 情報処理学会論文誌:プログラミング, 44(SIG13(PRO18)), pp.25-37, 2003-10-15, 情報処理学会
40 Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem / Mano, Ken, Ogawa, Mizuhito, Theoretical Computer Science, 258(1-2), pp.169-208, 2001-05-06, Elsevier
41 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems / Khasidashvili, Zurab, Ogawa, Mizuhito, Oostrom, Vincent van, Information and Computation, 164(1), pp.118-151, 2001-01-10, Academic Press(Elsevier)
42 Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders / Ogawa, Mizuhito, Lecture Notes in Computer Science, 2215, pp.283-297, 2001, Springer
43 Uniform Normalisation beyond Orthogonality / Khasidashvili, Zurab, Ogawa, Mizuhito, Oostrom, Vincent van, Lecture Notes in Computer Science, 2051, pp.122-136, 2001, Springer
44 Automatic Verification Based on Abstract Interpretation / Ogawa, Mizuhito, Lecture Notes in Computer Science, 1722, pp.131-146, 1999, Springer
45 非線形TRSのE重なり性について / 松浦, 邦博, 大山口, 通夫, 太田, 義勝, 小川, 瑞史, 電子情報通信学会論文誌 D, J80-D1(11), pp.847-855, 1997-11-20, 電子情報通信学会
46 高階書換え系の単一正規形性 / 真野, 健, 小川, 瑞史, 電子情報通信学会論文誌 D, J80-D1(3), pp.258-268, 1997-03-20, 電子情報通信学会
47 Perpetuality and uniform normalization / Khasidashvili, Zurab, Ogawa, Mizuhito, Lecture Notes in Computer Science, 1298, pp.240-255, 1997, Springer
48 Unique normal form property of Higher-Order Rewriting / Mano, Ken, Ogawa, Mizuhito, Lecture Notes in Computer Science, 1139, pp.269-283, 1996, Springer
49 Chew's theorem revisited - uniquely normalizing property of nonlinear term rewriting systems / Ogawa, Mizuhito, Lecture Notes in Computer Science, 620, pp.309-318, 1992, Springer
50 Transformation of Strictness-Related Analyses Based on Abstract Interpretation / Ogawa, Mizuhito, Ono, Satoshi, IEICE TRANSACTIONS on Information and Systems, E74-D(2), pp.406-416, 1991-02-20, 電子情報通信学会

1 2 next

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology