49 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 20-Oct-1988 | 広域データフロー解析に基づく関数型プログラムの変則性検出 | 小川, 瑞史; 小野, 諭; Ogawa, Mizuhito; Ono, Satoshi |
| 20-Feb-1991 | Transformation of Strictness-Related Analyses Based on Abstract Interpretation | Ogawa, Mizuhito; Ono, Satoshi |
| 1992 | Chew's theorem revisited - uniquely normalizing property of nonlinear term rewriting systems | Ogawa, Mizuhito |
| 1996 | Unique normal form property of Higher-Order Rewriting | Mano, Ken; Ogawa, Mizuhito |
| 1997 | Perpetuality and uniform normalization | Khasidashvili, Zurab; Ogawa, Mizuhito |
| 20-Mar-1997 | 高階書換え系の単一正規形性 | 真野, 健; 小川, 瑞史; Mano, Ken; Ogawa, Mizuhito |
| 1999 | Automatic Verification Based on Abstract Interpretation | Ogawa, Mizuhito |
| 2001 | Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders | Ogawa, Mizuhito |
| 2001 | Uniform Normalisation beyond Orthogonality | Khasidashvili, Zurab; Ogawa, Mizuhito; Oostrom, Vincent van |
| 10-Jan-2001 | Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems | Khasidashvili, Zurab; Ogawa, Mizuhito; Oostrom, Vincent van |
| 6-May-2001 | Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem | Mano, Ken; Ogawa, Mizuhito |
| 15-Oct-2003 | モデル検査技術を利用したプログラム解析器の生成ツール | 山岡, 裕司; 胡, 振江; 武市, 正人; 小川, 瑞史; YAMAOKA, Yuji; HU, Zhenjiang; TAKEICHI, Masato; OGAWA, Mizuhito |
| 1-Nov-2003 | A linear time algorithm for monadic querying of indefinite data over linearly ordered domains | Ogawa, Mizuhito |
| Dec-2003 | Call-by-Need Reduction for Membership Conditional Term Rewriting Systems | Ogawa, Mizuhito |
| 2004 | Complete Axiomatization of an Algebraic Construction of Graphs | Ogawa, Mizuhito |
| 16-Sep-2004 | Well-quasi-orders and regular ω-languages | Ogawa, Mizuhito |
| 2005 | Proving Properties of Incremental Merkle Trees | Ogawa, Mizuhito; Horita, Eiichi; Ono, Satoshi |
| 2005 | A Lightweight Mutual Authentication Based on Proxy Certificate Trust List | Li, Xin; Ogawa, Mizuhito |
| 27-Nov-2006 | Parameterized Points-to Analysis for Java based on Weighted Pushdown Model Checking | Li, Xin; Ogawa, Mizuhito |
| 27-Nov-2006 | Visibly Stack Automata | Nguyen, Van Tang; Ogawa, Mizuhito |
| 29-Nov-2006 | On-the-fly Model Checking Security Protocols and Its Implementation by Maude | Li, Guoqiang; Ogawa, Mizuhito |
| 2007 | On-the-Fly Model Checking of Fair Non-repudiation Protocols | Li, Guoqiang; Ogawa, Mizuhito |
| 15-Jun-2007 | On-the-fly Model Checking of Security Protocols and Its Implementation by Maude | Li, Guoqiang; Ogawa, Mizuhito |
| 2008 | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution | Li, Xin; Shannon, Daryl; Ghosh, Indradeep; Ogawa, Mizuhito; Rajan, Sreeranga P.; Khurshid, Sarfraz |
| 2008 | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol | Li, Guoqiang; Ogawa, Mizuhito |
| 2008 | Modeling Urgency in Component-Based Real-Time Systems | Nguyen, Van Tang; Hung, Dang Van; Ogawa, Mizuhito |
| 26-Jun-2008 | Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata | Nguyen, Van Tang; Ogawa, Mizuhito |
| 25-Jul-2008 | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol | Li, Guoqiang; Ogawa, Mizuhito |
| 4-Sep-2008 | Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking | Li, Xin; Ogawa, Mizuhito |
| 14-May-2009 | Stacking-based Context-Sensitive Points-to Analysis for Java | Li, Xin; Ogawa, Mizuhito |
| 22-Sep-2009 | Proving Properties of Incremental Merkle Trees | Ogawa, Mizuhito; Horita, Eiichi; Ono, Satoshi |
| Nov-2009 | Overflow and Roundoff Error Analysis via Model Checking | Ngoc, Do Thi Bich; Ogawa, Mizuhito |
| 20-Oct-2009 | Stacking-based context-sensitive points-to analysis for java | Li, Xin; Ogawa, Mizuhito |
| 19-Jan-2010 | Conditional Weighted Pushdown Systems and Applications | Li, Xin; Ogawa, Mizuhito |
| 21-Jun-2010 | Combining Testing and Static Analysis to Overflow and Roundoff Error Detection | Do, Ngoc Thi Bich; Ogawa, Mizuhito |
| Sep-2010 | Checking Roundoff Errors using Counterexample-Guided Narrowing | Ngoc, Do Thi Bich; Ogawa, Mizuhito |
| 15-Sep-2010 | Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent | Sakai, Masahiko; Ogawa, Mizuhito |
| 16-Jun-2011 | リアルタイムソフトウェアのコンポジショナルな処理モデルとその構造検証 | 小川, 瑞史; Ogawa, Mizuhito |
| 29-Jun-2011 | Modular Stacking-based Context-Sensitive Program Analysis | Li, Xin; Ogawa, Mizuhito |
| 8-Jan-2013 | Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability | Cai, Xiaojuan; Ogawa, Mizuhito |
| 27-May-2013 | raSAT: SMT for Polynomial Inequality | To, Van Khanh; Ogawa, Mizuhito |
| 11-Jun-2013 | Nested Timed Automata | Li, Guoqiang; Cai, Xiaojuan; Ogawa, Mizuhito; Yuen, Shoji |
| 19-Aug-2013 | Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata | Ogawa, Mizuhito; Cai, Xiaojuan |
| Dec-2013 | A Hybrid Approach for Control Flow Graph Construction from Binary Code | Nguyen, Minh Hai; Nguyen, Thien Binh; Quan, Thanh Tho; Ogawa, Mizuhito |
| Jun-2014 | Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata | Cai, Xiaojuan; Ogawa, Mizuhito |
| 24-Jun-2014 | Pushdown Model Generation of Malware | Nguyen, Minh Hai; Ogawa, Mizuhito; Quan, Thanh Tho |
| 25-Jul-2015 | Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent | Sakai, Masahiko; Oyamaguchi, Michio; Ogawa, Mizuhito |
| 17-May-2016 | Termination and Boundedness for Well-Structured Pushdown Systems | Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito |
| 3-Jun-2016 | 形式証明の理論依存性解析とその計算可能証明発見への応用 | 小川, 瑞史; Ogawa, Mizuhito |
