Michele Dorigatti

According to our database, Michele Dorigatti authored at least 3 papers between 2013 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case.

Thomas Arts, Michele Dorigatti, Stefano Tonetta

Proceedings of the Computer Safety, Reliability, and Security, 2014

The nuXmv Symbolic Model Checker.

Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

OCRA: A tool for checking the refinement of temporal contracts.

Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013