Michele Dorigatti

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Temporal Evolution

Top Venues

Publications

Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
The nuXmv Symbolic Model Checker. CAV (2014)
Thomas Arts, Michele Dorigatti, Stefano Tonetta
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. SAFECOMP (2014)
Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta
OCRA: A tool for checking the refinement of temporal contracts. ASE (2013)