Cited By
View all- Wang ZPu GLi JChen YZhao YChen MGu BYang MHe J(2013)A novel requirement analysis approach for periodic control systemsFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-013-2008-17:2(214-235)Online publication date: 1-Apr-2013
- Lakhotia ABoccardo DSingh AManacero AGallagher JVoigtländer J(2010)Context-sensitive analysis of obfuscated x86 executablesProceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation10.1145/1706356.1706381(131-140)Online publication date: 19-Jan-2010
- Lakhotia ABoccardo DSingh AManacero A(2010)Context-sensitive analysis without calling-contextHigher-Order and Symbolic Computation10.1007/s10990-011-9080-123:3(275-313)Online publication date: 1-Sep-2010
- Show More Cited By