Emilio Tuosto

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 65

Top Venues

CoRR

COORDINATION

ICE

J. Log. Algebraic Methods Program.

Publications

João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). COORDINATION (2024)
Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto
SEArch: An Execution Infrastructure for Service-Based Software Systems. COORDINATION (2024)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. COORDINATION (2024)
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
TRAC: a tool for data-aware coordination (with an application to smart contracts). CoRR (2024)
Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto
SEArch: an execution infrastructure for service-based software systems. CoRR (2024)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. CoRR (2024)
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. CoRR (2023)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
A Theory of Formal Choreographic Languages. Log. Methods Comput. Sci. 19 (3) (2023)
Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
Behavioural Types for Local-First Software. CoRR (2023)
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
Comparing perfomance abstractions for collective adaptive systems. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Composition of synchronous communicating systems. J. Log. Algebraic Methods Program. 135 (2023)
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. ICTAC (2023)
Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
Behavioural Types for Local-First Software. ECOOP (2023)
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems. CoRR (2023)
Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
Behavioural Types for Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto
On Formal Choreographic Modelling: A Case Study in EU Business Processes. ISoLA (1) (2022)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
A Theory of Formal Choreographic Languages. CoRR (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. CoRR (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
PSTMonitor: Monitor Synthesis from Probabilistic Session Types. CoRR (2022)
Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). TACAS (2) (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
PSTMonitor: Monitor synthesis from probabilistic session types. Sci. Comput. Program. 222 (2022)
Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
Towards refinable choreographies. J. Log. Algebraic Methods Program. 127 (2022)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
On Composing Communicating Systems. ICE (2022)
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
On Model-Based Performance Analysis of Collective Adaptive Systems. ISoLA (3) (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Formal Choreographic Languages. COORDINATION (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Towards Probabilistic Session-Type Monitoring. COORDINATION (2021)
Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto
Corinne, a Tool for Choreography Automata. FACS (2021)
Roberto Guanciale, Emilio Tuosto
PomCho: A tool chain for choreographic design. Sci. Comput. Program. 202 (2021)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119 (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Towards Probabilistic Session-Type Monitoring. CoRR (2021)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Composition of choreography automata. CoRR (2021)
Alex Coto, Roberto Guanciale, Emilio Tuosto
An abstract framework for choreographic testing. J. Log. Algebraic Methods Program. 123 (2021)
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
Probabilistic Analysis of Binary Sessions. CoRR (2020)
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
On Resolving Non-determinism in Choreographies. Log. Methods Comput. Sci. 16 (3) (2020)
Alex Coto, Roberto Guanciale, Emilio Tuosto
On Testing Message-Passing Components. ISoLA (1) (2020)
Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto
A Choreography-Driven Approach to APIs: The OpenDXL Case Study. COORDINATION (2020)
Alex Coto, Roberto Guanciale, Emilio Tuosto
An Abstract Framework for Choreographic Testing. ICE (2020)
Omar Inverso, Catia Trubiani, Emilio Tuosto
Abstractions for Collective Adaptive Systems. ISoLA (2) (2020)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Choreography Automata. COORDINATION (2020)
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
Probabilistic Analysis of Binary Sessions. CONCUR (2020)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Composing Communicating Systems, Synchronously. ISoLA (1) (2020)
Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
Towards Refinable Choreographies. ICE (2020)
Alex Coto, Roberto Guanciale, Emilio Tuosto
Choreographic Development of Message-Passing Applications - A Tutorial. COORDINATION (2020)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Roberto Guanciale, Emilio Tuosto
Realisability of pomsets. J. Log. Algebraic Methods Program. 108 (2019)
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
On Resolving Non-determinism in Choreographies. CoRR (2019)
Hao Zeng, Alexander Kurz, Emilio Tuosto
Interface Automata for Choreographies. ICE (2019)
Yi Xiao, Emilio Tuosto
On Learning Nominal Automata with Binders. ICE (2019)
Emilio Tuosto, Roberto Guanciale
Semantics of global view of choreographies. J. Log. Algebraic Methods Program. 95 (2018)
Roberto Guanciale, Emilio Tuosto
Realisability of Pomsets via Communicating Automata. ICE (2018)
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Reversible Choreographies via Monitoring in Erlang. DAIS (2018)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
Tool Supported Analysis of IoT. ICE@DisCoTec (2017)
Claudio Antares Mezzina, Emilio Tuosto
Choreographies for Automatic Recovery. CoRR (2017)
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM (2017)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13 (2) (2017)
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Honesty by Typing Log. Methods Comput. Sci. 12 (4) (2016)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. COORDINATION (2016)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. CoRR (2016)
Roberto Guanciale, Emilio Tuosto
An Abstract Semantics of the Global View of Choreographies. ICE (2016)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto
Relating two automata-based models of orchestration and choreography. J. Log. Algebraic Methods Program. 85 (3) (2016)
Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick
Choreography-Based Analysis of Distributed Message Passing Programs. PDP (2016)
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
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto
Playing with Our CAT and Communication-Centric Applications. FORTE (2016)
Laura Bocchi, Emilio Tuosto
Attribute-based transactions in service oriented computing. Math. Struct. Comput. Sci. 25 (3) (2015)
Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, Emilio Tuosto
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. Programming Languages with Applications to Biology and Security (2015)
Alberto Lluch-Lafuente, Emilio Tuosto
Preface. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Julien Lange, Emilio Tuosto, Nobuko Yoshida
From Communicating Machines to Graphical Choreographies. POPL (2015)
Kyriakos Poyias, Emilio Tuosto
A design-by-contract approach to recover the architectural style from run-time misbehaviour. Sci. Comput. Program. 100 (2015)
Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto
Communicating machines as a dynamic binding mechanism of services. PLACES (2015)
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
Resolving Non-determinism in Choreographies. ESOP (2014)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto
From Orchestration to Choreography through Contract Automata. ICE (2014)
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Honesty by Typing. FMOODS/FORTE (2013)
Kyriakos Poyias, Emilio Tuosto
On Recovering from Run-time Misbehaviour in ADR. ICE (2013)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract. CoRR (2013)
Julien Lange, Emilio Tuosto
Synthesising Choreographies from Local Session Types (extended version) CoRR (2012)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
On Nominal Regular Languages with Binders. FoSSaCS (2012)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions. IFIP TCS (2012)
Julien Lange, Emilio Tuosto
Synthesising Choreographies from Local Session Types. CONCUR (2012)
Kyriakos Poyias, Emilio Tuosto
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations ICE (2012)
Emilio Tuosto
Contract-Oriented Services. WS-FM (2012)
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
Contract-Oriented Computing in CO2. Sci. Ann. Comput. Sci. 22 (1) (2012)
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
On the Realizability of Contracts in Dishonest Systems. COORDINATION (2012)
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
On the realizability of contracts in dishonest systems CoRR (2012)
Laura Bocchi, Julien Lange, Emilio Tuosto
Three Algorithms and a Methodology for Amending Contracts for Choreographies. Sci. Ann. Comput. Sci. 22 (1) (2012)
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
Contracts in distributed systems ICE (2011)
Laura Bocchi, Julien Lange, Emilio Tuosto
Amending Contracts for Choreographies ICE (2011)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Towards Nominal Formal Languages CoRR (2011)
Nour Ali, Emilio Tuosto
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. SEW (2011)
Laura Bocchi, Emilio Tuosto
Testing Attribute-Based Transactions in SOC. FMOODS/FORTE (2010)
Hyder Ali Nizamani, Emilio Tuosto
Patterns of Federated Identity Management Systems as Architectural Reconfigurations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010)
Julien Lange, Emilio Tuosto
A Modular Toolkit for Distributed Interactions PLACES (2010)
Laura Bocchi, Emilio Tuosto
A Java Inspired Semantics for Transactions in SOC. TGC (2010)
Marco Aldinucci, Emilio Tuosto
Toward a Formal Semantics for Autonomic Components CoRR (2010)
Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
BPMN Modelling of Services with Dynamically Reconfigurable Transactions. ICSOC (2010)
Jochen Malte Küster, Emilio Tuosto
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
Refactoring Long Running Transactions: A Case Study. TGC (2010)
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida
A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR (2010)
Qurat ul Ain Nizamani, Emilio Tuosto
Heuristic Methods for Security Protocols SECCO (2009)

Emilio Tuosto.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Emilio Tuosto