Follow
Iman Narasamdya
Iman Narasamdya
Verified email at fbk.eu - Homepage
Title
Cited by
Cited by
Year
Verifying SystemC: A software model checking approach
A Cimatti, A Micheli, I Narasamdya, M Roveri
Formal Methods in Computer Aided Design, 51-59, 2010
1002010
Kratos – A Software Model Checker for SystemC
A Cimatti, A Griggio, A Micheli, I Narasamdya, M Roveri
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
762011
Software model checking SystemC
A Cimatti, I Narasamdya, M Roveri
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
622013
Formal verification and validation of ERTMS industrial railway train spacing system
A Cimatti, R Corvino, A Lazzaro, I Narasamdya, T Rizzo, M Roveri, ...
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
532012
Automated migration of build scripts using dynamic analysis and search-based refactoring
M Gligoric, W Schulte, C Prasad, D Van Velzen, I Narasamdya, B Livshits
ACM SIGPLAN Notices 49 (10), 599-616, 2014
452014
Boosting lazy abstraction for SystemC with partial order reduction
A Cimatti, I Narasamdya, M Roveri
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
302011
An analytic evaluation of SystemC encodings in promela
D Campana, A Cimatti, I Narasamdya, M Roveri
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA …, 2011
182011
Software model checking with explicit scheduler and symbolic threads
M Roveri, I Narasamdya, A Cimatti
Logical Methods in Computer Science 8, 2012
142012
Certification of smart-card applications in common criteria
I Narasamdya, M Périn
Proceedings of the 2009 ACM symposium on Applied Computing, 601-608, 2009
122009
Managing Server Farms
AD Gordon, K Bhargavan, I Narasamdya
US Patent App. 11/750,964, 2008
112008
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus.
Y Martin, I Narasamdya, M Thielscher
ICAPS, 12-22, 2004
112004
Service combinators for farming virtual machines
K Bhargavan, AD Gordon, I Narasamdya
Coordination Models and Languages: 10th International Conference …, 2008
82008
Finding basic block and variable correspondence
I Narasamdya, A Voronkov
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005
72005
Kratos benchmarks
A Cimatti, A Griggio, A Micheli, I Narasamdya, M Roveri
URL: https://es. fbk. eu/tools/kratos/index. php, 0
6
Knowledge of other agents and communicative actions in the fluent calculus
I Narasamdya, Y Martin, M Thielscher
Proceedings of KR, 623-633, 2004
52004
Verification of parametric system designs
A Cimatti, I Narasamdya, M Roveri
2012 Formal Methods in Computer-Aided Design (FMCAD), 122-130, 2012
42012
Proving inter-program properties
A Voronkov, I Narasamdya
Technical Report TR-2008-13, Verimag, 2008
42008
Establishing program equivalence in translation validation for optimizing compilers
I Narasamdya
University of Manchester, 2007
32007
Inter-program properties
A Voronkov, I Narasamdya
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009
12009
KRATOS
M Roveri, A Cimatti, I Narasamdya, A Micheli, D Campana, A Griggio, ...
2010
The system can't perform the operation now. Try again later.
Articles 1–20