Author of the publication

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.

, , , , and . QEST, volume 10503 of Lecture Notes in Computer Science, page 304-308. Springer, (2017)

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

Skeptical Dynamic Dependability Management for Automated Systems., , , , , , and . DSD, page 118-125. IEEE, (2022)Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343., , and . CoRR, (2019)Using Operational Design Domain in Hazard Identification for Automated Systems., , , , and . EDCC, page 109-112. IEEE, (2022)Intelligent run-time partitioning of low-code system models., , and . MoDELS (Companion), page 64:1-64:5. ACM, (2020)Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning., , , , , , and . ACSOS Companion, page 121-126. IEEE, (2020)Supporting robotic software migration using static analysis and model-driven engineering., , , , and . MoDELS, page 154-164. ACM, (2020)DeepKnowledge: Generalisation-Driven Deep Learning Testing., , and . CoRR, (2024)Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications., , , , , and . MODELS, page 80-91. ACM, (2024)Learning to Learn in Collective Adaptive Systems: Mining Design Pattern for Data-driven Reasoning, , , , , , and . (2020)Probabilistic program performance analysis with confidence intervals., , and . Inf. Softw. Technol., (April 2023)