TUOSTO, EMILIO
TUOSTO, EMILIO
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions
2012-01-01 Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E
A Choreography-Driven Approach to APIs: The OpenDXL Case Study
2020-01-01 Frittelli, Leonardo; Maldonado, Facundo; Melgratti, Hernán; Tuosto, Emilio
A Coordination-based Methodology for Security Protocol Verification
2005-01-01 Baldi, Giacomo; Bracciali, Andrea; Ferrari, Luigi; Tuosto, E
A debugging calculus for mobile ambients
2001-01-01 Ferrari, Luigi; Tuosto, E
A design-by-contract approach to recover the architectural style from run-time misbehaviour
2015-01-01 Poyias, Kyriakos; Tuosto, E
A Formal Basis for Reasoning on Programmable QoS
2003-01-01 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E
A Formal Support to Business and Architectural Design for Service-Oriented Systems
2011-01-01 Bruni, Roberto; Foster, Howard; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E
A Java Inspired Semantics for Transactions in SOC
2010-01-01 Bocchi, Laura; Tuosto, E
A Logic for Application Level QoS
2006-01-01 Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E
A LTS Semantics of Ambients via Graph Synchronization with Mobility
2001-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
A Modular Toolkit for Distributed Interactions
2010-01-01 Lange, Julien; Tuosto, E
A Process Calculus for QoS-Aware Applications
2005-01-01 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E
A Prototype for Data Race Detection in CSeq 3
2022-01-01 Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio
A symbolic framework for multi-faceted security protocol analysis
2008-01-01 Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, E
A Theory of Design-by-Contract for Distributed Multiparty Interactions
2010-01-01 Bocchi, Laura; Honda, Kohei; Tuosto, E; Yoshida, Nobuko
A tool for choreography-based analysis of message-passing software
2017-01-01 Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko
Abstractions for Collective Adaptive Systems
2020-01-01 Inverso, Omar; Trubiani, Catia; Tuosto, Emilio
Amending Contracts for Choreographies
2011-01-01 Bocchi, Laura; Lange, Julien; Tuosto, E
An Abstract Framework for Choreographic Testing
2020-01-01 Coto, Alex; Guanciale, Roberto; Tuosto, Emilio
An abstract framework for choreographic testing
2021-01-01 Coto, Alex; Guanciale, Roberto; Tuosto, Emilio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions | 1-gen-2012 | Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E | |
| A Choreography-Driven Approach to APIs: The OpenDXL Case Study | 1-gen-2020 | Frittelli, Leonardo; Maldonado, Facundo; Melgratti, Hernán; Tuosto, Emilio | |
| A Coordination-based Methodology for Security Protocol Verification | 1-gen-2005 | Baldi, Giacomo; Bracciali, Andrea; Ferrari, Luigi; Tuosto, E | |
| A debugging calculus for mobile ambients | 1-gen-2001 | Ferrari, Luigi; Tuosto, E | |
| A design-by-contract approach to recover the architectural style from run-time misbehaviour | 1-gen-2015 | Poyias, Kyriakos; Tuosto, E | |
| A Formal Basis for Reasoning on Programmable QoS | 1-gen-2003 | Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E | |
| A Formal Support to Business and Architectural Design for Service-Oriented Systems | 1-gen-2011 | Bruni, Roberto; Foster, Howard; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E | |
| A Java Inspired Semantics for Transactions in SOC | 1-gen-2010 | Bocchi, Laura; Tuosto, E | |
| A Logic for Application Level QoS | 1-gen-2006 | Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E | |
| A LTS Semantics of Ambients via Graph Synchronization with Mobility | 1-gen-2001 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E | |
| A Modular Toolkit for Distributed Interactions | 1-gen-2010 | Lange, Julien; Tuosto, E | |
| A Process Calculus for QoS-Aware Applications | 1-gen-2005 | Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E | |
| A Prototype for Data Race Detection in CSeq 3 | 1-gen-2022 | Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio | |
| A symbolic framework for multi-faceted security protocol analysis | 1-gen-2008 | Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, E | |
| A Theory of Design-by-Contract for Distributed Multiparty Interactions | 1-gen-2010 | Bocchi, Laura; Honda, Kohei; Tuosto, E; Yoshida, Nobuko | |
| A tool for choreography-based analysis of message-passing software | 1-gen-2017 | Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko | |
| Abstractions for Collective Adaptive Systems | 1-gen-2020 | Inverso, Omar; Trubiani, Catia; Tuosto, Emilio | |
| Amending Contracts for Choreographies | 1-gen-2011 | Bocchi, Laura; Lange, Julien; Tuosto, E | |
| An Abstract Framework for Choreographic Testing | 1-gen-2020 | Coto, Alex; Guanciale, Roberto; Tuosto, Emilio | |
| An abstract framework for choreographic testing | 1-gen-2021 | Coto, Alex; Guanciale, Roberto; Tuosto, Emilio |