Author of the publication

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version).

, , and . CoRR, (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. 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

Solving Stochastic Boolean Satisfiability under Random-Exist Quantification., , and . IJCAI, page 688-694. ijcai.org, (2017)Scenario Sampling for Cyber Physical Systems using Combinatorial Testing., , , and . ICST Workshops, page 198-199. IEEE, (2019)Towards Formal Evaluation and Verification of Probabilistic Design., and . IEEE Trans. Computers, 67 (8): 1202-1216 (2018)Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty., and . AAAI, page 3877-3885. AAAI Press, (2021)Efficient computation of ECO patch functions., , , , , , and . DAC, page 51:1-51:6. ACM, (2018)Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)., and . ACM SIGSOFT Softw. Eng. Notes, 49 (2): 25-26 (April 2024)Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)., , and . CoRR, (2024)Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection., , and . IJCAI, page 1339-1345. ijcai.org, (2018)Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits., , , and . ICCAD, page 5. ACM, (2016)Stability analysis for safety of automotive multi-product lines: a search-based approach., , , and . GECCO, page 1241-1249. ACM, (2019)