According to our database1, Michele Mazzucchi authored at least 3 papers between 2009 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Context-aware counter abstraction.
Formal Methods in System Design, 2010
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