Davide Bresolin
Recent Talks

15-17 February 2010:
The quest for a compositional and computable semantics for Hybrid Automata
Periodic Meeting of the EU project CON4COORD, Volos, Greece

23-27 November 2009:
Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths
7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), Hanoi, Vietnam
[Slides]

8-9 October 2009:
From Hybrid Models to Discrete Implementations: the Almost ASAP approach
Periodic Meeting of the EU project CON4COORD, Verona, Italy

14-17 September 2009:
Assume-Guarantee verification of Hybrid Systems in ARIADNE
Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES), Udine, Italy
[Slides]

3 July 2009:
Work Package 10 - Tools
Review Meeting of the EU project CON4COORD, Amsterdam, The Netherlands

30 June - 2 July 2009:
Advanced verification strategies in ARIADNE
Periodic Meeting of the EU project CON4COORD, Antwerp, Belgium

15-17 April 2009:
The impact of EFSM composition on functional ATPG
12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), Liberec, Czech Republic
[Slides]

My "baptism of fire" (first talk at a conference):

1-2 December 2005:
A tableau-based decision procedure for a branching-time interval temporal logic
M4M-4: 4th International Workshop on Methods for Modalities, Berlin, Germany
[Slides]