Narasamdya, Iman

Narasamdya, Iman  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
An Analytic Evaluation of SystemC Encodings in Promela 1-gen-2011 Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 1-gen-2011 Alessandro Cimatti; Iman Narasamdya; Marco Roveri
Certification of Smart-Card Applications in Common Criteria 1-gen-2009 Narasamdya, Iman; Michael, Perin
Certification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences 1-gen-2009 Narasamdya, Iman; Michael, Perin
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 1-gen-2012 Cimatti, Alessandro; Raffaele, Corvino; Armando, Lazzaro; Narasamdya, Iman; Tiziana, Rizzo; Roveri, Marco; Angela, Sanseviero; Andrei, Tchaltsev
Inter-Program Properties 1-gen-2009 Andrei Voronkov; Iman Narasamdya
Inter-Program Properties 1-gen-2009 Andrei, Voronkov; Narasamdya, Iman
KRATOS 1-gen-2010 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
Software Model Checking SystemC 1-gen-2013 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Software Model Checking with Explicit Scheduler and Symbolic Threads 1-gen-2012 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Verification of Parametric System Designs 1-gen-2012 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Verifying SystemC: a Software Model Checking Approach 1-gen-2010 Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco