Follow
Claudio Mandrioli
Claudio Mandrioli
Verified email at uni.lu - Homepage
Title
Cited by
Cited by
Year
DMAC: Deadline-miss-aware control
P Pazzaglia, C Mandrioli, M Maggio, A Cervin
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), 1, 2019
432019
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
13*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
72022
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
42020
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
42018
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
32023
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
32019
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach
C Mandrioli, SY Shin, M Maggio, D Bianculli, L Briand
arXiv e-prints, arXiv: 2302.13913, 2023
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, ...
The system can't perform the operation now. Try again later.
Articles 1–12