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
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
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