Claudio Mandrioli
Claudio Mandrioli
PhD student at Lund University
Verified email at - Homepage
Cited by
Cited by
DMAC: Deadline-miss-aware control
P Pazzaglia, C Mandrioli, M Maggio, A Cervin
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), 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
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
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
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
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
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results
C Mandrioli, M Maggio
IEEE Transactions on Software Engineering, 2021
Towards testing self-adaptive software for cyber-physical systems
C Mandrioli, M Maggio
Modeling and verification of big data computation
C Mandrioli
Italy, 2017
Organizing Committee SEAMS 2022
B Schmerl, J Camara, M Maggio, N D’Ippolito, P Pelliccione, GA Moreno, ...
The system can't perform the operation now. Try again later.
Articles 1–10