FERRARI, GIAN-LUIGI Statistiche
FERRARI, GIAN-LUIGI
DIPARTIMENTO DI INFORMATICA
A Context-Oriented Extension of F#.
2015-01-01 Canciani, Andrea; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
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 approach to the engineering of domain-specific distributed systems
2018-01-01 De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F.
A formal approach to the engineering of domain-specific distributed systems
2020-01-01 De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F.
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 Step Towards Checking Security in IoT
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
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 Adaptation: Design, Semantics, and Program Analysis
2016-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Context-Oriented Extension of F#. | 1-gen-2015 | Canciani, Andrea; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
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 approach to the engineering of domain-specific distributed systems | 1-gen-2018 | De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F. | |
A formal approach to the engineering of domain-specific distributed systems | 1-gen-2020 | De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F. | |
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 Step Towards Checking Security in IoT | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
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 Adaptation: Design, Semantics, and Program Analysis | 1-gen-2016 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio |