TUOSTO, EMILIO

TUOSTO, EMILIO  

Mostra records
Risultati 1 - 20 di 117 (tempo di esecuzione: 0.015 secondi).
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