Autore
GIAN-LUIGI FERRARI
Unimap Dati autore
- Professore Ordinario presso Dipartimento di Informatica
- Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
- Settore scientifico disciplinare INF/01 INFORMATICA
- In servizio
Prodotti
- Articoli
- A pi-calculus with explicit substitutions 1996
- Atomicity and Concurrency Control in Process Calculi 1997
- Structured transition systems with parametric observations: observational congruences and minimal realizations 1997
- KLAIM: A Kernel Language for Agents Interaction and Mobility 1998
- Parameterized Structured Operational Semantics 1998
- Tile Formats for Located and Mobile Systems 2000
- Types for Access Control 2000
- Cost Calculi for Communicating Systems, 2001
- On the semantics of durational actions 2001
- MARK: A Reasoning Kit for Mobility 2002
- A Model Checking Verification Environment for Mobile Processes 2003
- MetaKlaim: A Type Safe Multi-stage Language for Global Computing 2003
- Stack Inspection and Secure Program Transformations 2004
- Co-algebraic minimization of HD-automata for the pi-calculus using polymorphic types 2005
- Coalgebraic Minimization of HD-Automata for the π-Calculus Using Polymorphic Types 2005
- Planning and Verifying Service Composition 2006
- A symbolic framework for multi- faceted security protocol analysis 2008
- Semantics-based Design for Secure Web Services 2008
- Local Policies for Resource Usage Analysis 2009
- Event based choreography. 2010
- Atti, Riassunti o Comunicazioni
- An automata based verification environment for the pi calculus - Tool Demonstration 1996
- Towards a Semantic Based Verification Environment for the pi calculus 1996
- A Tile Based View of the Asynchronous pi calculus 1997
- An automata based verification environment for mobile processe 1997
- Coordinating Mobile agents via Blackboards and Access Rights 1997
- Eager, Lazy and Busy Waiting Actions in Timed Computations 1997
- Locality based Linda: Programming with Explicit Localities 1997
- Tiles for Concurrent and Causal Semantics 1997
- Interactive Mobile Agents in XKlaim 1998
- Verifying Mobile Process in the HAL Environment 1998
- A Refinement Calculus for Mobility 1999
- Calculi for Network Aware Programming 2000
- Mobile Agents Coordination in Mob Adtl 2000
- Mobile Applications in XKlaim 2000
- Multiple Security Policies in Mob Adtl 2000
- Programming Access Control: The KLAIM Experience 2000
- A Debugging Calculus for Mobile Ambients 2001
- A LTS Semantics of Ambients via Graph Synchronization withMobility 2001
- Ad Hoc Network Applications: Specification, Design andVerification in Mob-Adtl 2001
- Higher-Order Types and Meta-Programming for Global Computing 2001
- MetaKlaim: Meta Programming for Global Computing 2001
- Network Services and Modal Types 2001
- Process Algebra - Guided Design of Java Mobile Network Applications 2001
- Security Issues in Component-Based Design 2001
- Security issues in component-based design 2001
- Static Analysis for Stack Inspection 2001
- Guardians for Ambient Based Monitoring 2002
- Minimizing Transition Systems for Name-passing Calculi: A Co-algbraic Formulation 2002
- Security and Dynamic Compositions of Open Systems 2002
- Security and Dynamic Compositions of Open Systems 2002
- A Formal Basis for Reasoning on Programmable QoS 2003
- From Co-algebraic Specifications to Implementation: The MIHDA toolkit} 2003
- Security-Aware Program Transformations 2003
- Static Analysis for Eager Stack Inspection 2003
- The Klaim Project: Theory and Practice 2003
- A Spatial Logic for QoS Properties of Graphs, 2004
- Method-inlining in presence of stack-inspection 2004
- Program transformations under dynamic security policies. 2004
- Verification on the web of mobile processe 2004
- Web services as a new approach to distributing and coordinating semantics-based verification toolkits 2004
- A Coordination-based Methodology for Security Protocol Verification 2005
- A Process Calculus for QoS-aware Applications 2005
- Checking Risky Events is Enough for Local Policies 2005
- Enforcing Secure Service Composition 2005
- From Theory to Practice in Transactional Composition of Web Services 2005
- History-Based Access Control with Local Policies 2005
- Model Checking for Nominal Calculi 2005
- Modelling Fusion Calculus using HD-Automata 2005
- Modular Verification via Service Coordination 2005
- Plans for Service Composition 2005
- Policy Framings for Access Control 2005
- Event Based Service Coordination over Dynamic and Heterogeneous Networks 2006
- JSCL: A Middleware for Service Coordination, 2006
- Security Issuees in Service Composition 2006
- Synchronozed Hyperedge Replacement as a Model for Service Oriented Computing 2006
- Types and Effects for Secure Service Orchestration 2006
- Co-Algebraic Models for Quantitative Spatial Logics 2007
- Coordination Via Types in an Event-Based Framework 2007
- Types and Effects for Resource Usage Analysis 2007
- Checking Correctness of Transactional Behaviours 2008
- Debugging Distributed Systems with Causal Nets 2008
- Global Coordination Policies for Services 2008
- Model Checking Usage Policies 2008
- Refactoring Long Running Transactions 2008
- Hard Life with Weak Binders 2009
- nu-Types for Effects and Freshness Analysis 2009
- Choreography Rehearsal. 2010
- Refactoring Long Running Transactions: A Case Study 2010
- Safer in the Clouds (Extended Abstract) 2010
- A G-Local pi-calculus 2011
- Applying Process Analysis to the Italian eGovernment Enterprise Architecture 2011
- On Quantitative Security Policies 2011
- Predicting global usages of resources endowed with local policies 2011
- Capitoli, Parte,Saggi, Studi, Articoli in libro
- Types as Specification of Access Policies - Secure Internet Programming: Security Issues for Distributed and Mobile Objects 1999
- Graph-based Models of Internetworking Systems - Formal Methods at the Crossroads: from Panaces to Foundational Support 2002
- Secure Service Orchestration - Secure service Orchestration 2006
- Concurrency, Graphs and Models - Event-based Service Coordination 2008
- Concurrency, Graphs and Models - History-Dependent Automata for Service Compatibility 2008
- Concurrency, Graphs and Models - Ugo Montanari and Software Verification 2008
- Model Driven Development of Long-Running Transactions - Rigorous Software Engineering for Service-Oriented Systems 2011
- Call-by-Contract for Service Discovery, Orchestration and Recovery - Rigorous Software Engineering for Service-Oriented Systems 2011
- Edizioni, Recensioni, Curatele, Voci enc
- Preprint
- Rapporti
- Safer in the Clouds 2010
- Software
- RSF Design Environment 1990
- Klava: Klaim Run Time Support 1998
- HAL: History Dependent Automata Laboratory 2002
- Mark Reasoning Environment 2002
- MIHDA (Bisimulation Checker) 2003
- ASPASYA: Security Protocol Verification Environment 2004
- Profundis WEB Services 2004
- Java Transactional Web Services (JTWS) 2005
- Java Signal Coordination Layer (JSCL) 2006