Journals, Conferences and Workshops - Participant, Reviewer and/or PC Member
- European Women in Technology
- FSEN: Fundamentals of Software Engineering
- Logic Journal of the IGPL
- FOCLASA: International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
- FACS: International Conference on Formal Aspects of Component Software
- KDIR: International Joint Conference on Knowledge Discovery
- iFM: Integrated Formal Methods
- ICFEM: International Conference on Formal Engineering Methods
- International Journal of Computer Mathematics
- SAC: ACM Symposium on Applied Computing
- Coordination: Coordination Models and Languages
- ESOCC: European Conference on Service-Oriented and Cloud Computing
- MODELS: International Conference on Model Driven Engineering Languages and Systems
- QEST: International Conference on Quantitative Evaluation of Systems
- CSSE: International Conference on Computer Science and Software Engineering
- Science of Computer Programming
- Formal Methods in System Design
- CONCURR: International Conference on Concurrency Theory
- IEEE International Workshop on UML and Formal Methods
- STAC: International Symposium on Theoretical Aspects of Computer Science.
- IADIS International Conference on Applied Computing 2009
- IEEE Transactions on Services Computing
- FM: International Symposium on Formal Methods
- FMCO: International Symposium on Formal Methods for Components and Objects
- SDS-SOA 2009: Workshop on Service Discovery and Selection in SOA Ecosystems
- ICSOC: International Conference on Service-Oriented Computing
- IET Software
- WS-FM: International Workshop on Web Services and Formal Methods
- WS-IQS 2007: Workshop on Web Services Interactions, Quality and SLAs
- IADIS International Conference on Applied Computing 2007
- WESOA 2006: Workshop on Engineering Service-Oriented Applications: Design and Composition
- CoopIS 2006: International Conference on Cooperative Information Systems
- International Journal on Multi-agent and Grid Systems
- WS-FM 2006: International Workshop on Web Services and Formal Methods
- WESC 2005: Workshop on Engineering Service Compositions
- ICSOC 2005: International Conference on Service-Oriented Computing
- ICWE 2005: International Conference on Web Engineering
- International Conference on Computer Science and Software Engineering (CSSE'2011). PC Chair
- ICT 2010. Brassels, Belgium. EU FP7 COMPAS project tool demonstration as part of the NESSI stand
- DisCoTec 2010: International Federated Conferences on Distributed Computing Techniques
- Future Internet Assembly 2009. Stockholm, Sweden
- CoCoCo 2009: Workshop on COordination, COAlgebra and COnstraints.
- SDS-SOA 2009 Workshop
- WS-IQS 2007 Workshop
- ISSSE 2006: International Summer School on Software Engineering
- 2K* Symposium 2005
- ESSLLI 2005: European Summer School in Logic, Language, Information
- SAINT 2005: Symposium on Applications and the Internet
Co-supervised theses
- Behnaz Changizi, "Constraint-Based Analysis of Business Process Models", 2019.
- Erik Hollander, "Multi-scale map visualization", 2013.
- Joost Leuwen, "Testing of channel based service connectors", 2013.
- Matteo Turrini, "Web Services Search Engine" (in Italian), 2006.
- Giovanni Dall'Oglio Risso, "Reliability-based models for selecting web services" (in Italian), 2006.
