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 autonomous software, with focus on the case where the autonomous layer is implemented using control theory. My work aims at defining methodologies for empirically and formally verify properties (both on the control and software perspective) for such systems.
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''.
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: email@example.com
- office: M-building, 2156