Gilberto Filé

53 papers A* 4A 4B 6C 2Journal 19Unranked 17
YearRankTypeTitle / Venue / Authors
2018 J jnl
Whac-A-Mole: Smart node positioning in clone attack in wireless sensor networks.
Comput. Commun.
Wafa Ben Jaballah, Mauro Conti, Gilberto Filé, Mohamed Mosbah, Akka Zemmari
2009 A conf
Expressive Power of Definite Clauses for Verifying Authenticity.
CSF
Gilberto Filé, Roberto Vigo
2007 B ed.
Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
SAS
Hanne Riis Nielson, Gilberto Filé
2004 — conf
Precise Analysis of π-Calculus in Cubic Time.
IFIP TCS
Livio Colussi, Gilberto Filé, Alberto Griggio
2003 J jnl
Static Analysis.
Sci. Comput. Program.
Agostino Cortesi, Gilberto Filé
1999 C conf
A Simple and General Method for Integrating Abstract Interpretation in SICStus.
PPDP
Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti
1999 J jnl
Sharing is Optimal.
J. Log. Program.
Agostino Cortesi, Gilberto Filé
1999 B ed.
Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings
SAS
Agostino Cortesi, Gilberto Filé
1999 J jnl
The Powerset Operator on Abstract Interpretations.
Theor. Comput. Sci.
Gilberto Filé, Francesco Ranzato
1998 J jnl
The Quotient of an Abstract Interpretation.
Theor. Comput. Sci.
Agostino Cortesi, Gilberto Filé, William H. Winsborough
1997 B conf
Abstract Interpretation from Improving WAM Code.
SAS
Dante Baldan, Gilberto Filé
1997 J jnl
Complementation in Abstract Interpretation.
ACM Trans. Program. Lang. Syst.
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
1997 — conf
Verification, Model Checking and Abstract Interpretation (Workshop Overview).
ILPS
Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori
1996 J jnl
A Unifying View of Abstract Domain Design.
ACM Comput. Surv.
Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato
1996 — conf
Complementation of Abstract Domains made Easy.
JICSLP
Gilberto Filé, Francesco Ranzato
1996 J jnl
On the Design of a Correct Freeness Analysis for Logic Programs.
J. Log. Program.
Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
1996 J jnl
Optimal Groundness Analysis Using Propositional Logic.
J. Log. Program.
Agostino Cortesi, Gilberto Filé, William H. Winsborough
1995 B conf
Complementation in Abstract Interpretation
SAS
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
1995 — conf
Semmantic Properties of CHIP (FD).
Constraint Processing, Selected Papers
Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco
1994 — conf
Improving Abstract Interpretations by Systematic Lifting to the Powerset.
GULP-PRODE (1)
Gilberto Filé, Francesco Ranzato
1994 — conf
Improving Abstract Interpretations by Systematic Lifting to the Powerset.
ILPS
Gilberto Filé, Francesco Ranzato
1994 — conf
The Quotient of an Abstract Interpretation for Comparing Static Analyses.
GULP-PRODE (1)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
1993 — conf
An Operational Semantics for CHIP.
GULP
Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco
1993 — conf
Comparison and design of abstract domains for sharing analysis.
GULP
Agostino Cortesi, Gilberto Filé
1993 B conf
Freeness Analysis for Logic Programs - And Correctness?
ICLP
Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
1993 J jnl
Graph Properties for Normal Logic Programs.
Theor. Comput. Sci.
Agostino Cortesi, Gilberto Filé
1993 — conf
Static Analysis of Prolog with Cut.
GULP
Gilberto Filé, Sabina Rossi
1993 B conf
Static Analysis of Prolog with Cut.
LPAR
Gilberto Filé, Sabina Rossi
1993 — ed.
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings
WSA
Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy
1992 A* conf
Comparison of Abstract Interpretations.
ICALP
Agostino Cortesi, Gilberto Filé, William H. Winsborough
1992 — conf
Computations, abstractions and constraints in logic programs.
ICCL
Philippe Codognet, Gilberto Filé
1991 — conf
Abstract Interpretation for Type Checking.
PLILP
Gilberto Filé, P. Sottero
1991 C conf
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis.
PEPM
Agostino Cortesi, Gilberto Filé
1991 — conf
Computations, Abstractions and Constraints (abstract).
JTASPEFT/WSA
Philippe Codognet, Gilberto Filé
1991 A* conf
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis
LICS
Agostino Cortesi, Gilberto Filé, William H. Winsborough
1989 J jnl
Passes, sweeps, and visits in attribute grammars.
J. ACM
Joost Engelfriet, Gilberto Filé
1989 J jnl
The Relation of Two Patterns With Comparable Languages Patterns.
RAIRO Theor. Informatics Appl.
Gilberto Filé
1988 J jnl
A completeness result for SLDNF resoultion.
Bull. EATCS
Stefano Baratella, Gilberto Filé
1988 A conf
The Relation of Two Patterns with Comparable Languages.
STACS
Gilberto Filé
1988 — conf
Yet Another Intelligent Backtracking Method.
ICLP/SLP
Christian Codognet, Philippe Codognet, Gilberto Filé
1988 — conf
Yet another intelligent Backtracking method.
SPLT
Christian Codognet, Philippe Codognet, Gilberto Filé
1987 J jnl
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures.
Theor. Comput. Sci.
Gilberto Filé
1986 A conf
A Very Intelligent Backtracking Method for Logic Programs.
ESOP
Christian Codognet, Philippe Codognet, Gilberto Filé
1986 — conf
Backtracking intelligent en programmation logique.
SPLT
Christian Codognet, Philippe Codognet, Gilberto Filé
1986 — conf
Classical and Incremental Evaluators for Attribute Grammars.
CAAP
Gilberto Filé
1986 J jnl
Machines for Attribute Grammars
Inf. Control.
Gilberto Filé
1985 A conf
Tree Automata and Logic Programs.
STACS
Gilberto Filé
1983 J jnl
Interpretation and Reduction of Attribute Grammars.
Acta Informatica
Gilberto Filé
1982 J jnl
Simple Multi-Visit Attribute Grammars.
J. Comput. Syst. Sci.
Joost Engelfriet, Gilberto Filé
1981 J jnl
Passes and Paths of Attributive Grammars
Inf. Control.
Joost Engelfriet, Gilberto Filé
1981 A* conf
Passes, Sweeps and Visits.
ICALP
Joost Engelfriet, Gilberto Filé
1981 J jnl
The Formal Power of One-Visit Attribute Grammars.
Acta Informatica
Joost Engelfriet, Gilberto Filé
1980 A* conf
Formal Properties of One-Visit and Multi-Pass Attribute Grammars.
ICALP
Joost Engelfriet, Gilberto Filé