Iman Narasamdya

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Venues

CAV

OOPSLA

FMCAD

Log. Methods Comput. Sci.

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits
Automated migration of build scripts using dynamic analysis and search-based refactoring. OOPSLA (2014)
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
Software Model Checking SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (5) (2013)
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
Software Model Checking with Explicit Scheduler and Symbolic Threads Log. Methods Comput. Sci. 8 (2) (2012)
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
Verification of parametric system designs. FMCAD (2012)
Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. CAV (2012)
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. TACAS (2011)
Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri
An Analytic Evaluation of SystemC Encodings in Promela. SPIN (2011)
Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri
Kratos - A Software Model Checker for SystemC. CAV (2011)
Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri
Verifying SystemC: A software model checking approach. FMCAD (2010)
Andrei Voronkov, Iman Narasamdya
Inter-program Properties. SAS (2009)
Iman Narasamdya, Michaël Périn
Certification of Smart-Card Applications in Common Criteria. FASE (2009)
Iman Narasamdya, Michaël Périn
Certification of smart-card applications in common criteria. SAC (2009)
Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
Service Combinators for Farming Virtual Machines. COORDINATION (2008)
Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
Service Combinators for Farming Virtual Machines. TGC (2007)
Iman Narasamdya, Andrei Voronkov
Finding Basic Block and Variable Correspondence. SAS (2005)
Yves Martin, Iman Narasamdya, Michael Thielscher
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. KR (2004)
Yves Martin, Iman Narasamdya, Michael Thielscher
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. ICAPS (2004)

Iman Narasamdya.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Iman Narasamdya