Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. - Yves Martin; Iman Narasamdya; Michael Thielscher (KR, 2004)

Finding Basic Block and Variable Correspondence. - Iman Narasamdya; Andrei Voronkov (SAS, 2005)

Service Combinators for Farming Virtual Machines. - Karthikeyan Bhargavan; Andrew D. Gordon 001; Iman Narasamdya (TGC, 2007)

Establishing program equivalence in translation validation for optimizing compilers. - Iman Narasamdya (2007)

Certification of smart-card applications in common criteria. - Iman Narasamdya; Michaël Périn (SAC, 2009)

Inter-program Properties. - Andrei Voronkov; Iman Narasamdya (SAS, 2009)

Verifying SystemC: A software model checking approach. - Alessandro Cimatti; Andrea Micheli; Iman Narasamdya; Marco Roveri (FMCAD, 2010)

Kratos - A Software Model Checker for SystemC. - Alessandro Cimatti; Alberto Griggio; Andrea Micheli; Iman Narasamdya; Marco Roveri (CAV, 2011)

An Analytic Evaluation of SystemC Encodings in Promela. - Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri (SPIN, 2011)

Boosting Lazy Abstraction for SystemC with Partial Order Reduction. - Alessandro Cimatti; Iman Narasamdya; Marco Roveri (TACAS, 2011)

Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. - Alessandro Cimatti; Raffaele Corvino; Armando Lazzaro; Iman Narasamdya; Tiziana Rizzo; Marco Roveri; Angela Sanseviero; Andrei Tchaltsev (CAV, 2012)

Verification of parametric system designs. - Alessandro Cimatti; Iman Narasamdya; Marco Roveri (FMCAD, 2012)

Software Model Checking with Explicit Scheduler and Symbolic Threads - Alessandro Cimatti; Iman Narasamdya; Marco Roveri (Log. Methods Comput. Sci., 2012)

Software Model Checking SystemC. - Alessandro Cimatti; Iman Narasamdya; Marco Roveri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Automated migration of build scripts using dynamic analysis and search-based refactoring. - Milos Gligoric 001; Wolfram Schulte; Chandra Prasad; Danny van Velzen; Iman Narasamdya; Benjamin Livshits (OOPSLA, 2014)