Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGian Luigi Ferrari
GianLuigi Ferrari
Person information
- affiliation: University of Pisa, Computer Science Department
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c106]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]Alessandro Bocci, Roberto Guanciale, Stefano Forti, Gian Luigi Ferrari, Antonio Brogi:
Secure Partitioning of Composite Cloud Applications. ESOCC 2022: 47-64 - 2021
- [j35]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]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Modelling and analysing IoT systems. J. Parallel Distributed Comput. 157: 233-242 (2021) - [c104]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]Alessandro Bocci, Stefano Forti, Gian Luigi Ferrari, Antonio Brogi:
Placing FaaS in the Fog, Securely. ITASEC 2021: 166-179 - 2020
- [j33]Stefano Forti, Gian Luigi Ferrari, Antonio Brogi:
Secure Cloud-Edge Deployments, with Trust. Future Gener. Comput. Syst. 102: 775-788 (2020) - [j32]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]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) - [c102]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
2010 – 2019
- 2019
- [j30]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Programming in a context-aware language. J. Supercomput. 75(12): 7750-7764 (2019) - [c101]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]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 - [i3]Stefano Forti, Gian Luigi Ferrari, Antonio Brogi:
Secure Cloud-Edge Deployments, with Trust. CoRR abs/1901.05347 (2019) - [i2]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) - 2018
- [c99]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]Antonio Brogi, Gian Luigi Ferrari, Stefano Forti:
Secure Apps in the Fog: Anything to Declare? ESOCC Workshops 2018: 46-61 - 2017
- [j29]Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti:
Regular and context-free nominal traces. Acta Informatica 54(4): 399-433 (2017) - [j28]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]Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari:
Checking global usage of resources handled with local policies. Sci. Comput. Program. 133: 20-50 (2017) - [c97]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Experimenting with a Context-Aware Language. PaCT 2017: 3-17 - [c96]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian Luigi Ferrari:
Specifying variability in service contracts. VaMoS 2017: 20-27 - 2016
- [j26]Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari:
Automata for Specifying and Orchestrating Service Contracts. Log. Methods Comput. Sci. 12(4) (2016) - [j25]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]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) - [c95]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Last Mile's Resources. Semantics, Logics, and Calculi 2016: 33-53 - [c94]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Where Do Your IoT Ingredients Come From? COORDINATION 2016: 35-50 - [c93]Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto:
Playing with Our CAT and Communication-Centric Applications. FORTE 2016: 62-73 - [c92]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Event-driven Adaptation in COP. PLACES 2016: 37-45 - [c91]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Step Towards Checking Security in IoT. ICE 2016: 128-142 - [i1]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Tracing where IoT data are collected and aggregated. CoRR abs/1610.08419 (2016) - 2015
- [j23]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
Model checking usage policies. Math. Struct. Comput. Sci. 25(3): 710-763 (2015) - [c90]Chiara Bodei, Gian Luigi Ferrari, Corrado Priami:
Pierpaolo Degano. Programming Languages with Applications to Biology and Security 2015: 1-6 - [c89]Andrea Canciani, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Context-Oriented Extension of F#. FOCLASA 2015: 18-32 - [e2]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] - 2014
- [j22]Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari:
A formal framework for secure and complying services. J. Supercomput. 69(1): 43-52 (2014) - [c88]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Two-Component Language for COP. COP@ECOOP 2014: 6:1-6:7 - [c87]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Two-Phase Static Analysis for Reliable Adaptation. SEFM 2014: 347-362 - [c86]Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari:
Automata for Analysing Service Contracts. TGC 2014: 34-50 - [c85]Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto:
From Orchestration to Choreography through Contract Automata. ICE 2014: 67-85 - 2013
- [j21]Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, GianLuigi Ferrari:
Security in Pervasive Applications: A Survey. Eur. J. Law Technol. 4(2) (2013) - [c84]Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari:
Secure and Unfailing Services. PaCT 2013: 167-181 - [c83]Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti:
Towards Nominal Context-Free Model-Checking. CIAA 2013: 109-121 - 2012
- [c82]Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Formalising Security in Ubiquitous and Cloud Scenarios. CISIM 2012: 1-29 - [c81]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Types for Coordinating Secure Behavioural Variations. COORDINATION 2012: 261-276 - [c80]Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti:
Nominal Automata for Resource Usage Control. CIAA 2012: 125-137 - [c79]Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Typing Context-Dependent Behavioural Variation. PLACES 2012: 28-33 - 2011
- [c78]Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48 - [c77]Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti:
On Quantitative Security Policies. PaCT 2011: 23-39 - [c76]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]Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari:
Predicting global usages of resources endowed with local policies. FOCLASA 2011: 49-64 - [p2]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]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 - 2010
- [j20]Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Event based choreography. Sci. Comput. Program. 75(10): 848-878 (2010) - [c74]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions: A Case Study. TGC 2010: 318-334 - [c73]Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari:
Safer in the Clouds (Extended Abstract). ICE 2010: 45-49
2000 – 2009
- 2009
- [j19]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Planning and verifying service composition. J. Comput. Secur. 17(5): 799-837 (2009) - [j18]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) - [c72]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95 - [c71]Chiara Bodei, Gian Luigi Ferrari:
Choreography Rehearsal. WS-FM 2009: 29-45 - 2008
- [j17]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]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]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) - [c70]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Event-Based Service Coordination. Concurrency, Graphs and Models 2008: 312-329 - [c69]Gian Luigi Ferrari:
Ugo Montanari and Software Verification. Concurrency, Graphs and Models 2008: 618-624 - [c68]Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto:
History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641 - [c67]Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Checking Correctness of Transactional Behaviors. FORTE 2008: 134-148 - [c66]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
Model Checking Usage Policies. TGC 2008: 19-35 - [c65]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions. WS-FM 2008: 127-142 - [c64]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
Hard Life with Weak Binders. EXPRESS 2008: 49-72 - [c63]Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Global Coordination Policies for Services. FACS 2008: 73-89 - 2007
- [c62]GianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Coordination Via Types in an Event-Based Framework. FORTE 2007: 66-80 - [c61]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
Secure Service Orchestration. FOSAD 2007: 24-74 - [c60]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47 - [c59]Vincenzo Ciancia, Gian Luigi Ferrari:
Co-Algebraic Models for Quantitative Spatial Logics. QAPL 2007: 43-58 - 2006
- [c58]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69 - [c57]Alois Ferscha, Alexander Schill, GianLuigi Ferrari, Valérie Issarny:
Topic 14: Mobile and Ubiquitous Computing. Euro-Par 2006: 897 - [c56]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Security Issues in Service Composition. FMOODS 2006: 1-16 - [c55]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
JSCL: A Middleware for Service Coordination. FORTE 2006: 46-60 - [c54]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Event Based Service Coordination over Dynamic and Heterogeneous Networks. ICSOC 2006: 453-458 - 2005
- [j14]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) - [c53]Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane:
Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156 - [c52]Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48 - [c51]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Enforcing Secure Service Composition. CSFW 2005: 211-223 - [c50]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]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]Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24 - [c47]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332 - [c46]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112 - [c45]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Policy framings for access control. WITS 2005: 5-11 - 2004
- [j13]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Stack inspection and secure program transformations. Int. J. Inf. Sec. 2(3-4): 187-217 (2004) - [j12]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) - [c44]Sajal K. Das, Jiannong Cao, Jie Wu, Gian Luigi Ferrari:
Topic 15: Mobile Computing. Euro-Par 2004: 916 - [c43]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]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]Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto:
A Coordination-based Methodology for Security Protocol Verification. WISP@ICATPN 2004: 23-46 - [c40]GianLuigi Ferrari, Alberto Lluch-Lafuente:
A Logic for Graphs with QoS. VODCA@FOSAD 2004: 143-160 - [e1]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] - 2003
- [j11]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) - [c39]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]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]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Security-Aware Program Transformations. ICTCS 2003: 355-368 - [c36]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Program Transformations under Dynamic Security Policies. MEFISTO 2003: 49-86 - 2002
- [j10]Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini:
Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9(2): 137-150 (2002) - [c35]Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto:
From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338 - [c34]Gian Luigi Ferrari, Ugo Montanari, Marco Pistore:
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158 - [c33]Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto:
Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377 - [c32]Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266 - [c31]Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Guardians for Ambient-based Monitoring. F-WAN@ICALP 2002: 52-75 - 2001
- [j9]Flavio Corradini, Gian Luigi Ferrari, Marco Pistore:
On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001) - [c30]Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16 - [c29]Gian Luigi Ferrari, Emilio Tuosto:
A debugging calculus for mobile ambients. SAC 2001 - [c28]Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198 - [c27]Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Global Types and Network Services. ConCoord 2001: 35-48 - [c26]Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto:
Security Issues in Component-based Design. ConCoord 2001: 49-57 - [c25]Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Higher-Order Types and Meta-Programming for Global Computing. TOSCA 2001: 52-68 - [c24]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Static Analysis for Stack Inspection. ConCoord 2001: 69-80 - 2000
- [j8]Gian Luigi Ferrari, Ugo Montanari:
Tile Formats for Located and Mobile Systems. Inf. Comput. 156(1-2): 173-235 (2000) - [j7]