Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. - Pablo Abad; Nazareno Aguirre; Valeria S. Bengolea; Daniel Alfredo Ciolek; Marcelo F. Frias; Juan P. Galeotti; Tom Maibaum; Mariano M. Moscato; Nicolás Rosner; Ignacio Vissani (ICST, 2013)

A Full Operational Semantics for Asynchronous Relational Networks. - Ignacio Vissani; Carlos Gustavo López Pombo; Ionut Tutu; José Luiz Fiadeiro (WADT, 2014)

Communicating machines as a dynamic binding mechanism of services. - Ignacio Vissani; Carlos Gustavo López Pombo; Emilio Tuosto (PLACES, 2015)