Claudio Mandrioli

According to our database, Claudio Mandrioli authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Stress Testing Control Loops in Cyber-physical Systems.

Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand

ACM Trans. Softw. Eng. Methodol., February, 2024

Testing Abstractions for Cyber-Physical Control Systems.

Claudio Mandrioli, Max Nyberg Carlsson, Martina Maggio

ACM Trans. Softw. Eng. Methodol., January, 2024

2023

Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach.

Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand

CoRR, 2023

2022

Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results.

Claudio Mandrioli, Martina Maggio

IEEE Trans. Software Eng., 2022

Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems.

Nils Vreman, Claudio Mandrioli, Anton Cervin

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

2020

Testing self-adaptive software with probabilistic guarantees on performance metrics.

Claudio Mandrioli, Martina Maggio

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Evaluation of Burst Failure Robustness of Control Systems in the Fog.

Nils Vreman, Claudio Mandrioli

Proceedings of the 2nd Workshop on Fog Computing and the IoT, 2020

2019

DMAC: Deadline-Miss-Aware Control (Artifact).

Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin

Dagstuhl Artifacts Ser., 2019

Modeling of energy consumption in GPS receivers for power aware localization systems.

Claudio Mandrioli, Alberto Leva, Bo Bernhardsson, Martina Maggio

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

DMAC: Deadline-Miss-Aware Control.

Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2018

Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking.

Claudio Mandrioli, Alberto Leva, Martina Maggio

Proceedings of the IEEE Conference on Control Technology and Applications, 2018