Gian Luigi Ferrari

According to our database1, Gian Luigi Ferrari
  • authored at least 129 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

Tracing where IoT data are collected and aggregated.
Logical Methods in Computer Science, 2017

Regular and context-free nominal traces.
Acta Inf., 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. Algebr. Meth. Program., 2016

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

Tracing where IoT data are collected and aggregated.
CoRR, 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.
Logical Methods in Computer Science, 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.
Mathematical Structures in Computer Science, 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.
The Journal of Supercomputing, 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.
European Journal of Law and Technology, 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

Global Coordination Policies for Services.
Electr. Notes Theor. Comput. Sci., 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.
Journal of Computer Security, 2009

Hard Life with Weak Binders.
Electr. Notes Theor. Comput. Sci., 2009

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

nu-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

Debugging Distributed Systems with Causal Nets.
ECEASST, 2008

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

Model Checking Usage Policies.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 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.
Electr. Notes Theor. Comput. Sci., 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
A Logic for Graphs with QoS.
Electr. Notes Theor. Comput. Sci., 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

A Coordination-based Methodology for Security Protocol Verification.
Electr. Notes 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.
Mathematical Structures in Computer Science, 2004

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

Program Transformations under Dynamic Security Policies.
Electr. Notes Theor. Comput. Sci., 2004

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.
Electr. Notes Theor. Comput. Sci., 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

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.
Electr. Notes Theor. Comput. Sci., 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.
Electr. Notes Theor. Comput. Sci., 2001

Higher-Order Types and Meta-Programming for Global Computing.
Electr. Notes Theor. Comput. Sci., 2001

Security Issues in Component-based Design.
Electr. Notes Theor. Comput. Sci., 2001

Static Analysis for Stack Inspection.
Electr. Notes Theor. Comput. Sci., 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 Mobadtl.
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. Inform., 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.
Mathematical Structures in Computer Science, 1997

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

Tiles for concurrent and located calculi?
Electr. Notes Theor. Comput. Sci., 1997

Eager, busy-waiting and lazy actions in timed computation?
Electr. Notes Theor. Comput. Sci., 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...