default search action

combined dblp search
author search
venue search
publication search

ask others

Alberto Griggio

> Home > Persons

Person information

affiliation: Fondazione Bruno Kessler, Trento, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/XiaCGL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/XiaCGL24
Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li:
Avoiding the Shoals - A New Approach to Liveness Checking. CAV (1) 2024: 234-254
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CavadaCGTBCZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CavadaCGTBCZ24
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa:
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. FMICS 2024: 170-181
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BozzanoCCGST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BozzanoCCGST24
Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta:
Towards Formal Design of FDIR Components with AI. ISoLA (4) 2024: 311-328
[c68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KonigHGKCHTKFH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KonigHGKCHTKFH24
Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann:
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) 2024: 44-65
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-19028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-19028
Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth McMillan:
Invariant Checking for SMT-based Systems with Quantifiers. CoRR abs/2402.19028 (2024)
[i13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-00087
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-00087
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. CoRR abs/2403.00087 (2024)
2023
[c67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/XiaBCGLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/XiaBCGLP23
Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu:
Searching for i-Good Lemmas to Accelerate Safety Model Checking. CAV (2) 2023: 288-308
[c66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GriggioJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GriggioJ23
Alberto Griggio, Martin Jonás:
Kratos2: An SMT-Based Model Checker for Imperative Programs. CAV (3) 2023: 423-436
[c65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiCGTCNB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiCGTCNB23
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau:
EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) 2023: 3-10
[c64]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-09784
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-09784
Srajan Goyal, Alberto Griggio, Jacob Kimblad, Stefano Tonetta:
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. FMAS@iFM 2023: 113-129
2022
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/CimattiGMRT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CimattiGMRT22
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta:
Verification modulo theories. Formal Methods Syst. Des. 60(3): 452-481 (2022)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/CimattiGM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CimattiGM22
Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
LTL falsification in infinite-state systems. Inf. Comput. 289(Part): 104977 (2022)
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/MannIGPB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/MannIGPB22
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett:
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. Log. Methods Comput. Sci. 18(3) (2022)
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CimattiGLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CimattiGLS22
Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani:
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. ATVA 2022: 137-153
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CimattiGR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CimattiGR22
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Verification of SMT Systems with Quantifiers. ATVA 2022: 154-170
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/imbsa/BombardelliBCCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imbsa/BombardelliBCCG22
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta:
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA 2022: 21-27
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/BozzanoCGJK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BozzanoCGJK22
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly:
Analysis of Cyclic Fault Propagation via ASP. LPNMR 2022: 470-483
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/models/CimattiCCNGPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/CimattiCCNGPT22
Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta:
A comprehensive framework for the analysis of automotive systems. MoDELS 2022: 379-389
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sefm/CavadaCGS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CavadaCGS22
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi:
A Formal IDE for Railways: Research Challenges. SEFM Workshops 2022: 107-115
[c57]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/smt/CimattiGT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/CimattiGT22
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. SMT 2022: 80-89
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BozzanoCGJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BozzanoCGJ22
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás:
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. TACAS (2) 2022: 273-291
[e2]
- view
- export record
  dblp key:
  - conf/fmcad/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/2022
Alberto Griggio, Neha Rungta:
22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022. IEEE 2022, ISBN 978-3-85448-053-2 [contents]
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/AbrahamDEG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/AbrahamDEG22
Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio:
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). Dagstuhl Reports 12(2): 67-86 (2022)
2021
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GriggioRT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GriggioRT21
Alberto Griggio, Marco Roveri, Stefano Tonetta:
Certifying proofs for SAT-based model checking. Formal Methods Syst. Des. 57(2): 178-210 (2021)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CimattiGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CimattiGM21
Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. ATVA 2021: 32-47
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/CimattiGR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CimattiGR21
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. CADE 2021: 131-147
[c53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BozzanoCPGJK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BozzanoCPGJK20
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly:
Efficient SMT-Based Analysis of Failure Propagation. CAV (2) 2021: 209-230
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MoverCGIT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MoverCGIT21
Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta:
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) 2021: 529-551
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BigarellaCGIJRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BigarellaCGIJRS21
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin:
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. FroCoS 2021: 213-231
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MannIGPB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MannIGPB21
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett:
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. TACAS (1) 2021: 113-132
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/CimattiGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/CimattiGM21
Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
Proving the Existence of Fair Paths in Infinite-State Systems. VMCAI 2021: 104-126
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-06825
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-06825
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett:
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. CoRR abs/2101.06825 (2021)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-12821
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-12821
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. CoRR abs/2109.12821 (2021)
2020
[j13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CimattiGMRT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CimattiGMRT20
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta:
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput. 272: 104502 (2020)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/DavenportEGST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/DavenportEGST20
James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli:
Symbolic computation and satisfiability checking. J. Symb. Comput. 100: 1-10 (2020)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AmendolaBCCGSST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AmendolaBCCGSST20
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi:
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. ISoLA (3) 2020: 240-254
[c47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiGGKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiGGKT20
Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta:
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) 2020: 155-172

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiGMRT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiGMRT19
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta:
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) 2019: 376-386
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/FrehseAABBCGGMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/FrehseAABBCGGMM19
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella:
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 1-13
[c44]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/scsquare/IrfanCGRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/IrfanCGRS19
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. SC-square@SIAM AG 2019
[e1]
- view
- export record
  dblp key:
  - conf/scsquare/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/2019
John Abbott, Alberto Griggio:
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. CEUR Workshop Proceedings 2460, CEUR-WS.org 2019 [contents]
2018
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CimattiGIRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CimattiGIRS18
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. ACM Trans. Comput. Log. 19(3): 19:1-19:52 (2018)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GriggioRT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GriggioRT18
Alberto Griggio, Marco Roveri, Stefano Tonetta:
Certifying Proofs for LTL Model Checking. FMCAD 2018: 1-9
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CimattiGIRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CimattiGIRS18
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. SAT 2018: 383-398
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MechtaevGCR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MechtaevGCR18
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury:
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE 2018: 389-399
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CimattiGIRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CimattiGIRS18
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. SYNASC 2018: 19-26
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1801-08718
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-08718
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. CoRR abs/1801.08718 (2018)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1801-08723
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-08723
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CoRR abs/1801.08723 (2018)
2017
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/GriggioR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GriggioR17
Alberto Griggio, Philipp Rümmer:
Preface to special issue on satisfiability modulo theories. Formal Methods Syst. Des. 51(3): 431-432 (2017)
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/AbrahamA0BBCDEF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AbrahamA0BBCDEF17
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler:
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE 2017: 6-10
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CimattiGIRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CimattiGIRS17
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CADE 2017: 95-113
[c37]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/issac/BrainDG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/BrainDG17
Martin Brain, James H. Davenport, Alberto Griggio:
Benchmarking Solvers, SAT-style. SC²@ISSAC 2017
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiGIRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiGIRS17
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. TACAS (1) 2017: 58-75
2016
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/AbrahamA0BBBCDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/AbrahamA0BBBCDE16
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50(4): 145-147 (2016)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CimattiGMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CimattiGMT16
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Infinite-state invariant checking with IC3 and predicate abstraction. Formal Methods Syst. Des. 49(3): 190-218 (2016)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/GriggioR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/GriggioR16
Alberto Griggio, Marco Roveri:
Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(6): 1026-1039 (2016)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DanielCGTM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DanielCGTM16
Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover:
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. CAV (1) 2016: 271-291
[c34]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/date/IrfanCGRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/IrfanCGRS16
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Verilog2SMV: A tool for word-level verification. DATE 2016: 1156-1159
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AbrahamABBBBCDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AbrahamABBBBCDE16
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
SC²: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BittnerBCCGGMMZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BittnerBCCGGMMZ16
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri:
The xSAP Safety Analysis Platform. TACAS 2016: 533-539
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AbrahamABBBBCDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking and Symbolic Computation. CoRR abs/1607.06945 (2016)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AbrahamABBBBCDE16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16a
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR abs/1607.08028 (2016)
2015
[c31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BozzanoCGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BozzanoCGM15
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei:
Efficient Anytime Techniques for Model-Based Safety Analysis. CAV (1) 2015: 603-621
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/syncop/CimattiGMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syncop/CimattiGMT15
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Parameter Synthesis with IC3 (Informal Presentation). SynCoP 2015: 106-107
[c29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiGMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiGMT15
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
HyComp: An SMT-Based Model Checker for Hybrid Systems. TACAS 2015: 52-67
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BittnerBCCGGMMZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BittnerBCCGGMMZ15
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri:
The xSAP Safety Analysis Platform. CoRR abs/1504.07513 (2015)
2014
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/BrainDGHK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BrainDGHK14
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening:
Deciding floating-point logic with abstract conflict driven clause learning. Formal Methods Syst. Des. 45(2): 213-245 (2014)
[c28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CavadaCDGMMMRT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CavadaCDGMMMRT14
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta:
The nuXmv Symbolic Model Checker. CAV 2014: 334-342
[c27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiGMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiGMT14
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Verifying LTL Properties of Hybrid Systems with K-Liveness. CAV 2014: 424-440
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BittnerBCGG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BittnerBCGG14
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio:
Towards Pareto-optimal parameter synthesis for monotonic cost functions. FMCAD 2014: 23-30
[c25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiGMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiGMT14
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
IC3 Modulo Theories via Implicit Predicate Abstraction. TACAS 2014: 46-61
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CimattiGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CimattiGS14
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. CoRR abs/1401.3878 (2014)
2013
[c24]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/CimattiGMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CimattiGMT13
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Parameter synthesis with IC3. FMCAD 2013: 165-168
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BrainDGHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BrainDGHK13
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening:
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. SAS 2013: 412-432
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CimattiGSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CimattiGSS13
Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani:
A Modular Approach to MaxSAT Modulo Theories. SAT 2013: 150-165
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiGSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiGSS13
Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani:
The MathSAT5 SMT Solver. TACAS 2013: 93-107
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BrainDHGK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BrainDHGK13
Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening:
An Abstract Interpretation of DPLL(T). VMCAI 2013: 455-475
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CimattiGMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CimattiGMT13
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
IC3 Modulo Theories via Implicit Predicate Abstraction. CoRR abs/1310.6847 (2013)
2012
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/Griggio12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/Griggio12
Alberto Griggio:
A Practical Approach to Satisability Modulo Linear Integer Arithmetic. J. Satisf. Boolean Model. Comput. 8(1/2): 1-27 (2012)
[c19]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cade/BruttomessoG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BruttomessoG12
Roberto Bruttomesso, Alberto Griggio:
Broadening the Scope of SMT-COMP: the Application Track. COMPARE 2012: 18-27
[c18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/CokGBD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CokGBD12
David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters:
The 2012 SMT Competition. SMT@IJCAR 2012: 131-142
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/AliGFDG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/AliGFDG12
Raian Ali, Alberto Griggio, Anders Franzén, Fabiano Dalpiaz, Paolo Giorgini:
Optimizing Monitoring Requirements in Self-adaptive Systems. BMMDS/EMMSAD 2012: 362-377
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiG12
Alessandro Cimatti, Alberto Griggio:
Software Model Checking via IC3. CAV 2012: 277-293
[c15]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/HallerGBK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/HallerGBK12
Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening:
Deciding floating-point logic with systematic abstraction. FMCAD 2012: 131-140
2011
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/CimattiGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CimattiGS11
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. J. Artif. Intell. Res. 40: 701-728 (2011)
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiGMNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiGMNR11
Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri:
Kratos - A Software Model Checker for SystemC. CAV 2011: 310-316
[c13]
- view
- export record
  dblp key:
  - conf/fmcad/Griggio11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Griggio11
Alberto Griggio:
Effective word-level interpolation for software verification. FMCAD 2011: 28-36
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/GriggioPST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/GriggioPST11
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi:
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. FroCoS 2011: 163-178
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/GriggioLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GriggioLS11
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. TACAS 2011: 143-157
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-4422
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-4422
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. Log. Methods Comput. Sci. 8(3) (2010)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CimattiGS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CimattiGS10
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Efficient generation of craig interpolants in satisfiability modulo theories. ACM Trans. Comput. Log. 12(1): 7:1-7:54 (2010)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/date/CimattiFGKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/CimattiFGKR10
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri:
Tighter integration of BDDs and SMT for Predicate Abstraction. DATE 2010: 1707-1712
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiFGSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiFGSS10
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico:
Satisfiability Modulo the Theory of Costs: Foundations and Applications. TACAS 2010: 99-113

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Griggio09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Griggio09
Alberto Griggio:
An Effective SMT Engine for Formal Verification. University of Trento, Italy, 2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BruttomessoCFGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BruttomessoCFGS09
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani:
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Ann. Math. Artif. Intell. 55(1-2): 63-99 (2009)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CimattiGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CimattiGS09
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Interpolant Generation for UTVPI. CADE 2009: 167-182
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BeyerCGKS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BeyerCGKS09
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani:
Software model checking via large-block encoding. FMCAD 2009: 25-32
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0904-4709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0904-4709
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani:
Software Model Checking via Large-Block Encoding. CoRR abs/0904.4709 (2009)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0906-4492
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-4492
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories. CoRR abs/0906.4492 (2009)
2008
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BruttomessoCFGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BruttomessoCFGS08
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani:
The MathSAT 4SMT Solver. CAV 2008: 299-303
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiGS08
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Theories. TACAS 2008: 397-412
2007
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BruttomessoCFGHNPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BruttomessoCFGHNPS07
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani:
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. CAV 2007: 547-560
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CimattiGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CimattiGS07
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. SAT 2007: 334-339
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BruttomessoCFGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BruttomessoCFGS06
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani:
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. LPAR 2006: 527-541
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BruttomessoCFGSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BruttomessoCFGSS06
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani:
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). LPAR 2006: 557-571

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.