Journal Papers

  • Software Model Checking SystemC, by A. Cimatti, I. Narasamdya, and M. Roveri. Transaction of Computer Aided Design 2013. (PDF)
  • Software Model Checking with Explicit Scheduler and Symbolic Threads, by A. Cimatti, I. Narasamdya, and M. Roveri. Journal of Logical Methods in Computer Science 2012. (PDF)

Conference Papers

  • Verifying Parametric System Designs, by A. Cimatti, I. Narasamdya, and M. Roveri. In proc. FMCAD 2012. (PDF)
  • Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System, by A. Cimatti, R. Corvino, A. Lazzaro, I. Narasamdya, T. Rizzo, M. Roveri, A. Sanseviero, and A. Tchaltsev. In proc. CAV 2012. (PDF)
  • An Analytic Evaluation of SystemC Encodings in Promela, by D. Campana, A. Cimatti, I. Narasamdya, and M. Roveri. In proc. SPIN 2011. (PDF)
  • Kratos -- A Software Model Checker for SystemC , by A. Cimatti, A. Griggio, A. Micheli, I. Narasamdya, and M. Roveri. In proc. CAV 2011. (PDF)
  • Boosting Lazy Abstraction for SystemC with Partial Order Reduction, by A. Cimatti, I. Narasamdya, and M. Roveri. In proc. TACAS 2011. (PDF)
     This paper won the EASST (European Association of Software Science and Technology) Award as Best Software Science paper at ETAPS 2011.
  • Verifying SystemC : a Software Model Checking Approach, by A. Cimatti, A. Micheli, I. Narasamdya, and M. Roveri. In proc. FMCAD 2010. (PDF)


Page last modified on May 31, 2013, at 11:11 PM