Claudio Mandrioli

According to our database, Claudio Mandrioli authored at least 17 papers between 2018 and 2026.

Collaborative distances:

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

2026

Diagnosing Violations of State-Based Specifications in iCFTL.

Cristina Stratan, Claudio Mandrioli, Domenico Bianculli

IEEE Trans. Software Eng., April, 2026

Testing Abstractions for Cyber-Physical Control Systems - RCR Report.

Claudio Mandrioli, Max Nyberg Carlsson, Martina Maggio

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

2025

Stress Testing Control Loops in Cyber-Physical Systems - RCR Report.

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

ACM Trans. Softw. Eng. Methodol., November, 2025

Testing CPS With Design Assumptions-Based Metamorphic Relations and Genetic Programming.

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

IEEE Trans. Software Eng., June, 2025

Fault Injection for Simulink-based CPS Models: Insights and Future Directions.

Drishti Yadav, Claudio Mandrioli, Ezio Bartocci, Domenico Bianculli

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

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

Control-Theoretical Perspective in Feedback-Based Systems Testing.

Claudio Mandrioli

PhD thesis, 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