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

Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields., and . GandALF, volume 305 of EPTCS, page 91-106. (2019)DCSynth: Guided Reactive Synthesis with Soft Requirements., , and . VSTTE, volume 12031 of Lecture Notes in Computer Science, page 124-142. Springer, (2019)DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis., , and . CoRR, (2017)DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements., , and . CoRR, (2019)Logical specification and uniform synthesis of robust controllers., and . MEMOCODE, page 15:1-15:11. ACM, (2019)Formalizing Timing Diagram Requirements in Discrete Duration Calulus., , and . CoRR, (2017)Formalizing Timing Diagram Requirements in Discrete Duration Calculus., , and . SEFM, volume 10469 of Lecture Notes in Computer Science, page 253-268. Springer, (2017)Specification and optimal reactive synthesis of run-time enforcement shields., and . Inf. Comput., 285 (Part): 104865 (2022)Specification and Reactive Synthesis of Robust Controllers., and . CoRR, (2019)Experience with testing and rigorous program analysis for qualification of RTOS., , , and . ISEC, page 83-89. ACM, (2013)