| PhD Thesis |
|
"Non-Functional Aspects of Wide Area Network Programming" [Abstract] [GZipped PS] [PDF] [bib] |
| Journals |
|
L. Bocchi and E. Tuosto
"Attribute-Based Transactions in Service Oriented Computing" Mathematical Structures in Computer Science. To appear. [Abstract] [PDF] [bib] |
|
G. Ferrari, U. Montanari, E. Tuosto
"Coalgebraic Minimisation of HD-Automata for the pi-calculus Using Polymorphic Types" [Abstract] [GZipped PS] [PDF] [bib] |
|
A. Bracciali, G. Ferrari and E. Tuosto
"A symbolic framework for multi-faceted security protocol analysis" International Journal of Information Security. Springer. Volume 6(6), 2007. [Abstract] [PDF] [bib] |
| eJournals |
 |
J. Lange, E. Tuosto
"A Modular Toolkit for Distributed Interactions" PLACES 2010:92 [Abstract] [PDF] |
|
M. Bartoletti, E. Tuosto, R. Zunino
"Contracts in distributed systems" 4th Interaction and Concurrency Experience (ICE 2011). [Abstract] [PDF] |
|
L. Bocchi, J. Lange, E. Tuosto
"Amending Contracts for Choreographies" 4th Interaction and Concurrency Experience (ICE 2011). [Abstract] [PDF] |
|
Q. Nizamani, E. Tuosto
"Heuristic Methods for Security Protocols" 7th International Workshop on Security Issues in Concurrency (SecCo 2009). EPTCS 7, 2009, pp. 61-75, DOI: 10.4204/EPTCS.7.5 [Abstract] [PDF] [bib] |
 |
E. Tuosto, H. T. Vieira
"An Observational Model for Spatial Logics" First Int. Workshop on Views On Designing Complex Architectures (VODCA04). To appear on ENTCS, September 2004. [Abstract] [GZipped PS] [PDF] [bib] |
|
|
G. Baldi, A. Bracciali, G. Ferrari, E. Tuosto
"A Coordination-based Methodology for Security Protocol Verification" Proc. of the 2nd Int. Workshop on Security Issues with Petri Nets and other Computational Models, June 2004, Volume 121, ENTCS [Abstract] [GZipped PS] [PDF] [bib] |
|
|
E. Tuosto
"Tarzan: Communicating and Moving in Wireless Jungles" 2nd Workshop on Quantitative Aspects of Programming Languages. March 2004, Volume 112, ENTCS. [Abstract] [GZipped PS] [PDF] [bib] |
|
|
A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto
"Security Issues in Component Based Design" ConCoord Workshop, 6-8 July 2001, Lipari (Italy). Volume 54, ENTCS [Abstract] [GZipped PS] [PDF] [bib] |
| Conferences |
|
A. Kurz, T. Suzuki and E. Tuosto
"On Nominal Regular Languages with Binders" [Abstract] [PDF] (extended version) |
|
|
G. Ferrari and R. Guanciale and D. Strollo and E. Tuosto
"Refactoring Long Running Transactions: A Case Study" [Abstract] [PDF] |
|
|
L. Bocchi, E. Tuosto
" A Java Inspired Semantics for Transactions in SOC" [Abstract] [PDF] |
|
|
L. Bocchi, R. Guanciale, D. Strollo, E. Tuosto
"BPMN Modelling of Services with Dynamically Reconfigurable Transactions" [Abstract] |
|
L. Bocchi, K. Honda, E. Tuosto, N. Yoshida
"A Theory of Design-by-Contract for\\ Distributed Multiparty Interactions" [Abstract] [PDF] |
|
|
L. Bocchi, E. Tuosto
"Testing Attribute-Based Transactions in SOC" [Abstract] [PDF] |
|
|
R. Bruni, I. Lanese, H. Melgratti and E. Tuosto
"Multiparty Sessions in SOC" [Abstract] [PDF] [bib] |
|
|
M. Aldinucci, E. Tuosto
"Toward a Formal Semantics for Grid Computing" [Abstract] [PDF] [bib] |
|
|
G. Ferrari and R. Guanciale and D. Strollo and E. Tuosto
"Coordination via Types in an Event-Based Framework" [Abstract] [PDF] [bib] |
|
|
R. Bruni, I. Lanese, H. Melgratti and E. Tuosto
"Multiparty Sessions in SOC" [Abstract] [PDF] [bib] |
|
|
R. Bruni, A. Lluch-Lafuente, U. Montanari and E. Tuosto
"Service Oriented Architectural Design" [Abstract] [PDF] [bib] |
|
D. Hirsch, E. Tuosto
"SHReQ: A Framework for Coordinating Application Level QoS" [Abstract] [GZipped PS] [PDF] [bib] |
|
|
G. Ferrari, U. Montanari, E. Tuosto, K. Yemane, B. Victor
"Modelling and Minimising the Fusion Calculus using HD-automata" CALCO 2005. LNCS 3629, Springer-Verlag [Abstract] [GZipped PS] [PDF] [bib] |
|
|
I. Lanese, E. Tuosto
"Synchronized Hyperedge Replacement for Heterogeneous Systems" COORDINATION April 2005. LNCS 3454, Springer-Verlag [Abstract] [GZipped PS] [PDF] [bib] |
|
|
R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, E. Tuosto
"A Basic Calculus for Modelling Service Level Agreements" COORDINATION April 2005. LNCS 3454, Springer-Verlag [Abstract] [GZipped PS] [PDF] [bib] |
|
|
G. Ferrari, U. Montanari, E. Tuosto
"Model Checking for Nominal Calculi" [Abstract] [GZipped PS] [PDF] [bib] |
|
G. Ferrari, S. Gnesi, U. Montanari, R. Raggi, G. Trentanni, E. Tuosto
"Verification on the WEB" VVEIS 2004, 2nd Int. Workshop on Verification and Validation of Enterprise Information Systems. Porto, Portugal. INSTICC Press [Abstract] [GZipped PS] [PDF] [bib] |
|
|
G. Ferrari, U. Montanari, R. Raggi, E. Tuosto
"From Co-algebraic Specifications to Implementation: The Mihda toolkit" 2nd Int. Symposium on Formal Methods for Components and Objects 5-8 November 2002, LNCS 2852, Springer-Verlag. [Abstract] [GZipped PS] [PDF] [bib] |
|
|
A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto
"Security and Dynamic Compositions of Open Systems" Int. Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA02 24-27 June 2002 CSREA Press. [Abstract] [GZipped PS] [PDF] [bib] |
|
|
G. Ferrari, U. Montanari, E. Tuosto
"A LTS Semantics for Ambients via Graph Syncrhonization with Mobility" Italian Conference on Theoretical Computer Science, 4-6 October 2001, Torino (Italy). LNCS 2202, Springer-Verlag [Abstract] [GZipped PS] [PDF] [bib] |
|
|
E. Tuosto
"An Ada95 Implementation of a Network Coordination Language with code mobility" Intl. Conference on Reliable Software Technologies - Ada-Europe'99 LNCS 1622, Springer-Verlag, (Eds., M. G. Harbour, J. A. de la Puente) pp. 199-210, June 1999, Santander, Spain. [Abstract] [GZipped PS] [PDF] [bib] |
| Editorial activity |
|
J. M. Kuster, E. Tuosto
"Proceedings of GT-VMT" ECEASST 31, 2010 |
|
|
A. Corradini, E. Tuosto
"Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation (ICGT 2008)" ECEASST 14, 2008 |
|
|
F. Bonchi, D. Grohmann, P. Spoletini, E. Tuosto
"Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions" EPTCS 12, 2009 - DOI: 10.4204/EPTCS.12 |
|
|
F. Bonchi, D. Grohmann, P. Spoletini, E. Tuosto
"Proceedings 1st Interaction and Concurrency Experience: Structured Interactions" ENTCS 229(3), 2009 - DOI: 10.1016/j.entcs.2009.06.035 |
| Book Chapters |
|
|
V. Ciancia, G. Ferrari, M. Pistore, E. Tuosto
"History Dependent Automata for Service Compatibility" Concurrency, Graphs and Models Volume 5065, LNCS, Springer-Verlag, 2008 [Abstract] [PDF] [bib] |
|
|
G. Ferrari and R. Guanciale and D. Strollo and E. Tuosto
"Event-based Service Coordination" Concurrency, Graphs and Models Volume 5065, LNCS, Springer-Verlag, 2008 [Abstract] [PDF] [bib] |
|
|
L. Bettini, V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, B. Venneri
"The KLAIM Project: Theory and Practice" Global Computing: Programming Environments, Languages, Security and Analysis of Systems, Volume 2874, LNCS, Springer-Verlag, 2003 [Abstract] [GZipped PS] [PDF] [bib] |
|
|
G. Ferrari., U. Montanari, E. Tuosto
"Graph-based Models of Int. Systems" UNU/IIST 10th Anniversary Colloquium, Volume 2757, LNCS, Springer-Verlag, 2003 [Abstract] [GZipped PS] [PDF] [bib] |
|
|
R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, E. Tuosto
"A Formal Basis for Reasoning on Programmable QoS" Int. Symposium on Verification (Theory and Practice), Volume 2772, LNCS. Springer-Verlag, 2003 [Abstract] [GZipped PS] [PDF] [bib] |
| Workshops |
|
|
R. Bruni, G. Ferrari, H. Melgratti, U. Montanari, D. Strollo, E. Tuosto
"Java Transactional Web Services: from theory to practice in compensable, distributed long-running transactions" To appear. [Abstract] [GZipped PS] [PDF] [bib] |
|
|
G. Ferrari, U. Montanari, E. Tuosto
"Verification on the WEB of Name-Passing Process Calculi" (Monterey Workshop, October 2004) [Abstract] [GZipped PS] [PDF] [bib] |
|
|
G. Ferrari, R. Pugliese, E. Tuosto
"Calculi for Network Aware Programming" Workshop on agents 2000: Dagli oggetti agli agenti [Abstract] [GZipped PS (short)] [GZipped PS (long)] [PDF (short)] [PDF (long)] [bib] |
| Technical Reports |
|
V. Ciancia, E. Tuosto
"A novel class of automata for languages on infinite alphabets" December 2009, CS-09-003 [PDF] |
|
|
G. Ferrari, E. Tuosto
"Resources Negotiation in Systems of Mobile Components" January 2004, TR-2004-01, Dipartimento di Informatica di Pisa, Italy [Abstract] [GZipped PS] [PDF] [bib] |
|
|
U. Montanari, E. Tuosto
"A Logical Framework for the spi-calculus" January 2004, TR-2004-02, Dipartimento di Informatica di Pisa, Italy [Abstract] [GZipped PS] [PDF] [bib] |
|
E. Tuosto, B. Victor, K. Yemane
"Polyadic History-Dependent Automata for the Fusion Calculus" December 2003, TR2003-62, Department of Information Technology, Uppsala, Sweden [Abstract] [GZipped PS] [PDF] [bib] |
|
G. Ferrari, U. Montanari, E. Tuosto
"Modular Verification of Systems via Service Coordination" (Monterey workshop proceedings) [Abstract] [GZipped PS] [PDF] [bib] |
| Drafts |
|
A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto
"A Magic Approach to the Analysis of Security Protocols" [Abstract] [GZipped PS] [PDF] [bib] |
|
|
A. Bracciali A. Brogi G. Ferrari, E. Tuosto
"Formal intruder identikit for open security protocols" [Abstract] [GZipped PS] [PDF] [bib] |