Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking. - Claudio Mandrioli; Alberto Leva; Martina Maggio (CCTA, 2018)

DMAC: Deadline-Miss-Aware Control. - Paolo Pazzaglia; Claudio Mandrioli; Martina Maggio; Anton Cervin (ECRTS, 2019)

Modeling of energy consumption in GPS receivers for power aware localization systems. - Claudio Mandrioli; Alberto Leva; Bo Bernhardsson; Martina Maggio (ICCPS, 2019)

DMAC: Deadline-Miss-Aware Control (Artifact). - Paolo Pazzaglia; Claudio Mandrioli; Martina Maggio; Anton Cervin (Dagstuhl Artifacts Ser., 2019)

Evaluation of Burst Failure Robustness of Control Systems in the Fog. - Nils Vreman; Claudio Mandrioli (Fog-IoT, 2020)

Testing self-adaptive software with probabilistic guarantees on performance metrics. - Claudio Mandrioli; Martina Maggio (ESEC/SIGSOFT FSE, 2020)

Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems. - Nils Vreman; Claudio Mandrioli; Anton Cervin (RTAS, 2022)

Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results. - Claudio Mandrioli; Martina Maggio (IEEE Trans. Software Eng., 2022)

Control-Theoretical Perspective in Feedback-Based Systems Testing. - Claudio Mandrioli (2022)

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)

Testing Abstractions for Cyber-Physical Control Systems. - Claudio Mandrioli; Max Nyberg Carlsson; Martina Maggio (ACM Trans. Softw. Eng. Methodol., 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., 2024)

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., 2025)