57 citations · 175 across the 19 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Preliminary Results Towards Contract Monitorability
Annalizz Vella, Adrian Francalanza
This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whethe…
cs.LO2016
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques
Luca Aceto, Adrian Francalanza, Anna Ingolfsdottir
The PrePost (Pre- and Post-Deployment Verification Techniques) workshop aimed at bringing together researchers working in the field of computer-aided validation and verification to…