SEMINARS
Copyright Notice: The preprints below are 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 preprints below may not be reposted without explicit permission of the copyright holder.
"Compositionality, Interaction, and Abstraction in
Concurrent Computing Systems: Process Calculi and Behavioral Equivalences"
"A Process Algebraic Approach to Software Architecture
Design"
Presented as lecture series, tutorial, or invited talk at:
- 15th Summer School on Philosophy of Physics: Centenary Celebration of Alan Turing, Cesena (Italy),
2012.
- 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/2012/2013/2021/2023.
- University of L'Aquila (Italy), 2007/2008.
- University of Castilla-La Mancha, Albacete (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.
- Research Seminar on Process Algebra: Open Problems and Future Directions, Bertinoro (Italy), 2003.
- Research Seminar on Probabilistic Methods in Verification and Planning, Dagstuhl (Germany), 2003.
- Tutorial session 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 session of the 2nd International Conference on the Quantitative Evaluation of Systems (QEST
2005), Torino (Italy), 2005.
- Tutorial session of the 1st Joint International Workshop on Process Algebra and Performance Modelling
and Probabilistic Methods in Verification (PAPM/PROBMIV 2001), Aachen (Germany), 2001.
"ULTraS: A Uniform Framework
for Nondeterministic, Probabilistic, and Timed Process Models and Behavioral Equivalences"
"ULTraS at Work:
Compositionality and Equational Metaresults for Bisimulation and Trace Semantics"
Presented as lecture series, tutorial, or invited talk at:
- Celebration of Rocco De Nicola on the Occasion of His 65th Birthday, Lucca (Italy), 2019.
- 3rd Research Seminar on Open Problems in Concurrency Theory (OPCT 2019), Cascais (Portugal), 2019.
- University of Camerino (Italy), 2017.
- 1st International Symposium on Quantitative Systems: Theory and Applications (QuaSy 2017), Como (Italy),
2017.
- 1st Research Seminar on Open Problems in Concurrency Theory (OPCT 2014), Bertinoro (Italy), 2014.
- University of Urbino (Italy), 2014.
- Gran Sasso Science Institute, L'Aquila (Italy), 2014.
- University of Torino (Italy), 2013.
- University of Bologna (Italy), 2013.