FERRARI, GIAN-LUIGI Statistiche
FERRARI, GIAN-LUIGI
DIPARTIMENTO DI INFORMATICA
A Coordination-based Methodology for Security Protocol Verification
2005-01-01 G., Baldi; A., Bracciali; Ferrari, GIAN-LUIGI; E., Tuosto
A Debugging Calculus for Mobile Ambients.
2001-01-01 Ferrari, GIAN-LUIGI; Tuosto, E.
A Formal Basis for Reasoning on Programmable QoS
2003-01-01 DE NICOLA, R; Ferrari, GIAN-LUIGI; Montanari, U; Pugliese, R; Tuosto, E.
A formal framework for secure and complying services
2014-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
A G-Local pi-calculus
2011-01-01 Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D.
A Language-based Approach to Autonomic Computing
2013-01-01 De Nicola, R; Ferrari, GIAN-LUIGI; Loreti, M; Pugliese, R.
A Logic for Graphs with QoS
2006-01-01 A., LLUCH LAFUENTE; Ferrari, GIAN-LUIGI
A LTS Semantics of Ambients via Graph Synchronization with Mobility
2001-01-01 Ferrari, GIAN-LUIGI; Montanari, U; Tuosto, E.
A model-checking verification environment for mobile processes
2003-01-01 Ferrari, GIAN-LUIGI; Gnesi, S.; Montanari, UGO GIOVANNI ERASMO; Pistore, M.
A Pi-Calculus with Explicit Substitutions
1996-01-01 Ferrari, GIAN-LUIGI; Montanari, UGO GIOVANNI ERASMO; Quaglia, P.
A Pi-Calculus with Explicit Substitutions: the Late Semantics
1994-01-01 Ferrari, GIAN-LUIGI; Montanari, U; Quaglia, P.
A Process Calculus for QoS-Aware Applications
2005-01-01 DE NICOLA, R; Ferrari, GIAN-LUIGI; Montanari, U; Pugliese, R; Tuosto, E.
A Refinement Calculus for Mobility: Expressing Security Properties
1999-01-01 Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura
A symbolic framework for multi- faceted security protocol analysis
2008-01-01 A., Bracciali; Ferrari, GIAN-LUIGI; E., Tuosto
A Tile-Based Coordination View of Asynchronous pi-Calculus
1997-01-01 Ferrari, GIAN-LUIGI; Montanari, U.
A Two-Component Language for COP
2014-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Two-Phase Static Analysis for Reliable Adaptation
2014-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Le Abilità Informatiche dell'Università di Pisa
2012-01-01 Cerbai, Ilaria; Ferrari, GIAN-LUIGI
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl
2001-01-01 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S.
Ad Hoc Network Applications: Specification, Design and Verification in Mob-adtl
2001-01-01 Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura; Semprini, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Coordination-based Methodology for Security Protocol Verification | 1-gen-2005 | G., Baldi; A., Bracciali; Ferrari, GIAN-LUIGI; E., Tuosto | |
| A Debugging Calculus for Mobile Ambients. | 1-gen-2001 | Ferrari, GIAN-LUIGI; Tuosto, E. | |
| A Formal Basis for Reasoning on Programmable QoS | 1-gen-2003 | DE NICOLA, R; Ferrari, GIAN-LUIGI; Montanari, U; Pugliese, R; Tuosto, E. | |
| A formal framework for secure and complying services | 1-gen-2014 | Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI | |
| A G-Local pi-calculus | 1-gen-2011 | Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D. | |
| A Language-based Approach to Autonomic Computing | 1-gen-2013 | De Nicola, R; Ferrari, GIAN-LUIGI; Loreti, M; Pugliese, R. | |
| A Logic for Graphs with QoS | 1-gen-2006 | A., LLUCH LAFUENTE; Ferrari, GIAN-LUIGI | |
| A LTS Semantics of Ambients via Graph Synchronization with Mobility | 1-gen-2001 | Ferrari, GIAN-LUIGI; Montanari, U; Tuosto, E. | |
| A model-checking verification environment for mobile processes | 1-gen-2003 | Ferrari, GIAN-LUIGI; Gnesi, S.; Montanari, UGO GIOVANNI ERASMO; Pistore, M. | |
| A Pi-Calculus with Explicit Substitutions | 1-gen-1996 | Ferrari, GIAN-LUIGI; Montanari, UGO GIOVANNI ERASMO; Quaglia, P. | |
| A Pi-Calculus with Explicit Substitutions: the Late Semantics | 1-gen-1994 | Ferrari, GIAN-LUIGI; Montanari, U; Quaglia, P. | |
| A Process Calculus for QoS-Aware Applications | 1-gen-2005 | DE NICOLA, R; Ferrari, GIAN-LUIGI; Montanari, U; Pugliese, R; Tuosto, E. | |
| A Refinement Calculus for Mobility: Expressing Security Properties | 1-gen-1999 | Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura | |
| A symbolic framework for multi- faceted security protocol analysis | 1-gen-2008 | A., Bracciali; Ferrari, GIAN-LUIGI; E., Tuosto | |
| A Tile-Based Coordination View of Asynchronous pi-Calculus | 1-gen-1997 | Ferrari, GIAN-LUIGI; Montanari, U. | |
| A Two-Component Language for COP | 1-gen-2014 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| A Two-Phase Static Analysis for Reliable Adaptation | 1-gen-2014 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Le Abilità Informatiche dell'Università di Pisa | 1-gen-2012 | Cerbai, Ilaria; Ferrari, GIAN-LUIGI | |
| Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl | 1-gen-2001 | Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S. | |
| Ad Hoc Network Applications: Specification, Design and Verification in Mob-adtl | 1-gen-2001 | Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura; Semprini, S. |