Gian-Luigi Ferrari

Orcid: 0000-0003-3548-5514

Affiliations:
  • University of Pisa, Computer Science Department


According to our database1, Gian-Luigi Ferrari authored at least 142 papers between 1990 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Secure Partitioning of Cloud Applications, with Cost Look-Ahead.
Future Internet, July, 2023

2022
Secure Partitioning of Composite Cloud Applications.
Proceedings of the Service-Oriented and Cloud Computing, 2022

Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations.
Proceedings of the 22nd IEEE International Symposium on Cluster, 2022

2021
Modelling and analysing IoT systems.
J. Parallel Distributed Comput., 2021

Secure FaaS orchestration in the fog: how far are we?
Computing, 2021

Placing FaaS in the Fog, Securely.
Proceedings of the Italian Conference on Cybersecurity, 2021

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2020
Controller synthesis of service contracts with variability.
Sci. Comput. Program., 2020

A formal approach to the engineering of domain-specific distributed systems.
J. Log. Algebraic Methods Program., 2020

Secure Cloud-Edge Deployments, with Trust.
Future Gener. Comput. Syst., 2020

Security Metrics at Work on the Things in IoT Systems.
Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019
Programming in a context-aware language.
J. Supercomput., 2019

Revealing the Trajectories of KLAIM Tuples, Statically.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Automata-Based Behavioural Contracts with Action Correlation.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Secure Apps in the Fog: Anything to Declare?
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018

2017
Checking global usage of resources handled with local policies.
Sci. Comput. Program., 2017

Tracing where IoT data are collected and aggregated.
Log. Methods Comput. Sci., 2017

Regular and context-free nominal traces.
Acta Informatica, 2017

Specifying variability in service contracts.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Experimenting with a Context-Aware Language.
Proceedings of the Parallel Computing Technologies, 2017

2016
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis.
IEEE Trans. Software Eng., 2016

Relating two automata-based models of orchestration and choreography.
J. Log. Algebraic Methods Program., 2016

Event-driven Adaptation in COP.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

A Step Towards Checking Security in IoT.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Automata for Specifying and Orchestrating Service Contracts.
Log. Methods Comput. Sci., 2016

Playing with Our CAT and Communication-Centric Applications.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Where Do Your IoT Ingredients Come From?
Proceedings of the Coordination Models and Languages, 2016

Last Mile's Resources.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Model checking usage policies.
Math. Struct. Comput. Sci., 2015

A Context-Oriented Extension of F#.
Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

Pierpaolo Degano.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014
A formal framework for secure and complying services.
J. Supercomput., 2014

From Orchestration to Choreography through Contract Automata.
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Automata for Analysing Service Contracts.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

A Two-Phase Static Analysis for Reliable Adaptation.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

A Two-Component Language for COP.
Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

2013
Security in Pervasive Applications: A Survey.
Eur. J. Law Technol., 2013

Towards Nominal Context-Free Model-Checking.
Proceedings of the Implementation and Application of Automata, 2013

Secure and Unfailing Services.
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

2012
Typing Context-Dependent Behavioural Variation
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Nominal Automata for Resource Usage Control.
Proceedings of the Implementation and Application of Automata, 2012

Types for Coordinating Secure Behavioural Variations.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Formalising Security in Ubiquitous and Cloud Scenarios.
Proceedings of the Computer Information Systems and Industrial Management, 2012

2011
Predicting global usages of resources endowed with local policies
Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Applying Process Analysis to the Italian eGovernment Enterprise Architecture.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

On Quantitative Security Policies.
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

A Language-Based Approach to Autonomic Computing.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Model-Driven Development of Long Running Transactions.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Call-by-Contract for Service Discovery, Orchestration and Recovery.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Event based choreography.
Sci. Comput. Program., 2010

Safer in the Clouds (Extended Abstract)
Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

Refactoring Long Running Transactions: A Case Study.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009
Local policies for resource usage analysis.
ACM Trans. Program. Lang. Syst., 2009

Planning and verifying service composition.
J. Comput. Secur., 2009

Choreography Rehearsal.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

<i>nu</i>-Types for Effects and Freshness Analysis.
Proceedings of the Theoretical Aspects of Computing, 2009

2008
Semantics-Based Design for Secure Web Services.
IEEE Trans. Software Eng., 2008

A symbolic framework for multi-faceted security protocol analysis.
Int. J. Inf. Sec., 2008

Global Coordination Policies for Services.
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Hard Life with Weak Binders.
Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

Debugging Distributed Systems with Causal Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Refactoring Long Running Transactions.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Checking Correctness of Transactional Behaviors.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Event-Based Service Coordination.
Proceedings of the Concurrency, 2008

Ugo Montanari and Software Verification.
Proceedings of the Concurrency, 2008

History Dependent Automata for Service Compatibility.
Proceedings of the Concurrency, 2008

2007
Co-Algebraic Models for Quantitative Spatial Logics.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Types and Effects for Resource Usage Analysis.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Secure Service Orchestration.
Proceedings of the Foundations of Security Analysis and Design IV, 2007

Coordination Via Types in an Event-Based Framework.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006
Event Based Service Coordination over Dynamic and Heterogeneous Networks.
Proceedings of the Service-Oriented Computing, 2006

JSCL: A Middleware for Service Coordination.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Security Issues in Service Composition.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Topic 14: Mobile and Ubiquitous Computing.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

Types and Effects for Secure Service Orchestration.
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types.
Theor. Comput. Sci., 2005

Policy framings for access control.
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

Checking Risky Events Is Enough for Local Policies.
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Model Checking for Nominal Calculi.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

History-Based Access Control with Local Policies.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

From Theory to Practice in Transactional Composition of Web Services.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Enforcing Secure Service Composition.
Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

A Process Calculus for QoS-Aware Applications.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Modelling Fusion Calculus using HD-Automata.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004
MetaKlaim: a type safe multi-stage language for global computing.
Math. Struct. Comput. Sci., 2004

Stack inspection and secure program transformations.
Int. J. Inf. Sec., 2004

A Logic for Graphs with QoS.
Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

A Coordination-based Methodology for Security Protocol Verification.
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Verication On The Web Of Mobile Systems.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Topic 15: Mobile Computing.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003
A model-checking verification environment for mobile processes.
ACM Trans. Softw. Eng. Methodol., 2003

Program Transformations under Dynamic Security Policies.
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Security-Aware Program Transformations.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

The Klaim Project: Theory and Practice.
Proceedings of the Global Computing. Programming Environments, 2003

A Formal Basis for Reasoning on Programmable QoS.
Proceedings of the Verification: Theory and Practice, 2003

2002
Guardians for Ambient-based Monitoring.
Proceedings of the Foundations of Wide Area Network Computing, 2002

Mark, a Reasoning Kit for Mobility.
Autom. Softw. Eng., 2002

Graph-Based Models of Internetworking Systems.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Security and Dynamic Compositions of Open Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

From Co-algebraic Specifications to Implementation: The Mihda Toolkit.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
On the semantics of durational actions.
Theor. Comput. Sci., 2001

Global Types and Network Services.
Proceedings of the International Workshop on Concurrency and Coordination, 2001

Higher-Order Types and Meta-Programming for Global Computing.
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Security Issues in Component-based Design.
Proceedings of the International Workshop on Concurrency and Coordination, 2001

Static Analysis for Stack Inspection.
Proceedings of the International Workshop on Concurrency and Coordination, 2001

MetaKlaim: Meta-programming for Global Computing.
Proceedings of the Semantics, 2001

A debugging calculus for mobile ambients.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

A LTS Semantics of Ambients via Graph Synchronization with Mobility.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

2000
Types for access control.
Theor. Comput. Sci., 2000

Tile Formats for Located and Mobile Systems.
Inf. Comput., 2000

Calculi for Network Aware Programming.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

Mobile Applications in X-KLAIM.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

Mobile Agents Coordination in Mob<sub><i>adtl</i></sub>.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

Programming Access Control: The KLAIM Experience.
Proceedings of the CONCUR 2000, 2000

1999
Types as Specifications of Access Policies.
Proceedings of the Secure Internet Programming, 1999

1998
KLAIM: A Kernel Language for Agents Interaction and Mobility.
IEEE Trans. Software Eng., 1998

Parameterized Structured Operational Semantics.
Fundam. Informaticae, 1998

Interactive Mobile Agents in X-Klaim.
Proceedings of the 7th Workshop on Enabling Technologies (WETICE '98), 1998

Verifying Mobile Processes in the HAL Environment.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations.
Math. Struct. Comput. Sci., 1997

Atomicity and Concurrency Control in Process Calculi.
Fundam. Informaticae, 1997

Tiles for concurrent and located calculi?
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Eager, busy-waiting and lazy actions in timed computation?
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Locality Based Linda: Programming with Explicit Localities.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

An Automated Based Verification Environment for Mobile Processes.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

A Tile-Based Coordination View of Asynchronous pi-Calculus.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Coordinating Mobile Agents via Blackboards and Access Rights.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
A Pi-Calculus with Explicit Substitutions.
Theor. Comput. Sci., 1996

1995
The Weak Late pi-Calculus Semantics as Observation Equivalence.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

Dynamic Matrices and the Cost Analysis of Concurrent Programs.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
A Pi-Calculus with Explicit Substitutions: the Late Semantics.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1991
An Extended Expansion Theorem.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

On Causality Observed Incrementally, Finally.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

The Observation Algebra of Spatial Pomsets.
Proceedings of the CONCUR '91, 1991

1990
RSF: A Formalism for Executable Requirement Specifications.
IEEE Trans. Software Eng., 1990

Implicative Formulae in the "Proofs as Computations" Analogy.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Transition Systems with Algebraic Structure as Models of Computations.
Proceedings of the Semantics of Systems of Concurrent Processes, 1990

Observational Logics and Concurrency Models.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

Towards the Unification of Models for Concurrency.
Proceedings of the CAAP '90, 1990


  Loading...