| Verifying SystemC: A software model checking approach A Cimatti, A Micheli, I Narasamdya, M Roveri Formal Methods in Computer Aided Design, 51-59, 2010 | 107 | 2010 |
| 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 | 84 | 2011 |
| Software model checking SystemC A Cimatti, I Narasamdya, M Roveri IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013 | 73 | 2013 |
| 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 | 56 | 2012 |
| 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 | 48 | 2014 |
| 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 | 31 | 2011 |
| 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 | 19 | 2011 |
| Software model checking with explicit scheduler and symbolic threads A Cimatti, I Narasamdya, M Roveri Logical Methods in Computer Science 8, 2012 | 15 | 2012 |
| Managing Server Farms AD Gordon, K Bhargavan, I Narasamdya US Patent App. 11/750,964, 2008 | 13 | 2008 |
| Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. Y Martin, I Narasamdya, M Thielscher ICAPS, 12-22, 2004 | 11 | 2004 |
| 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 | 10 | 2009 |
| Service combinators for farming virtual machines K Bhargavan, AD Gordon, I Narasamdya International Conference on Coordination Languages and Models, 33-49, 2008 | 8 | 2008 |
| Finding basic block and variable correspondence I Narasamdya, A Voronkov International Static Analysis Symposium, 251-267, 2005 | 7 | 2005 |
| 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 | 5 | 2004 |
| Verification of parametric system designs A Cimatti, I Narasamdya, M Roveri 2012 Formal Methods in Computer-Aided Design (FMCAD), 122-130, 2012 | 4 | 2012 |
| Proving inter-program properties A Voronkov, I Narasamdya Technical Report TR-2008-13, Verimag, 2008 | 4 | 2008 |
| Establishing program equivalence in translation validation for optimizing compilers I Narasamdya University of Manchester, 2007 | 3 | 2007 |
| Inter-program properties A Voronkov, I Narasamdya Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009 | 2 | 2009 |
| KRATOS M Roveri, A Cimatti, I Narasamdya, A Micheli, D Campana, A Griggio, ... | | 2010 |
