Gian Luigi Ferrari
According to our database1,
Gian Luigi Ferrari
authored at least 128 papers
between 1990 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
On csauthors.net:
Bibliography
2018
A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
Proceedings of the Coordination Models and Languages, 2018
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
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
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