An Ada95 Implementation of a Network Coordination Language with Code Mobility. - Emilio Tuosto (Ada-Europe, 1999)

Calculi for Network Aware Programming. - Gian-Luigi Ferrari 002; Rosario Pugliese; Emilio Tuosto (WOA, 2000)

A LTS Semantics of Ambients via Graph Synchronization with Mobility. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto (ICTCS, 2001)

A debugging calculus for mobile ambients. - Gian-Luigi Ferrari 002; Emilio Tuosto (SAC, 2001)

Security Issues in Component-based Design. - Andrea Bracciali; Antonio Brogi; Gian-Luigi Ferrari 002; Emilio Tuosto (ConCoord, 2001)

From Co-algebraic Specifications to Implementation: The Mihda Toolkit. - Gian-Luigi Ferrari 002; Ugo Montanari; Roberto Raggi; Emilio Tuosto (FMCO, 2002)

Security and Dynamic Compositions of Open Systems. - Andrea Bracciali; Antonio Brogi; Gian-Luigi Ferrari 002; Emilio Tuosto (PDPTA, 2002)

Graph-Based Models of Internetworking Systems. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto (10th Anniversary Colloquium of UNU/IIST, 2002)

A Formal Basis for Reasoning on Programmable QoS. - Rocco De Nicola; Gian-Luigi Ferrari 002; Ugo Montanari; Rosario Pugliese; Emilio Tuosto (Verification: Theory and Practice, 2003)

The Klaim Project: Theory and Practice. - Lorenzo Bettini; Viviana Bono; Rocco De Nicola; Gian-Luigi Ferrari 002; Daniele Gorla; Michele Loreti; Eugenio Moggi; Rosario Pugliese; Emilio Tuosto; Betti Venneri (Global Computing, 2003)

Non-functional aspects of wide area network programming. - Emilio Tuosto (2003)

Verication On The Web Of Mobile Systems. - Gian-Luigi Ferrari 002; Stefania Gnesi; Ugo Montanari; Roberto Raggi; Gianluca Trentanni; Emilio Tuosto (VVEIS, 2004)

A Coordination-based Methodology for Security Protocol Verification. - Giacomo Baldi; Andrea Bracciali; Gian-Luigi Ferrari 002; Emilio Tuosto (WISP@ICATPN, 2004)

Tarzan: Communicating and Moving in Wireless Jungles. - Emilio Tuosto (QAPL, 2004)

An Observational Model for Spatial Logics. - Emilio Tuosto; Hugo Torres Vieira (VODCA@FOSAD, 2004)

Modelling Fusion Calculus using HD-Automata. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto; Björn Victor; Kidane Yemane (CALCO, 2005)

Synchronized Hyperedge Replacement for Heterogeneous Systems. - Ivan Lanese; Emilio Tuosto (COORDINATION, 2005)

A Process Calculus for QoS-Aware Applications. - Rocco De Nicola; Gian-Luigi Ferrari 002; Ugo Montanari; Rosario Pugliese; Emilio Tuosto (COORDINATION, 2005)

From Theory to Practice in Transactional Composition of Web Services. - Roberto Bruni 001; Gian-Luigi Ferrari 002; Hernán C. Melgratti; Ugo Montanari; Daniele Strollo; Emilio Tuosto (EPEW/WS-FM, 2005)

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. - Gian-Luigi Ferrari 002; Dan Hirsch; Ivan Lanese; Ugo Montanari; Emilio Tuosto (FMCO, 2005)

Model Checking for Nominal Calculi. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto (FoSSaCS, 2005)

SHReQ: Coordinating Application Level QoS. - Dan Hirsch; Emilio Tuosto (SEFM, 2005)

A Logic for Application Level QoS. - Dan Hirsch; Alberto Lluch-Lafuente; Emilio Tuosto (QAPL, 2005)

Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto (Theor. Comput. Sci., 2005)

Translating Orc Features into Petri Nets and the Join Calculus. - Roberto Bruni 001; Hernán C. Melgratti; Emilio Tuosto (WS-FM, 2006)

Coordination Via Types in an Event-Based Framework. - Gianluigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (FORTE, 2007)

Service Oriented Architectural Design. - Roberto Bruni 001; Alberto Lluch-Lafuente; Ugo Montanari; Emilio Tuosto (TGC, 2007)

History Dependent Automata for Service Compatibility. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Marco Pistore; Emilio Tuosto (Concurrency, Graphs and Models, 2008)

Event-Based Service Coordination. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (Concurrency, Graphs and Models, 2008)

Multiparty Sessions in SOC. - Roberto Bruni 001; Ivan Lanese; Hernán C. Melgratti; Emilio Tuosto (COORDINATION, 2008)

Network Applications of Graph Bisimulation. - Pietro Cenciarelli; Daniele Gorla; Emilio Tuosto (ICGT, 2008)

ICGT 2008 Doctoral Symposium. - Andrea Corradini 001; Emilio Tuosto (ICGT, 2008)

Refactoring Long Running Transactions. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (WS-FM, 2008)

Preface. - Andrea Corradini 001; Emilio Tuosto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Debugging Distributed Systems with Causal Nets. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Preface. - Filippo Bonchi; Davide Grohmann; Paola Spoletini; Angelo Troina; Emilio Tuosto (ICE@ICALP, 2008)

A symbolic framework for multi-faceted security protocol analysis. - Andrea Bracciali; Gianluigi Ferrari 002; Emilio Tuosto (Int. J. Inf. Sec., 2008)

Heuristic Methods for Security Protocols - Qurat ul Ain Nizamani; Emilio Tuosto (SECCO, 2009)

A Theory of Design-by-Contract for Distributed Multiparty Interactions. - Laura Bocchi; Kohei Honda 001; Emilio Tuosto; Nobuko Yoshida (CONCUR, 2010)

Testing Attribute-Based Transactions in SOC. - Laura Bocchi; Emilio Tuosto (FMOODS/FORTE, 2010)

BPMN Modelling of Services with Dynamically Reconfigurable Transactions. - Laura Bocchi; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (ICSOC, 2010)

A Java Inspired Semantics for Transactions in SOC. - Laura Bocchi; Emilio Tuosto (TGC, 2010)

Refactoring Long Running Transactions: A Case Study. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (TGC, 2010)

Toward a Formal Semantics for Autonomic Components - Marco Aldinucci; Emilio Tuosto (CoRR, 2010)

A Modular Toolkit for Distributed Interactions - Julien Lange; Emilio Tuosto (PLACES, 2010)

Preface. - Jochen Malte Küster; Emilio Tuosto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Patterns of Federated Identity Management Systems as Architectural Reconfigurations. - Hyder Ali Nizamani; Emilio Tuosto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A Formal Support to Business and Architectural Design for Service-Oriented Systems. - Roberto Bruni 001; Howard Foster; Alberto Lluch-Lafuente; Ugo Montanari; Emilio Tuosto (Results of the SENSORIA Project, 2011)

Model-Driven Development of Long Running Transactions. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (Results of the SENSORIA Project, 2011)

Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. - Nour Ali; Emilio Tuosto (SEW, 2011)

Towards Nominal Formal Languages - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (CoRR, 2011)

Amending Contracts for Choreographies - Laura Bocchi; Julien Lange; Emilio Tuosto (ICE, 2011)

Contracts in distributed systems - Massimo Bartoletti; Emilio Tuosto; Roberto Zunino (ICE, 2011)

Synthesising Choreographies from Local Session Types. - Julien Lange; Emilio Tuosto (CONCUR, 2012)

On the Realizability of Contracts in Dishonest Systems. - Massimo Bartoletti; Emilio Tuosto; Roberto Zunino (COORDINATION, 2012)

On Nominal Regular Languages with Binders. - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (FoSSaCS, 2012)

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions. - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (IFIP TCS, 2012)

Contract-Oriented Services. - Emilio Tuosto (WS-FM, 2012)

Synthesising Choreographies from Local Session Types (extended version) - Julien Lange; Emilio Tuosto (CoRR, 2012)

Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations - Kyriakos Poyias; Emilio Tuosto (ICE, 2012)

Contract-Oriented Computing in CO2. - Massimo Bartoletti; Emilio Tuosto; Roberto Zunino (Sci. Ann. Comput. Sci., 2012)

Three Algorithms and a Methodology for Amending Contracts for Choreographies. - Laura Bocchi; Julien Lange; Emilio Tuosto (Sci. Ann. Comput. Sci., 2012)

Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract. - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (CoRR, 2013)

On Recovering from Run-time Misbehaviour in ADR. - Kyriakos Poyias; Emilio Tuosto (ICE, 2013)

From Orchestration to Choreography through Contract Automata. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002; Emilio Tuosto (ICE, 2014)

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. - Giancarlo Bigi; Andrea Bracciali; Giovanni Meacci; Emilio Tuosto (Programming Languages with Applications to Biology and Security, 2015)

From Communicating Machines to Graphical Choreographies. - Julien Lange; Emilio Tuosto; Nobuko Yoshida (POPL, 2015)

Communicating machines as a dynamic binding mechanism of services. - Ignacio Vissani; Carlos Gustavo López Pombo; Emilio Tuosto (PLACES, 2015)

Attribute-based transactions in service oriented computing. - Laura Bocchi; Emilio Tuosto (Math. Struct. Comput. Sci., 2015)

A design-by-contract approach to recover the architectural style from run-time misbehaviour. - Kyriakos Poyias; Emilio Tuosto (Sci. Comput. Program., 2015)

Preface. - Alberto Lluch-Lafuente; Emilio Tuosto (Serv. Oriented Comput. Appl., 2015)

Playing with Our CAT and Communication-Centric Applications. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002; Emilio Tuosto (FORTE, 2016)

Choreography-Based Analysis of Distributed Message Passing Programs. - Ramsay Taylor; Emilio Tuosto; Neil Walkinshaw; John Derrick (PDP, 2016)

An Abstract Semantics of the Global View of Choreographies. - Roberto Guanciale; Emilio Tuosto (ICE, 2016)

Honesty by Typing - Massimo Bartoletti; Alceste Scalas; Emilio Tuosto; Roberto Zunino (Log. Methods Comput. Sci., 2016)

Foundations of Session Types and Behavioural Contracts. - Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Luís Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro (ACM Comput. Surv., 2016)

Relating two automata-based models of orchestration and choreography. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002; Emilio Tuosto (J. Log. Algebraic Methods Program., 2016)

Choreographies for Automatic Recovery. - Claudio Antares Mezzina; Emilio Tuosto (CoRR, 2017)

Reliability and Fault-Tolerance by Choreographic Design. - Ian Cassar; Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (PrePost@iFM, 2017)

Tool Supported Analysis of IoT. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Emilio Tuosto (ICE@DisCoTec, 2017)

On Sessions and Infinite Data. - Paula Severi; Luca Padovani; Emilio Tuosto; Mariangiola Dezani-Ciancaglini (Log. Methods Comput. Sci., 2017)

Reversible Choreographies via Monitoring in Erlang. - Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (DAIS, 2018)

Realisability of Pomsets via Communicating Automata. - Roberto Guanciale; Emilio Tuosto (ICE, 2018)

Semantics of global view of choreographies. - Emilio Tuosto; Roberto Guanciale (J. Log. Algebraic Methods Program., 2018)

Data-Driven Choreographies à la Klaim. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Hernán C. Melgratti; Ugo Montanari; Emilio Tuosto (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Interface Automata for Choreographies. - Hao Zeng 002; Alexander Kurz 001; Emilio Tuosto (ICE, 2019)

On Learning Nominal Automata with Binders. - Yi Xiao 002; Emilio Tuosto (ICE, 2019)

Realisability of pomsets. - Roberto Guanciale; Emilio Tuosto (J. Log. Algebraic Methods Program., 2019)

Probabilistic Analysis of Binary Sessions. - Omar Inverso; Hernán C. Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto (CONCUR, 2020)

Choreography Automata. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (COORDINATION, 2020)

Choreographic Development of Message-Passing Applications - A Tutorial. - Alex Coto; Roberto Guanciale; Emilio Tuosto (COORDINATION, 2020)

A Choreography-Driven Approach to APIs: The OpenDXL Case Study. - Leonardo Frittelli; Facundo Maldonado; Hernán C. Melgratti; Emilio Tuosto (COORDINATION, 2020)

Composing Communicating Systems, Synchronously. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (ISoLA (1), 2020)

On Testing Message-Passing Components. - Alex Coto; Roberto Guanciale; Emilio Tuosto (ISoLA (1), 2020)

Abstractions for Collective Adaptive Systems. - Omar Inverso; Catia Trubiani; Emilio Tuosto (ISoLA (2), 2020)

On Resolving Non-determinism in Choreographies. - Laura Bocchi; Hernán C. Melgratti; Emilio Tuosto (Log. Methods Comput. Sci., 2020)

Towards Choreographic-Based Monitoring. - Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (Selected Results of the COST Action IC1405, 2020)

Towards Probabilistic Session-Type Monitoring. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto (COORDINATION, 2021)

Corinne, a Tool for Choreography Automata. - Simone Orlando; Vairo Di Pasquale; Franco Barbanera; Ivan Lanese; Emilio Tuosto (FACS, 2021)

Composition of choreography automata. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (CoRR, 2021)

Composition and decomposition of multiparty sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Emilio Tuosto (J. Log. Algebraic Methods Program., 2021)

An abstract framework for choreographic testing. - Alex Coto; Roberto Guanciale; Emilio Tuosto (J. Log. Algebraic Methods Program., 2021)

PomCho: A tool chain for choreographic design. - Roberto Guanciale; Emilio Tuosto (Sci. Comput. Program., 2021)

Formal Choreographic Languages. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (COORDINATION, 2022)

Design-By-Contract for Flexible Multiparty Session Protocols. - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (ECOOP, 2022)

On Formal Choreographic Modelling: A Case Study in EU Business Processes. - Alex Coto; Franco Barbanera; Ivan Lanese; Davide Rossi; Emilio Tuosto (ISoLA (1), 2022)

On Model-Based Performance Analysis of Collective Adaptive Systems. - Maurizio Murgia 001; Riccardo Pinciroli; Catia Trubiani; Emilio Tuosto (ISoLA (3), 2022)

A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). - Alex Coto; Omar Inverso; Emerson Sales; Emilio Tuosto (TACAS (2), 2022)

Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (CoRR, 2022)

On Composing Communicating Systems. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (ICE, 2022)

Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2022)

Towards refinable choreographies. - Ugo de'Liguoro; Hernán C. Melgratti; Emilio Tuosto (J. Log. Algebraic Methods Program., 2022)

PSTMonitor: Monitor synthesis from probabilistic session types. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto (Sci. Comput. Program., 2022)

Behavioural Types for Local-First Software. - Roland Kuhn 002; Hernán C. Melgratti; Emilio Tuosto (ECOOP, 2023)

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems. - Carlos Gustavo López Pombo; Agustín E. Martinez Suñé; Emilio Tuosto (CoRR, 2023)

Behavioural Types for Local-First Software (Artifact). - Roland Kuhn 002; Hernán C. Melgratti; Emilio Tuosto (Dagstuhl Artifacts Ser., 2023)

A Theory of Formal Choreographic Languages. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (Log. Methods Comput. Sci., 2023)

Composition of synchronous communicating systems. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (J. Log. Algebraic Methods Program., 2023)

Comparing perfomance abstractions for collective adaptive systems. - Maurizio Murgia 001; Riccardo Pinciroli; Catia Trubiani; Emilio Tuosto (Int. J. Softw. Tools Technol. Transf., 2023)

TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). - João Afonso; Elvis Konjoh Selabi; Maurizio Murgia 001; António Ravara; Emilio Tuosto (COORDINATION, 2024)

COTS: Connected OpenAPI Test Synthesis for RESTful Applications. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Emilio Tuosto (COORDINATION, 2024)

SEArch: An Execution Infrastructure for Service-Based Software Systems. - Carlos Gustavo López Pombo; Pablo Montepagano; Emilio Tuosto (COORDINATION, 2024)

Fair Join Pattern Matching for Actors. - Philipp Haller; Ayman Hussein; Hernán C. Melgratti; Alceste Scalas; Emilio Tuosto (ECOOP, 2024)

Automated Static Analysis of Quality of Service Properties of Communicating Systems. - Carlos Gustavo López Pombo; Agustín Eloy Martinez Suñé; Emilio Tuosto (FM (2), 2024)

Accurate Static Data Race Detection for C. - Emerson Sales; Omar Inverso; Emilio Tuosto (FM (1), 2024)

Klaim in the Making. - Lorenzo Bettini; Gian-Luigi Ferrari 002; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001; Emilio Tuosto (ISoLA (1), 2024)

Fair Join Pattern Matching for Actors (Artifact). - Philipp Haller; Ayman Hussein; Hernán C. Melgratti; Alceste Scalas; Emilio Tuosto (Dagstuhl Artifacts Ser., 2024)

Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services. - Carlos López Pombo; Hernán C. Melgratti; Agustín E. Martinez Suñé; Diego Senarruzza Anabia; Emilio Tuosto (COORDINATION, 2025)

Choreographies for Program Understanding. - Gabriele Genovese; Ivan Lanese; Cinzia Di Giusto; Emilio Tuosto; Germán Vidal (FORTE, 2025)

A Choreographic View of Smart Contracts. - Emilio Tuosto (FORTE, 2025)

A dynamic temporal logic for quality of service in choreographic models. - Carlos López Pombo; Agustín E. Martinez Suñé; Emilio Tuosto (Theor. Comput. Sci., 2025)