Iman Narasamdya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2004–2014
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | OOPSLA | Automated migration of build scripts using dynamic analysis and search-based refactoring. | Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits |
| 2012 | CAV | 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 |
| 2012 | FMCAD | Verification of parametric system designs. | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
| 2011 | CAV | Kratos - A Software Model Checker for SystemC. | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri |
| 2011 | TACAS | Boosting Lazy Abstraction for SystemC with Partial Order Reduction. | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
| 2010 | FMCAD | Verifying SystemC: A software model checking approach. | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri |
| 2009 | FASE | Certification of Smart-Card Applications in Common Criteria. | Iman Narasamdya, Michal Prin |
| 2009 | SAC | Certification of smart-card applications in common criteria. | Iman Narasamdya, Michal Prin |
| 2009 | SAS | Inter-program Properties. | Andrei Voronkov, Iman Narasamdya |
| 2008 | Coordination | Service Combinators for Farming Virtual Machines. | Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya |
| 2005 | SAS | Finding Basic Block and Variable Correspondence. | Iman Narasamdya, Andrei Voronkov |
| 2004 | KR | Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. | Yves Martin, Iman Narasamdya, Michael Thielscher |