Emilio Tuosto

157 papers A* 1A 5B 9C 24Misc 3Journal 52Unranked 55
YearRankTypeTitle / Venue / Authors
2026 J jnl
JoinActors: A Modular Library for Actors with Join Patterns.
CoRR
Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2026 J jnl
JoinActors: A Modular Library for Actors with Join Patterns.
Art Sci. Eng. Program.
Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2025 C conf
A Choreographic View of Smart Contracts.
FORTE
Emilio Tuosto
2025 J jnl
A dynamic temporal logic for quality of service in choreographic models.
Theor. Comput. Sci.
Carlos López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
2025 C conf
Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services.
COORDINATION
Carlos López Pombo, Hernán C. Melgratti, Agustín E. Martinez Suñé, Diego Senarruzza Anabia, Emilio Tuosto
2025 C conf
Choreographies for Program Understanding.
FORTE
Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germán Vidal
2025 C conf
Pomsets for Process Management: A Healthcare Case Study.
ICTAC
Sourabh Pal, Roberto Guanciale, Ivan Lanese, Emilio Tuosto, Massimo Clo
2024 — conf
Accurate Static Data Race Detection for C.
FM (1)
Emerson Sales, Omar Inverso, Emilio Tuosto
2024 — conf
Automated Static Analysis of Quality of Service Properties of Communicating Systems.
FM (2)
Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Emilio Tuosto
2024 C conf
COTS: Connected OpenAPI Test Synthesis for RESTful Applications.
COORDINATION
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
2024 J jnl
COTS: Connected OpenAPI Test Synthesis for RESTful Applications.
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
2024 J jnl
Fair Join Pattern Matching for Actors (Artifact).
Dagstuhl Artifacts Ser.
Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2024 A conf
Fair Join Pattern Matching for Actors.
ECOOP
Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2024 — conf
Klaim in the Making.
ISoLA (1)
Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto
2024 C conf
SEArch: An Execution Infrastructure for Service-Based Software Systems.
COORDINATION
Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto
2024 J jnl
SEArch: an execution infrastructure for service-based software systems.
CoRR
Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto
2024 C conf
TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts).
COORDINATION
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
2024 J jnl
TRAC: a tool for data-aware coordination (with an application to smart contracts).
CoRR
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
2023 C conf
A Dynamic Temporal Logic for Quality of Service in Choreographic Models.
ICTAC
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
2023 J jnl
A Dynamic Temporal Logic for Quality of Service in Choreographic Models.
CoRR
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
2023 J jnl
A Theory of Formal Choreographic Languages.
Log. Methods Comput. Sci.
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2023 J jnl
Behavioural Types for Local-First Software (Artifact).
Dagstuhl Artifacts Ser.
Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
2023 A conf
Behavioural Types for Local-First Software.
ECOOP
Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
2023 J jnl
Behavioural Types for Local-First Software.
CoRR
Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
2023 J jnl
Comparing perfomance abstractions for collective adaptive systems.
Int. J. Softw. Tools Technol. Transf.
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
2023 J jnl
Composition of synchronous communicating systems.
J. Log. Algebraic Methods Program.
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2023 J jnl
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems.
CoRR
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
2022 — conf
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution).
TACAS (2)
Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto
2022 J jnl
A Theory of Formal Choreographic Languages.
CoRR
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2022 A conf
Design-By-Contract for Flexible Multiparty Session Protocols.
ECOOP
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 J jnl
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).
Dagstuhl Artifacts Ser.
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 J jnl
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.
CoRR
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 C conf
Formal Choreographic Languages.
COORDINATION
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2022 — conf
On Composing Communicating Systems.
ICE
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2022 — conf
On Formal Choreographic Modelling: A Case Study in EU Business Processes.
ISoLA (1)
Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto
2022 — conf
On Model-Based Performance Analysis of Collective Adaptive Systems.
ISoLA (3)
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
2022 J jnl
PSTMonitor: Monitor Synthesis from Probabilistic Session Types.
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2022 J jnl
PSTMonitor: Monitor synthesis from probabilistic session types.
Sci. Comput. Program.
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2022 J jnl
Towards refinable choreographies.
J. Log. Algebraic Methods Program.
Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
2021 J jnl
An abstract framework for choreographic testing.
J. Log. Algebraic Methods Program.
Alex Coto, Roberto Guanciale, Emilio Tuosto
2021 J jnl
Composition and decomposition of multiparty sessions.
J. Log. Algebraic Methods Program.
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto
2021 J jnl
Composition of choreography automata.
CoRR
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2021 — conf
Corinne, a Tool for Choreography Automata.
FACS
Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto
2021 J jnl
PomCho: A tool chain for choreographic design.
Sci. Comput. Program.
Roberto Guanciale, Emilio Tuosto
2021 C conf
Towards Probabilistic Session-Type Monitoring.
COORDINATION
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2021 J jnl
Towards Probabilistic Session-Type Monitoring.
CoRR
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2020 C conf
A Choreography-Driven Approach to APIs: The OpenDXL Case Study.
COORDINATION
Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto
2020 — conf
Abstractions for Collective Adaptive Systems.
ISoLA (2)
Omar Inverso, Catia Trubiani, Emilio Tuosto
2020 — conf
An Abstract Framework for Choreographic Testing.
ICE
Alex Coto, Roberto Guanciale, Emilio Tuosto
2020 C conf
Choreographic Development of Message-Passing Applications - A Tutorial.
COORDINATION
Alex Coto, Roberto Guanciale, Emilio Tuosto
2020 C conf
Choreography Automata.
COORDINATION
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2020 — conf
Composing Communicating Systems, Synchronously.
ISoLA (1)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2020 J jnl
On Resolving Non-determinism in Choreographies.
Log. Methods Comput. Sci.
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
2020 — conf
On Testing Message-Passing Components.
ISoLA (1)
Alex Coto, Roberto Guanciale, Emilio Tuosto
2020 B conf
Probabilistic Analysis of Binary Sessions.
CONCUR
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020 J jnl
Probabilistic Analysis of Binary Sessions.
CoRR
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020 — ch.
Towards Choreographic-Based Monitoring.
Selected Results of the COST Action IC1405
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2020 — conf
Towards Refinable Choreographies.
ICE
Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
2019 C ed.
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
COORDINATION
Hanne Riis Nielson, Emilio Tuosto
2019 — conf
Data-Driven Choreographies à la Klaim.
Models, Languages, and Tools for Concurrent and Distributed Programming
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
2019 — conf
Interface Automata for Choreographies.
ICE
Hao Zeng, Alexander Kurz, Emilio Tuosto
2019 — conf
On Learning Nominal Automata with Binders.
ICE
Yi Xiao, Emilio Tuosto
2019 J jnl
On Resolving Non-determinism in Choreographies.
CoRR
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
2019 J jnl
Realisability of pomsets.
J. Log. Algebraic Methods Program.
Roberto Guanciale, Emilio Tuosto
2018 — conf
Realisability of Pomsets via Communicating Automata.
ICE
Roberto Guanciale, Emilio Tuosto
2018 C conf
Reversible Choreographies via Monitoring in Erlang.
DAIS
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2018 J jnl
Semantics of global view of choreographies.
J. Log. Algebraic Methods Program.
Emilio Tuosto, Roberto Guanciale
2017 J jnl
Choreographies for Automatic Recovery.
CoRR
Claudio Antares Mezzina, Emilio Tuosto
2017 J jnl
On Sessions and Infinite Data.
Log. Methods Comput. Sci.
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2017 — conf
Reliability and Fault-Tolerance by Choreographic Design.
PrePost@iFM
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2017 — conf
Tool Supported Analysis of IoT.
ICE@DisCoTec
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
2016 — conf
An Abstract Semantics of the Global View of Choreographies.
ICE
Roberto Guanciale, Emilio Tuosto
2016 C conf
Choreography-Based Analysis of Distributed Message Passing Programs.
PDP
Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick
2016 J jnl
Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv.
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
2016 J jnl
Honesty by Typing
Log. Methods Comput. Sci.
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
2016 C conf
On Sessions and Infinite Data.
COORDINATION
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2016 J jnl
On Sessions and Infinite Data.
CoRR
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2016 C conf
Playing with Our CAT and Communication-Centric Applications.
FORTE
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
2016 J jnl
Relating two automata-based models of orchestration and choreography.
J. Log. Algebraic Methods Program.
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
2015 J jnl
A design-by-contract approach to recover the architectural style from run-time misbehaviour.
Sci. Comput. Program.
Kyriakos Poyias, Emilio Tuosto
2015 J jnl
Attribute-based transactions in service oriented computing.
Math. Struct. Comput. Sci.
Laura Bocchi, Emilio Tuosto
2015 — conf
Communicating machines as a dynamic binding mechanism of services.
PLACES
Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto
2015 A* conf
From Communicating Machines to Graphical Choreographies.
POPL
Julien Lange, Emilio Tuosto, Nobuko Yoshida
2015 J jnl
Preface.
Serv. Oriented Comput. Appl.
Alberto Lluch-Lafuente, Emilio Tuosto
2015 — conf
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods.
Programming Languages with Applications to Biology and Security
Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, Emilio Tuosto
2014 — conf
From Orchestration to Choreography through Contract Automata.
ICE
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
2014 A conf
Resolving Non-determinism in Choreographies.
ESOP
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
2014 — ed.
Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
TGC
Matteo Maffei, Emilio Tuosto
2014 — ed.
Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
WS-FM
Emilio Tuosto, Chun Ouyang
2013 — conf
Honesty by Typing.
FMOODS/FORTE
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
2013 J jnl
Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract.
CoRR
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
2013 — conf
On Recovering from Run-time Misbehaviour in ADR.
ICE
Kyriakos Poyias, Emilio Tuosto
2012 — conf
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions.
IFIP TCS
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
2012 J jnl
Contract-Oriented Computing in CO2.
Sci. Ann. Comput. Sci.
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2012 — conf
Contract-Oriented Services.
WS-FM
Emilio Tuosto
2012 — conf
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations
ICE
Kyriakos Poyias, Emilio Tuosto
2012 B conf
On Nominal Regular Languages with Binders.
FoSSaCS
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
2012 C conf
On the Realizability of Contracts in Dishonest Systems.
COORDINATION
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2012 J jnl
On the realizability of contracts in dishonest systems
CoRR
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2012 J jnl
Synthesising Choreographies from Local Session Types (extended version)
CoRR
Julien Lange, Emilio Tuosto
2012 B conf
Synthesising Choreographies from Local Session Types.
CONCUR
Julien Lange, Emilio Tuosto
2012 J jnl
Three Algorithms and a Methodology for Amending Contracts for Choreographies.
Sci. Ann. Comput. Sci.
Laura Bocchi, Julien Lange, Emilio Tuosto
2011 — ch.
A Formal Support to Business and Architectural Design for Service-Oriented Systems.
Results of the SENSORIA Project
Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
2011 — conf
Amending Contracts for Choreographies
ICE
Laura Bocchi, Julien Lange, Emilio Tuosto
2011 C conf
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus.
SEW
Nour Ali, Emilio Tuosto
2011 — conf
Contracts in distributed systems
ICE
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2011 — ch.
Model-Driven Development of Long Running Transactions.
Results of the SENSORIA Project
Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2011 J jnl
Towards Nominal Formal Languages
CoRR
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
2010 — conf
A Java Inspired Semantics for Transactions in SOC.
TGC
Laura Bocchi, Emilio Tuosto
2010 — conf
A Modular Toolkit for Distributed Interactions
PLACES
Julien Lange, Emilio Tuosto
2010 B conf
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
CONCUR
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida
2010 A conf
BPMN Modelling of Services with Dynamically Reconfigurable Transactions.
ICSOC
Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2010 J jnl
Patterns of Federated Identity Management Systems as Architectural Reconfigurations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Hyder Ali Nizamani, Emilio Tuosto
2010 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jochen Malte Küster, Emilio Tuosto
2010 — conf
Refactoring Long Running Transactions: A Case Study.
TGC
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2010 — conf
Testing Attribute-Based Transactions in SOC.
FMOODS/FORTE
Laura Bocchi, Emilio Tuosto
2010 J jnl
Toward a Formal Semantics for Autonomic Components
CoRR
Marco Aldinucci, Emilio Tuosto
2009 — conf
Heuristic Methods for Security Protocols
SECCO
Qurat ul Ain Nizamani, Emilio Tuosto
2009 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Andrea Corradini, Emilio Tuosto
2009 — ed.
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009.
ICE
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto
2009 — ed.
Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008
ICE@ICALP
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
2008 J jnl
A symbolic framework for multi-faceted security protocol analysis.
Int. J. Inf. Sec.
Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto
2008 J jnl
Debugging Distributed Systems with Causal Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2008 — conf
Event-Based Service Coordination.
Concurrency, Graphs and Models
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2008 — conf
History Dependent Automata for Service Compatibility.
Concurrency, Graphs and Models
Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto
2008 B conf
ICGT 2008 Doctoral Symposium.
ICGT
Andrea Corradini, Emilio Tuosto
2008 C conf
Multiparty Sessions in SOC.
COORDINATION
Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto
2008 B conf
Network Applications of Graph Bisimulation.
ICGT
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
2008 — conf
Preface.
ICE@ICALP
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
2008 — conf
Refactoring Long Running Transactions.
WS-FM
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2007 C conf
Coordination Via Types in an Event-Based Framework.
FORTE
Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2007 — conf
Service Oriented Architectural Design.
TGC
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
2006 — conf
Translating Orc Features into Petri Nets and the Join Calculus.
WS-FM
Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto
2005 — conf
A Logic for Application Level QoS.
QAPL
Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto
2005 C conf
A Process Calculus for QoS-Aware Applications.
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2005 J jnl
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types.
Theor. Comput. Sci.
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2005 — conf
From Theory to Practice in Transactional Composition of Web Services.
EPEW/WS-FM
Roberto Bruni, Gian-Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
2005 B conf
Model Checking for Nominal Calculi.
FoSSaCS
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2005 B conf
Modelling Fusion Calculus using HD-Automata.
CALCO
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
2005 B conf
SHReQ: Coordinating Application Level QoS.
SEFM
Dan Hirsch, Emilio Tuosto
2005 — conf
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.
FMCO
Gian-Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
2005 C conf
Synchronized Hyperedge Replacement for Heterogeneous Systems.
COORDINATION
Ivan Lanese, Emilio Tuosto
2004 — conf
A Coordination-based Methodology for Security Protocol Verification.
WISP@ICATPN
Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari, Emilio Tuosto
2004 — conf
An Observational Model for Spatial Logics.
VODCA@FOSAD
Emilio Tuosto, Hugo Torres Vieira
2004 — conf
Tarzan: Communicating and Moving in Wireless Jungles.
QAPL
Emilio Tuosto
2004 — conf
Verication On The Web Of Mobile Systems.
VVEIS
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
2003 — conf
A Formal Basis for Reasoning on Programmable QoS.
Verification: Theory and Practice
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2003 — —
Non-functional aspects of wide area network programming.
Emilio Tuosto
2003 — conf
The Klaim Project: Theory and Practice.
Global Computing
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
2002 — conf
From Co-algebraic Specifications to Implementation: The Mihda Toolkit.
FMCO
Gian-Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
2002 — conf
Graph-Based Models of Internetworking Systems.
10th Anniversary Colloquium of UNU/IIST
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2002 Misc conf
Security and Dynamic Compositions of Open Systems.
PDPTA
Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto
2001 — conf
A LTS Semantics of Ambients via Graph Synchronization with Mobility.
ICTCS
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2001 Misc conf
A debugging calculus for mobile ambients.
SAC
Gian-Luigi Ferrari, Emilio Tuosto
2001 — conf
Security Issues in Component-based Design.
ConCoord
Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto
2000 — conf
Calculi for Network Aware Programming.
WOA
Gian-Luigi Ferrari, Rosario Pugliese, Emilio Tuosto
1999 Misc conf
An Ada95 Implementation of a Network Coordination Language with Code Mobility.
Ada-Europe
Emilio Tuosto