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

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays., , , , and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 113-132. Springer, (2021)A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo., , , and . CoRR, (2023)Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications., , , , and . CoRR, (2022)A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs., , , , , , , , , and . DATE, page 846-851. IEEE, (2020)Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks., , , and . ReConFig, page 1-8. IEEE, (2019)Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper., , , , , , , , and . ICCAD, page 1-8. ACM, (2019)Smt-Switch: A Solver-Agnostic C++ API for SMT Solving., , , , , , , , , and . SAT, volume 12831 of Lecture Notes in Computer Science, page 377-386. Springer, (2021)CoSA: Integrated Verification for Agile Hardware Design., , , , , and . FMCAD, page 1-5. IEEE, (2018)Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains., , , , , , , , , and 1 other author(s). ACM Trans. Reconfigurable Technol. Syst., 16 (2): 26:1-26:28 (June 2023)Automating System Configuration., , , , , , and . FMCAD, page 102-111. IEEE, (2021)