Gian-Luigi Ferrari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
38
Venues
20
Active years
1990–2024
Best venue rank
A*
Where they publish
Papers
38 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISoLA | Klaim in the Making. | Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto |
| 2024 | ISoLA | Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING. | Francesco Rubino, Chiara Bodei, Gian-Luigi Ferrari |
| 2022 | CCGRID | Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations. | Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi |
| 2021 | FORTE | Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. | Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico |
| 2018 | Coordination | A Formal Approach to the Engineering of Domain-Specific Distributed Systems. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi |
| 2017 | PACT | Experimenting with a Context-Aware Language. | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2016 | Coordination | Where Do Your IoT Ingredients Come From? | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2016 | FORTE | Playing with Our CAT and Communication-Centric Applications. | Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto |
| 2014 | ECOOP | A Two-Component Language for COP. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2014 | SEFM | A Two-Phase Static Analysis for Reliable Adaptation. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2013 | PACT | Secure and Unfailing Services. | Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2012 | Coordination | Types for Coordinating Secure Behavioural Variations. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti |
| 2011 | PACT | On Quantitative Security Policies. | Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti |
| 2009 | ICTAC | Untitled record | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2008 | FORTE | Checking Correctness of Transactional Behaviors. | Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
| 2007 | FOSSACS | Types and Effects for Resource Usage Analysis. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2006 | FORTE | JSCL: A Middleware for Service Coordination. | Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
| 2006 | ICSOC | Event Based Service Coordination over Dynamic and Heterogeneous Networks. | Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
| 2005 | CALCO | Modelling Fusion Calculus using HD-Automata. | Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Bjrn Victor, Kidane Yemane |
| 2005 | Coordination | A Process Calculus for QoS-Aware Applications. | Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
| 2005 | FOSSACS | History-Based Access Control with Local Policies. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2005 | FOSSACS | Model Checking for Nominal Calculi. | Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto |
| 2005 | POPL | Policy framings for access control. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2004 | EuroPar | Topic 15: Mobile Computing. | Sajal K. Das, Jiannong Cao, Jie Wu, Gian-Luigi Ferrari |
| 2002 | FOSSACS | Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. | Gian-Luigi Ferrari, Ugo Montanari, Marco Pistore |
| 2002 | PDPTA | Security and Dynamic Compositions of Open Systems. | Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto |
| 2001 | SAC | A debugging calculus for mobile ambients. | Gian-Luigi Ferrari, Emilio Tuosto |
| 2000 | CONCUR | Programming Access Control: The KLAIM Experience. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese |
| 2000 | Coordination | Mobile Agents Coordination in Mob | Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini |
| 1998 | CAV | Verifying Mobile Processes in the HAL Environment. | Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
| 1998 | WETICE | Interactive Mobile Agents in X-Klaim. | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari |
| 1997 | Coordination | Coordinating Mobile Agents via Blackboards and Access Rights. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese |
| 1997 | MFCS | A Tile-Based Coordination View of Asynchronous pi-Calculus. | Gian-Luigi Ferrari, Ugo Montanari |
| 1997 | TACAS | An Automated Based Verification Environment for Mobile Processes. | Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
| 1995 | CONCUR | The Weak Late pi-Calculus Semantics as Observation Equivalence. | Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia |
| 1994 | MFCS | A Pi-Calculus with Explicit Substitutions: the Late Semantics. | Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia |
| 1991 | CONCUR | The Observation Algebra of Spatial Pomsets. | Gian-Luigi Ferrari, Ugo Montanari |
| 1990 | POPL | Implicative Formulae in the "Proofs as Computations" Analogy. | Andrea Asperti, Gian-Luigi Ferrari, Roberto Gorrieri |