DMAC: Deadline-miss-aware control P Pazzaglia, C Mandrioli, M Maggio, A Cervin 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), 2019 | 13 | 2019 |
Testing self-adaptive software with probabilistic guarantees on performance metrics C Mandrioli, M Maggio Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 7 | 2020 |
Modeling of energy consumption in GPS receivers for power aware localization systems C Mandrioli, A Leva, B Bernhardsson, M Maggio Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019 | 2 | 2019 |
Dynamic models for the formal verification of big data applications via stochastic model checking C Mandrioli, A Leva, M Maggio 2018 IEEE Conference on Control Technology and Applications (CCTA), 1466-1471, 2018 | 2 | 2018 |
Evaluation of burst failure robustness of control systems in the fog N Vreman, C Mandrioli 2nd Workshop on Fog Computing and the IoT (Fog-IoT 2020), 2020 | 1 | 2020 |
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results C Mandrioli, M Maggio IEEE Transactions on Software Engineering, 2021 | | 2021 |
Towards testing self-adaptive software for cyber-physical systems C Mandrioli, M Maggio | | 2019 |
Modeling and verification of big data computation C Mandrioli Italy, 2017 | | 2017 |