Phd student at the Automatic Control Department since January 2018. Part of the Wallenberg Autonomous Systems and Software Program (WASP).
My main research interest is testing of autonomous software, with focus on the case where the autonomous layer is implemented using control theory. My work aims at defining testing methodologies for empirically and formally verify properties (both on the control and software perspective) for such systems.
Claudio Mandrioli and Martina Maggio: Testing Self-Adaptive Software with Probabilistic Guarantess on Performance Metrics. In ''European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2020'' ACM Distinguished Paper Award.
- Presentation video (20 min)
- Artifact repository: https://github.com/ManCla/ESEC-FSE-2020
- Full dataset for the Self-Adaptive Video Encoder case study: link
Nils Vreman and Claudio Mandrioli: Evaluation of Burst Failure Robustness of Control Systems in the Fog. In ''2nd workshop on Fog Computing and the IoT, 2020''.
Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio and Anton Cervin: DMAC: Deadline-Miss Aware Control. In ''31th Euromicro Conference on Real-Time Systems, 2019''.
- Artifact reposotory: https://gitlab.control.lth.se/mmaggio/paolo-ecrts19
Claudio Mandrioli, Martina Maggio: Towards testing self-adaptive software for cyber-physical systems. In ''4th workshop in Monitoring and Testing of Cyber-Physical systems, 2019''.
Claudio Mandrioli, Alberto Leva, Bo Bernhardsson, Martina Maggio: Modeling of Energy Consumption in GPS Receivers for Power Aware Localization Systems. In ''10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019''.
- Associated repository: https://gitlab.control.lth.se/mmaggio/gps-modeling
Claudio Mandrioli, Alberto Leva, Martina Maggio: Dynamic Models for the Formal Verification of Big Data Applications via Stochastic Model Checking. In ''2nd IEEE Conference on Control Technology and Application, 2018''.
- mail: firstname.lastname@example.org
- office: M-building, 2156