Iman Narasamdya

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