 | 2011 |
| 11 |  | Nomair A. Naeem,
Ondrej Lhoták:
Faster Alias Set Analysis Using Summaries.
CC 2011: 82-103 |
| 2010 |
| 10 |  | Nomair A. Naeem,
Ondrej Lhoták,
Jonathan Rodriguez:
Practical Extensions to the IFDS Algorithm.
CC 2010: 124-144 |
| 9 |  | Eric Bodden,
Laurie J. Hendren,
Patrick Lam,
Ondrej Lhoták,
Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches.
J. Log. Comput. 20(3): 707-723 (2010) |
| 2009 |
| 8 |  | Nomair A. Naeem,
Ondrej Lhoták:
Efficient alias set analysis using SSA form.
ISMM 2009: 79-88 |
| 2008 |
| 7 |  | Nomair A. Naeem,
Ondrej Lhoták:
Typestate-like analysis of multiple interacting objects.
OOPSLA 2008: 347-366 |
| 6 |  | Nomair A. Naeem,
Ondrej Lhoták:
Validating temporal properties of interacting objects.
OOPSLA Companion 2008: 903-904 |
| 2007 |
| 5 |  | Nomair A. Naeem,
Michael Batchelder,
Laurie J. Hendren:
Metrics for Measuring the Effectiveness of Decompilers and Obfuscators.
ICPC 2007: 253-258 |
| 4 |  | Eric Bodden,
Laurie J. Hendren,
Patrick Lam,
Ondrej Lhoták,
Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches.
RV 2007: 22-37 |
| 2006 |
| 3 |  | Nomair A. Naeem,
Laurie J. Hendren:
Programmer-friendly Decompiled Java.
ICPC 2006: 327-336 |
| 2005 |
| 2 |  | Xueli Li,
Nomair A. Naeem,
Bettina Kemme:
Fine-Granularity Access Control in 3-Tier Laboratory Information Systems.
IDEAS 2005: 391-397 |
| 2003 |
| 1 |  | 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 |