::Professional Service::
Editorial Boards and Steering Committees Membership
- (04/2025 - present) Member, Steering Committee, International
Conference on Software Engineering and Formal Methods (SEFM)
- (03/2025 - present) Guest Editor, Special Issue of Elsevier
Science of Computer Programming on "Tools
featured at the 18th IEEE International Conference on Software
Testing, Verification and Validation (ICST) 2025"
- (01/2022 - present) Member, Steering Committee, International Conference on Formal Methods in Software Engineering (FormaliSE)
- (04/2021 - present) Associate Editor, IEEE Transactions on
Software Engineering (TSE)
- (01/2019 - present) Member, Board of Distinguished Reviewers,
ACM Transactions on Software Engineering and Methodology (TOSEM)
Award Committees
Conference/Workshop/Track Chairmanship
- Program co-chair, 3rd InternationalWorkshop on AI Solutions for Software Engineering Challenges in Financial Firms (FinanSE
2026)
- Program co-chair, 23rd
International Conference on Software Engineering and Formal Methods (SEFM 2025)
-
Shadow
Research Track Program Committee Co-chair, 47th International Conference
on Software Engineering (ICSE 2025)
-
Testing tools and demonstrations Co-chair, 18th IEEE International
Conference on Software Testing, Verification and Validation (ICST 2025)
- Co-chair of the track Quality in the Age of the AI, 17th
International Conference on the Quality of Information and
Communications Technology (QUATIC 2024)
- Program co-chair, Doctoral Forum, 38th IEEE/ACM
International Conference on Automated Software Engineering (ASE 2023)
- Tutorial track chair, 2022 ACM Joint European Software
Engineering Conference and Symposium on the Foundations of Software Engineering
(ESEC/FSE 2022)
- Program co-chair, 8th International Conference on Formal Methods in
Software Engineering (FormaliSE
2020), collocated
with ICSE
2020
- Program co-chair, 2nd International Workshop on Security for and by
Model-Driven Engineering (SecureMDE 2020)
- Program co-chair, International Workshop on Security for and by
Model-Driven Engineering (SecureMDE 2018)
- Program co-chair, Doctoral Symposium, 10th Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE 2015)
- Program co-chair, 5th International Workshop on Principles
of Engineering Service-Oriented Systems (PESOS 2013)
- Program co-chair, 2nd International Workshop on Quality
Assurance for Service-based Applications (QASBA 2013)
- Evaluation committee co-chair, special session on
"The Quest for Case Studies" at the 4th International Workshop on Principles
of Engineering Service-Oriented Systems (PESOS 2012)
- Program co-chair, 1st International Workshop on Quality
Assurance for Service-based Applications (QASBA 2011)
Program Committee Membership
- 2026 International Conference on Formal Methods in Software
Engineering (FormaliSE
2026)
- 2026 Foundations of Software Engineering (FSE 2026)
- 34th IEEE International Requirements Engineering conference (RE 2026)
- Digital Humanism - Interdisciplinary Science and Research
Conference (DIGHUM-RES 2025)
- 2nd International Workshop on AI Solutions for Software
Engineering Challenges in Financial Firms (FinanSE 2025)
- 2025 International Conference on Formal Methods in Software
Engineering (FormaliSE
2025)
- 2025 Foundations of Software Engineering (FSE 2025)
- Tutorial track of the 2025 Foundations of Software Engineering (FSE 2025)
- 33rd IEEE International Requirements Engineering conference (RE 2025)
- 2024 International Conference on Formal Methods in Software
Engineering (FormaliSE
2024)
- 2024 Foundations of Software Engineering (FSE 2024)
- 46th International Conference on Software Engineering (ICSE 2024)
- 40th International Conference on Software Maintenance and
Evolution (ICSME 2024)
- 38th IEEE/ACM
International Conference on Automated Software Engineering (ASE 2023)
- 26th International Conference on Fundamental Approaches to
Software Engineering (FASE 2023), part of ETAPS
- New Ideas and Emerging Result (NIER) track at the 45th International Conference on Software Engineering
(ICSE
2023)
- Workshops track at the 45th International Conference on Software Engineering
(ICSE 2023)
- 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
- 23rd International Conference on Runtime Verification
(RV'23)
- 37th IEEE/ACM
International Conference on Automated Software Engineering (ASE 2022)
- 44th International Conference on Software Engineering (ICSE 2022)
- 22nd International Conference on Runtime Verification
(RV'22)
- 29th ACM Joint European Software Engineering Conference and
Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)
- 9th International Conference on Formal Methods in
Software Engineering (FormaliSE 2021)
- Workshops
track at the 43rd International
Conference on Software Engineering (ICSE 2021)
- 21st International Conference on Runtime Verification
(RV'21)
- 35th IEEE/ACM
International Conference on Automated Software Engineering (ASE 2020)
- 2nd International Workshop on Automated and Verifiable Software
System Development (ASYDE 2020)
- 20th International Conference on Web Engineering
(ICWE
2020)
- 20th International Conference on Runtime Verification
(RV'20)
- Journal First track at the 34th IEEE/ACM
International Conference on Automated Software Engineering (ASE 2019)
- International Workshop on Automated and Verifiable Software
System Development (ASYDE 2019)
- 27th ACM Joint European Software Engineering Conference and
Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
- 7th International Conference on Formal Methods in
Software Engineering (FormaliSE 2019)
- 41st International Conference on Software Engineering (ICSE 2019)
- 17th International Conference on Service Oriented Computing
(ICSOC 2019)
- 19th International Workshop in OCL and Textual Modeling (OCL 2019)
- 11th Central European Workshop on Services and their Composition
(ZEUS 2019)
- 33rd IEEE/ACM
International Conference on Automated Software Engineering (ASE 2018)
- 6th International Conference on Formal Methods in
Software Engineering (FormaliSE
2018)
- 16th International Conference on Service Oriented Computing
(ICSOC 2018)
- 14th International Conference on integrated Formal Methods
(iFM 2018)
- 18th International Workshop in OCL and Textual Modeling (OCL 2018)
- Software Verification and Testing track (SVT) at the 33rd
ACM/SIGAPP Symposium On Applied Computing (SAC 2018)
- 10th Central European Workshop on Services and their Composition
(ZEUS 2018)
- International Conference on Software Architecture (ICSA 2017)
- 39th International Conference on Software Engineering (ICSE 2017)
- ACM Student Research Competition at the 39th International
Conference on Software Engineering (ICSE 2017)
- Technical Briefings track at the 39th International Conference
on Software Engineering (ICSE
2017)
- 15th International Conference on Service Oriented Computing
(ICSOC 2017)
- 17th International Workshop in OCL and Textual Modeling (OCL 2017)
- International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools (RV-CuBES 2017)
- 9th Central European Workshop on Services and their Composition
(ZEUS 2017)
- 14th International Conference on Service Oriented Computing (ICSOC 2016)
- 16th International Conference on Web Engineering
(ICWE 2016)
- Doctoral Symposium of the ACM/IEEE 19th International
Conference on Model Driven Engineering Languages and Systems (MODELS 2016)
- 16th International Workshop in OCL and Textual Modeling (OCL 2016)
- 23rd IEEE International Conference on Software Analysis,
Evolution, and Reengineering (SANER 2016)
- Student Contest on Software Engineering at ICSE 2016
(SCORE 2016)
- WICSA and CompArch
2016
- 18th International ACM Sigsoft Symposium on
Component-Based Software Engineering (CBSE 2015)
- 10th Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE 2015)
- 8th International Workshop on Evolutionary Business Processes (EVL-BP 2015)
- 13th International Conference on Service Oriented Computing (ICSOC
2015)
- 15th
International Conference on Web Engineering (ICWE 2015)
- 7th International Workshop on Principles of Engineering
Service-Oriented and Cloud Systems (PESOS 2015)
- 1st International Workshop on the ART of
Software Composition (SCART 2015)
- Italian Student Contest on Software Engineering at ICSE 2015
(SCORE-it 2015)
- 13th International Conference on Software Engineering and Formal
Methods (SEFM
2015)
- Testing: Academic and Industrial Conference - Practice and
Research Techniques 2015 (TAIC
PART 2015)
- 17th International ACM Sigsoft Symposium on
Component-Based Software Engineering (CBSE 2014)
- 7th International Workshop on Evolutionary Business Processes (EVL-BP 2014)
- Tutorials and Technical Briefings track at the 36th
International Conference on Software Engineering (ICSE 2014)
- 12th International Conference on Service Oriented Computing (ICSOC
2014)
- 1st International Workshop on Service Orchestration
and Choreography for the Future Internet (OrChor 2014)
- 6th International Workshop on Principles of Engineering
Service-Oriented and Cloud Systems (PESOS 2014)
- 12th International Conference on Software Engineering and Formal
Methods (SEFM 2014)
- 16th International ACM Sigsoft Symposium on
Component-Based Software Engineering (CBSE 2013)
- Tool demo track of the 9th joint meeting of
the European Software Engineering Conference and
the ACM SIGSOFT Symposium
on the Foundations of Software Engineering (ESEC/FSE 2013)
- 6th International Workshop on Evolutionary Business Processes (EVL-BP 2013)
- International Conference on Software Composition 2013 (SC 2013)
- Student Contest on Software Engineering at ICSE 2013
(SCORE 2013)
- 5th International Workshop on Evolutionary Business Processes (EVL-BP 2012)
- 17th IEEE International Conference on Engineering of Complex
Computer Systems (ICECCS 2012)
- 7th Workshop on Enhanced Web Service Technologies (WEWST-2012)
- 4th International Workshop on Evolutionary Business Processes
(EVL-BP
2011)
- 4th International Workshop on Monitoring, Adaptation and Beyond
(MONA+ 2011)
- 6th Workshop on Enhanced Web Service Technologies (WEWST 2011)
- 3rd International Workshop on Dynamic and Declarative
Business Processes
(DDBP 2010)
- 2nd International Workshop on Dynamic and Declarative
Business Processes
(DDBP
2009)
- 1st International Workshop on Dynamic and Declarative
Business Processes (DDBP 2008)
Reviewer Service
Journals
- Communications of ACM (CACM), 2016
- Springer Computing (COMP),
2012
- ACM Computing Surveys (CSUR), 2020, 2021
- Springer Empirical Software Engineering (EMSE), 2024, 2025
- Springer Formal Aspects of Computing (FAOC), 2011
- Special Issue of the International Journal of Business
Process Integration and Management (IJBPIM) on Dynamic and
Declarative Business Processes 2008
- Elsevier Information and Software Technology
(IST), 2009,
2010, 2014, 2025
- IOS Press Journal of Computer Security (JCS),
2012
- ACM Journal on Responsible Computing (JRC), 2024
- Special Issue of Journal of Research and
Practice in Information Technology (JRPIT) on Dynamic and
Declarative Business Processes 2009
- Elsevier Journal of Systems and Software (JSS), 2011, 2013,
2015, 2017, 2020, 2021, 2022, 2024, 2025
- Elsevier Science of Computer Programming (SCP), 2023, 2024
- Springer Service-oriented Computing and Applications
(SOCA),
2010, 2013
- IEEE Software,
2011, 2014, 2015
- Springer Software and Systems Modeling(SoSyM), 2014
- Springer International Journal on Software Tools for Technology
Transfer (STTT), 2020
- ACM Transactions on Autonomous and Adaptive Systems
(TAAS), 2014
- ACM Transactions on Software Engineering and Methodology
(TOSEM), 2008, 2014, 2015, 2016,
2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025
- IEEE Transactions on Service Computing (TSC), 2014
- IEEE Transactions on Dependable and Secure Computing (TDSC), 2017, 2025
- IEEE Transactions on Software Engineering
(TSE), 2010,
2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023
Other
- External reviewer, Technical University of Munich - Faculty
Recruitment and Career System (2023)
- Ministero dell'Università, Istruzione e Ricerca (Ministry of Education, University and Research),
Italy. "PRIN 2017" program, 2018
- Reviewer of book publishing proposals for CRC Press (2016, 2018, 2019, 2020)
Conference/Workshop Organization
- Co-organizer, 3rd InternationalWorkshop on AI Solutions for Software Engineering Challenges in Financial Firms (FinanSE
2026)
- Proceedings Chair, 19th European Conference on Software
Architecture (ECSA 2025)
- Co-organizer, 2nd International Workshop on Security for and by
Model-Driven Engineering (SecureMDE 2020)
- Awards co-chair, 41st
International Conference on Software Engineering (ICSE 2019)
- Co-organizer, International Workshop on Security for and by
Model-Driven Engineering (SecureMDE 2018)
- Celebration Media chair, 40th
International Conference on Software Engineering (ICSE 2018)
- Co-Located Events chair, 39th
International Conference on Software Engineering (ICSE 2017)
- Publicity co-chair, 16th International Conference on Web
Engineering (ICWE
2016)
- Publicity co-chair, 37th International Conference on Software
Engineering (ICSE
2015)
- Workshops chair, 13th International Conference on Software Engineering and Formal
Methods (SEFM 2015)
- Publicity co-chair, 11th
International Conference on Service Oriented Computing (ICSOC 2013)
- Co-organizer, 5th International Workshop on Principles
of Engineering Service-Oriented Systems (PESOS 2013)
- Co-organizer, 2nd International Workshop on Quality
Assurance for Service-based Applications (QASBA 2013)
- Co-organizer, special session on
"The Quest for Case Studies" at the 4th International Workshop on Principles
of Engineering Service-Oriented Systems (PESOS 2012)
- Co-organizer, 1st International Workshop on Quality
Assurance for Service-based Applications (QASBA 2011)
- Local Arrangements, NASA Formal Method Symposium (NFM 2009)
- Webmaster of the International Workshop on the
Engineering of Software Services for Pervasive Environments (ESSPE'07)
External Referee Service
- 1st IEEE European Symposium on Security and Privacy
(EuroS&P 2016)
- 17th IEEE International Symposium on High Assurance
Systems Engineering (HASE2016)
- ACM/IEEE 19th International
Conference on Model Driven Engineering Languages and Systems (MODELS 2016)
- 36th International Conference on Software Engineering (ICSE 2014)
- 20th Asia-Pacific Software Engineering Conference (APSEC 2013)
- 11th International Conference on Service Oriented
Computing (ICSOC 2013)
- 2013 International Symposium in Software Testing and Analysis
(ISSTA 2013)
- 1st International Workshop on Combining Modelling and
Search-Based Software Engineering (CMSBSE 2013)
- 35th International Conference on Software Engineering (ICSE 2013)
- 10th International Conference on Service Oriented
Computing (ICSOC 2012)
- 20th International Symposium on the Foundations of
Software Engineering (FSE 2012)
- 15th International Conference on Fundamental Approaches to
Software Engineering (FASE 2012)
- 30th International Symposium on Reliable Distributed Systems (SRDS 2011)
- 8th joint meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of
Software Engineering (ESEC/FSE 2011)
- 19th International Requirements Engineering Conference
(RE'11)
- 33rd International Conference on Software Engineering (ICSE 2011)
- 8th European Conference on Web Services
(ECOWS 2010)
- 12th International Symposium on
Distributed Objects, Middleware, and Applications ((DOA'10))
- 8th International Conference on Service Oriented
Computing,
(ICSOC 2010)
- 18th International Symposium on Foundations of Software
Engineering (ACM SIGSOFT
2010 - FSE 18)
- Fundamental Approaches to Software Engineering (FASE'10)
- 32nd International Conference on Software Engineering
(ICSE 2010)
- 7th International Joint Conference on Service Oriented
Computing, (ICSOC & ServiceWave 2009)
- 24th International Conference on Automated Software Engineering
(ASE 2009)
- 7th joint meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of
Software Engineering (ESEC/FSE 2009)
- 47th International Conference Objects, Models, Components,
Patterns - TOOLS Europe 2009
- 31st International Conference on Software Engineering
(ICSE 2009), New Ideas and Emerging Results Track
- 3rd Workshop on Middleware for Service Oriented Computing
(MW4SOC 2008)
- 6th International Conference on Service Oriented Computing
(ICSOC'08)
- ServiceWave 2008
- 15th Asia-Pacific Software Engineering Conference (APSEC 2008)
- 6th IEEE European Conference on Web Services (ECOWS 2008)
- 16th International Symposium on Foundations of Software
Engineering (ACM SIGSOFT 2008 - FSE 16)
- 7th International Symposium on Software Testing and
Analysis (ISSTA 2008)
- 7th International Symposium on Software Composition (SC
2008)
- 17th International World Wide Web Conference (WWW'08)
- 30th International Conference on Software Engineering
(ICSE 2008)
- 1st European Conference on Software Architecture
(ECSA 2007)
- 1st International Workshop on Distributed Event
Processing, Systems and Applications (DEPSA'07)
- 29th International Conference on Software Engineering
(ICSE 2007)
Other
- Administrator of
the SEWORLD mailing
list (October 2009 - November 2011)
- Moderator of
the SEWORLD mailing
list (January 2007 - September 2009)
- Student volunteer at the 31st International Conference on
Software Engineering (ICSE 2009)
- Student volunteer at the 30th International Conference on
Software Engineering (ICSE 2008)
