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.

 

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

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)