DMAC: Deadline-miss-aware control P Pazzaglia, C Mandrioli, M Maggio, A Cervin 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), 1, 2019 | 46 | 2019 |
Testing self-adaptive software with probabilistic guarantees on performance metrics: extended and comparative results C Mandrioli, M Maggio IEEE Transactions on Software Engineering 48 (9), 3554-3572, 2021 | 17* | 2021 |
Deadline-miss-adaptive controller implementation for real-time control systems N Vreman, C Mandrioli, A Cervin 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium …, 2022 | 9 | 2022 |
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 | 5 | 2020 |
Testing abstractions for cyber-physical control systems C Mandrioli, M Nyberg Carlsson, M Maggio ACM Transactions on Software Engineering and Methodology 33 (1), 1-32, 2023 | 3 | 2023 |
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 | 3 | 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 | 3 | 2018 |
Stress Testing Control Loops in Cyber-Physical Systems C Mandrioli, SY Shin, M Maggio, D Bianculli, L Briand ACM Transactions on Software Engineering and Methodology 33 (2), 1-58, 2023 | 2 | 2023 |
Control-Theoretical Perspective in Feedback-Based Systems Testing C Mandrioli | | 2022 |
Towards testing self-adaptive software for cyber-physical systems C Mandrioli, M Maggio | | 2019 |
Modeling and verification of big data computation C Mandrioli Politecnico di Milano, 2016 | | 2016 |
Organizing Committee SEAMS 2022 B Schmerl, J Camara, M Maggio, N D’Ippolito, P Pelliccione, GA Moreno, ... | | |