Author of the publication

Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results.

, and . IEEE Trans. Software Eng., 48 (9): 3554-3572 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

DMAC: Deadline-Miss-Aware Control., , , and . ECRTS, volume 133 of LIPIcs, page 1:1-1:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Testing Abstractions for Cyber-Physical Control Systems., , and . ACM Trans. Softw. Eng. Methodol., 33 (1): 18:1-18:32 (January 2024)DMAC: Deadline-Miss-Aware Control (Artifact)., , , and . Dagstuhl Artifacts Ser., 5 (1): 03:1-03:3 (2019)Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach., , , , and . CoRR, (2023)Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking., , and . CCTA, page 1466-1471. IEEE, (2018)Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems., , and . RTAS, page 13-26. IEEE, (2022)Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results., and . IEEE Trans. Software Eng., 48 (9): 3554-3572 (2022)Stress Testing Control Loops in Cyber-physical Systems., , , , and . ACM Trans. Softw. Eng. Methodol., 33 (2): 35:1-35:58 (February 2024)Evaluation of Burst Failure Robustness of Control Systems in the Fog., and . Fog-IoT, volume 80 of OASIcs, page 8:1-8:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Testing self-adaptive software with probabilistic guarantees on performance metrics., and . ESEC/SIGSOFT FSE, page 1002-1014. ACM, (2020)