We stand with Ukraine  

Gianluca Redondi

Orcid: 0000-0002-2856-5236

According to our database1, Gianluca Redondi authored at least 4 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking.
[BibTeX]
[DOI]
Alessandro Cimatti
,
Alberto Griggio
,
Gianluca Redondi
CoRR, 2024

Invariant Checking for SMT-based Systems with Quantifiers.
[BibTeX]
[DOI]
Gianluca Redondi
,
Alessandro Cimatti
,
Alberto Griggio
,
Kenneth McMillan
CoRR, 2024

2022
Verification of SMT Systems with Quantifiers.
[BibTeX]
[DOI]
Alessandro Cimatti
,
Alberto Griggio
,
Gianluca Redondi
Proceedings of the Automated Technology for Verification and Analysis, 2022

2021
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning.
[BibTeX]
[DOI]
Alessandro Cimatti
,
Alberto Griggio
,
Gianluca Redondi
Proceedings of the Automated Deduction - CADE 28, 2021


  Loading...