Login / Signup
Ignacio Vissani
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 0
Top Topics
Boolean Satisfiability
Operational Semantics
Sat Solving
Test Generation
Top Venues
ICST
PLACES
WADT
</>
Publications
</>
Ignacio Vissani
,
Carlos Gustavo López Pombo
,
Emilio Tuosto
Communicating machines as a dynamic binding mechanism of services.
PLACES
(2015)
Ignacio Vissani
,
Carlos Gustavo López Pombo
,
Ionut Tutu
,
José Luiz Fiadeiro
A Full Operational Semantics for Asynchronous Relational Networks.
WADT
(2014)
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
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.
ICST
(2013)