Michele Volpato

According to our database, Michele Volpato authored at least 5 papers between 2012 and 2015.

Collaborative distances:

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

2015

Approximate Active Learning of Nondeterministic Input Output Transition Systems.

Michele Volpato, Jan Tretmans

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

2014

Active Learning of Nondeterministic Systems from an ioco Perspective.

Michele Volpato, Jan Tretmans

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning.

Rick Smetsers, Michele Volpato, Frits W. Vaandrager, Sicco Verwer

Proceedings of the 12th International Conference on Grammatical Inference, 2014

2013

Towards quality of model-based testing in the ioco framework.

Michele Volpato, Jan Tretmans

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, 2013

2012

On Abstraction of Probabilistic Systems.

Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012