Giacobazzi, Roberto.
Giacobazzi, Roberto, 1964-....
Roberto Giacobazzi italský odborník v oblasti počítačové vědy
VIAF ID: 70007478 ( Personal )
Permalink: http://viaf.org/viaf/70007478
Preferred Forms
-
-
-
- 100 1 _ ‡a Giacobazzi, Roberto
- 100 1 _ ‡a Giacobazzi, Roberto
-
- 100 1 _ ‡a Giacobazzi, Roberto ‡d 1964-
-
- 100 1 _ ‡a Giacobazzi, Roberto, ‡d 1964-....
-
- 100 0 _ ‡a Roberto Giacobazzi ‡c italský odborník v oblasti počítačové vědy
Works
Title | Sources |
---|---|
Analyse statique des propriétés numériques et structurelles du tableau. | |
Analyses de pointeurs et logique de séparation | |
Analyses totales de programmes par interprétation abstraite : application au langage C++ | |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday | |
Atteignabilité robuste et comptage de modèles pour la sécurité logicielle. | |
Formal and exact reduction for differential models of signalling pathways in rule-based languages | |
Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes | |
Improving execution models of logic programs by two-phase abstract interpretation | |
Réduction formelle et exacte de modèles différentiels de voies de signalisation en Kappa. | |
Robust reachability and model counting for software security | |
SAS 2004 | |
Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings | |
Static analysis on numeric and structural properties of array contents | |
Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings |