-
LASER Summer School on Software
Engineering (Tools for Practical Software Verification).
4--10 September 2011, Procchio (Elba Island), Italy.
-
On Relaxing Metric Information in Linear Temporal Logic.
TIME'11, 13th September 2011.
Lübeck, Germany.
-
ICSE 2011
(International Conference on Software Engineering). 21--28 May
2011, Honolulu, HI, USA.
-
Contracts for Verification -- a personal perspective.
Eiffel at 25, 24th
November 2010. Zurich, Switzerland.
-
What's Decidable About Sequences?
ATVA'10, 22nd September 2010.
Singapore.
-
LASER Summer School on Software
Engineering (Empirical Software Engineering). 5--11 September
2010, Procchio (Elba Island), Italy.
-
Using Compositionality to Formally Model and Analyze Systems Built
of a High Number of Components.
ICECCS'10, 25th
March 2010. Oxford, UK.
-
Inferring loop
invariants using postconditions.
IFIP WG 2.3 meeting 50, 3rd March 2010. Lachen, Switzerland.
-
Towards Relaxing Metric Information in Linear Temporal Logic.
ICTCS 2009 (Italian
Conference on Theoretical Computer Science). 29th September 2009.
Cremona, Italy.
-
TOOLS-EUROPE 2009 (International
Conference on Objects, Models, Components, Patterns). 29 June--3
July 2009, Zürich, Switzerland.
-
ICSE 2009
(International Conference on Software Engineering). 16--24 May
2009, Vancouver, Canada.
-
Practical Automated Partial Verification of Multi-Paradigm
Real-Time Models.
ICFEM'08, 30th October 2008.
Kitakyushu, Japan.
-
Practical Efficient Modular Linear-Time Model-Checking.
ATVA'08, 22nd October 2008.
Seoul, South Korea.
-
DNTTT 2008 (Developments
and New Tracks in Trace Theory). 9--11 October 2008, Cremona,
Italy.
-
MTL with Bounded Variability: Decidability and Complexity.
FORMATS'08, 15th September
2008. Saint-Malo, France.
-
Tomorrow and All Our Yesterdays: MTL Satisfiability
over the Integers.
ICTAC'08, 2nd September 2008.
Istanbul, Turkey.
-
Automated Verification of Dense-Time MTL Specifications
via Discrete-Time Approximation.
FM'08, 28th May 2008. Turku
(Åbo), Finland.
-
On the Expressiveness of MTL Variants.
FORMATS'07, 4th October
2007. Salzburg, Austria.
-
Integrating Discrete- and Continuous-Time Metric Temporal Logics
Through Sampling: Framework and Applications.
EPFL, 25th June 2007. Lausanne,
Switzerland.
-
Modeling the Environment in Software-Intensive Systems.
MiSE'07, 20th May 2007.
Minneapolis, MN, USA.
-
Integrating Discrete- and Continuous-Time Metric Temporal Logics
Through Sampling.
FORMATS'06, 25th September
2006. Paris, France.
-
Quantum
Informatics: A Survey.
Dipartimento di Elettronica e
Informazione, Politecnico di Milano, 12th January 2006.
-
Compositionality and Integration for Real-Time Systems.
EPFL, 20th October 2005. Lausanne,
Switzerland.
-
International School for Computer Science Researchers 2005 (Formal
Methods: Theory and Practice). 10--23 July 2005, Lipari Island,
Italy.
-
Automated Compositional Proofs for Real-Time Systems.
FASE'05, 8th April 2005.
Edinburgh, UK.
-
Semi-Formal and Formal Models Applied to
Flexible Manufacturing Systems.
ISCIS'04, 29th October 2004.
Kemer--Antalya, Turkey.
-
Compositional Proofs for Real-Time Systems.
GIIS'04, 30th
September 2004. Benevento, Italy.
-
Fourth
Canadian Summer School on Quantum Information. 21--25 June 2004,
Waterloo, Canada.