Emilio Tuosto

Nobuko Yoshida

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods.

[BibT_eX]

[DOI]

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

2014

From Orchestration to Choreography through Contract Automata.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

2013

On Recovering from Run-time Misbehaviour in ADR.

[BibT_eX]

[DOI]

Kyriakos Poyias

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract.

[BibT_eX]

[DOI]

CoRR, 2013

2012

Three Algorithms and a Methodology for Amending Contracts for Choreographies.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2012

Contract-Oriented Computing in CO2.

[BibT_eX]

[DOI]

Massimo Bartoletti

Roberto Zunino

Sci. Ann. Comput. Sci., 2012

Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations

[BibT_eX]

[DOI]

Kyriakos Poyias

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Synthesising Choreographies from Local Session Types (extended version)

[BibT_eX]

[DOI]

CoRR, 2012

Contract-Oriented Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2012

On Nominal Regular Languages with Binders.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2012

On the Realizability of Contracts in Dishonest Systems.

[BibT_eX]

[DOI]

Massimo Bartoletti

Roberto Zunino

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Synthesising Choreographies from Local Session Types.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Contracts in distributed systems

[BibT_eX]

[DOI]

Massimo Bartoletti

Roberto Zunino

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Amending Contracts for Choreographies

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Towards Nominal Formal Languages

[BibT_eX]

[DOI]

CoRR, 2011

Architectural Models of Ambient-PRISMA in Channel Ambient Calculus.

[BibT_eX]

[DOI]

Nour Ali

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Model-Driven Development of Long Running Transactions.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

A Formal Support to Business and Architectural Design for Service-Oriented Systems.

[BibT_eX]

[DOI]

Roberto Bruni

Howard Foster

Alberto Lluch-Lafuente

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Patterns of Federated Identity Management Systems as Architectural Reconfigurations.

[BibT_eX]

[DOI]

Hyder Ali Nizamani

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preface.

[BibT_eX]

[DOI]

Jochen Malte Küster

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

A Modular Toolkit for Distributed Interactions

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Toward a Formal Semantics for Autonomic Components

[BibT_eX]

[DOI]

Marco Aldinucci

CoRR, 2010

Refactoring Long Running Transactions: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

A Java Inspired Semantics for Transactions in SOC.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

BPMN Modelling of Services with Dynamically Reconfigurable Transactions.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Testing Attribute-Based Transactions in SOC.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

A Theory of Design-by-Contract for Distributed Multiparty Interactions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Heuristic Methods for Security Protocols

[BibT_eX]

[DOI]

Qurat ul Ain Nizamani

Proceedings of the Proceedings 7th International Workshop on Security Issues in Concurrency, 2009

2008

A symbolic framework for multi-faceted security protocol analysis.

[BibT_eX]

[DOI]

Andrea Bracciali

Gianluigi Ferrari

Int. J. Inf. Sec., 2008

Preface.

[BibT_eX]

[DOI]

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Debugging Distributed Systems with Causal Nets.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Preface.

[BibT_eX]

[DOI]

Andrea Corradini

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Refactoring Long Running Transactions.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

ICGT 2008 Doctoral Symposium.

[BibT_eX]

[DOI]

Andrea Corradini

Proceedings of the Graph Transformations, 4th International Conference, 2008

Network Applications of Graph Bisimulation.

[BibT_eX]

[DOI]

Pietro Cenciarelli

Daniele Gorla

Proceedings of the Graph Transformations, 4th International Conference, 2008

Multiparty Sessions in SOC.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Event-Based Service Coordination.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

History Dependent Automata for Service Compatibility.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Service Oriented Architectural Design.

[BibT_eX]

[DOI]

Roberto Bruni

Alberto Lluch-Lafuente

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Coordination Via Types in an Event-Based Framework.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Translating Orc Features into Petri Nets and the Join Calculus.

[BibT_eX]

[DOI]

Roberto Bruni

Hernán C. Melgratti

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

2005

Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

A Logic for Application Level QoS.

[BibT_eX]

[DOI]

Dan Hirsch

Alberto Lluch-Lafuente

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

SHReQ: Coordinating Application Level QoS.

[BibT_eX]

[DOI]

Dan Hirsch

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Model Checking for Nominal Calculi.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

From Theory to Practice in Transactional Composition of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

A Process Calculus for QoS-Aware Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Synchronized Hyperedge Replacement for Heterogeneous Systems.

[BibT_eX]

[DOI]

Ivan Lanese

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Modelling Fusion Calculus using HD-Automata.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

An Observational Model for Spatial Logics.

[BibT_eX]

[DOI]

Hugo Torres Vieira

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

Tarzan: Communicating and Moving in Wireless Jungles.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

A Coordination-based Methodology for Security Protocol Verification.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Verication On The Web Of Mobile Systems.

[BibT_eX]

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

2003

Non-functional aspects of wide area network programming.

[BibT_eX]

[DOI]

PhD thesis, 2003

The Klaim Project: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Global Computing. Programming Environments, 2003

A Formal Basis for Reasoning on Programmable QoS.

[BibT_eX]

[DOI]

Proceedings of the Verification: Theory and Practice, 2003

2002

Graph-Based Models of Internetworking Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Security and Dynamic Compositions of Open Systems.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

From Co-algebraic Specifications to Implementation: The Mihda Toolkit.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2002

2001

Security Issues in Component-based Design.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Concurrency and Coordination, 2001

A debugging calculus for mobile ambients.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

A LTS Semantics of Ambients via Graph Synchronization with Mobility.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

2000

Calculi for Network Aware Programming.

[BibT_eX]

Rosario Pugliese

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

1999

An Ada95 Implementation of a Network Coordination Language with Code Mobility.

[BibT_eX]

[DOI]