Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Gian-Luigi Ferrari 0002

Gianluigi Ferrari 0002

> Home > Persons

Person information

affiliation: University of Pisa, Computer Science Department

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fi/BocciFGFB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fi/BocciFGFB23
Alessandro Bocci, Stefano Forti, Roberto Guanciale, Gian-Luigi Ferrari, Antonio Brogi:
Secure Partitioning of Cloud Applications, with Cost Look-Ahead. Future Internet 15(7): 224 (2023)
2021
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/computing/BocciFFB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/BocciFFB21
Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi:
Secure FaaS orchestration in the fog: how far are we? Computing 103(5): 1025-1056 (2021)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/BodeiDFG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/BodeiDFG21
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Modelling and analysing IoT systems. J. Parallel Distributed Comput. 157: 233-242 (2021)
2020
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/FortiFB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/FortiFB20
Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi:
Secure Cloud-Edge Deployments, with Trust. Future Gener. Comput. Syst. 102: 775-788 (2020)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/NicolaFPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/NicolaFPT20
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111: 100511 (2020)
[j31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BasileBDLFGG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BasileBDLFGG20
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187: 102344 (2020)
2019
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/BodeiDFG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/BodeiDFG19
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Programming in a context-aware language. J. Supercomput. 75(12): 7750-7764 (2019)
2017
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/DeganoFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/DeganoFM17
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti:
Regular and context-free nominal traces. Acta Informatica 54(4): 399-433 (2017)
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BodeiDFG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BodeiDFG17
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Tracing where IoT data are collected and aggregated. Log. Methods Comput. Sci. 13(3) (2017)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BodeiDF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BodeiDF17
Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari:
Checking global usage of resources handled with local policies. Sci. Comput. Program. 133: 20-50 (2017)
2016
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BasileDF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BasileDF16
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari:
Automata for Specifying and Orchestrating Service Contracts. Log. Methods Comput. Sci. 12(4) (2016)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BasileDFT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BasileDFT16
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto:
Relating two automata-based models of orchestration and choreography. J. Log. Algebraic Methods Program. 85(3): 425-446 (2016)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DeganoFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DeganoFG16
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis. IEEE Trans. Software Eng. 42(6): 505-529 (2016)
2015
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BartolettiDFZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BartolettiDFZ15
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Model checking usage policies. Math. Struct. Comput. Sci. 25(3): 710-763 (2015)
2014
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/BasileDF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/BasileDF14
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari:
A formal framework for secure and complying services. J. Supercomput. 69(1): 43-52 (2014)
2013
[j21]
- view
  - electronic edition @ ejlt.org
  - no references & citations available
- export record
  dblp key:
  - journals/jilt/BodeiDGMF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jilt/BodeiDGMF13
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, Gianluigi Ferrari:
Security in Pervasive Applications: A Survey. Eur. J. Law Technol. 4(2) (2013)
2010
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CianciaFGS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CianciaFGS10
Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Event based choreography. Sci. Comput. Program. 75(10): 848-878 (2010)
2009
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BartolettiDF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BartolettiDF09
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Planning and verifying service composition. J. Comput. Secur. 17(5): 799-837 (2009)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BartolettiDFZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BartolettiDFZ09
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6): 23:1-23:43 (2009)
2008
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/FerrariGST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/FerrariGST08
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Debugging Distributed Systems with Causal Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/BraccialiFT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/BraccialiFT08
Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto:
A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BartolettiDFZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BartolettiDFZ08
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34(1): 33-49 (2008)
2005
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FerrariMT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FerrariMT05
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. Theor. Comput. Sci. 331(2-3): 325-365 (2005)
2004
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/BartolettiDF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/BartolettiDF04
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Stack inspection and secure program transformations. Int. J. Inf. Sec. 2(3-4): 187-217 (2004)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FerrariMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FerrariMP04
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. 14(3): 367-395 (2004)
2003
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FerrariGMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FerrariGMP03
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore:
A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003)
2002
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/FerrariMSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/FerrariMSS02
Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini:
Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9(2): 137-150 (2002)
2001
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CorradiniFP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CorradiniFP01
Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore:
On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
2000
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FerrariM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FerrariM00
Gian-Luigi Ferrari, Ugo Montanari:
Tile Formats for Located and Mobile Systems. Inf. Comput. 156(1-2): 173-235 (2000)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NicolaFPV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NicolaFPV00
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Betti Venneri:
Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000)
1998
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FerrariM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FerrariM98
Gian-Luigi Ferrari, Ugo Montanari:
Parameterized Structured Operational Semantics. Fundam. Informaticae 34(1-2): 1-31 (1998)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/NicolaFP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/NicolaFP98
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng. 24(5): 315-330 (1998)
1997
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Ferrari97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Ferrari97
Gian-Luigi Ferrari:
Atomicity and Concurrency Control in Process Calculi. Fundam. Informaticae 29(4): 341-368 (1997)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FerrariMM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FerrariMM97
Gian-Luigi Ferrari, Ugo Montanari, Miranda Mowbray:
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. Math. Struct. Comput. Sci. 7(3): 241-282 (1997)
1996
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FerrariMQ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FerrariMQ96
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168(1): 53-103 (1996)
1990
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DeglInnocentiFPT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DeglInnocentiFPT90
Michela Degl'Innocenti, Gian-Luigi Ferrari, Giuliano Pacini, Franco Turini:
RSF: A Formalism for Executable Requirement Specifications. IEEE Trans. Software Eng. 16(11): 1235-1246 (1990)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/ccgrid/Bocci0FB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccgrid/Bocci0FB22
Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi:
Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations. CCGRID 2022: 798-805
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/BocciGFFB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/BocciGFFB22
Alessandro Bocci, Roberto Guanciale, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi:
Secure Partitioning of Composite Cloud Applications. ESOCC 2022: 47-64
2021
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BasileBDLFGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BasileBDLFGG21
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE 2021: 177-181
[c103]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/itasec/Bocci0FB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/Bocci0FB21
Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi:
Placing FaaS in the Fog, Securely. ITASEC 2021: 166-179
2020
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BodeiDFG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BodeiDFG15
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Security Metrics at Work on the Things in IoT Systems. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 233-255
2019
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BasilePTDF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BasilePTDF19
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari:
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back 2019: 131-151
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BodeiDFG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BodeiDFG19
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Revealing the Trajectories of KLAIM Tuples, Statically. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 437-454
2018
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaFPT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaFPT18
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION 2018: 110-141
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/BrogiF018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/BrogiF018
Antonio Brogi, Gian-Luigi Ferrari, Stefano Forti:
Secure Apps in the Fog: Anything to Declare? ESOCC Workshops 2018: 46-61
2017
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/pact/BodeiDFG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pact/BodeiDFG17
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Experimenting with a Context-Aware Language. PaCT 2017: 3-17
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/BasileGGDF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BasileGGDF17
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari:
Specifying variability in service contracts. VaMoS 2017: 20-27
2016
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BodeiDFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BodeiDFG16
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Last Mile's Resources. Semantics, Logics, and Calculi 2016: 33-53
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BodeiDFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BodeiDFG16
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Where Do Your IoT Ingredients Come From? COORDINATION 2016: 35-50
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BasileDFT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BasileDFT16
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto:
Playing with Our CAT and Communication-Centric Applications. FORTE 2016: 62-73
[c92]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DeganoFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DeganoFG16
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Event-driven Adaptation in COP. PLACES 2016: 37-45
[c91]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BodeiDFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BodeiDFG16
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
A Step Towards Checking Security in IoT. ICE 2016: 128-142
2015
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BodeiFP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BodeiFP15
Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami:
Pierpaolo Degano. Programming Languages with Applications to Biology and Security 2015: 1-6
[c89]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CancianiDFG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CancianiDFG15
Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
A Context-Oriented Extension of F#. FOCLASA 2015: 18-32
2014
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/DeganoFG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DeganoFG14
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
A Two-Component Language for COP. COP@ECOOP 2014: 6:1-6:7
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/DeganoFG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/DeganoFG14
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
A Two-Phase Static Analysis for Reliable Adaptation. SEFM 2014: 347-362
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BasileDF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BasileDF14
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari:
Automata for Analysing Service Contracts. TGC 2014: 34-50
[c85]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BasileDFT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BasileDFT14
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto:
From Orchestration to Choreography through Contract Automata. ICE 2014: 67-85
2013
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/pact/BasileDF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pact/BasileDF13
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari:
Secure and Unfailing Services. PaCT 2013: 167-181
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/DeganoFM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/DeganoFM13
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti:
Towards Nominal Context-Free Model-Checking. CIAA 2013: 109-121
2012
[c82]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cisim/BodeiDFGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cisim/BodeiDFGM12
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Formalising Security in Ubiquitous and Cloud Scenarios. CISIM 2012: 1-29
[c81]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/DeganoFGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/DeganoFGM12
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Types for Coordinating Secure Behavioural Variations. COORDINATION 2012: 261-276
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/DeganoFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/DeganoFM12
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti:
Nominal Automata for Resource Usage Control. CIAA 2012: 125-137
[c79]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-6332
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-6332
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Typing Context-Dependent Behavioural Variation. PLACES 2012: 28-33
2011
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/NicolaFLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/NicolaFLP11
Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/pact/DeganoFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pact/DeganoFM11
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti:
On Quantitative Security Policies. PaCT 2011: 23-39
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BruniCFFGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BruniCFFGS11
Roberto Bruni, Andrea Corradini, Gian-Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo:
Applying Process Analysis to the Italian eGovernment Enterprise Architecture. WS-FM 2011: 111-127
[c75]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0231
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0231
Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari:
Predicting global usages of resources endowed with local policies. FOCLASA 2011: 49-64
2010
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/FerrariGST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/FerrariGST10
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions: A Case Study. TGC 2010: 318-334
[c73]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5568
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5568
Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari:
Safer in the Clouds (Extended Abstract). ICE 2010: 45-49
2009
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BartolettiDFZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BartolettiDFZ09
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BodeiF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BodeiF09
Chiara Bodei, Gian-Luigi Ferrari:
Choreography Rehearsal. WS-FM 2009: 29-45
2008
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FerrariGST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FerrariGST08
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Event-Based Service Coordination. Concurrency, Graphs and Models 2008: 312-329
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Ferrari08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Ferrari08
Gian-Luigi Ferrari:
Ugo Montanari and Software Verification. Concurrency, Graphs and Models 2008: 618-624
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CianciaFPT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CianciaFPT08
Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto:
History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641
[c67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/CianciaFGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CianciaFGS08
Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Checking Correctness of Transactional Behaviors. FORTE 2008: 134-148
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BartolettiDFZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BartolettiDFZ08
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Model Checking Usage Policies. TGC 2008: 19-35
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/FerrariGST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/FerrariGST08
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions. WS-FM 2008: 127-142
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartolettiDFZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartolettiDFZ09
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Hard Life with Weak Binders. EXPRESS 2008: 49-72
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CianciaFGS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CianciaFGS10
Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Global Coordination Policies for Services. FACS 2008: 73-89
2007
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/FerrariGST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FerrariGST07
Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Coordination Via Types in an Event-Based Framework. FORTE 2007: 66-80
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/BartolettiDFZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/BartolettiDFZ07
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Secure Service Orchestration. FOSAD 2007: 24-74
[c60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BartolettiDFZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BartolettiDFZ07
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47
[c59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CianciaF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CianciaF07
Vincenzo Ciancia, Gian-Luigi Ferrari:
Co-Algebraic Models for Quantitative Spatial Logics. QAPL 2007: 43-58
2006
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BartolettiDF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BartolettiDF06
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/FerschaSFI06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/FerschaSFI06
Alois Ferscha, Alexander Schill, Gianluigi Ferrari, Valérie Issarny:
Topic 14: Mobile and Ubiquitous Computing. Euro-Par 2006: 897
[c56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/BartolettiDF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BartolettiDF06
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Security Issues in Service Composition. FMOODS 2006: 1-16
[c55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/FerrariGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FerrariGS06
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
JSCL: A Middleware for Service Coordination. FORTE 2006: 46-60
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/FerrariGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/FerrariGS06
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Event Based Service Coordination over Dynamic and Heterogeneous Networks. ICSOC 2006: 453-458
2005
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/FerrariMTVY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/FerrariMTVY05
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane:
Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaFMPT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaFMPT05
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BartolettiDF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BartolettiDF05
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Enforcing Secure Service Composition. CSFW 2005: 211-223
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/epew/BruniFMMST05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epew/BruniFMMST05
Roberto Bruni, Gian-Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto:
From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM 2005: 272-286
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/FerrariHLMT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/FerrariHLMT05
Gian-Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto:
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. FMCO 2005: 22-43
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/FerrariMT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/FerrariMT05
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BartolettDF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BartolettDF05
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcs/BartolettiDF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/BartolettiDF05
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BartolettiDF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BartolettiDF05
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Policy framings for access control. WITS 2005: 5-11
2004
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/DasCWF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/DasCWF04
Sajal K. Das, Jiannong Cao, Jie Wu, Gian-Luigi Ferrari:
Topic 15: Mobile Computing. Euro-Par 2004: 916
[c43]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/FerrariGMRTT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/FerrariGMRTT04
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto:
Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldamusBFR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldamusBFR04
Michael Baldamus, Jesper Bengtson, Gian-Luigi Ferrari, Roberto Raggi:
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. WSFM 2004: 11-20
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldiBFT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldiBFT05
Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari, Emilio Tuosto:
A Coordination-based Methodology for Security Protocol Verification. WISP@ICATPN 2004: 23-46
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariL06
Gianluigi Ferrari, Alberto Lluch-Lafuente:
A Logic for Graphs with QoS. VODCA@FOSAD 2004: 143-160
2003
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaFMPT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaFMPT03
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice 2003: 436-479
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/global/BettiniBNFGLMPTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri:
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcs/BartolettiDF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/BartolettiDF03
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Security-Aware Program Transformations. ICTCS 2003: 355-368
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartolettiDF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartolettiDF04
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Program Transformations under Dynamic Security Policies. MEFISTO 2003: 49-86
2002
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/FerrariMRT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/FerrariMRT02
Gian-Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto:
From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/FerrariMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/FerrariMP02
Gian-Luigi Ferrari, Ugo Montanari, Marco Pistore:
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158
[c33]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pdpta/BraccialiBFT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/BraccialiBFT02
Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto:
Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/unu/FerrariMT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/FerrariMT02
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariMP02
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Guardians for Ambient-based Monitoring. F-WAN@ICALP 2002: 52-75
2001
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcs/FerrariMT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/FerrariMT01
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FerrariT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FerrariT01
Gian-Luigi Ferrari, Emilio Tuosto:
A debugging calculus for mobile ambients. SAC 2001
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/saig/FerrariMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/FerrariMP01
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariMP01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariMP01a
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Global Types and Network Services. ConCoord 2001: 35-48
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BraccialiBFT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BraccialiBFT01
Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto:
Security Issues in Component-based Design. ConCoord 2001: 49-57
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariMP01
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Higher-Order Types and Meta-Programming for Global Computing. TOSCA 2001: 52-68
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartolettiDF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartolettiDF01
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Static Analysis for Stack Inspection. ConCoord 2001: 69-80
2000
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NicolaFP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NicolaFP00
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/FerrariMSS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/FerrariMSS00
Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini:
Mobile Agents Coordination in Mob_adtl. COORDINATION 2000: 232-248
[c21]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/woa/BettiniNFP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/BettiniNFP00
Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Mobile Applications in X-KLAIM. WOA 2000: 1-6
[c20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/woa/FerrariPT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/FerrariPT00
Gian-Luigi Ferrari, Rosario Pugliese, Emilio Tuosto:
Calculi for Network Aware Programming. WOA 2000: 23-28
1999
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/NicolaFP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/NicolaFP99
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Types as Specifications of Access Policies. Secure Internet Programming 1999: 118-146
1998
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FerrariGMPR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FerrariGMPR98
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/BettiniNPF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/BettiniNPF98
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari:
Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117
1997
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaFP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaFP97
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION 1997: 220-237
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/FerrariM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/FerrariM97
Gian-Luigi Ferrari, Ugo Montanari:
A Tile-Based Coordination View of Asynchronous pi-Calculus. MFCS 1997: 52-70
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FerrariFGMPR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FerrariFGMPR97
Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/NicolaFP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/NicolaFP97
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Locality Based Linda: Programming with Explicit Localities. TAPSOFT 1997: 712-726
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CorradiniFP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CorradiniFP97
Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore:
Eager, busy-waiting and lazy actions in timed computation? EXPRESS 1997: 96-114
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariM97
Gian-Luigi Ferrari, Ugo Montanari:
Tiles for concurrent and located calculi? EXPRESS 1997: 115-140
1995
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/FerrariM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/FerrariM95
Gian-Luigi Ferrari, Ugo Montanari:
Dynamic Matrices and the Cost Analysis of Concurrent Programs. AMAST 1995: 307-321
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FerrariMQ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FerrariMQ95
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71
1994
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/FerrariMQ94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/FerrariMQ94
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351
1991
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FerrariM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FerrariM91
Gian-Luigi Ferrari, Ugo Montanari:
The Observation Algebra of Spatial Pomsets. CONCUR 1991: 188-202
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Ferrari91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Ferrari91
Gian-Luigi Ferrari:
On Causality Observed Incrementally, Finally. TAPSOFT, Vol.1 1991: 26-41
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/FerrariGM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/FerrariGM91
Gian-Luigi Ferrari, Roberto Gorrieri, Ugo Montanari:
An Extended Expansion Theorem. TAPSOFT, Vol.2 1991: 29-48
1990
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/FerrariM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/FerrariM90
Gian-Luigi Ferrari, Ugo Montanari:
Towards the Unification of Models for Concurrency. CAAP 1990: 162-176
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/NicolaF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/NicolaF90
Rocco De Nicola, Gian-Luigi Ferrari:
Observational Logics and Concurrency Models. FSTTCS 1990: 301-315
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/litp/CorradiniFM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/CorradiniFM90
Andrea Corradini, Gian-Luigi Ferrari, Ugo Montanari:
Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes 1990: 185-222
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AspertiFG90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AspertiFG90
Andrea Asperti, Gian-Luigi Ferrari, Roberto Gorrieri:
Implicative Formulae in the "Proofs as Computations" Analogy. POPL 1990: 59-71

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2011
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/BartolettiDFZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/BartolettiDFZ11
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Call-by-Contract for Service Discovery, Orchestration and Recovery. Results of the SENSORIA Project 2011: 232-261
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/CianciaFGST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/CianciaFGST11
Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Model-Driven Development of Long Running Transactions. Results of the SENSORIA Project 2011: 326-348

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2015
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2015degano
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2015degano
Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami:
Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9465, Springer 2015, ISBN 978-3-319-25526-2 [contents]
2004
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2004
Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith:
Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings. Lecture Notes in Computer Science 2949, Springer 2004, ISBN 3-540-21044-X [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2019
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-05347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-05347
Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi:
Secure Cloud-Edge Deployments, with Trust. CoRR abs/1901.05347 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-01289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-01289
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR abs/1912.01289 (2019)
2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BodeiDFG16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BodeiDFG16a
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Tracing where IoT data are collected and aggregated. CoRR abs/1610.08419 (2016)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.