Claudio Mandrioli
Orcid: 0000-0002-7013-1191
According to our database1,
Claudio Mandrioli
authored at least 12 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., February, 2024
ACM Trans. Softw. Eng. Methodol., January, 2024
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming.
CoRR, 2024
2023
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach.
CoRR, 2023
2022
Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results.
IEEE Trans. Software Eng., 2022
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022
2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the 2nd Workshop on Fog Computing and the IoT, 2020
2019
Modeling of energy consumption in GPS receivers for power aware localization systems.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
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.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018