On Abstraction of Probabilistic Systems. - Christian Dehnert; Daniel Gebler; Michele Volpato; David N. Jansen (ROCKS, 2012)

Towards quality of model-based testing in the ioco framework. - Michele Volpato; Jan Tretmans (JAMAICA@ISSTA, 2013)

Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning. - Rick Smetsers; Michele Volpato; Frits W. Vaandrager; Sicco Verwer (ICGI, 2014)

Active Learning of Nondeterministic Systems from an ioco Perspective. - Michele Volpato; Jan Tretmans (ISoLA (1), 2014)

Approximate Active Learning of Nondeterministic Input Output Transition Systems. - Michele Volpato; Jan Tretmans (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)