Nomair A. Naeem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2003–2011
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CC | Faster Alias Set Analysis Using Summaries. | Nomair A. Naeem, Ondrej Lhotk |
| 2010 | CC | Practical Extensions to the IFDS Algorithm. | Nomair A. Naeem, Ondrej Lhotk, Jonathan Rodriguez |
| 2008 | OOPSLA | Typestate-like analysis of multiple interacting objects. | Nomair A. Naeem, Ondrej Lhotk |
| 2008 | OOPSLA | Validating temporal properties of interacting objects. | Nomair A. Naeem, Ondrej Lhotk |
| 2007 | RV | Collaborative Runtime Verification with Tracematches. | Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhotk, Nomair A. Naeem |
| 2005 | IDEAS | Fine-Granularity Access Control in 3-Tier Laboratory Information Systems. | Xueli Li, Nomair A. Naeem, Bettina Kemme |
| 2003 | CaiSE | Exp-DB: Fast Development of Information Systems for Experiment Tracking. | Nomair A. Naeem, Stphane Raymond, Anne Poupon, Miroslaw Cygler, Bettina Kemme |