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
[j29]Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto:
Fair Join Pattern Matching for Actors (Artifact). Dagstuhl Artifacts Ser. 10(2): 8:1-8:3 (2024)- [c92]Christian Bartolo Burlò
, Adrian Francalanza, Alceste Scalas, Emilio Tuosto:
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. COORDINATION 2024: 75-92 - [c91]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 - [c90]Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto:
SEArch: An Execution Infrastructure for Service-Based Software Systems. COORDINATION 2024: 314-330 - [c89]Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto:
Fair Join Pattern Matching for Actors. ECOOP 2024: 17:1-17:28 - [c88]Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Emilio Tuosto:
Automated Static Analysis of Quality of Service Properties of Communicating Systems. FM (2) 2024: 84-103 - [c87]Emerson Sales, Omar Inverso, Emilio Tuosto:
Accurate Static Data Race Detection for C. FM (1) 2024: 443-462 - [c86]Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto:
Klaim in the Making. ISoLA (1) 2024: 27-49 - [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]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
Service Oriented Architectural Design. TGC 2007: 186-203 - 2006
- [c23]Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto:
Translating Orc Features into Petri Nets and the Join Calculus. WS-FM 2006: 123-137 - 2005
- [j1]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) - [c22]Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane:
Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156 - [c21]Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48 - [c20]Ivan Lanese, Emilio Tuosto:
Synchronized Hyperedge Replacement for Heterogeneous Systems. COORDINATION 2005: 220-235 - [c19]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 - [c18]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 - [c17]Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24 - [c16]Dan Hirsch, Emilio Tuosto:
SHReQ: Coordinating Application Level QoS. SEFM 2005: 425-434 - [c15]Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto:
A Logic for Application Level QoS. QAPL 2005: 135-159 - 2004
- [c14]Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto:
Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74 - [c13]Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari, Emilio Tuosto:
A Coordination-based Methodology for Security Protocol Verification. WISP@ICATPN 2004: 23-46 - [c12]Emilio Tuosto:
Tarzan: Communicating and Moving in Wireless Jungles. QAPL 2004: 77-94 - [c11]Emilio Tuosto, Hugo Torres Vieira:
An Observational Model for Spatial Logics. VODCA@FOSAD 2004: 229-254 - 2003
- [b1]Emilio Tuosto:
Non-functional aspects of wide area network programming. University of Pisa, Italy, 2003 - [c10]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 - [c9]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
- [c8]Gian-Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto:
From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338 - [c7]Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto:
Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377 - [c6]Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266 - 2001
- [c5]Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16 - [c4]Gian-Luigi Ferrari, Emilio Tuosto:
A debugging calculus for mobile ambients. SAC 2001 - [c3]Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto:
Security Issues in Component-based Design. ConCoord 2001: 49-57 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
