BUSI N.; R. GORRIERI, Positive Non–Interference in Elementary and Trace Nets, in: Applications and Theory of Petri Nets 2004, Heidelberg, Springer, 2004, pp. 307 - 319 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2949, pp. 55 - 70 (atti di: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004) [Contributo in Atti di convegno]
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). [curatela]
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) [capitolo di libro]
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) [Contributo in Atti di convegno]
Aldini A.; Roccetti M.; Gorrieri R., On Securing Real-Time Speech Transmission Over the Internet: An Experimental Study, «EURASIP JOURNAL ON APPLIED SIGNAL PROCESSING», 2003, 2003, pp. 1027 - 1042 [articolo]
Roccetti M.; Aldini A.; Bernardo M.; Gorrieri R., QoS evaluation of IP telephony services: A specification language based simulation software tool, «SYSTEMS ANALYSIS, MODELLING, SIMULATION», 2003, 43, pp. 1747 - 1759 [articolo]
Aldini A.; Gorrieri R.; Roccetti M.; Bernardo M., Comparing the QoS of Internet Audio Mechanisms via Formal Methods, «ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION», 2001, 11, pp. 1 - 42 [articolo]
Bernardo M.; Gorrieri R.; Roccetti M., Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet, «FORMAL ASPECTS OF COMPUTING», 1998, 10, pp. 313 - 337 [articolo]
Corradini F.; Gorrieri R.; Roccetti M., Performance preorder and competitive equivalence, «ACTA INFORMATICA», 1997, 34, pp. 805 - 831 [articolo]
Gorrieri R.; Roccetti M.; Stancampiano E., A theory of processes with durational actions, «THEORETICAL COMPUTER SCIENCE», 1995, 140, pp. 73 - 94 [articolo]
Corradini F.; Gorrieri R.; Roccetti M., Performance preorder: Ordering processes with respect to speed, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 1995, 969, pp. 444 - 453 (atti di: 20th International Symposium on Mathematical Foundations of Computer Science, MFCS 1995, cze, 1995) [Contributo in Atti di convegno]
