Publications

Filters: Author is Ignacio Vissani [Clear All Filters]

2015

I. Vissani, C. G. López Pombo, and E. Tuosto, “Communicating machines as a dynamic binding mechanism of services”, in Proceedings of the 8th Programming Language Approaches to Concurrency- and Communication-cEntric Software - PLACES 2015, 2015.

2014

I. Vissani, C. G. López Pombo, I. Tutu, and J. e L. Fiadeiro, “A Full Operational Semantics of Asynchronous Relational Networks”. 2014.

TSARN.pdf (110.65 KB)

2013

C. G. López Pombo, P. Chocron, I. Vissani, and T. S. E. Maibaum, “A canonical proof-theoretic approach to model theory”, 2013.

abstract.pdf (166.59 KB)

P. Abad, et al., “Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving”, in IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, 2013.

icst2013.pdf (285.71 KB)