Folgen
Iman Narasamdya
Iman Narasamdya
Bestätigte E-Mail-Adresse bei fbk.eu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Verifying SystemC: A software model checking approach
A Cimatti, A Micheli, I Narasamdya, M Roveri
Formal Methods in Computer Aided Design, 51-59, 2010
1032010
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
812011
Software model checking SystemC
A Cimatti, I Narasamdya, M Roveri
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
662013
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
562012
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
492014
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
302011
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
172011
Software model checking with explicit scheduler and symbolic threads
A Cimatti, I Narasamdya, M Roveri
Logical Methods in Computer Science 8, 2012
152012
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
112009
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
International Conference on Coordination Languages and Models, 33-49, 2008
82008
Finding basic block and variable correspondence
I Narasamdya, A Voronkov
International Static Analysis Symposium, 251-267, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20