Events
Organization and Evaluation
2025
2024
SEFM 2024
PC member and Workshop Chair - 22nd International Conference on Software Engineering and Formal Methods
FACS 2024
Steering committee member & PC member - International Conference on Formal Aspects of Component Software
PhD symposium SPLC 2024
PC member - PhD symposium at the 28TH ACM International Systems and Software Product Line Conference
2023
PhD symposium iFM 2023
PC member - PhD symposium at the 18th International Conference on integrated Formal Methods
FTSCS @ SPLASH 2023
PC member - 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
FACS 2023
Steering committee member & PC member - International Conference on Formal Aspects of Component Software
RSSRail 2023
PC member - International Conference on Reliability, Safety and Security of Railway Systems
VERDI @ DSN 2023
PC chair - International Workshop on Verification & Validation of Dependable Cyber-Physical Systems
2022
2021
FACS 2021
Steering committee member & PC member - International Conference on Formal Aspects of Component Software
MLiSE 2021 2020 @ EMCML PKDD
PC member - International Workshop on Machine Learning in Software Engineering
2020
2019
FACS 2019
Steering committee member - International Conference on Formal Aspects of Component Software
FOCLASA 2019 @ SEFM
PC member - International Workshop on Coordination and Self-adaptativeness of Software Applications
2018
REBLS 2018 @ SPLASH
PC member - International Workshop on Reactive and Event-Based Languages & Systems
FACS 2018
Steering committee member - International Conference on Formal Aspects of Component Software
