Ignacio Vissani

发表

Communicating machines as a dynamic binding mechanism of services

Emilio Tuosto, Ignacio Vissani, Carlos López Pombo, 2015, PLACES.

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

A Full Operational Semantics for Asynchronous Relational Networks

José Luiz Fiadeiro, Ignacio Vissani, Carlos López Pombo, 2014, WADT.