Nomair A. Naeem

According to our database, Nomair A. Naeem authored at least 11 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Verification of temporal properties involving multiple interacting objects.

Nomair A. Naeem

PhD thesis, 2013

2011

Faster Alias Set Analysis Using Summaries.

Nomair A. Naeem, Ondrej Lhoták

Proceedings of the Compiler Construction - 20th International Conference, 2011

2010

Collaborative Runtime Verification with Tracematches.

Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem

J. Log. Comput., 2010

Practical Extensions to the IFDS Algorithm.

Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez

Proceedings of the Compiler Construction, 19th International Conference, 2010

2009

Efficient alias set analysis using SSA form.

Nomair A. Naeem, Ondrej Lhoták

Proceedings of the 8th International Symposium on Memory Management, 2009

2008

Validating temporal properties of interacting objects.

Nomair A. Naeem, Ondrej Lhoták

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Typestate-like analysis of multiple interacting objects.

Nomair A. Naeem, Ondrej Lhoták

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Metrics for Measuring the Effectiveness of Decompilers and Obfuscators.

Nomair A. Naeem, Michael Batchelder, Laurie J. Hendren

Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007

2006

Programmer-friendly Decompiled Java.

Nomair A. Naeem, Laurie J. Hendren

Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

2005

Fine-Granularity Access Control in 3-Tier Laboratory Information Systems.

Xueli Li, Nomair A. Naeem, Bettina Kemme

Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 2005

2003

Exp-DB: Fast Development of Information Systems for Experiment Tracking.

Nomair A. Naeem, Stéphane Raymond, Anne Poupon, Miroslaw Cygler, Bettina Kemme

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003