Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Emilio Tuosto
2010 – today
- 2013
[c43]Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino: Honesty by Typing. FMOODS/FORTE 2013: 305-320- 2012
- [j14]Massimo Bartoletti, Emilio Tuosto, Roberto Zunino: Contract-Oriented Computing in CO2. Sci. Ann. Comp. 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. Comp. 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]
- [c37]Kyriakos Poyias, Emilio Tuosto: Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations. ICE 2012: 67-82
- [i5]Massimo Bartoletti, Emilio Tuosto, Roberto Zunino: On the realizability of contracts in dishonest systems. CoRR abs/1201.6188 (2012)
- [i4]Julien Lange, Emilio Tuosto: Synthesising Choreographies from Local Session Types (extended version). CoRR abs/1204.2566 (2012)
- [i3]Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino: Honesty by Typing. CoRR abs/1211.2609 (2012)
- 2011
- [c36]
- [c35]
- [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]
- [j11]Hyder Ali Nizamani, Emilio Tuosto: Patterns of Federated Identity Management Systems as Architectural Reconfigurations. ECEASST 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]
- [c31]Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: BPMN Modelling of Services with Dynamically Reconfigurable Transactions. ICSOC 2010: 396-410
- [c30]
- [c29]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Refactoring Long Running Transactions: A Case Study. TGC 2010: 318-334
- [c28]
- [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. Electr. Notes Theor. Comput. Sci. 229(3): 1-2 (2009)
- [c27]
- [e1]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto (Eds.): Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions. EPTCS 12, 2009
- 2008
- [j9]Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Debugging Distributed Systems with Causal Nets. ECEASST 14 (2008)
- [j8]
- [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]
- [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. Electr. Notes Theor. Comput. Sci. 142: 229-254 (2006)
- [j5]Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto: A Logic for Application Level QoS. Electr. 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. Electr. 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. Electr. 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]
- 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. Electr. 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]
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team