Nomair A. Naeem

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Nomair A. Naeem, Ondrej Lhoták
Faster Alias Set Analysis Using Summaries. CC (2011)
Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez
Practical Extensions to the IFDS Algorithm. CC (2010)
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20 (3) (2010)
Nomair A. Naeem, Ondrej Lhoták
Efficient alias set analysis using SSA form. ISMM (2009)
Nomair A. Naeem, Ondrej Lhoták
Validating temporal properties of interacting objects. OOPSLA Companion (2008)
Nomair A. Naeem, Ondrej Lhoták
Typestate-like analysis of multiple interacting objects. OOPSLA (2008)
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
Collaborative Runtime Verification with Tracematches. RV (2007)
Nomair A. Naeem, Michael Batchelder, Laurie J. Hendren
Metrics for Measuring the Effectiveness of Decompilers and Obfuscators. ICPC (2007)
Nomair A. Naeem, Laurie J. Hendren
Programmer-friendly Decompiled Java. ICPC (2006)
Xueli Li, Nomair A. Naeem, Bettina Kemme
Fine-Granularity Access Control in 3-Tier Laboratory Information Systems. IDEAS (2005)
Nomair A. Naeem, Stéphane Raymond, Anne Poupon, Miroslaw Cygler, Bettina Kemme
Exp-DB: Fast Development of Information Systems for Experiment Tracking. CAiSE Short Paper Proceedings (2003)