| Verifying SystemC: a software model checking approach A Cimatti, A Micheli, I Narasamdya, M Roveri Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010 | 86 | 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 | 60 | 2011 |
| 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 | 42 | 2012 |
| Software model checking SystemC A Cimatti, I Narasamdya, M Roveri IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013 | 38 | 2013 |
| 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 | 25 | 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 | 24 | 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 | 14 | 2011 |
| Software model checking with explicit scheduler and symbolic threads A Cimatti, I Narasamdya, M Roveri arXiv preprint arXiv:1206.3182, 2012 | 12 | 2012 |
| Certification of smart-card applications in common criteria I Narasamdya, M Périn International Conference on Fundamental Approaches to Software Engineering …, 2009 | 11 | 2009 |
| Managing Server Farms AD Gordon, K Bhargavan, I Narasamdya US Patent App. 11/750,964, 2008 | 9 | 2008 |
| Service combinators for farming virtual machines K Bhargavan, AD Gordon, I Narasamdya International Conference on Coordination Languages and Models, 33-49, 2008 | 9 | 2008 |
| Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. Y Martin, I Narasamdya, M Thielscher ICAPS, 12-22, 2004 | 9 | 2004 |
| Finding basic block and variable correspondence I Narasamdya, A Voronkov International Static Analysis Symposium, 251-267, 2005 | 7 | 2005 |
| 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 |
| 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 | 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 International Static Analysis Symposium, 343-359, 2009 | 1 | 2009 |
| KRATOS M Roveri, A Cimatti, I Narasamdya, A Micheli, C Daniele, A Griggio, ... | | 2010 |
