Folgen
Claudio Mandrioli
Claudio Mandrioli
PostDoc at the University of Luxembourg
Bestätigte E-Mail-Adresse bei uni.lu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
DMAC: Deadline-miss-aware control
P Pazzaglia, C Mandrioli, M Maggio, A Cervin
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), 1, 2019
492019
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
18*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
92022
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
52023
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
52020
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
42023
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
42019
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
32018
Control-Theoretical Perspective in Feedback-Based Systems Testing
C Mandrioli
12022
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
C Mandrioli, SY Shin, D Bianculli, L Briand
arXiv preprint arXiv:2412.03330, 2024
2024
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, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13