Ignacio Vissani

According to our database, Ignacio Vissani authored at least 3 papers between 2013 and 2015.

Collaborative distances:

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

2015

Communicating machines as a dynamic binding mechanism of services.

Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

2014

A Full Operational Semantics for Asynchronous Relational Networks.

Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

2013

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

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013