|
|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
著者: "Ogawa, Mizuhito"
11 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 21-Jun-2010 | Combining Testing and Static Analysis to Overflow and Roundoff Error Detection | Do, Ngoc Thi Bich; 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 |
| 24-Jun-2014 | Pushdown Model Generation of Malware | Nguyen, Minh Hai; Ogawa, Mizuhito; Quan, Thanh Tho |
| 17-May-2016 | Termination and Boundedness for Well-Structured Pushdown Systems | Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito |
|
