::Professional Service::
Editorial Boards Membership
- (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)
Chairmanship
- 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
- 2025 Foundations of Software Engineering (FSE 2025)
- Tutorial track of the 2025 Foundations of Software Engineering (FSE 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
- Communications of ACM (CACM), 2016
- Springer Computing (COMP), 2012
- ACM Computing Surveys (CSUR), 2020, 2021
- Springer Formal Aspects of Computing (FOAC), 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
- IOS Press Journal of Computer Security (JCS), 2012
- 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
- 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
- IEEE Transactions on Service Computing (TSC), 2014
- IEEE Transactions on Dependable and Secure Computing (TDSC), 2017
- IEEE Transactions on Software Engineering (TSE), 2010, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021
Conference/Workshop Organization
- Steering Committee member, 10th International Conference on Formal Methods in Software Engineering (FormaliSE 2022)
- 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)
- Organizing Committee Member, 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)
