Travelled to:1 × Italy
1 × The Netherlands
1 × United Kingdom
2 × Canada
2 × France
2 × Portugal
2 × USA
Collaborated with:P.Degano U.Montanari E.Tuosto M.Pistore G.Mezzetti R.Pugliese R.Gorrieri M.Bartoletti V.Ciancia ∅ S.Gnesi G.Ristori L.Galletta E.Moggi A.Asperti R.D.Nicola R.Zunino G.Ferro
Talks about:nomin (3) model (3) mobil (3) local (3) base (3) resourc (2) program (2) process (2) environ (2) control (2)
Person: Gian Luigi Ferrari
DBLP: Ferrari:Gian_Luigi
Contributed to:
2014
20132012
2007
200720052002
2001
2001
1998
1997
1990
199119911997Wrote 16 papers:
- SEFM-2014-DeganoFG #adaptation #reliability #static analysis
- A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.
- CIAA-2013-DeganoFM #model checking #towards
- Towards Nominal Context-Free Model-Checking (PD, GLF, GM), pp. 109–121.
- CIAA-2012-DeganoFM #automaton #resource management
- Nominal Automata for Resource Usage Control (PD, GLF, GM), pp. 125–137.
- FoSSaCS-2007-BartolettiDFZ #analysis #resource management
- Types and Effects for Resource Usage Analysis (MB, PD, GLF, RZ), pp. 32–47.
- QAPL-2007-CianciaF #algebra #logic #modelling
- Co-Algebraic Models for Quantitative Spatial Logics (VC, GLF), pp. 43–58.
- FoSSaCS-2005-BartolettDF #data access #policy
- History-Based Access Control with Local Policies (MB, PD, GLF), pp. 316–332.
- FoSSaCS-2005-FerrariMT #calculus #model checking
- Model Checking for Nominal Calculi (GLF, UM, ET), pp. 1–24.
- FoSSaCS-2002-FerrariMP #algebra #calculus
- Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation (GLF, UM, MP), pp. 129–158.
- SAC-2001-FerrariT #calculus #debugging #mobile
- A debugging calculus for mobile ambients (GLF, ET).
- SAIG-2001-FerrariMP #metaprogramming #named
- MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.
- CAV-1998-FerrariGMPR #mobile #process #verification
- Verifying Mobile Processes in the HAL Environment (GLF, SG, UM, MP, GR), pp. 511–515.
- TACAS-1997-FerrariFGMPR #automation #mobile #process #verification
- An Automated Based Verification Environment for Mobile Processes (GLF, GF, SG, UM, MP, GR), pp. 275–289.
- POPL-1990-AspertiFG #proving
- Implicative Formulae in the “Proofs as Computations” Analogy (AA, GLF, RG), pp. 59–71.
- ADC-1991-FerrariGM #theorem
- An Extended Expansion Theorem (GLF, RG, UM), pp. 29–48.
- CAAP-1991-Ferrari #incremental #on the
- On Causality Observed Incrementally, Finally (GLF), pp. 26–41.
- TAPSOFT-1997-NicolaFP #locality #programming
- Locality Based Linda: Programming with Explicit Localities (RDN, GLF, RP), pp. 712–726.