From post

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.

 

Другие публикации лиц с тем же именем

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET., , , , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 503-523. Springer, (2021)Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts., , , , , , и . TACAS (2), том 10806 из Lecture Notes in Computer Science, стр. 176-193. Springer, (2018)Machine-Checked Proofs for Realizability Checking Algorithms., , и . VSTTE, том 9593 из Lecture Notes in Computer Science, стр. 110-123. Springer, (2015)Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET., , , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 490-504. Springer, (2022)Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts., , , , , , и . CoRR, (2017)Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft., , , и . REFSQ, том 13975 из Lecture Notes in Computer Science, стр. 295-308. Springer, (2023)Synthesis of Infinite-State Systems with Random Behavior., , , , , и . ASE, стр. 250-261. IEEE, (2020)Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif., , , и . NFM, том 14627 из Lecture Notes in Computer Science, стр. 427-435. Springer, (2024)Towards Realizability Checking of Contracts Using Theories., , , , и . NFM, том 9058 из Lecture Notes in Computer Science, стр. 173-187. Springer, (2015)From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif., , , , , , , , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 353-360. Springer, (2023)