Emilio Tuosto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
52
Venues
19
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
52 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | Coordination | Runtime Adaptation as a Programming Pattern in Service Composition. | Carlos Gustavo Lpez Pombo, Pablo Montepagano, Emilio Tuosto |
| 2026 | ECOOP | Compositional Design, Implementation, and Verification of Swarms. | Florian Furbach, Lucas Clorius, Roland Kuhn, Hernn C. Melgratti, Alceste Scalas, Emilio Tuosto |
| 2026 | ECOOP | Automatic Code and Test Generation of Smart Contracts from Coordination Models. | Elvis Konjoh Selabi, Maurizio Murgia, Antnio Ravara, Emilio Tuosto |
| 2025 | Coordination | Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services. | Carlos Lpez Pombo, Hernn C. Melgratti, Agustn E. Martinez Su, Diego Senarruzza Anabia, Emilio Tuosto |
| 2025 | FORTE | Choreographies for Program Understanding. | Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germn Vidal |
| 2025 | FORTE | A Choreographic View of Smart Contracts. | Emilio Tuosto |
| 2025 | ICTAC | Pomsets for Process Management: A Healthcare Case Study. | Sourabh Pal, Roberto Guanciale, Ivan Lanese, Emilio Tuosto, Massimo Clo |
| 2024 | Coordination | TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). | Joo Afonso, Elvis Konjoh Selabi, Maurizio Murgia, Antnio Ravara, Emilio Tuosto |
| 2024 | Coordination | COTS: Connected OpenAPI Test Synthesis for RESTful Applications. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Emilio Tuosto |
| 2024 | Coordination | SEArch: An Execution Infrastructure for Service-Based Software Systems. | Carlos Gustavo Lpez Pombo, Pablo Montepagano, Emilio Tuosto |
| 2024 | ECOOP | Fair Join Pattern Matching for Actors. | Philipp Haller, Ayman Hussein, Hernn C. Melgratti, Alceste Scalas, Emilio Tuosto |
| 2024 | FM | Automated Static Analysis of Quality of Service Properties of Communicating Systems. | Carlos Gustavo Lpez Pombo, Agustn Eloy Martinez Su, Emilio Tuosto |
| 2024 | FM | Accurate Static Data Race Detection for C. | Emerson Sales, Omar Inverso, Emilio Tuosto |
| 2024 | ISoLA | Klaim in the Making. | Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto |
| 2023 | ECOOP | Behavioural Types for Local-First Software. | Roland Kuhn, Hernn C. Melgratti, Emilio Tuosto |
| 2023 | ICTAC | A Dynamic Temporal Logic for Quality of Service in Choreographic Models. | Carlos Gustavo Lpez Pombo, Agustn E. Martinez Su, Emilio Tuosto |
| 2022 | Coordination | Formal Choreographic Languages. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2022 | ECOOP | Design-By-Contract for Flexible Multiparty Session Protocols. | Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida |
| 2022 | ISoLA | On Formal Choreographic Modelling: A Case Study in EU Business Processes. | Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto |
| 2022 | ISoLA | On Model-Based Performance Analysis of Collective Adaptive Systems. | Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto |
| 2022 | TACAS | A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). | Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto |
| 2021 | Coordination | Towards Probabilistic Session-Type Monitoring. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
| 2020 | CONCUR | Probabilistic Analysis of Binary Sessions. | Omar Inverso, Hernn C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto |
| 2020 | Coordination | Choreography Automata. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2020 | Coordination | Choreographic Development of Message-Passing Applications - A Tutorial. | Alex Coto, Roberto Guanciale, Emilio Tuosto |
| 2020 | Coordination | A Choreography-Driven Approach to APIs: The OpenDXL Case Study. | Leonardo Frittelli, Facundo Maldonado, Hernn C. Melgratti, Emilio Tuosto |
| 2020 | ISoLA | Composing Communicating Systems, Synchronously. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2020 | ISoLA | On Testing Message-Passing Components. | Alex Coto, Roberto Guanciale, Emilio Tuosto |
| 2020 | ISoLA | Abstractions for Collective Adaptive Systems. | Omar Inverso, Catia Trubiani, Emilio Tuosto |
| 2018 | DAIS | Reversible Choreographies via Monitoring in Erlang. | Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto |
| 2016 | Coordination | On Sessions and Infinite Data. | Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini |
| 2016 | FORTE | Playing with Our CAT and Communication-Centric Applications. | Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto |
| 2016 | PDP | Choreography-Based Analysis of Distributed Message Passing Programs. | Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick |
| 2015 | POPL | From Communicating Machines to Graphical Choreographies. | Julien Lange, Emilio Tuosto, Nobuko Yoshida |
| 2014 | ESOP | Resolving Non-determinism in Choreographies. | Laura Bocchi, Hernn C. Melgratti, Emilio Tuosto |
| 2013 | FORTE | Honesty by Typing. | Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino |
| 2012 | CONCUR | Synthesising Choreographies from Local Session Types. | Julien Lange, Emilio Tuosto |
| 2012 | Coordination | On the Realizability of Contracts in Dishonest Systems. | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino |
| 2012 | FOSSACS | On Nominal Regular Languages with Binders. | Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto |
| 2011 | SEW | Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. | Nour Ali, Emilio Tuosto |
| 2010 | CONCUR | A Theory of Design-by-Contract for Distributed Multiparty Interactions. | Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida |
| 2010 | FORTE | Testing Attribute-Based Transactions in SOC. | Laura Bocchi, Emilio Tuosto |
| 2010 | ICSOC | BPMN Modelling of Services with Dynamically Reconfigurable Transactions. | Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
| 2008 | Coordination | Multiparty Sessions in SOC. | Roberto Bruni, Ivan Lanese, Hernn C. Melgratti, Emilio Tuosto |
| 2007 | FORTE | Coordination Via Types in an Event-Based Framework. | Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
| 2005 | CALCO | Modelling Fusion Calculus using HD-Automata. | Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Bjrn Victor, Kidane Yemane |
| 2005 | Coordination | Synchronized Hyperedge Replacement for Heterogeneous Systems. | Ivan Lanese, Emilio Tuosto |
| 2005 | Coordination | A Process Calculus for QoS-Aware Applications. | Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
| 2005 | FOSSACS | Model Checking for Nominal Calculi. | Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto |
| 2005 | SEFM | SHReQ: Coordinating Application Level QoS. | Dan Hirsch, Emilio Tuosto |
| 2002 | PDPTA | Security and Dynamic Compositions of Open Systems. | Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto |
| 2001 | SAC | A debugging calculus for mobile ambients. | Gian-Luigi Ferrari, Emilio Tuosto |