Michele Mazzucchi

According to our database1, Michele Mazzucchi authored at least 3 papers between 2009 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Context-aware counter abstraction.
Formal Methods in System Design, 2010

2009
Mutation-Based Test Case Generation for Simulink Models.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Symbolic Counter Abstraction for Concurrent Software.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009


  Loading...