M. Bravetti; L. Kloul; G. Zavattaro, Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, BERLIN, Springer, 2005, pp. 348 (Lecture Notes in Computer Science). [Editorship]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2005, 128(5), pp. 39 - 53 (atti di: 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), Londra (UK), agosto 2004) [Contribution to conference proceedings]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Quantitative Information in the Tuple Space Coordination Model, «THEORETICAL COMPUTER SCIENCE», 2005, 346(1), pp. 28 - 57 [Scientific article]
M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; G. Zavattaro, Security Issues in the Tuple-Space Coordination Model, in: Formal Aspects in Security and Trust, BERLINO, Springer, 2005, 173, pp. 1 - 12 (atti di: Workshop on Formal Aspects in Security and Trust, Toulouse, August 22-27, 2004) [Contribution to conference proceedings]
M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro, Supporting e-commerce systems formalization with choreography languages, in: Proc. of the 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, NEW YORK, ACM Press, 2005, pp. 831 - 835 (atti di: 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, Santa Fe (NM, USA), Marzo 2005) [Contribution to conference proceedings]
A.Aldini; M.Bravetti; R.Gorrieri, A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference, «JOURNAL OF COMPUTER SECURITY», 2004, 12(2), pp. 191 - 246 [Scientific article]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Combining Partitions in SecSpaces, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 99(6), pp. 31 - 47 (atti di: Proceedings of the MEFISTO Project 2003 (Formal Methods for Security and Time), Pisa (Italia), novembre 2003) [Contribution to conference proceedings]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2004, 2949, pp. 55 - 70 (atti di: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro, Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Editorship]
M. Bravetti; R. Gorrieri, Proceedings
of the MEFISTO Project 2003, Formal Methods for Security and Time, AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Editorship]
M. Bravetti, Real Time and Stochastic Time, in: Formal Methods for the Design of Real-Time Systems, Revised Lectures, BERLIN, Springer, 2004, pp. 132 - 180 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
M. Bravetti; P. R. D'Argenio, Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions, in: Validation of Stochastic Systems - A Guide to Current Research, BERLIN, Springer, 2004, pp. 44 - 88 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
A.Aldini; M.Bravetti; A.Di Pierro; R.Gorrieri; C.Hankin; H.Wiklicky, Two Formal Approaches for Approximating Noninterference Properties, in: Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures, BERLIN, Springer, 2004, pp. 1 - 43 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
M. Bravetti; R. Lucchi; G. Zavattaro; R. Gorrieri, Web Services for E-commerce: guaranteeing security access and quality of service, in: Proc. of the 19th ACM Symposium on Applied Computing (SAC'04), special track on E-Commerce Technologies, NEW YORK, ACM Press, 2004, pp. 800 - 806 (atti di: 19th ACM Symposium on Applied Computing (SAC'04), special track on E-Commerce Technologies, Nicosia (Cyprus), Marzo 2004) [Contribution to conference proceedings]
