Gianluca Redondi

Orcid: 0000-0002-2856-5236

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Invariant Checking for SMT-Based Systems with Quantifiers.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2024

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking.

[BibT_eX]

[DOI]

Alessandro Cimatti

Alberto Griggio

Gianluca Redondi

CoRR, 2024

2022

Verification of SMT Systems with Quantifiers.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

Alessandro Cimatti

Alberto Griggio

Gianluca Redondi

Proceedings of the Automated Deduction - CADE 28, 2021

Gianluca Redondi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...