Cesare Tinelli
University of Iowa
H-index: 46
North America-United States
Top articles of Cesare Tinelli
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Generalized Optimization Modulo Theories | arXiv preprint arXiv:2404.16122 | Nestan Tsiskaridze Clark Barrett Cesare Tinelli | 2024/4/24 |
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL | Hanna Lachnitt Mathias Fleury Leni Aniva Andrew Reynolds Haniel Barbosa | 2024/4/4 | |
Finding locally smallest cut sets using max-smt | ACM SIGAda Ada Letters | Daniel Larraz Cesare Tinelli | 2023/4/5 |
Formal Verification of Bit-Vector Invertibility Conditions in Coq | Burak Ekici Arjun Viswanathan Yoni Zohar Cesare Tinelli Clark Barrett | 2023/9/13 | |
A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery | Abdalrhman Mohamed Andrew Reynolds Clark Barrett Cesare Tinelli | 2023/10/24 | |
Beyond model checking of idealized Lustre in Kind 2 | ACM SIGAda Ada Letters | Daniel Larraz Arjun Viswanathan Cesare Tinelli Mickaël Laurent | 2023/4/5 |
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences | Journal of automated reasoning | Ying Sheng Andres Nötzli Andrew Reynolds Yoni Zohar David Dill | 2023/9 |
CRV: Automated Cyber-Resiliency Reasoning for System Design Models | CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023 | Daniel Larraz Robert Lorch Moosa Yahyazadeh M Fareed Arif Omar Chowdhury | 2023/10/24 |
Automated Deduction–CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings | Brigitte Pientka Cesare Tinelli | 2023 | |
Satisfiability modulo finite fields | Alex Ozdemir Gereon Kremer Cesare Tinelli Clark Barrett | 2023/7/17 | |
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community | Kristin Y Rozier Natarajan Shankar Cesare Tinelli Moshe Vardi | 2023/10/24 | |
An interactive smt tactic in coq using abductive reasoning | Haniel Barbosa Chantal Keller Andrew Reynolds Arjun Viswanathan Cesare Tinelli | 2023/6/4 | |
Partitioning Strategies for Distributed SMT Solving | CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023 | Amalee Wilson Andres Noetzli Andrew Reynolds Byron Cook Cesare Tinelli | 2023/10/24 |
Synthesising programs with non-trivial constants | Journal of Automated Reasoning | Alessandro Abate Haniel Barbosa Clark Barrett Cristina David Pascal Kesseli | 2023/6 |
Generating and exploiting automated reasoning proof certificates | Communications of the ACM | Haniel Barbosa Clark Barrett Byron Cook Bruno Dutertre Gereon Kremer | 2023/9/22 |
Combining Stable Infiniteness and (Strong) Politeness | Journal of automated reasoning | Ying Sheng Yoni Zohar Christophe Ringeissen Andrew Reynolds Clark Barrett | 2023/12 |
Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language. | Andres Nötzli Haniel Barbosa Aina Niemetz Mathias Preiner Andrew Reynolds | 2022/10/12 | |
Flexible proof production in an industrial-strength SMT solver | Haniel Barbosa Andrew Reynolds Gereon Kremer Hanna Lachnitt Aina Niemetz | 2022/8 | |
Realizability Checking of Contracts with Kind 2 | arXiv preprint arXiv:2205.09082 | Daniel Larraz Cesare Tinelli | 2022/5/18 |
cvc5: A versatile and industrial-strength SMT solver | Haniel Barbosa Clark Barrett Martin Brain Gereon Kremer Hanna Lachnitt | 2022 |