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