Nomair A. Naeem

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