|
|
JAIST Repository >
著者: "Li, Xin"
12 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| Jun-2007 | 重み付プッシュダウンモデル検査に基づくプログラム解析 | Li, Xin; リ, シン |
| 2008 | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution | Li, Xin; Shannon, Daryl; Ghosh, Indradeep; Ogawa, Mizuhito; Rajan, Sreeranga P.; Khurshid, Sarfraz |
| 4-Mar-2008 | Static Program Analysis for Software Validation | Li, Xin |
| 4-Sep-2008 | Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking | Li, Xin; Ogawa, Mizuhito |
| 12-Mar-2009 | A Scalable Stacking-based Context-Sensitive Points-to Analysis for Java | Li, Xin |
| 14-May-2009 | Stacking-based Context-Sensitive Points-to Analysis for Java | Li, Xin; 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 |
| 29-Jun-2011 | Modular Stacking-based Context-Sensitive Program Analysis | Li, Xin; Ogawa, Mizuhito |
| 11-Sep-2012 | A Formal Framework for Access Rights Analysis | Li, Xin; Hua, Vy Le Thanh |
|
