Iman Narasamdya

According to our database, Iman Narasamdya authored at least 15 papers between 2004 and 2014.

Collaborative distances:

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

2014

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

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Software Model Checking SystemC.

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

2012

Software Model Checking with Explicit Scheduler and Symbolic Threads

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

Log. Methods Comput. Sci., 2012

Verification of parametric system designs.

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

Proceedings of the Formal Methods in Computer-Aided Design, 2012

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

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Boosting Lazy Abstraction for SystemC with Partial Order Reduction.

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

An Analytic Evaluation of SystemC Encodings in Promela.

Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri

Proceedings of the Model Checking Software, 2011

Kratos - A Software Model Checker for SystemC.

Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Verifying SystemC: A software model checking approach.

Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Inter-program Properties.

Andrei Voronkov, Iman Narasamdya

Proceedings of the Static Analysis, 16th International Symposium, 2009

Certification of smart-card applications in common criteria.

Iman Narasamdya, Michaël Périn

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2007

Establishing program equivalence in translation validation for optimizing compilers.

Iman Narasamdya

PhD thesis, 2007

Service Combinators for Farming Virtual Machines.

Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2005

Finding Basic Block and Variable Correspondence.

Iman Narasamdya, Andrei Voronkov

Proceedings of the Static Analysis, 12th International Symposium, 2005

2004

Knowledge of Other Agents and Communicative Actions in the Fluent Calculus.

Yves Martin, Iman Narasamdya, Michael Thielscher

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004