Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA 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
- 2022
[d1]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)- [j28]Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
:
Towards refinable choreographies. J. Log. Algebraic Methods Program. 127: 100776 (2022) - [c74]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Formal Choreographic Languages. COORDINATION 2022: 121-139 - [c73]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP 2022: 8:1-8:28 - [c72]Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto:
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). TACAS (2) 2022: 413-417 - [i13]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) - [i12]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
On Composing Communicating Systems. CoRR abs/2208.04634 (2022) - 2021
- [j27]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto:
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119: 100620 (2021) - [j26]Alex Coto, Roberto Guanciale, Emilio Tuosto:
An abstract framework for choreographic testing. J. Log. Algebraic Methods Program. 123: 100712 (2021) - [j25]Roberto Guanciale, Emilio Tuosto:
PomCho: A tool chain for choreographic design. Sci. Comput. Program. 202: 102535 (2021) - [c71]Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto:
Towards Probabilistic Session-Type Monitoring. COORDINATION 2021: 106-120 - [c70]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
- [j24]Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto:
On Resolving Non-determinism in Choreographies. Log. Methods Comput. Sci. 16(3) (2020) - [c69]Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto:
Probabilistic Analysis of Binary Sessions. CONCUR 2020: 14:1-14:21 - [c68]Alex Coto, Roberto Guanciale, Emilio Tuosto:
Choreographic Development of Message-Passing Applications - A Tutorial. COORDINATION 2020: 20-36 - [c67]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Choreography Automata. COORDINATION 2020: 86-106 - [c66]Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto:
A Choreography-Driven Approach to APIs: The OpenDXL Case Study. COORDINATION 2020: 107-124 - [c65]Alex Coto, Roberto Guanciale, Emilio Tuosto:
On Testing Message-Passing Components. ISoLA (1) 2020: 22-38 - [c64]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composing Communicating Systems, Synchronously. ISoLA (1) 2020: 39-59 - [c63]Omar Inverso, Catia Trubiani, Emilio Tuosto:
Abstractions for Collective Adaptive Systems. ISoLA (2) 2020: 243-260 - [c62]Alex Coto, Roberto Guanciale, Emilio Tuosto:
An Abstract Framework for Choreographic Testing. ICE 2020: 43-60 - [c61]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
- [j23]Roberto Guanciale, Emilio Tuosto:
Realisability of pomsets. J. Log. Algebraic Methods Program. 108: 69-89 (2019) - [c60]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 - [c59]Hao Zeng, Alexander Kurz, Emilio Tuosto:
Interface Automata for Choreographies. ICE 2019: 1-19 - [c58]Yi Xiao, Emilio Tuosto:
On Learning Nominal Automata with Binders. ICE 2019: 137-155 - [e4]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
- [j22]Emilio Tuosto, Roberto Guanciale:
Semantics of global view of choreographies. J. Log. Algebraic Methods Program. 95: 17-40 (2018) - [c57]Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reversible Choreographies via Monitoring in Erlang. DAIS 2018: 75-92 - [c56]Roberto Guanciale, Emilio Tuosto:
Realisability of Pomsets via Communicating Automata. ICE 2018: 37-51 - 2017
- [j21]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13(2) (2017) - [c55]Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto:
Tool Supported Analysis of IoT. ICE@DisCoTec 2017: 37-56 - [c54]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
- [j20]Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino:
Honesty by Typing. Log. Methods Comput. Sci. 12(4) (2016) - [j19]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) - [j18]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) - [c53]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. COORDINATION 2016: 245-261 - [c52]Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto:
Playing with Our CAT and Communication-Centric Applications. FORTE 2016: 62-73 - [c51]Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick:
Choreography-Based Analysis of Distributed Message Passing Programs. PDP 2016: 512-519 - [c50]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
- [j17]Laura Bocchi, Emilio Tuosto:
Attribute-based transactions in service oriented computing. Math. Struct. Comput. Sci. 25(3): 619-665 (2015) - [j16]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) - [j15]Alberto Lluch-Lafuente, Emilio Tuosto:
Preface. Serv. Oriented Comput. Appl. 9(3-4): 211 (2015) - [c49]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 - [c48]Julien Lange, Emilio Tuosto, Nobuko Yoshida:
From Communicating Machines to Graphical Choreographies. POPL 2015: 221-232 - [c47]Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto:
Communicating machines as a dynamic binding mechanism of services. PLACES 2015: 85-98 - 2014
- [c46]Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto:
Resolving Non-determinism in Choreographies. ESOP 2014: 493-512 - [c45]Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto:
From Orchestration to Choreography through Contract Automata. ICE 2014: 67-85 - [e3]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] - [e2]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
- [c44]Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino:
Honesty by Typing. FMOODS/FORTE 2013: 305-320 - [c43]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
- [j14]Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
Contract-Oriented Computing in CO2. Sci. Ann. Comput. Sci. 22(1): 5-60 (2012) - [j13]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) - [c42]Julien Lange, Emilio Tuosto:
Synthesising Choreographies from Local Session Types. CONCUR 2012: 225-239 - [c41]Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
On the Realizability of Contracts in Dishonest Systems. COORDINATION 2012: 245-260 - [c40]Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto:
On Nominal Regular Languages with Binders. FoSSaCS 2012: 255-269 - [c39]Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto:
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions. IFIP TCS 2012: 193-208 - [c38]Emilio Tuosto:
Contract-Oriented Services. WS-FM 2012: 16-29 - [c37]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
- [c36]Nour Ali, Emilio Tuosto:
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. SEW 2011: 1-10 - [c35]Laura Bocchi, Julien Lange, Emilio Tuosto:
Amending Contracts for Choreographies. ICE 2011: 111-129 - [c34]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
- [j12]Jochen Malte Küster, Emilio Tuosto:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j11]Hyder Ali Nizamani, Emilio Tuosto:
Patterns of Federated Identity Management Systems as Architectural Reconfigurations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010) - [c33]Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida:
A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010: 162-176 - [c32]Laura Bocchi, Emilio Tuosto:
Testing Attribute-Based Transactions in SOC. FMOODS/FORTE 2010: 87-94 - [c31]Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
BPMN Modelling of Services with Dynamically Reconfigurable Transactions. ICSOC 2010: 396-410 - [c30]Laura Bocchi, Emilio Tuosto:
A Java Inspired Semantics for Transactions in SOC. TGC 2010: 120-134 - [c29]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions: A Case Study. TGC 2010: 318-334 - [c28]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
- [j10]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto:
Preface. Electron. Notes Theor. Comput. Sci. 229(3): 1-2 (2009) - [c27]Qurat ul Ain Nizamani, Emilio Tuosto:
Heuristic Methods for Security Protocols. SECCO 2009: 61-75 - [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
- [j9]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Debugging Distributed Systems with Causal Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008) - [j8]Andrea Corradini, Emilio Tuosto:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [j7]Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto:
A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008) - [c26]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Event-Based Service Coordination. Concurrency, Graphs and Models 2008: 312-329 - [c25]Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto:
History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641 - [c24]Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto:
Multiparty Sessions in SOC. COORDINATION 2008: 67-82 - [c23]Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto:
Network Applications of Graph Bisimulation. ICGT 2008: 131-146 - [c22]Andrea Corradini, Emilio Tuosto:
ICGT 2008 Doctoral Symposium. ICGT 2008: 473-474 - [c21]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions. WS-FM 2008: 127-142 - 2007
- [c20]GianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Coordination Via Types in an Event-Based Framework. FORTE 2007: 66-80 - [c19]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
Service Oriented Architectural Design. TGC 2007: 186-203 - 2006
- [j6]Emilio Tuosto, Hugo Torres Vieira:
An Observational Model for Spatial Logics. Electron. Notes Theor. Comput. Sci. 142: 229-254 (2006) - [j5]Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto:
A Logic for Application Level QoS. Electron. Notes Theor. Comput. Sci. 153(2): 135-159 (2006) - [c18]Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto:
Translating Orc Features into Petri Nets and the Join Calculus. WS-FM 2006: 123-137 - 2005
- [j4]Emilio Tuosto:
Tarzan: Communicating and Moving in Wireless Jungles. Electron. Notes Theor. Comput. Sci. 112: 77-94 (2005) - [j3]Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto:
A Coordination-based Methodology for Security Protocol Verification. Electron. Notes Theor. Comput. Sci. 121: 23-46 (2005) - [j2]Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. Theor. Comput. Sci. 331(2-3): 325-365 (2005) - [c17]Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane:
Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156 - [c16]Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48 - [c15]Ivan Lanese, Emilio Tuosto:
Synchronized Hyperedge Replacement for Heterogeneous Systems. COORDINATION 2005: 220-235 - [c14]Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto:
From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM 2005: 272-286 - [c13]Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto:
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. FMCO 2005: 22-43 - [c12]Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24 - [c11]Dan Hirsch, Emilio Tuosto:
SHReQ: Coordinating Application Level QoS. SEFM 2005: 425-434 - 2004
- [c10]Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto:
Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74 - 2003
- [c9]Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice 2003: 436-479 - [c8]Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri:
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150 - 2002
- [c7]Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto:
From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338 - [c6]Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto:
Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377 - [c5]Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266 - 2001
- [j1]Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto:
Security Issues in Component-based Design. Electron. Notes Theor. Comput. Sci. 54: 49-57 (2001) - [c4]Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16 - [c3]Gian Luigi Ferrari, Emilio Tuosto:
A debugging calculus for mobile ambients. SAC 2001 - 2000
- [c2]Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto:
Calculi for Network Aware Programming. WOA 2000: 23-28
1990 – 1999
- 1999
- [c1]Emilio Tuosto:
An Ada95 Implementation of a Network Coordination Language with Code Mobility. Ada-Europe 1999: 199-210
Coauthor Index
Gian Luigi Ferrari
aka: GianLuigi Ferrari
aka: GianLuigi Ferrari