


Остановите войну!
for scientists:
Emilio 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 - [i12]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) - 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