Claudio Mandrioli

18 papers A* 1A 1B 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Testing Abstractions for Cyber-Physical Control Systems - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Claudio Mandrioli, Max Nyberg Carlsson, Martina Maggio
2025 J jnl
Diagnosing Violations of State-based Specifications in iCFTL.
CoRR
Cristina Stratan, Claudio Mandrioli, Domenico Bianculli
2025 A* conf
Fault Injection for Simulink-based CPS Models: Insights and Future Directions.
ASE
Drishti Yadav, Claudio Mandrioli, Ezio Bartocci, Domenico Bianculli
2025 J jnl
Stress Testing Control Loops in Cyber-Physical Systems - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
2025 J jnl
Testing CPS With Design Assumptions-Based Metamorphic Relations and Genetic Programming.
IEEE Trans. Software Eng.
Claudio Mandrioli, Seung Yeob Shin, Domenico Bianculli, Lionel C. Briand
2024 J jnl
Stress Testing Control Loops in Cyber-physical Systems.
ACM Trans. Softw. Eng. Methodol.
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
2024 J jnl
Testing Abstractions for Cyber-Physical Control Systems.
ACM Trans. Softw. Eng. Methodol.
Claudio Mandrioli, Max Nyberg Carlsson, Martina Maggio
2024 J jnl
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming.
CoRR
Claudio Mandrioli, Seung Yeob Shin, Domenico Bianculli, Lionel C. Briand
2023 J jnl
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach.
CoRR
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand
2022 — —
Control-Theoretical Perspective in Feedback-Based Systems Testing.
Claudio Mandrioli
2022 A conf
Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems.
RTAS
Nils Vreman, Claudio Mandrioli, Anton Cervin
2022 J jnl
Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results.
IEEE Trans. Software Eng.
Claudio Mandrioli, Martina Maggio
2020 — conf
Evaluation of Burst Failure Robustness of Control Systems in the Fog.
Fog-IoT
Nils Vreman, Claudio Mandrioli
2020 — conf
Testing self-adaptive software with probabilistic guarantees on performance metrics.
ESEC/SIGSOFT FSE
Claudio Mandrioli, Martina Maggio
2019 J jnl
DMAC: Deadline-Miss-Aware Control (Artifact).
Dagstuhl Artifacts Ser.
Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin
2019 B conf
DMAC: Deadline-Miss-Aware Control.
ECRTS
Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin
2019 — conf
Modeling of energy consumption in GPS receivers for power aware localization systems.
ICCPS
Claudio Mandrioli, Alberto Leva, Bo Bernhardsson, Martina Maggio
2018 — conf
Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking.
CCTA
Claudio Mandrioli, Alberto Leva, Martina Maggio