Publications

Here is the up-to-date list of papers I have co-authored with links to the preprints (in inverse chronological order). When applicable, also the link to the associated artefacts are provided.

Journals

Year	Venue	Title	Artifact
2026	TSE	Diagnosing Violations of State-based Specifications in iCFTL
2025	TSE	Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming	mt4cps
2025	TOSEM-RCR	Stress Testing Control Loops in Cyber-Physical Systems - RCR
2025	TOSEM-RCR	Testing Abstractions for Cyber-Physical Control Systems - RCR
2023	TOSEM	Stress Testing Control Loops in Cyber-Physical Systems	matlab python
2023	TOSEM	Testing Abstractions for Cyber-Physical Control Systems	crazyflie
2021	TSE	Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results	tas&save trapp

Conferences

Year	Venue	Title	Artifact
2025	ASE NIER	Fault Injection for Simulink-based CPS Models: Insights and Future Directions
2022	RTAS	Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems	zip
2020	FSE	Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics ACM Distinguished Paper Award	repo
2019	ECRTS	DMAC: Deadline-Miss-Aware Control	repo
2019	ICCPS	Modelling of Energy Consumption in GPS Receivers for Power Aware Localization Systems	repo
2018	CCTA	Dynamic Models for the Formal Verification of Big Data Applications via Stochastic Model Checking

Theses

Year	Degree	Title
2022	PhD	Control-Theoretical Perspective on Feedback-Based Systems Testing
2017	Master	Modeling and Verification of Big Data Computation

Workshops

Year	Venue	Title	Artifact
2020	Fog-IoT	Evaluation of Burst Failure Robustness of Control Systems in the Fog
2019	MT-CPS	Towards Testing Self-Adaptive Software for Cyber-Physical Systems