default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGian-Luigi Ferrari 0002
Gianluigi Ferrari 0002
Person information
- affiliation: University of Pisa, Computer Science Department
Other persons with the same name
- Gianluigi Ferrari 0001
![[0000-0001-6688-0934]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0001-6688-0934")
— University of Parma, Department of Information Engineering
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c108]Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto:
Klaim in the Making. ISoLA (1) 2024: 27-49- [c107]Francesco Rubino, Chiara Bodei, Gian-Luigi Ferrari:
Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING. ISoLA (1) 2024: 392-408 - 2023
- [j36]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) - 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]Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Betti Venneri:
Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000) - [c23]Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65 - [c22]Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini:
Mobile Agents Coordination in Mobadtl. COORDINATION 2000: 232-248 - [c21]Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Mobile Applications in X-KLAIM. WOA 2000: 1-6 - [c20]Gian-Luigi Ferrari, Rosario Pugliese, Emilio Tuosto:
Calculi for Network Aware Programming. WOA 2000: 23-28
1990 – 1999
- 1999
- [c19]Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Types as Specifications of Access Policies. Secure Internet Programming 1999: 118-146 - 1998
- [j6]Gian-Luigi Ferrari, Ugo Montanari:
Parameterized Structured Operational Semantics. Fundam. Informaticae 34(1-2): 1-31 (1998) - [j5]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) - [c18]Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515 - [c17]Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari:
Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117 - 1997
- [j4]Gian-Luigi Ferrari:
Atomicity and Concurrency Control in Process Calculi. Fundam. Informaticae 29(4): 341-368 (1997) - [j3]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) - [c16]Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION 1997: 220-237 - [c15]Gian-Luigi Ferrari, Ugo Montanari:
A Tile-Based Coordination View of Asynchronous pi-Calculus. MFCS 1997: 52-70 - [c14]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]Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Locality Based Linda: Programming with Explicit Localities. TAPSOFT 1997: 712-726 - [c12]Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore:
Eager, busy-waiting and lazy actions in timed computation? EXPRESS 1997: 96-114 - [c11]Gian-Luigi Ferrari, Ugo Montanari:
Tiles for concurrent and located calculi? EXPRESS 1997: 115-140 - 1996
- [j2]Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168(1): 53-103 (1996) - 1995
- [c10]Gian-Luigi Ferrari, Ugo Montanari:
Dynamic Matrices and the Cost Analysis of Concurrent Programs. AMAST 1995: 307-321 - [c9]Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71 - 1994
- [c8]Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351 - 1991
- [c7]Gian-Luigi Ferrari, Ugo Montanari:
The Observation Algebra of Spatial Pomsets. CONCUR 1991: 188-202 - [c6]Gian-Luigi Ferrari:
On Causality Observed Incrementally, Finally. TAPSOFT, Vol.1 1991: 26-41 - [c5]Gian-Luigi Ferrari, Roberto Gorrieri, Ugo Montanari:
An Extended Expansion Theorem. TAPSOFT, Vol.2 1991: 29-48 - 1990
- [j1]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) - [c4]Gian-Luigi Ferrari, Ugo Montanari:
Towards the Unification of Models for Concurrency. CAAP 1990: 162-176 - [c3]Rocco De Nicola, Gian-Luigi Ferrari:
Observational Logics and Concurrency Models. FSTTCS 1990: 301-315 - [c2]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]Andrea Asperti, Gian-Luigi Ferrari, Roberto Gorrieri:
Implicative Formulae in the "Proofs as Computations" Analogy. POPL 1990: 59-71
Coauthor Index
[j34] [c104] [j31] [c102] [j30] [c101] [c100] [j29] [j28] [c97] [c96] [j26] [j25] [j24] [c95] [c94] [c93] [c92] [c91] [i1] [j23] [c89] [j22] [c88] [c87] [c86] [c85] [j21] [c84] [c83] [c82] [c81] [c80] [c79] [c77] [p2] [j19] [j18] [c72] [j15] [c66] [c64] [c61] [c60] [c58] [c56] [c51] [c47] [c46] [c45] [j13] [c37] [c36] [c24]
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-03 00:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
