( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesizing LTL contracts from component libraries using rich counterexamples.

, , и . Sci. Comput. Program., (2024)

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.

Iñigo Casanueva

Inigo Natzel

Gerardo Incera Garrido

Josef inigoj

Inigo Andreas Müller

 

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

Symbiotic CPS Design-Space Exploration through Iterated Optimization., , , , , , , , , и . CPS-IoT Week Workshops, стр. 92-99. ACM, (2023)A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies., , , , и . CoRR, (2023)The Algebra of Contracts. University of California, Berkeley, USA, (2022)Hypercontracts., , , и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 674-692. Springer, (2022)Synthesizing LTL contracts from component libraries using rich counterexamples., , и . Sci. Comput. Program., (2024)The cyber-physical immune system: work-in-progress., , , , и . EMSOFT, стр. 43-44. ACM, (2021)Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts., , и . MEMOCODE, стр. 111-121. ACM / IEEE, (2023)Layered Control Systems Operating on Multiple Clocks., , , и . IEEE Control. Syst. Lett., (2024)Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems., , и . MEMOCODE, стр. 180-190. ACM / IEEE, (2023)Reasoning over Test Specifications Using Assume-Guarantee Contracts., , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 278-294. Springer, (2023)