JAIST Repository >

著者:  "OGAWA, Mizuhito"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

49 著者名表示.

発行日タイトル 著者
20-Oct-1988 広域データフロー解析に基づく関数型プログラムの変則性検出小川, 瑞史; 小野, 諭; Ogawa, Mizuhito; Ono, Satoshi
20-Feb-1991 Transformation of Strictness-Related Analyses Based on Abstract InterpretationOgawa, Mizuhito; Ono, Satoshi
1992 Chew's theorem revisited - uniquely normalizing property of nonlinear term rewriting systemsOgawa, Mizuhito
1996 Unique normal form property of Higher-Order RewritingMano, Ken; Ogawa, Mizuhito
1997 Perpetuality and uniform normalizationKhasidashvili, Zurab; Ogawa, Mizuhito
20-Mar-1997 高階書換え系の単一正規形性真野, 健; 小川, 瑞史; Mano, Ken; Ogawa, Mizuhito
1999 Automatic Verification Based on Abstract InterpretationOgawa, Mizuhito
2001 Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-OrdersOgawa, Mizuhito
2001 Uniform Normalisation beyond OrthogonalityKhasidashvili, Zurab; Ogawa, Mizuhito; Oostrom, Vincent van
10-Jan-2001 Perpetuality and Uniform Normalization in Orthogonal Rewrite SystemsKhasidashvili, Zurab; Ogawa, Mizuhito; Oostrom, Vincent van
6-May-2001 Unique normal form property of compatible term rewriting systems: a new proof of Chew's theoremMano, 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 domainsOgawa, Mizuhito
Dec-2003 Call-by-Need Reduction for Membership Conditional Term Rewriting SystemsOgawa, Mizuhito
2004 Complete Axiomatization of an Algebraic Construction of GraphsOgawa, Mizuhito
16-Sep-2004 Well-quasi-orders and regular ω-languagesOgawa, Mizuhito
2005 Proving Properties of Incremental Merkle TreesOgawa, Mizuhito; Horita, Eiichi; Ono, Satoshi
2005 A Lightweight Mutual Authentication Based on Proxy Certificate Trust ListLi, Xin; Ogawa, Mizuhito
27-Nov-2006 Parameterized Points-to Analysis for Java based on Weighted Pushdown Model CheckingLi, Xin; Ogawa, Mizuhito
27-Nov-2006 Visibly Stack AutomataNguyen, Van Tang; Ogawa, Mizuhito
29-Nov-2006 On-the-fly Model Checking Security Protocols and Its Implementation by MaudeLi, Guoqiang; Ogawa, Mizuhito
2007 On-the-Fly Model Checking of Fair Non-repudiation ProtocolsLi, Guoqiang; Ogawa, Mizuhito
15-Jun-2007 On-the-fly Model Checking of Security Protocols and Its Implementation by MaudeLi, Guoqiang; Ogawa, Mizuhito
2008 Context-Sensitive Relevancy Analysis for Efficient Symbolic ExecutionLi, Xin; Shannon, Daryl; Ghosh, Indradeep; Ogawa, Mizuhito; Rajan, Sreeranga P.; Khurshid, Sarfraz
2008 Authentication Revisited: Flaw or Not, the Recursive Authentication ProtocolLi, Guoqiang; Ogawa, Mizuhito
2008 Modeling Urgency in Component-Based Real-Time SystemsNguyen, Van Tang; Hung, Dang Van; Ogawa, Mizuhito
26-Jun-2008 Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown AutomataNguyen, Van Tang; Ogawa, Mizuhito
25-Jul-2008 Authentication Revisited: Flaw or Not, the Recursive Authentication ProtocolLi, Guoqiang; Ogawa, Mizuhito
4-Sep-2008 Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checkingLi, Xin; Ogawa, Mizuhito
14-May-2009 Stacking-based Context-Sensitive Points-to Analysis for JavaLi, Xin; Ogawa, Mizuhito
22-Sep-2009 Proving Properties of Incremental Merkle TreesOgawa, Mizuhito; Horita, Eiichi; Ono, Satoshi
Nov-2009 Overflow and Roundoff Error Analysis via Model CheckingNgoc, Do Thi Bich; Ogawa, Mizuhito
20-Oct-2009 Stacking-based context-sensitive points-to analysis for javaLi, Xin; Ogawa, Mizuhito
19-Jan-2010 Conditional Weighted Pushdown Systems and ApplicationsLi, Xin; Ogawa, Mizuhito
21-Jun-2010 Combining Testing and Static Analysis to Overflow and Roundoff Error DetectionDo, Ngoc Thi Bich; Ogawa, Mizuhito
Sep-2010 Checking Roundoff Errors using Counterexample-Guided NarrowingNgoc, Do Thi Bich; Ogawa, Mizuhito
15-Sep-2010 Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluentSakai, Masahiko; Ogawa, Mizuhito
16-Jun-2011 リアルタイムソフトウェアのコンポジショナルな処理モデルとその構造検証小川, 瑞史; Ogawa, Mizuhito
29-Jun-2011 Modular Stacking-based Context-Sensitive Program AnalysisLi, Xin; Ogawa, Mizuhito
8-Jan-2013 Well-Structured Pushdown Systems, Part 1: Decidable Classes for CoverabilityCai, Xiaojuan; Ogawa, Mizuhito
27-May-2013 raSAT: SMT for Polynomial InequalityTo, Van Khanh; Ogawa, Mizuhito
11-Jun-2013 Nested Timed AutomataLi, Guoqiang; Cai, Xiaojuan; Ogawa, Mizuhito; Yuen, Shoji
19-Aug-2013 Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown AutomataOgawa, Mizuhito; Cai, Xiaojuan
Dec-2013 A Hybrid Approach for Control Flow Graph Construction from Binary CodeNguyen, Minh Hai; Nguyen, Thien Binh; Quan, Thanh Tho; Ogawa, Mizuhito
Jun-2014 Well-Structured Pushdown System: Case of Dense Timed Pushdown AutomataCai, Xiaojuan; Ogawa, Mizuhito
24-Jun-2014 Pushdown Model Generation of MalwareNguyen, Minh Hai; Ogawa, Mizuhito; Quan, Thanh Tho
25-Jul-2015 Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are ConfluentSakai, Masahiko; Oyamaguchi, Michio; Ogawa, Mizuhito
17-May-2016 Termination and Boundedness for Well-Structured Pushdown SystemsLei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito
3-Jun-2016 形式証明の理論依存性解析とその計算可能証明発見への応用小川, 瑞史; Ogawa, Mizuhito

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係