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
872010
Kratos – A Software Model Checker for SystemC
A Cimatti, A Griggio, A Micheli, I Narasamdya, M Roveri
International Conference on Computer Aided Verification, 310-316, 2011
612011
Formal verification and validation of ERTMS industrial railway train spacing system
A Cimatti, R Corvino, A Lazzaro, I Narasamdya, T Rizzo, M Roveri, ...
International Conference on Computer Aided Verification, 378-393, 2012
442012
Software model checking SystemC
A Cimatti, I Narasamdya, M Roveri
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
402013
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
292014
Boosting lazy abstraction for SystemC with partial order reduction
A Cimatti, I Narasamdya, M Roveri
International Conference on Tools and Algorithms for the Construction and …, 2011
272011
An analytic evaluation of SystemC encodings in promela
D Campana, A Cimatti, I Narasamdya, M Roveri
International SPIN Workshop on Model Checking of Software, 90-107, 2011
132011
Software model checking with explicit scheduler and symbolic threads
A Cimatti, I Narasamdya, M Roveri
arXiv preprint arXiv:1206.3182, 2012
122012
Certification of smart-card applications in common criteria
I Narasamdya, M Périn
International Conference on Fundamental Approaches to Software Engineering …, 2009
102009
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus.
Y Martin, I Narasamdya, M Thielscher
ICAPS, 12-22, 2004
102004
Service combinators for farming virtual machines
K Bhargavan, AD Gordon, I Narasamdya
International Conference on Coordination Languages and Models, 33-49, 2008
92008
Managing Server Farms
AD Gordon, K Bhargavan, I Narasamdya
US Patent App. 11/750,964, 2008
82008
Finding basic block and variable correspondence
I Narasamdya, A Voronkov
International Static Analysis Symposium, 251-267, 2005
72005
Knowledge of other agents and communicative actions in the fluent calculus
I Narasamdya, Y Martin, M Thielscher
Proceedings of KR, 623-633, 2004
52004
Kratos benchmarks
A Cimatti, A Griggio, A Micheli, I Narasamdya, M Roveri
URL: https://es. fbk. eu/tools/kratos/index. php, 0
5
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
International Static Analysis Symposium, 343-359, 2009
12009
KRATOS
M Roveri, A Cimatti, I Narasamdya, A Micheli, C Daniele, A Griggio, ...
2010
The system can't perform the operation now. Try again later.
Articles 1–20