Concepedia

Giorgio Delzanno

GD

34

Publications

800

Citations

17

H-Index

1963

Active since

Affiliations

University of Genoa(Current)

Uppsala University

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Université Paris Cité

Ingegneria dei Sistemi (Italy)

Giorgio Delzanno is an author at University of Genoa specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationFormal SpecificationSystems EngineeringProgram AnalysisSoftware Analysis

Publications per year

1963–2022

34

Publications

34

Constraint-based deductive model checking

Giorgio Delzanno, Andreas Podelski · International Journal on Software Tools for Technology Transfer · 2001 · 76 citations

Constraint Solving, Engineering, Automated Reasoning +8

Constraint-Based Verification of Parameterized Cache Coherence Protocols

Giorgio Delzanno · Formal Methods in System Design · 2003 · 72 citations

Model Checking in CLP

Giorgio Delzanno, Andreas Podelski · 1999 · 66 citations

On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks

Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 39 citations · Full text

Engineering, Reachability Problem, Verification +19

Angiography in Traumatic Cerebral Lacerations with Special Regard to Some Less Common Aspects

F Columella, Giorgio Delzanno, G. Gaist et al. · Acta Radiologica Diagnosis · 1963 · 33 citations

Trauma Imaging, Traumatic Brain Injury, Less Common Aspects +10

Rows per page

1–5 of 34