Author of the publication

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

Risk-Averse Model Predictive Control for Priced Timed Automata., , , and . ACC, page 4332-4338. IEEE, (2023)A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems., , , and . CCTA, page 136-142. IEEE, (2023)Safe Environmental Envelopes of Discrete Systems., , , , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 326-350. Springer, (2023)Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening., , , , , , and . SEAMS, page 115-125. IEEE, (2023)Requirements Engineering for Feedback Loops in Software-Intensive Systems., and . RE Workshops, page 2-5. IEEE, (2022)Robustification of Behavioral Designs against Environmental Deviations., , , , , and . ICSE, page 423-434. IEEE, (2023)Fortis: A Tool for Analysis and Repair of Robust Software Systems., , , , and . FMCAD, page 1-9. IEEE, (2023)Towards resilient supervisors against sensor deception attacks., , and . CDC, page 5144-5149. IEEE, (2019)Synthesis of Supervisors Robust Against Sensor Deception Attacks., , and . CoRR, (2020)Run-Time Adaptation of Quality Attributes for Automated Planning., , and . SEAMS, page 98-105. ACM/IEEE, (2022)