Emilio Tuosto

According to our database1, Emilio Tuosto authored at least 81 papers between 1999 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Data-Driven Choreographies à la Klaim.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
Semantics of global view of choreographies.
J. Log. Algebr. Meth. Program., 2018

Realisability of Pomsets via Communicating Automata.
Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

Reversible Choreographies via Monitoring in Erlang.
Proceedings of the Distributed Applications and Interoperable Systems, 2018

2017
Tool Supported Analysis of IoT.
Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017

Reliability and Fault-Tolerance by Choreographic Design.
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

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

Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv., 2016

Honesty by Typing
Logical Methods in Computer Science, 2016

An Abstract Semantics of the Global View of Choreographies.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Choreography-Based Analysis of Distributed Message Passing Programs.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

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

On Sessions and Infinite Data.
Proceedings of the Coordination Models and Languages, 2016

2015
Preface.
Service Oriented Computing and Applications, 2015

A design-by-contract approach to recover the architectural style from run-time misbehaviour.
Sci. Comput. Program., 2015

Attribute-based transactions in service oriented computing.
Mathematical Structures in Computer Science, 2015

Communicating machines as a dynamic binding mechanism of services.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

From Communicating Machines to Graphical Choreographies.
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.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

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

Resolving Non-determinism in Choreographies.
Proceedings of the Programming Languages and Systems, 2014

2013
On Recovering from Run-time Misbehaviour in ADR.
Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

Honesty by Typing.
Proceedings of the Formal Techniques for Distributed Systems, 2013

2012
Three Algorithms and a Methodology for Amending Contracts for Choreographies.
Sci. Ann. Comp. Sci., 2012

Contract-Oriented Computing in CO2.
Sci. Ann. Comp. Sci., 2012

Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations
Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

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

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions.
Proceedings of the Theoretical Computer Science, 2012

On Nominal Regular Languages with Binders.
Proceedings of the Foundations of Software Science and Computational Structures, 2012

On the Realizability of Contracts in Dishonest Systems.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Synthesising Choreographies from Local Session Types.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Contracts in distributed systems
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Amending Contracts for Choreographies
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Architectural Models of Ambient-PRISMA in Channel Ambient Calculus.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

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

A Formal Support to Business and Architectural Design for Service-Oriented Systems.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Patterns of Federated Identity Management Systems as Architectural Reconfigurations.
ECEASST, 2010

Preface.
ECEASST, 2010

A Modular Toolkit for Distributed Interactions
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

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

A Java Inspired Semantics for Transactions in SOC.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

BPMN Modelling of Services with Dynamically Reconfigurable Transactions.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Testing Attribute-Based Transactions in SOC.
Proceedings of the Formal Techniques for Distributed Systems, 2010

A Theory of Design-by-Contract for Distributed Multiparty Interactions.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Preface.
Electr. Notes Theor. Comput. Sci., 2009

Heuristic Methods for Security Protocols
Proceedings of the Proceedings 7th International Workshop on Security Issues in Concurrency, 2009

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

Debugging Distributed Systems with Causal Nets.
ECEASST, 2008

Preface.
ECEASST, 2008

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

ICGT 2008 Doctoral Symposium.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Network Applications of Graph Bisimulation.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Multiparty Sessions in SOC.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

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

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

2007
Service Oriented Architectural Design.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

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

2006
An Observational Model for Spatial Logics.
Electr. Notes Theor. Comput. Sci., 2006

A Logic for Application Level QoS.
Electr. Notes Theor. Comput. Sci., 2006

Translating Orc Features into Petri Nets and the Join Calculus.
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.
Theor. Comput. Sci., 2005

Tarzan: Communicating and Moving in Wireless Jungles.
Electr. Notes Theor. Comput. Sci., 2005

A Coordination-based Methodology for Security Protocol Verification.
Electr. Notes Theor. Comput. Sci., 2005

SHReQ: Coordinating Application Level QoS.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Model Checking for Nominal Calculi.
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

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

Synchronized Hyperedge Replacement for Heterogeneous Systems.
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
Verication On The Web Of Mobile Systems.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

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

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

2001
Security Issues in Component-based Design.
Electr. Notes Theor. Comput. Sci., 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
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

1999
An Ada95 Implementation of a Network Coordination Language with Code Mobility.
Proceedings of the Reliable Software Technologies, 1999


  Loading...