Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alberto Griggio

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ahmed Irfan

> Home > Persons > Alberto Griggio

Publications

2022
[j15]
- view
  - electronic edition via DOI (open access)
  - references & 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)
2021
[c52]
- view
  - electronic edition via DOI (open access)
  - references & 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)
  - references & 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
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & 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)
2019
[c44]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- 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
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)
[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
[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)
  - references & 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)
  - references & 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
[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
[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
[c34]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- 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

a service of

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.