Seminars

Copyright Notice: The material below is presented to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the material below may not be reposted without explicit permission of the copyright holder.

"A Process Algebraic Approach to Software Architecture Design"

Presented as lecture series, tutorial, or invited talk at:

1st International Workshop on Quantitative Formal Methods (QFM 2009), Eindhoven (The Netherlands), 2009.
University of Reykjavik (Iceland), 2009.
University of Camerino (Italy), 2009.
University of Bologna (Italy), 2008.
University of Urbino (Italy), 2008.
University of L'Aquila (Italy), 2007/2008.
University of Castilla-La Mancha (Spain), 2007/2008.
3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture (SFM-03:SA), Bertinoro (Italy), 2003.
Process Algebra: Open Problems and Future Directions, Bertinoro (Italy), 2003.
Dagstuhl Seminar on Probabilistic Methods in Verification and Planning, Dagstuhl (Germany), 2003.
Tutorial section of the 22nd IFIP International Symposium on Computer Performance Modeling, Measurement and Evaluation (PERFORMANCE 2002), Monte Porzio Catone (Italy), 2002.
1st International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebra (SFM-01:PA), Bertinoro (Italy), 2001.

"Markovian Behavioral Equivalences: A Comparative Survey"

Presented as lecture series, tutorial, or invited talk at:

12th Italian Conference on Theoretical Computer Science (ICTCS 2010), Camerino (Italy), 2010.
University of L'Aquila (Italy), 2010.
7th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM-07:PE), Bertinoro (Italy), 2007.
University of Urbino (Italy), 2006.
Tutorial section of the 2nd International Conference on the Quantitative Evaluation of Systems (QEST 2005), Torino (Italy), 2005.
Tutorial section of the 1st Joint International Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM/PROBMIV 2001), Aachen (Germany), 2001.