Roberto Giacobazzi

Identifiers

• name variant Roberto Giacobazzi 0.60 · backfill

Papers (4)

1. Sound up-to techniques and Complete abstract domains cs.LO · 2018 · author #3
2. SEA: String Executability Analysis by Abstract Interpretation cs.PL · 2017 · author #3
3. Correctness Kernels of Abstract Interpretations cs.PL · 2009 · author #1
4. Incompleteness of States w.r.t. Traces in Model Checking cs.LO · 2004 · author #1

Mentions

• 0910.4748 #1 · backfill · confidence 0.70 Roberto Giacobazzi

Frequent Coauthors

• Francesco Ranzato 2 shared papers
• Dusko Pavlovic 1 shared papers
• Filippo Bonchi 1 shared papers
• Isabella Mastroeni 1 shared papers
• Mila Dalla Preda 1 shared papers
• Pierre Ganty 1 shared papers
• Vincenzo Arceri 1 shared papers