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

Mapping Synthesis for Hyperproperties., , , and . CSF, page 486-500. IEEE, (2022)Safe Environmental Envelopes of Discrete Systems., , , , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 326-350. Springer, (2023)When Do We (Not) Need Complex Assume-Guarantee Rules?, , and . ACSD, page 30-39. IEEE Computer Society, (2015)On Neural Network Equivalence Checking Using SMT Solvers., , , and . FORMATS, volume 13465 of Lecture Notes in Computer Science, page 237-257. Springer, (2022)Metrics and methods for robustness evaluation of neural networks with generative models., , and . CoRR, (2020)Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations., , and . IECON, page 1970-1975. IEEE, (2015)Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems., , and . CSF, page 380-395. IEEE, (2022)Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+., , and . FMCAD, page 273-283. IEEE, (2022)Decoupled Fitness Criteria for Reactive Systems., and . SEFM, volume 14323 of Lecture Notes in Computer Science, page 85-105. Springer, (2023)Mechanically Proving Determinacy of Hierarchical Block Diagram Translations., , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 577-600. Springer, (2019)