Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEmilio Tuosto
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c88]Christian Bartolo Burlò
, Adrian Francalanza, Alceste Scalas, Emilio Tuosto:
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. COORDINATION 2024: 75-92- [c87]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: 239-257 - [c86]Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto:
SEArch: An Execution Infrastructure for Service-Based Software Systems. COORDINATION 2024: 314-330 - [i20]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 abs/2404.19523 (2024) - [i19]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto:
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. CoRR abs/2404.19614 (2024) - [i18]Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto:
SEArch: an execution infrastructure for service-based software systems. CoRR abs/2404.19633 (2024) - 2023
- [j28]Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto:
Behavioural Types for Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9(2): 14:1-14:5 (2023) - [j27]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composition of synchronous communicating systems. J. Log. Algebraic Methods Program. 135: 100890 (2023) - [j26]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
A Theory of Formal Choreographic Languages. Log. Methods Comput. Sci. 19(3) (2023) - [j25]Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto:
Comparing perfomance abstractions for collective adaptive systems. Int. J. Softw. Tools Technol. Transf. 25(5): 785-798 (2023) - [c85]Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto:
Behavioural Types for Local-First Software. ECOOP 2023: 15:1-15:28 - [c84]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: 119-138 - [i17]Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto:
Behavioural Types for Local-First Software. CoRR abs/2305.04848 (2023) - [i16]Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto:
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. CoRR abs/2311.01414 (2023) - [i15]Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto:
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems. CoRR abs/2311.01415 (2023) - 2022
- [j24]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 8(2): 21:1-21:5 (2022) - [j23]Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto:
Towards refinable choreographies. J. Log. Algebraic Methods Program. 127: 100776 (2022) - [j22]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto:
PSTMonitor: Monitor synthesis from probabilistic session types. Sci. Comput. Program. 222: 102847 (2022) - [c83]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Formal Choreographic Languages. COORDINATION 2022: 121-139 - [c82]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP 2022: 8:1-8:28 - [c81]Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto:
On Formal Choreographic Modelling: A Case Study in EU Business Processes. ISoLA (1) 2022: 205-219 - [c80]Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto:
On Model-Based Performance Analysis of Collective Adaptive Systems. ISoLA (3) 2022: 266-282 - [c79]Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto:
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). TACAS (2) 2022: 413-417 - [c78]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
On Composing Communicating Systems. ICE 2022: 53-68 - [i14]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. CoRR abs/2205.06535 (2022) - [i13]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
A Theory of Formal Choreographic Languages. CoRR abs/2210.08223 (2022) - [i12]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto:
PSTMonitor: Monitor Synthesis from Probabilistic Session Types. CoRR abs/2212.07329 (2022) - 2021
- [j21]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto:
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119: 100620 (2021) - [j20]Alex Coto, Roberto Guanciale, Emilio Tuosto:
An abstract framework for choreographic testing. J. Log. Algebraic Methods Program. 123: 100712 (2021) - [j19]Roberto Guanciale, Emilio Tuosto:
PomCho: A tool chain for choreographic design. Sci. Comput. Program. 202: 102535 (2021) - [c77]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto:
Towards Probabilistic Session-Type Monitoring. COORDINATION 2021: 106-120 - [c76]Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Corinne, a Tool for Choreography Automata. FACS 2021: 82-92 - [i11]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composition of choreography automata. CoRR abs/2107.06727 (2021) - [i10]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto:
Towards Probabilistic Session-Type Monitoring. CoRR abs/2107.08729 (2021) - 2020
- [j18]Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto:
On Resolving Non-determinism in Choreographies. Log. Methods Comput. Sci. 16(3) (2020) - [c75]Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto:
Probabilistic Analysis of Binary Sessions. CONCUR 2020: 14:1-14:21 - [c74]Alex Coto, Roberto Guanciale, Emilio Tuosto:
Choreographic Development of Message-Passing Applications - A Tutorial. COORDINATION 2020: 20-36 - [c73]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Choreography Automata. COORDINATION 2020: 86-106 - [c72]Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto:
A Choreography-Driven Approach to APIs: The OpenDXL Case Study. COORDINATION 2020: 107-124 - [c71]Alex Coto, Roberto Guanciale, Emilio Tuosto:
On Testing Message-Passing Components. ISoLA (1) 2020: 22-38 - [c70]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composing Communicating Systems, Synchronously. ISoLA (1) 2020: 39-59 - [c69]Omar Inverso, Catia Trubiani, Emilio Tuosto:
Abstractions for Collective Adaptive Systems. ISoLA (2) 2020: 243-260 - [c68]Alex Coto, Roberto Guanciale, Emilio Tuosto:
An Abstract Framework for Choreographic Testing. ICE 2020: 43-60 - [c67]Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto:
Towards Refinable Choreographies. ICE 2020: 61-77 - [p3]Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Towards Choreographic-Based Monitoring. Selected Results of the COST Action IC1405 2020: 128-150 - [i9]Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto:
Probabilistic Analysis of Binary Sessions. CoRR abs/2007.11832 (2020)
2010 – 2019
- 2019
- [j17]Roberto Guanciale, Emilio Tuosto:
Realisability of pomsets. J. Log. Algebraic Methods Program. 108: 69-89 (2019) - [c66]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: 170-190 - [c65]Hao Zeng, Alexander Kurz, Emilio Tuosto:
Interface Automata for Choreographies. ICE 2019: 1-19 - [c64]Yi Xiao, Emilio Tuosto:
On Learning Nominal Automata with Binders. ICE 2019: 137-155 - [e5]Hanne Riis Nielson, Emilio Tuosto:
Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11533, Springer 2019, ISBN 978-3-030-22396-0 [contents] - [i8]Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto:
On Resolving Non-determinism in Choreographies. CoRR abs/1904.08337 (2019) - 2018
- [j16]Emilio Tuosto, Roberto Guanciale:
Semantics of global view of choreographies. J. Log. Algebraic Methods Program. 95: 17-40 (2018) - [c63]Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reversible Choreographies via Monitoring in Erlang. DAIS 2018: 75-92 - [c62]Roberto Guanciale, Emilio Tuosto:
Realisability of Pomsets via Communicating Automata. ICE 2018: 37-51 - 2017
- [j15]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13(2) (2017) - [c61]Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto:
Tool Supported Analysis of IoT. ICE@DisCoTec 2017: 37-56 - [c60]Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM 2017: 69-80 - [i7]Claudio Antares Mezzina, Emilio Tuosto:
Choreographies for Automatic Recovery. CoRR abs/1705.09525 (2017) - 2016
- [j14]Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino:
Honesty by Typing. Log. Methods Comput. Sci. 12(4) (2016) - [j13]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): 3:1-3:36 (2016) - [j12]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): 425-446 (2016) - [c59]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. COORDINATION 2016: 245-261 - [c58]Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto:
Playing with Our CAT and Communication-Centric Applications. FORTE 2016: 62-73 - [c57]Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick:
Choreography-Based Analysis of Distributed Message Passing Programs. PDP 2016: 512-519 - [c56]Roberto Guanciale, Emilio Tuosto:
An Abstract Semantics of the Global View of Choreographies. ICE 2016: 67-82 - [i6]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. CoRR abs/1610.06362 (2016) - 2015
- [j11]Laura Bocchi, Emilio Tuosto:
Attribute-based transactions in service oriented computing. Math. Struct. Comput. Sci. 25(3): 619-665 (2015) - [j10]Kyriakos Poyias, Emilio Tuosto:
A design-by-contract approach to recover the architectural style from run-time misbehaviour. Sci. Comput. Program. 100: 2-27 (2015) - [j9]Alberto Lluch-Lafuente, Emilio Tuosto:
Preface. Serv. Oriented Comput. Appl. 9(3-4): 211 (2015) - [c55]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: 142-161 - [c54]Julien Lange, Emilio Tuosto, Nobuko Yoshida:
From Communicating Machines to Graphical Choreographies. POPL 2015: 221-232 - [c53]Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto:
Communicating machines as a dynamic binding mechanism of services. PLACES 2015: 85-98 - 2014
- [c52]Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto:
Resolving Non-determinism in Choreographies. ESOP 2014: 493-512 - [c51]Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto:
From Orchestration to Choreography through Contract Automata. ICE 2014: 67-85 - [e4]Matteo Maffei, Emilio Tuosto:
Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8902, Springer 2014, ISBN 978-3-662-45916-4 [contents] - [e3]Emilio Tuosto, Chun Ouyang:
Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science 8379, Springer 2014, ISBN 978-3-319-08259-2 [contents] - 2013
- [c50]Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino:
Honesty by Typing. FMOODS/FORTE 2013: 305-320 - [c49]Kyriakos Poyias, Emilio Tuosto:
On Recovering from Run-time Misbehaviour in ADR. ICE 2013: 68-84 - [i5]Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto:
Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract. CoRR abs/1310.7093 (2013) - 2012
- [j8]Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
Contract-Oriented Computing in CO2. Sci. Ann. Comput. Sci. 22(1): 5-60 (2012) - [j7]Laura Bocchi, Julien Lange, Emilio Tuosto:
Three Algorithms and a Methodology for Amending Contracts for Choreographies. Sci. Ann. Comput. Sci. 22(1): 61-104 (2012) - [c48]Julien Lange, Emilio Tuosto:
Synthesising Choreographies from Local Session Types. CONCUR 2012: 225-239 - [c47]Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
On the Realizability of Contracts in Dishonest Systems. COORDINATION 2012: 245-260 - [c46]Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto:
On Nominal Regular Languages with Binders. FoSSaCS 2012: 255-269 - [c45]Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto:
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions. IFIP TCS 2012: 193-208 - [c44]Emilio Tuosto:
Contract-Oriented Services. WS-FM 2012: 16-29 - [c43]Kyriakos Poyias, Emilio Tuosto:
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations. ICE 2012: 67-82 - [i4]Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
On the realizability of contracts in dishonest systems. CoRR abs/1201.6188 (2012) - [i3]Julien Lange, Emilio Tuosto:
Synthesising Choreographies from Local Session Types (extended version). CoRR abs/1204.2566 (2012) - 2011
- [c42]Nour Ali, Emilio Tuosto:
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. SEW 2011: 1-10 - [c41]Laura Bocchi, Julien Lange, Emilio Tuosto:
Amending Contracts for Choreographies. ICE 2011: 111-129 - [c40]Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
Contracts in distributed systems. ICE 2011: 130-147 - [p2]Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
A Formal Support to Business and Architectural Design for Service-Oriented Systems. Results of the SENSORIA Project 2011: 133-152 - [p1]Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Model-Driven Development of Long Running Transactions. Results of the SENSORIA Project 2011: 326-348 - [i2]Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto:
Towards Nominal Formal Languages. CoRR abs/1102.3174 (2011) - 2010
- [j6]Jochen Malte Küster, Emilio Tuosto:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j5]Hyder Ali Nizamani, Emilio Tuosto:
Patterns of Federated Identity Management Systems as Architectural Reconfigurations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010) - [c39]Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida:
A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010: 162-176 - [c38]Laura Bocchi, Emilio Tuosto:
Testing Attribute-Based Transactions in SOC. FMOODS/FORTE 2010: 87-94 - [c37]Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
BPMN Modelling of Services with Dynamically Reconfigurable Transactions. ICSOC 2010: 396-410 - [c36]Laura Bocchi, Emilio Tuosto:
A Java Inspired Semantics for Transactions in SOC. TGC 2010: 120-134 - [c35]Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions: A Case Study. TGC 2010: 318-334 - [c34]Julien Lange, Emilio Tuosto:
A Modular Toolkit for Distributed Interactions. PLACES 2010: 92-110 - [i1]Marco Aldinucci, Emilio Tuosto:
Toward a Formal Semantics for Autonomic Components. CoRR abs/1002.2722 (2010)
2000 – 2009
- 2009
- [c33]Qurat ul Ain Nizamani, Emilio Tuosto:
Heuristic Methods for Security Protocols. SECCO 2009: 61-75 - [e2]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto:
Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008. Electronic Notes in Theoretical Computer Science 229(3), Elsevier 2009 [contents] - [e1]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto:
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009. EPTCS 12, 2009 [contents] - 2008
- [j4]Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Debugging Distributed Systems with Causal Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008) - [j3]Andrea Corradini, Emilio Tuosto:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [j2]Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto:
A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008) - [c32]Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Event-Based Service Coordination. Concurrency, Graphs and Models 2008: 312-329 - [c31]Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto:
History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641 - [c30]Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto:
Multiparty Sessions in SOC. COORDINATION 2008: 67-82 - [c29]Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto:
Network Applications of Graph Bisimulation. ICGT 2008: 131-146 - [c28]Andrea Corradini, Emilio Tuosto:
ICGT 2008 Doctoral Symposium. ICGT 2008: 473-474 - [c27]Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions. WS-FM 2008: 127-142 - [c26]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto:
Preface. ICE@ICALP 2008: 1-2 - 2007
- [c25]Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Coordination Via Types in an Event-Based Framework. FORTE 2007: 66-80 - [c24]