Claudio Mandrioli

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

Physical Systems

Formal Verification

Top Venues

ACM Trans. Softw. Eng. Methodol.

Dagstuhl Artifacts Ser.

Publications

Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
Stress Testing Control Loops in Cyber-physical Systems. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Claudio Mandrioli, Max Nyberg Carlsson, Martina Maggio
Testing Abstractions for Cyber-Physical Control Systems. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach. CoRR (2023)
Nils Vreman, Claudio Mandrioli, Anton Cervin
Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems. RTAS (2022)
Claudio Mandrioli, Martina Maggio
Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results. IEEE Trans. Software Eng. 48 (9) (2022)
Nils Vreman, Claudio Mandrioli
Evaluation of Burst Failure Robustness of Control Systems in the Fog. Fog-IoT (2020)
Claudio Mandrioli, Martina Maggio
Testing self-adaptive software with probabilistic guarantees on performance metrics. ESEC/SIGSOFT FSE (2020)
Claudio Mandrioli, Alberto Leva, Bo Bernhardsson, Martina Maggio
Modeling of energy consumption in GPS receivers for power aware localization systems. ICCPS (2019)
Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin
DMAC: Deadline-Miss-Aware Control. ECRTS (2019)
Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin
DMAC: Deadline-Miss-Aware Control (Artifact). Dagstuhl Artifacts Ser. 5 (1) (2019)
Claudio Mandrioli, Alberto Leva, Martina Maggio
Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking. CCTA (2018)