Curriculum Vitae et Studiorum

Roberto Gorrieri

Dati personali:

Nome e cognome: Roberto Gorrieri

Data e luogo di nascita: 16 Ottobre 1962, Gonzaga (MN)

Affiliazione: Dipartimento di Scienze dell’Informazione, Mura Anteo Zamboni 7, 40127Bologna. Telefono: 051-2094509. Fax: 051-2094510.E-mail: gorrieri@cs.unibo.it. URL: http://www.cs.unibo.it/∼gorrieri

Residenza: Via Pablo Picasso 12, 46029 Suzzara (MN) (tel. 0376-521962, cell. 347-2536682).

Titoli di Studio:

Set. 91 Dottore di Ricerca in Informatica presso l’Universita di Pisa.

Apr. 86 Laurea in Scienze dell’Informazione, presso l’Universita di Pisa.

Attivita Professionale:

Ott. 05 Trasferito dalla sede decentrata di Cesena presso la sede centrale di Bologna.

Feb. 04 Confermato nel ruolo di Professore Ordinario in Informatica.

Gen. 00 Vincitore concorso per valutazione comparativa per posto di prima fascia (Uni-versita di Bologna, Profilo B - Cesena). Prende servizio a partire da Ottobre 2000,dove e titolare del corso di Metodi per il Trattamento dell’Informazione.

Gen. 92 Vincitore al concorso nazionale per 27 posti di Professore Associato (gruppoA042 - Informatica). Prende servizio presso la Facolta di Scienze dell’Universitadi Bologna a partire da Novembre 1992, dove e titolare del corso di Metodi per ilTrattamento dell’Informazione.

Mar. 91 Vincitore al concorso per due posti di ricercatore universitario (gruppo 92-bis),presso il Corso di Laurea in Scienze dell’Informazione dell’Universita degli Studi diBologna. Prende servizio in data 15/07/91.

Gen. 91 Vince una borsa di studio di Hewlett-Packard, per una ricerca dal titolo Mod-elling Concurrency in Distributed Systems (Gennaio-Luglio 1991).

1

1 Aree di ricerca

Semantica dei linguaggi per la programmazione concorrente: Modelli matematiciper descrivere il comportamento di sistemi concorrenti e distribuiti: sistemi di transizione,reti di Petri, strutture di eventi. Linguaggi per la descrizione di processi (process algebra):CCS, CSP, ACP, π-calcolo ed altri. Loro semantica: approccio interleaving e truly con-current.

Estensione dei linguaggi concorrenti: Introduzione di nuovi operatori per il controllodella concorrenza (prefisso forte, azioni atomiche, transazioni, priorita), per agevolarespecifiche top-down di programmi (raffinamento di azioni), per controllare vincoli tempo-rali e di sicurezza (timeout, monitor degli accessi).

Sicurezza: Specifica di proprieta di sicurezza di sistemi concorrenti e loro verifica for-male. Generazione di uno strumento per la verifica automatica di proprieta di sicurezza.Studio e progettazione di sistemi funzionanti con vincoli di sicurezza multilivello. Specificae verifica formale di protocolli crittografici. Java security e denial-of-service.

Valutazione delle prestazioni: Valutazione della complessita in tempo di computazionidistribuite. Misure di performance in algebre di processi. Algebre di processi stocastichee relazione con le reti di Petri stocastiche. Semantiche markoviane e semi-markoviane.Specifica funzionale e prestazionale di protocolli per sistemi concorrenti e distribuiti.

Modelli e linguaggi di coordinazione: Modelli di calcolo basati sulla metafora dellareazione chimica. Linguaggi di coordinazione (Linda e Gamma). Semantica della comu-nicazione asincrona e degli operatori di test sullo spazio condiviso. Operatori di coordi-nazione basati su eventi. Javaspaces e Tspaces.

Service-oriented Computing: Modelli e calcoli per linguaggi di coreografia e orches-trazione. Conformita. Espressivita.

Ingegneria del software e tools: Strumenti per la specifica e la verifica di sistemidistribuiti. Generazione di uno strumento per la verifica automatica di proprieta di si-curezza di sistemi descritti in algebre di processi (CoSeC, CVS). Strumenti per l’analisiprestazionale dei sistemi (TwoTowers).

Multimedia: Modelli astratti di oggetti multimediali e loro evoluzione temporale. Anal-isi formale di protocolli per trasmissione audio su IP (Internet telephony).

Bioinformatica: Modelli astratti di sistemi biologici, calcoli di processo ispirati da analo-gie biologiche e loro espressivita.

2

2 Attivita di ricerca

Bibliografia

Articoli su Riviste Internazionali

[1] “Supporting Secure Coordination in SecSpaces”, R.Gorrieri, R.Lucchi, G.Zavattaro,Fundamenta Informaticae, volume 73(4):479-506, 2006.

[2] “On the Computational Power of Brane Calculi”, N. Busi, R. Gorrieri, Transac-tions on Computational and Systems Biology VI, volume 4220 di LNCS, pages 16-43,Springer, 2006.

[3] “Quantitative Information in the Tuple Space Coordination Model”, M.Bravetti,R.Gorrieri, R.Lucchi, G.Zavattaro. Theoretical Computer Science, volume 346(1):28-57, November 2005.

[4] “Automated Analysis of Timed Security: A Case Study on Web Privacy”, R.Gorrieri,R.Lanotte, A.Maggiolo-Schettini, F.Martinelli, S.Tini, E.Tronci, International Jour-nal of Information Security, volume 2(3-4):168-186, August 2004.

[5] “A Simple Framework for Real-time Cryptographic Protocol Analysis with Compo-sitional Proof Rules”, R.Gorrieri, F.Martinelli, Science of Computer Programming,volume 50(1-3):23-49, March 2004.

[6] “A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference”,A.Aldini, M.Bravetti, R.Gorrieri, Journal of Computer Security, volume 12(2):191-246, March 2004.

[7] “QoS Evaluation of IP telephony Services: A Specification Language Based Simu-lation Software Tool”, M. Roccetti, A. Aldini, M. Bernardo, R. Gorrieri, Journalof Systems Analysis Modelling and Simulation, volume 43(12):1747-1759, December2003.

[8] “On Securing Real-time Speech Transmission over the Internet: an ExperimentalStudy”, A.Aldini, M.Roccetti, R. Gorrieri, EURASIP Journal on Applied Signal Pro-cessing, volume 10:1027-1042, 2003.

[9] “A Comparison of Three Authentication Properties”, R.Focardi, R.Gorrieri,F.Martinelli, Theoretical Computer Science, volume 291(3):285–327, 2003.

[10] “Real-time Information Flow Analysis”, R.Focardi, R.Gorrieri, F.Martinelli, IEEEJournal on Selected Areas in Communications (IEEE JSAC), volume 21(1):20-35,2003.

[11] “Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursionand Action Refinement”, M.Bravetti, R.Gorrieri, ACM Transactions on Computa-tional Logic (TOCL), volume 3(4):465-520, 2002.

[12] “The Theory of Interactive Generalised Semi-Markov Processes”, M.Bravetti,R.Gorrieri, Theoretical Computer Science, volume 282(1):5-32, 2002.

3

[13] “Vertical Implementation”, A.Rensink, R.Gorrieri, Information and Computation,volume 170:95-133, 2001.

[14] “Comparing the QoS of Internet Audio Mechanisms via Formal Methods”, A.Aldini,M.Bernardo, R.Gorrieri, M.Roccetti, ACM Transactions on Modeling and ComputerSimulation (TOMACS), volume 11(1):1-42, January 2001.

[15] “Corrigendum to [23]”, M.Bernardo, R.Gorrieri, Theoretical Computer Science, Vol-ume 254(1-2):691-694, 2001.

[16] “Coping with Denial of Service due to Malicious Java Applets”, M.F.Florio,R.Gorrieri, G.Marchetti, Computer Communications, Volume 23:1645-1654, Novem-ber 2000.

[17] “A Compiler for Analysing Cryptographic Protocols Using Non-Interference”,A.Durante, R.Focardi, R.Gorrieri, ACM Transactions on Software Engineering andMethodology (TOSEM), volume 9(4), pages 489-530, October 2000.

[18] “Comparing Three Semantics for Linda-like Languages”, N. Busi, R. Gorrieri, G. Za-vattaro, Theoretical Computer Science, Volume 240(1), pagine 49-90, 2000.

[19] “On the Expressiveness of Linda Coordination Primitives”, N. Busi, R. Gorrieri,G. Zavattaro, Information and Computation, Volume 156(1-2), pagine 90-121, 2000.

[20] “Formal Performance Modeling and Evaluation of an Adaptive Mechanism for Packe-tized Audio over the Internet”, M. Bernardo, R. Gorrieri, M. Roccetti, Formal Aspectsof Computing, Volume 10 (4), pagine 313-337, 1998.

[21] “Towards Parallelization of Concurrent Systems”, F.Corradini, R.Gorrieri,D.Marchignoli, RAIRO Informatique Theorique et Applications, 32(4-6):99-125, 1998.

[22] “A Formal Approach to the Integration of Performance Aspects in the Modeling andAnalysis of Concurrent Systems”, M. Bernardo, L. Donatiello, R. Gorrieri, Informa-tion and Computation, 144(2):83-154, 1998.

[23] “A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism,Priorities, Probabilities and Time”, M. Bernardo, R. Gorrieri, Theoretical ComputerScience, 202(1-2):1-54, 1998.

[24] “A Process Algebraic View of Linda Coordination Primitives”, N.Busi, R.Gorrieri,G.Zavattaro, Theoretical Computer Science, 192 (2):167-199, 1998.

[25] “Performance Preorder and Competitive Equivalence”, F.Corradini, R. Gorrieri, M.Roccetti, Acta Informatica, 34(11):805-835, 1997.

[26] “The Compositional Security Checker: A Tool for the Verification of InformationFlow Security Properties”, R. Focardi, R. Gorrieri, IEEE Transactions on SoftwareEngineering, 23(9):550-571, 1997.

[27] “On the Power of Concurrency Theory”, R. Gorrieri, position statement del ACMWorkshop Strategic Directions in Computing, Electronic ACM Computing Surveys,volume 28 (4es), articolo 42, www.acm.org/pubs/contents/journals/surveys/1996-28/, 1996.

4

[28] “Comparing Syntactic and Semantic Action Refinement”, U. Goltz, R. Gorrieri, A.Rensink, Information and Computation, 125(2):118-143, 1996.

[29] “A Distributed Semantics for MPA Based on Stochastic Contextual Nets”, M.Bernardo, N. Busi, R. Gorrieri, The Computer Journal, 38(7):492-509, 1995.

[30] “A Causal Operational Definition of Action Refinement”, P. Degano, R. Gorrieri,Information and Computation, 122(1):97-119, 1995.

[31] “A Classification of Security Properties for Process Algebras”, R. Focardi, R. Gorrieri,Journal of Computer Security, 3(1):5-34, 1995.

[32] “Split and ST Bisimulation Semantics”, R. Gorrieri, C. Laneve, Information andComputation, 118(2):272-288, 1995.

[33] “On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies”,R. Gorrieri, U. Montanari, Theoretical Computer Science, 141(1-2):195-252, 1995.

[34] “A Theory of Processes with Durational Actions”, R. Gorrieri, M. Roccetti, E. Stan-campiano, Theoretical Computer Science, 140(1):73-94, 1995.

[35] “Distributed Logic Programming”, A. Brogi, R. Gorrieri, Journal of Logic Program-ming, 14(4):295-335, 1993.

[36] “A Hierarchy of System Descriptions via Atomic Linear Refinement”, R. Gorrieri,Fundamenta Informaticae, 16 (3/4):289-336, 1992.

[37] “Towards Hierarchical Specification of Systems: A Proof System for Strong Prefix-ing”, R. Gorrieri, U. Montanari, Int. Journal of Foundations of Computer Science,1(3):277-293, 1990.

[38] “A2CCS: Atomic Actions for CCS”, R. Gorrieri, S. Marchetti, U. Montanari, Theo-retical Computer Science, 72:203-223, 1990.

Capitoli di Libri

[39] “Two Formal Approaches for Approximating Noninterference Properties”, A.Aldini,M.Bravetti, A.Di Pierro, R.Gorrieri, C.Hankin, H.Wiklicky, in Foundations of Se-curity Analysis and Design (R.Focardi, R.Gorrieri eds), LNCS 2946, 1-43, Springer,2004.

[40] “Classification of Security Properties. Part II: Network Security”, R.Focardi,R.Gorrieri, F.Martinelli, in Foundations of Security Analysis and Design (R.Focardi,R.Gorrieri eds), LNCS 2946, 139-185, Springer, 2004.

[41] “Models for Coordinating Agents: A Guided Tour”, N.Busi, P.Ciancarini, R.Gorrieri,G.Zavattaro, in Coordination of Internet Agents: Models, Technologies and Applica-tions (A.Omicini, P.Zambonelli, M.Klusch, R.Tolksdorf eds.), Springer, pagine 6-24,2001.

5

[42] ‘’Classification of Security Properties. Part I: Information Flow”, R.Focardi,R.Gorrieri, in Foundations of Security Analysis and Design (R.Focardi, R.Gorrierieds), LNCS 2171, pagine 331-396, Springer, 2001.

[43] “Action Refinement”, R.Gorrieri, A. Rensink, Capitolo XVI di Handbook of ProcessAlgebra, (J. Bergstra, A. Ponse, S. Smolka eds), Elsevier, 1047-1147, 2001.

Articoli su libri di “Selected Papers” – con revisione

[44] “Towards a Formal Treatment of Secrecy against Computational Adversaries”, A.Troina, A. Aldini, R. Gorrieri, in Global Computing: Programming Environments,Languages, Security and Analysis of Systems II, (C.Priami, P.Quaglia eds), LNCS3267, Springer, 77-92, 2005.

[45] “A Survey on Non-Interference with Petri Nets”, N.Busi, R.Gorrieri, in AdvancedCourse on Petri Nets 2003, LNCS 3098, Springer, 328-344, 2004.

[46] “A Study about Trade-off between Performance and Security in an Internet AudioMechanism”, A. Aldini, R. Gorrieri, in Global Computing: Programming Environ-ments, Languages, Security and Analysis of Systems, (C.Priami ed), LNCS 2874,Springer, 203-228, 2003.

[47] “An Alternative Semantics for a Calculus of Gamma Programs”, P. Ciancarini, R.Gorrieri, G. Zavattaro, in Large Coordination Programming: Mechanisms, Models andSemantics, (J.-M.Andreoli, C.Hankin eds), 289-306, Imperial College Press, 1996.

[48] “Distributed Conflicts in Communicating Systems”, N. Busi, R. Gorrieri, in Object-Based Models and Languages for Concurrent Systems, (P.Ciancarini, O.Nierstrass,A.Yonezawa eds), LNCS 924, Springer, 49-65, 1994.

[49] “Distributed Implementation of CCS”, di R. Gorrieri e U. Montanari, in Advances inPetri Nets 1993 (G.Rozenberg ed), LNCS 674, Springer, 244-266. Extended abstractin Twelfth International Conference on Applications and Theory of Petri Nets, 329-348, Gjern (DK), 1991.

[50] “A Categorical View of Process Refinement”, di P. Degano, R. Gorrieri e G. Rosolini,negli atti di REX Workshop on Semantics: Theory and Applications (J.de Bakker,G.Rozenberg, J.Rutten ed), LNCS 666, Springer, 131-153, Beekbergen (NL), 1992.

[51] “An Exercise in Concurrency: A CSP Process as a Condition/Event System”, di P.Degano, R. Gorrieri e S. Marchetti, Advances in Petri Nets 1988 (G. Rozenberg ed),LNCS 340, Springer, 85-105, 1988. Extended abstract negli atti di Eighth EuropeanWorkshop on Applications and Theory of Petri Nets, 31-50, Saragozza (E), 1987.

Relazioni Invitate a Conferenze Internazionali

[52] “On the Expressiveness of Probabilistic and Prioritized data-retrieval in Linda”,M.Bravetti, R.Gorrieri, R.Lucchi, G.Zavattaro, negli atti di 2nd International Work-shop on Security Issues in Coordination Models, Languages and Systems (SecCo2004), ENTCS 128(5):39-53, 2005.

6

[53] “Security Issues in the Tuple Space Coordination Model”, M. Bravetti, N. Busi,R.Gorrieri, R.Lucchi, G. Zavattaro, negli atti di 2nd International Workshop on For-mal Aspects in Security and Trust (FAST2004), IFIP Series volume 173, Kluwer, 1-12,Toulouse (F), 2004 .

[54] “Positive Non-Interference in Elementary and Trace Nets”, N.Busi e R.Gorrieri, negliatti di Twentyfifth International Conference on Applications and Theory of PetriNets, LNCS 3099, Springer, 1-16, Bologna (I), 2004.

[55] “Adding Probabilities and Priority to the Data Retrieval Mechanism of the Linda Co-ordination Model”, R.Gorrieri, negli atti di Second Workshop on Quantitative Aspectsof Programming Languages, Barcelona (E), 2004.

[56] “Process Algebraic Frameworks for the Specification and Analysis of CryptographicProtocols”, di R.Gorrieri, F.Martinelli, negli atti di 28th International Symposiumon Mathematical Foundations of Computer Science (MFCS03), LNCS 2747, 46-67,Springer, Bratislava (SK), August 2003.

[57] “On the Semantics of Javaspaces”, di N.Busi, R.Gorrieri e G.Zavattaro, negli atti diFormal Methods for Open Object-Based Distributed Systems IV (FMOODS’00), (C.L.Talcott, F.S. Smith eds.), Kluwer, 3-19, Stanford (CA), September 2000.

[58] “Non interference for the analysis of cryptographic protocols”, di R.Focardi,R.Gorrieri e F.Martinelli, negli atti di International Colloquium on Automata, Lan-guages and Programming (ICALP’00), (U.Montanari, E.Welzl eds.), LNCS 1853, 354-372, Springer, July 2000.

[59] “Secrecy in Security Protocols as Non Interference”, R.Focardi, R.Gorrieri,F.Martinelli, negli atti di DERA/RHBNC Workshops on Secure Architectures andInformation Flow, Royal Holloway (Londra, Dicembre 1999), Electronic Notes inTheoretical Computer Science 32, 2000.

[60] “Stochastic Process Algebras: Past, Present and Future”, di R.Gorrieri, negli atti di7th Int. Workshop on Process Algebras and Performance Modeling (PAPM ’99), (J.Hillston ed.), Zaragoza (Spain), September 1999.

[61] “Varieties of Authentication”, di R. Gorrieri e P. Syverson, negli atti di EleventhComputer Security Foundations Workshop (CSFW’98), (S.Foley ed), IEEE Press,79-82, Rockport (MA), 1998.

[62] “Non Interference: Past, Present and Future”, di R. Focardi e R. Gorrieri, negli attidi Foundations of Secure Mobile Code Workshop, (D.Volpano ed), Monterey (CA),1997.

[63] “Modeling and Analyzing Concurrent Systems with MPA”, di M. Bernardo, L. Do-natiello e R. Gorrieri, negli atti di Second Workshop on Process Algebras and Perfor-mance Modelling (PAPM), (U. Herzog, M. Rettelbach eds), 175–189, Erlangen (D),1994.

[64] “On Relating Some Models for Concurrency”, di P. Degano, R. Gorrieri, S. Vi-gna, negli atti di Theory and Practice of Software Technology (TAPSOFT’93), (M.-C.Gaudel, J.-P.Jouannaud eds), LNCS 668, Springer, 15-30, Orsay (F), 1993.

7

[65] “An Extended Expansion Theorem”, di G.L. Ferrari, R. Gorrieri e U. Montanari, negliatti di TAPSOFT 91, Theory and Practice of Software Development (S.Abramski,T.S.E.Maibaum eds), LNCS 494, Springer, 29-48, Brighton (UK), 1991.

[66] “Operational Definitions of Action Refinement based on Semantic Substitution”, diPh.Darondeau, P.Degano e R.Gorrieri, in Third Workshop on Concurrency and Com-positionality (E.Best ed), 57-62, Goslar-Harz (D), 1991.

[67] “A Simple Calculus of Nets”, di R. Gorrieri e U. Montanari, negli atti di CONCUR90, Theories of Concurrency: Unification and Extension (J.C.M. Baeten, J.W. Klopeds), LNCS 458, Springer, 2-30, Amsterdam (NL), 1990.

Conferenze Internazionali

[68] “SOCK: A Calculus for Service Oriented Computing”, Nadia Busi, Roberto Gorrieri,Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro, 4th International Conference onService-Oriented Computing (ICSOC’06), LNCS 4294, 327-338, Dicembre 2006.

[69] “Choreography and Orchestration Conformance for System Design”, Nadia Busi,Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro, 8th Inter-national Conference on Coordination Models and Languages (COORDINATION’06),LNCS 4038, 63-81, Bologna, Giugno 2006.

[70] “A Formalization of Credit and Responsibility within the GNDC Scheme”, R. Gor-rieri, F. Martinelli, M. Petrocchi, negli atti del First International Workshop onSecurity and Trust Management (STM 2005), (S. Mauw, V. Issarny and C. Cremerseds.), ENTCS 157(3):61-78, Milano, Settembre 2005.

[71] “Choreography and Orchestration: A Synergic Approach for System Design”, NadiaBusi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro, negli attidi Third International Conference on Service-Oriented Computing (ICSOC 2005),Boualem Benatallah, Fabio Casati, Paolo Traverso (Eds.), LNCS 3826, Springer-Verlag, 228-240, Amsterdam, The Netherlands, December 12-15, 2005.

[72] “Reasoning about interaction patterns in Choreography”, R. Gorrieri, C. Guidi, R.Lucchi, In Proc. of 2nd International Workshop on Web Services and Formal MethodsWS-FM’05, LNCS 3670, Springer Verlag, 333-348, 2005.

[73] “Towards a Formal Framework for Choreography”, N. Busi, R. Gorrieri, C. Guidi,R.Lucchi, G.Zavattaro, negli atti di Third International Workshop on Distributed andMobile Collaboration (DMC’05 – as part of WETICE 2005), IEEE Press, 107-112,2005.

[74] “On the Computational Power of Brane Calculi”, N. Busi, R. Gorrieri, negli attidi Third International Workshop on Computational Methods in Systems Biology(CMSB’05), 2005.

[75] “A Formulation of Credit and Responsibility”, R. Gorrieri, F. Martinelli, M. Petroc-chi, negli atti del International Workshop on Security Analysis of Systems: Formalismand Tools (SASYFT’04), 2004.

8

[76] “Contrasting Malicious Applets by Modifying the Java Virtual Machine”, V.Ciaschini,R.Gorrieri, negli atti di 19th IFIP International Information Security Conference(IFIP SEC’04), (Y.Deswarte et al. eds), Kluwer, 47-64, 2004.

[77] “Structural Non-interference with Petri Nets”, N.Busi, R.Gorrieri, negli atti di FourthWorkshop on Issues in the Theory of Security (WITS ’04) (P.Ryan ed), 2004.

[78] “Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model”,M.Bravetti, R.Gorrieri, R.Lucchi, G.Zavattaro, negli atti di Sixth International Con-ference on Coordination Models and Languages (Coordination’04), (R.De Nicola,G.Ferrari, G.Meredith eds), LNCS 2949, 55-70, Springer, 2004.

[79] “Web Services for E-commerce: Guaranteeing Security Access and Quality of Ser-vice”, M.Bravetti, R.Gorrieri, R.Lucchi, G.Zavattaro, negli atti di Symposium onApplied Computing (ACM SAC’04), track su E-commerce Technologies, ACM Press,800-806, 2004.

[80] “Formal analysis of some timed security properties in wireless protocols” R.Gorrieri,F.Martinelli, M.Petrocchi, A.Vaccarelli, negli atti di Sixth IFIP Workshop on FormalMethods for Open Object-based Distributed Systems (FMOODS’03), (Uwe Nestmann,Perdita Stevens eds), LNCS 2884, 139-154, Springer, 2003.

[81] “A Formal Approach for Checking Security Properties in SecSpaces” M.Bravetti,R.Gorrieri, R.Lucchi negli atti di Workshop on Security Issues in Corrdination Mod-els, Languages and Systems (SecCo), ENTCS 85.3, 2003.

[82] “A Probabilistic Formulation of Imperfect Cryptography” A.Troina, A.Aldini,R.Gorrieri negli atti di Workshop on Issues in Security and Petri Nets (WISP), Tech-nical Report of the University of Eindhoven, June 2003.

[83] “Compositional Verification of Integrity for Digital Stream Signature Protocols”,R.Gorrieri, F.Martinelli, M.Petrocchi, A.Vaccarelli, negli atti di Third InternationalConference on Application of Concurrency to System Design (ACSD’03), IEEE Press,142-149, Guimaraes, June 2003.

[84] “A Simple Language for Real-time Cryptographic Protocol Analysis”, R. Gorri-eri, E.Locatelli, F.Martinelli, negli atti di European Symposium on Programming(ESOP’03), (P.Degano ed), LNCS 2618, 114-128, Springer, Varsavia (PL), April 2003.

[85] “SecSpaces: a Data-driven Coordination Model for Environments Open to UntrustedAgents”, N.Busi, R.Gorrieri, R.Lucchi, G.Zavattaro, negli atti di 1st Int.l Workshopon Foundations on Coordination Languages and Software Architectures (Foclasa),ENTCS 68.3, Brno, August 2002.

[86] “Security Analysis of a Probabilistic Non-repudiation Protocol”, A.Aldini, R. Gorri-eri, negli atti di 10th Int. Workshop on Process Algebras and Performance Modeling(PAPM ’02), (H.Hermanns, R.Segala eds), LNCS 2399, 17-36, Copenaghen (DK),2002.

[87] “CVS at Work: A Report on new Failures upon some Cryptographic Protocols”,A.Durante, R.Focardi, R.Gorrieri, negli atti di International Workshop Mathematical

9

Methods, Models and Architectures for Computer Networks Security, LNCS 2052,287-299, Springer, St. Petersburg, Russia, May 2001.

[88] “An Adaptive Mechanism for Real-time Secure Speech Transmission over the In-ternet”, A.Aldini, R.Gorrieri, M.Roccetti, in Proc. of 2nd IP-Telephony Workshop(IP-Tel2001), (H. Shulzrinne, Ed.), pagine 64-72, Columbia University, New York,April 2001.

[89] “Temporary Data in Shared Dataspace Coordination Languages”, di N.Busi,R.Gorrieri, G.Zavattaro, Fossac’01, (F.Honsell, ed.), LNCS 2030, 121-136, Springer,Genova, April 2001.

[90] “A New Definition of Multilevel Security”, Riccardo Focardi, Roberto Gorrieri,Roberto Segala, negli atti di Workshop on Issues in the Theory of Security (WITS’00), Ginevra, Luglio 2000.

[91] “A Complete Axiomatisation for Observational Congruence of Prioritized Finite-State Behaviours”, M.Bravetti, R.Gorrieri, negli atti di International Colloquium onAutomata, Languages and Programming (ICALP’00), (U.Montanari, E.Welzl eds.),LNCS 1853, 744-755, Springer, July 2000.

[92] “Information Flow Analysis in a Discrete Time Process Algebra”, R.Focardi,R.Gorrieri, F.Martinelli, negli atti di 13th IEEE Computer Security FoundationsWorkshop (CSFW13), (P.Syverson ed), IEEE CS Press, 170-184, 2000.

[93] “Process Calculi for Coordination: from Linda to JavaSpaces”, N.Busi, R.Gorrieri,G.Zavattaro, negli atti di Eighth International Conference on Algebraic Methodologyand Software Technology (AMAST’00), (a cura di Teodor Rus), Lecture Notes inComputer Science 1816, Springer-Verlag, pagine 198-212, Iowa City (USA), Maggio2000.

[94] “Message Authentication through Non Interference”, R.Focardi, R.Gorrieri,F.Martinelli, negli atti di Eighth International Conference on Algebraic Methodol-ogy and Software Technology (AMAST’00), (a cura di Teodor Rus), Lecture Notes inComputer Science 1816, Springer-Verlag, pagine 258-272, Iowa City (USA), Maggio2000.

[95] “A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods”, A. Al-dini, M. Bernardo, R. Gorrieri, M. Roccetti, negli atti di 11th European SimulationSymp. (ESS ’99), Society for Computer Simulation International, pagine 281-288,Erlangen (Germany), Ottobre 1999.

[96] “An Algebraic Model for Evaluating the Performance of an ATM Switch with ExplicitRate Marking”, A. Aldini, M. Bernardo, R. Gorrieri, in Proc. of the 7th Int. Work-shop on Process Algebras and Performance Modeling (PAPM ’99), 119-138, Zaragoza(Spain), September 1999.

[97] “Interactive Generalised Semi-Markov Processes”, M. Bravetti, R. Gorrieri, in Proc.of the 7th Int. Workshop on Process Algebras and Performance Modeling (PAPM’99), 83-98, Zaragoza (Spain), September 1999.

10

[98] “Axiomatizing ST Bisimulation for a Process Algebra with Recursion and ActionRefinement (Extended Abstract)”, M. Bravetti, R. Gorrieri, in Proc. of the 6th Int.Workshop on Expressiveness in Concurrency (EXPRESS’99), ENTCS 27, Eindhoven(The Netherlands), August 1999

[99] “CVS: A Compiler for the Analysis of Cryptographic Protocols”, A. Durante, R. Fo-cardi, R. Gorrieri, negli atti di 12th IEEE Computer Security Foundations Workshop(CSFW12), (P.Syverson ed), IEEE CS Press, 203-212, Mordano (I), 1999.

[100] “Packetized Audio for Industrial Applications: A Simulation Study”, M. Roccetti,M. Bernardo, R. Gorrieri, negli atti di 10th European Simulation Symp. (ESS ’98),(A. Bargiela, E. Kerckhoffs eds), SCS Press, 495-500, Nottingham (UK), 1998.

[101] “A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equiv-alence”, M. Bravetti, M. Bernardo, R. Gorrieri, negli atti di 6th Int. Workshop onProcess Algebras and Performance Modeling (PAPM ’98), (C.Priami ed), Nizza (F),1998.

[102] “Towards Performance Evaluation with General Distributions in Process Algebras”,M. Bravetti, M. Bernardo, R. Gorrieri, negli atti di 9th Int. Conf. on ConcurrencyTheory (CONCUR ’98), (D.Sangiorgi ed), LNCS 1466, 405-422, Springer, Nizza (F),1998.

[103] “Applet Watch-Dog: A Monitor for Controling the Execution of Java Applets”,R. Gorrieri, G. Marchetti, negli atti di Fourteenth IFIP International InformationSecurity Conference (SEC’98), (G.Papp, R.Posch eds), 15-23, Austrian ComputerSociety Press, Vienna (A), 1998.

[104] “Using Non Interference for the Analysis of Security Protocols”, R. Focardi, A.Ghelli, R. Gorrieri, in DIMACS Workshop on Design and Formal Verification ofCryptographic Protocols , (C.Meadows, H.Orman eds), http://dimacs.rutgers.edu/Workshops/Security/program2/program.html, 1997.

[105] “On the Turing Equivalence of Linda Coordination Primitives”, N. Busi, R. Gorrieri,G. Zavattaro, negli atti di Fourth Workshop on Expressiveness in Concurrency (EX-PRESS’97) (C.Palamidessi, J.Parrow eds), Electronic Notes of Theoretical ComputerScience 7, S.Margherita Ligure (I), 1997.

[106] “From EMPA to GSMPA: Allowing for General Distributions”, M. Bravetti, M.Bernardo, R. Gorrieri, negli atti di Fifth International Workshop on Process Algebraand Performance Modelling (PAPM’97), (E. Brinksma ed), Enschede (Paesi Bassi),1997.

[107] “Three Semantics of the Output Operation for Generative Communication ”,N. Busi, R. Gorrieri, G. Zavattaro, in Second International Conference on Coordi-nation Models and Languages (COORDINATION’97) (D.Garlan, D.LeMetayer eds),LNCS 1282, 205-219, Springer, Berlino (D), 1997.

[108] “Action Refinement as an Implementation Relation”, R. Gorrieri, A. Rensink, negliatti di Colloquium on Formal Approaches in Software Engineering (FASE) come parte

11

di TAPSOFT’97 (M.Bidoit, M.Dauchet eds), LNCS 1214, 772-786, Springer, Lille (F),1997.

[109] “A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Proto-col”, M. Bernardo, L. Donatiello, R. Gorrieri, negli atti di 11th Int. Symp. on Com-puter and Information Sciences (ISCIS XI), (V. Atalay, U. Halici, K. Inan, N. Yalabik,A. Yazici eds), METU, 375-384, Antalya (Turchia), 1996.

[110] “Extended Markovian Process Algebra”, M. Bernardo, R. Gorrieri, negli atti diCONCUR’96, Theories of Concurrency: Unification and Extension (U. Montanari,V.Sassone eds), LNCS 1119, 315-330, Springer, Pisa (I), 1996.

[111] “A Study on the Specification and Verification of Performance Properties”, X.J.Chen, F. Corradini, R. Gorrieri, in Sixth International Conference on AlgebraicMethodology and Software Technology (AMAST’96), (M.Wirsing ed), LNCS 1101,Springer, 306-320, Monaco (D), 1996.

[112] “Towards a Calculus for Generative Communication”, P. Ciancarini, R. Gorrieri, G.Zavattaro, negli atti di First IFIP Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS’96), (E. Najm, J.-B. Stefani eds), Chapman &Hall Ltd., 289-306, Parigi (F), 1996.

[113] “Automatic Compositional Verification of Some Security Properties”, R. Focardi, R.Gorrieri, negli atti di Second Workshop on Tools and Algorithms for the Constructionand Analysis of Systems (TACAS’96), (B. Steffen ed), LNCS 1055, Springer, 167-186,Passau (D), 1996.

[114] “Giving a Net Semantics to Markovian Process Algebra”, M. Bernardo, L. Do-natiello, R. Gorrieri, in 6th Int.l Workshop on Petri Nets and Performance Models(PNPM’95), Durham (NC), IEEE-CS Press, 169-178, 1995.

[115] “A Petri Net Semantics for π-calculus”, N.Busi, R.Gorrieri, in CONCUR’95, Theo-ries of Concurrency: Unification and Extension (S.Smolka ed), LNCS 962, Springer,145-159, Philadelphia (USA), 1995.

[116] “Performance Preorder: Ordering Processes with respect to Speed”, F.Corradini, R.Gorrieri, M. Roccetti, in 20th International Symposium on Mathematical Foundationsof Computer Science (MFCS’95), (P.Hajek, J.Wiedermann eds), LNCS 969, Springer,444-453, Praga (CZ), 1995.

[117] “The Security Checker: A Semantics-based Tool for the Verification of SecurityProperties”, R. Focardi, R. Gorrieri, V. Panini, negli atti di Eigth IEEE ComputerSecurity Foundations Workshop (CSFW’95), (Li Gong ed), IEEE Press, pagine 60-69,Kenmare (IRL), 1995.

[118] “Integrated Analysis of Concurrent Distributed Systems using Markovian ProcessAlgebra”, M. Bernardo, L. Donatiello, R. Gorrieri, (position statement) negli atti diIFIP WG6.1 Seventh International Conference on Formal Description Techniques forDistributed Systems and Communication Protocols (FORTE’94), (D. Hogrefe, S. Leueeds), Chapman & Hall Ltd., 455-457, Berna (CH), 1994.

12

[119] “Real-Time System Verification using P/T Nets”, R. Gorrieri, G. Siliprandi, negliatti di Computer Aided Verification (CAV’94), (D.L. Dill ed), LNCS 818, Springer,14-26, Stanford (CA), 1994.

[120] “Axiomatising ST Bisimulation Equivalence”, N. Busi, R.J. van Glabbeek, R. Gor-rieri, negli atti di IFIP Working Conference on Programming Concepts, Methods andCalculi (PROCOMET’94), (E.-R. Olderog ed), North-Holland/Elsevier, 169-188, S.Miniato (I), 1994.

[121] “A Taxonomy of Trace-based Security Properties for CCS”, R. Focardi, R. Gorrieri,in Seventh IEEE Computer Security Foundations Workshop (CSFW’94), (Li Gonged), IEEE Press, 126-136, Franconia (NH), 1994.

[122] “On Syntactic and Semantic Action Refinement”, U. Goltz, R. Gorrieri, A. Rensink,negli atti di International Conference on Theoretical Aspects of Computer Software(TACS’94), (M. Hagiya, J.C. Mitchell eds), LNCS 789, Springer, 385-404, Sendai (J),1994.

[123] “An Information Flow Security Property for CCS”, R. Focardi, R. Gorrieri, negliatti di Second North American Process Algebra Workshop (NAPAW’93), (B. Bloomed), TR-93/1369 of Cornell University, Ithaca (NY), 1993.

[124] “Towards Performance Evaluation in Process Algebras”, R. Gorrieri, M. Roccetti,negli atti di Third International Conference on Algebraic Methodology and SoftwareTechnology (AMAST’93), (M. Nivat, C. Rattray, T. Rus, G. Scollo eds), Workshopsin Computing, Springer, 289 - 296, Enschede (NL), 1993.

[125] “The Limit of Splitn-Bisimulations for CCS Agents”, R. Gorrieri, C. Laneve, negliatti di 16th International Symposium on Mathematical Foundations of Computer Sci-ence (MFCS 91), (A. Tarlecki ed), LNCS 520, Springer, 170-180, Kazimierz Dolny(PL), 1991.

[126] “Atomic Refinement for Process Description Languages”, P. Degano, R. Gorrieri,negli atti di 16th International Symposium on Mathematical Foundations of ComputerScience (MFCS 91), (A. Tarlecki ed), LNCS 520, Springer, 121-130, Kazimierz Dolny(PL), 1991.

[127] “The Kernel of a Graphic Environment for Analyzing Distributed Systems”, P.Degano, R. Gorrieri, L. Zamboni, P. Zanotti, negli atti di Parallel Computer Tech-nologies (PaCT’91) - UNESCO Conference, (N.N. Mirenkov ed), World Scientific,266-279, Novosibirsk (Russia), 1991.

[128] “Implicative Formulae in the ‘Proofs as Computations’ Analogy”, A. Asperti, G.L.Ferrari, R. Gorrieri, negli atti di 17th Annual ACM Symposium on Principles ofProgramming Languages (POPL 90), ACM Press, 59-71, San Francisco (CA), 1990.

[129] “Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Lan-guage”, A. Brogi, R. Gorrieri, negli atti di Sixth International Conference on LogicProgramming, (G. Levi, M. Martelli eds), MIT Press, 637-654, Lisbona (P), 1989.

13

[130] “A Distributed, Net Oriented Semantics for Delta Prolog”, A. Brogi, R. Gorrieri,negli atti di Theory and Practice of Software Development - Colloquium on Trees inAlgebra and Programming 1989 (TAPSOFT 89), (J. Diaz, F. Orejas eds), LNCS 351,Springer, 162-177, Barcellona (E), 1989.

[131] “A2CCS: A Simple Extension of CCS for Handling Atomic Actions”, R. Gorrieri, S.Marchetti, U. Montanari, negli atti di Colloquium on Trees in Algebra and Program-ming 1988 (CAAP 88), (M. Dauchet, M. Nivat eds), LNCS 299, Springer, 258-270,Nancy (F), 1988.

Conferenze Nazionali

[132] “CombiningPartitions in SecSpaces”, M.Bravetti, R.Gorrieri, R.Lucchi, G.Zavattaro, negli attidel workshop finale del progetto MEFISTO (M.Bravetti, R.Gorrieri eds), ENTCS99:31-47, 2004.

[133] “Approximating Imperfect Cryptography in a Formal Model”, A.Troina, A.Aldini,R. Gorrieri, negli atti del workshop finale del progetto MEFISTO (M.Bravetti,R.Gorrieri eds), ENTCS 99:183-203, 2004.

[134] “Formal Models of Timing Attacks on Web Privacy”, R.Focardi, R. Gorrieri,R.Lanotte, A.Maggiolo-Schettini, F.Martinelli, S.Tini, E.Tronci, negli atti del work-shop finale del progetto TOSCA (U.Montanari ed), ENTCS 62, 2002.

[135] “Techniques for Security Checking: Non-Interference vs Control Flow Analysis”,C.Bodei, P.Degano, R.Focardi, R. Gorrieri, F.Martinelli, negli atti del workshop finaledel progetto TOSCA (U.Montanari ed), ENTCS 62, 2002.

[136] “Action Refinement for Vertical Implementation”, R. Gorrieri, A. Rensink, negli attidi Formale Beschreibungstechniken fur verteilte Systeme (FBT’97), organizzato daGI/ITG Fachgruppe Kommunikation und Verteilte Systeme, GMD-FOKUS, Berlino(D), 1997.

[137] “An Extensional Formulation of ST Bisimulation”, R. Gorrieri, C. Laneve, negli attidi Quarta Conferenza Italiana di Informatica Teorica, (A. Marchetti Spaccamela, M.Venturini Zilli eds), World Scientific, 239-253, 1992.

[138] “Two Level Semantics for Process Description Languages: A Proof System for StrongPrefixing”, R. Gorrieri, U. Montanari, negli atti di Terza Conferenza Italiana diInformatica Teorica, (A. Bertoni, C. Bohm, P. Miglioli eds), World Scientific, 311-322, 1989.

Altre Pubblicazioni

[139] “Controllo della Gravidanza”, M.Franchina, M.Cantarelli, J.Chahoud, R.Gorrieri,S.Govoni, M.Mela, G.Pallotti, P.Pettazzoni, A.Scarano, LXXXVIII Congresso dellaSociet Italiana di Ginecologia e Ostetricia. (Perugia, 9-13 Novembre 2002.) a cura diV.Lauro, G.Pomili pp. 93-97, CIC Edizioni Internazionali, Roma, 2002

14

[140] “Uterine Contraction Sequences by Phys-ical and Mathematical Study”, M.Cantarelli, J.Chahoud, M.Franchina, R.Gorrieri,M.Mela, G.Pallotti, P.Pettazzoni, International Conference on Medical Physics andEngineering in Health Care (Poznan (Poland), October 18-20) a cura di The PolishSociety of Medical Physics pp. 24-25, The Polish Society of Medical Physics, Poznan(Poland), 2001

[141] “Chronological Analysis of Uterine Contractions Sequences”, M.Cantarelli,J.Chahoud, M.Franchina, R.Gorrieri, S.Govoni, M.Mela, G.Pallotti, P.Pettazzoni,Journal of the International Federation for Medical and Biological Engineering andComputing, Volume 37(2), pagine 328-329, 1999.

[142] “Study on the Possibility of Labour Pains Time Prediction”, M.Cantarelli,J.Chahoud, M.Franchina, R.Gorrieri, S.Govoni, M.Mela, G.Pallotti, P.Pettazzoni,Journal of the International Federation for Medical and Biological Engineering andComputing, Volume 37(1), pagine 367-368, 1999.

Workshops con revisione, ma senza proceedings

[143] “On the Definition of Abstract Models for Multi-Media Objects”, B. Gavioli, R.Gorrieri, F. Panzieri, Annual Workshop of the CaberNet Network of Excellence onDistributed Systems, Dublino, 1994.

Tesi

[144] “Refinement, Atomicity and Transactions for Process Description Languages”, R.Gorrieri, tesi di Dottorato, Universita di Pisa, TD-2/91, Marzo 1991, 291 pagine.

[145] “Semantiche per sistemi distribuiti basate su CCS”, R. Gorrieri, S. Marchetti, tesidi laurea, Dipartimento di Informatica, Universita di Pisa, Aprile 1986.

Inviti a parlare a Workshops o Scuole – senza Proc.

Mag.05 E invitato a parlare a MFPS XXI (Mathematical Foundations of ProgrammingSemantics), Birmingham (UK), 18-21 Maggio 2005.

Sett.04 E invitato a tenere un Tutorial alla conferenza FORTE’04 (IFIP TC6 WG 6.1Joint International Conference on Formal Techniques for Networked and DistributedSystems), Madrid, 27 Settembre 2004.

Sett.03 E relatore invitato al 4th Advanced Course on Petri Nets, Eichstaett, Germania,16-25 settembre 2003.

Feb. 02 E relatore invitato al meeting ”Logic and Verification” organizzato da R.Amadio,Universita di Marsiglia.

Sett. 00 E relatore invitato alla conferenza internazionale Fourth International Con-ference on Coordination Models and Languages (COORDINATION’00), Limassol,(Cyprus), 2000.

15

Mag. 00 E invitato dai Proff. U. Herzog, M.Kwiatkowska, C.Meinel e M.Vardi a parlareal Workshop Probabilistic Methods in Verification, che si tiene a Dagstuhl (D) dal30/4 al 05/05 2000 (rinuncia per impegni imprevisti).

Feb. 00 E invitato dai Proff. U. Goltz, J. Meseguer, H.-D. Ehrich e A,Pnueli a parlare alWorkshop Specification of Distributed Information Systems, che si tiene a Dagstuhl(D) dal 20 al 25 Febbraio 2000 (rinuncia per impegni imprevisti).

Giu. 99 E invitato dal Proff. Olderog e Honsell a parlare alla riunione dell’IFIP W.G.2.2 (formal description of programming concepts), che si tiene a Udine, dal 28 al 30Giugno. Non partecipa.

Feb. 98 E invitato dai Proff. U. Goltz, J. Meseguer e D. Ehrich a parlare al WorkshopInformation Systems as Reactive Systems, che si tiene a Dagstuhl (D) dal 15 al 20Febbraio.

Set. 97 E invitato dai Proff. P.Degano, A.Marchetti-Spaccamela e F.Panzieri a parlareal Workshop su Sistemi Distribuiti: Architetture, ALgoritmi, Linguaggi, che si tienea Bertinoro (FO) dal 22 al 25 Settembre.

Sett. 97 E invitato dal Prof. E.-R. Olderog e Prof. Peter Lucas a parlare alla riunionedell’IFIP W.G. 2.2 (formal description of programming concepts), che si tiene a Linz(A), dal 22 al 26 Settembre.

Sett. 96 E invitato dai Proff. E.-R. Olderog e D. Bjorner a parlare alla riunione dell’IFIPW.G. 2.2 (formal description of programming concepts), che si tiene a Macao, dal 23al 27 Settembre. Non partecipa.

Sett. 96 E invitato dai Proff. R. De Nicola, U. Goltz e F. Vaandrager a parlare alWorkshop Expressiveness in Concurrency, che si tiene a Dagstuhl (D) dal 16 al 20Settembre. Non partecipa.

Giu. 96 E invitato dai Proff. A.Bertossi, M.Bonuccelli e R.De Nicola a parlare al Work-shop su Sistemi Distribuiti, che si tiene a Levico (TN) dal 17 al 19 Giugno.

Giu. 96 E invitato dai Proff. P. Wegner e S. Smolka a parlare al Concurrency workinggroup dell’ACM Workshop Strategic Directions in Computing, che si tiene presso ilMIT a Boston (USA) dal 14 al 15 Giugno. Non partecipa.

Sett. 95 E invitato, come oratore, al Workshop Specification of Systems: Theory inSearch of Practice, tenutosi a Stoccolma (D) dal 24 al 25 Settembre, organizzatoda J. Parrow e F. Orava.

Sett. 95 E invitato dai Prof. C.Hankin e H. Riis Flemming a parlare al Workshop NewTrends in the Integration of Paradigms, che si tiene a Dagstuhl (D) dal 18 al 22Settembre.

Giu. 95 E invitato dai Prof. E.J. Neuhold e J. de Bakker a parlare alla riunione dell’IFIPW.G. 2.2 (formal description of programming concepts), che si tiene ad Amsterdam,presso il CWI dal 13 al 17 Giugno.

16

Mar. 94 E invitato, come oratore, al Workshop Specification of Systems: Theory inSearch of Practice, tenutosi ad Hildesheim (D) dal 7 al 9 Marzo, organizzato da U.Goltz e A. Rensink.

Sett. 91 E invitato dal Prof. Gerard Boudol, come oratore, a partecipare ai lavori delCEDISYS Open Workshop (Sophia-Antipolis (F), 19-23 Settembre 1991).

Mar. 91 E invitato a partecipare ai lavori del Third Workshop on Concurrency andCompositionality (Goslar/Harz (D), 5-8 Marzo 1991), dove presenta un lavoro inuna sessione libera.

Feb. 90 E invitato a partecipare ai lavori del Second Workshop on Concurrency andCompositionality (San Miniato (I), 28 Febbraio - 3 Marzo), dove presenta un lavoroin una sessione libera.

Nov. 89 E invitato dalla Dr.sa Ursula Goltz, come oratore, al Working Group on Atom-icity and Action Refinement, tenutosi a Bonn (D) presso il GMD.

e

3 Partecipazione a progetti di ricerca

I progetti di ricerca ai quali Roberto Gorrieri ha partecipato includono anche i seguenti:

• Progetto PRIN-Cofin BISCA, per il periodo 12/2006-12/2008.

• Progetto Europeo SENSORIA Software Engineering for Service-Oriented OverlayComputers, contratto n. 016044, per il periodo 2005-2009 (responsabile di sito).

• Progetto PRIN-Cofin SYBILLA Linguaggi e Modelli per Sistemi Biologici, per ilperiodo 11/2004-11/2006 (responsabile di sito).

• FET Project DEGAS, finanziato da EU, come membro del sito di Trento.

• Progetto ex-40% Cofin – Metodi Formali per la Sicurezza (MEFOS-MEFISTO),responsabile nazionale Prof. Gorrieri – 11/2001-11/2003.

• Progetto CNR (Impiego del Fondo Speciale per lo sviluppo della ricerca di interessestrategico) denominato Strumenti, Ambienti e Applicazioni Innovative per la So-ciet a dell’Informazione – sottoprogetto 1 (responsabile nazionale del sottoprogettoDomenico Sacca).

• Progetto CNR Tematiche e Strumenti Software per l’Analisi della Sicurezza delleComunicazioni (responsabile nazionale Ing. A.Vaccarelli, IAT-CNR Pisa).

• Microsoft Research Europe su Security and Mobility, referenti Microsoft: L.Cardelli,A.Gordon, R.Needham. Responsabile locale R.Gorrieri.

• Progetto ex-40% Cofin – TOSCA (responsabile nazionale Prof. Montanari, respon-sabile locale Prof. Laneve) – 2000-2001.

17

• Progetto ex-40% Cofin (responsabile nazionale, Prof. Levi, responsabile locale Prof.Asperti) – 1998-1999.

• Progetto coordinato del CNR (1995-1997): Strumenti per la Specifica e la Verificadi Proprieta Critiche di Sistemi Concorrenti e Distribuiti. Il progetto, del qualeRoberto Gorrieri e il coordinatore nazionale, coinvolge anche unita operative delPolitecnico di Milano (Prof. Dino Mandrioli), Politecnico di Torino (Prof. AjmoneMarsan), Universita di Pisa (Prof. Ugo Montanari), CNUCE (Dott. TommasoBolognesi), Universita di Torino (Prof. Gianfranco Balbo).

• Programma Vigoni per gli anni 1995/96, finanziato dalla Conferenza Permanentedei Rettori delle Universita Italiane (CRUI), per lo scambio fra Italia e Germa-nia. Il finanziamento e stato erogato per una ricerca congiunta con l’Universita diHildesheim.

• Esprit Action COST 247 (Project on Verification/Validation and Testing of Softwareusing Formal Description Techniques) – Roberto Gorrieri e uno dei due delegatinazionali nell’azione.

• Progetto strategico del CNR (1996-1998) Modelli e metodi per la Matematica el’Ingegneria, area di intervento: Modelli e metodi per l’elaborazione dell’informazionee delle immagini; responsabile Prof. Maggiolo-Schettini.

• M.U.R.S.T. 40% Modelli e Metodi della Computazione, responsabile nazionale Prof.Andrea Maggiolo-Schettini. Roberto Gorrieri e il responsabile dell’unita operativadi Bologna. (Anni ‘94-’96).

• M.U.R.S.T. 60% (negli anni 1999-2002).

• Esprit Working Group COORDINA (sito di Bologna, responsabile Prof. Ciancarini)– terminato.

• Esprit Research Network of Excellence CaberNet (sito di Bologna, responsabile Prof.Babaoglu) – terminato.

• Esprit Basic Research Action n.9102, progetto COORDINATION (sito di Bologna,responsabile Prof. Ciancarini) – terminato.

• Esprit Basic Research Action n.8130, progetto LOMAPS (sito di Pisa, responsabileProf. Degano) – terminato.

• Esprit Basic Research Action n.6360, progetto BROADCAST (sito di Bologna) –terminato.

• Esprit Basic Research Action n.3011, progetto CEDISYS (Compositional DistributedSystems) – terminato.

• Progetto Finalizzato Informatica e Calcolo Parallelo, obiettivo LAMBRUSCO – ter-minato.

• Progetto Modelling Atomicity and Action Refinement finanziato dal Centro Ricerchedi Pisa della Hewlett-Packard – terminato.

18

Inoltre, Roberto Gorrieri e stato titolare di contributi CNR per organizzazione con-ferenze (Coordination e Fmoods), e di due contributi EU-Euroconferences e UNESCO-ROSTE per lo stesso motivo (ICALP’97 e FOSAD’00). Inoltre, ha ricevuto un contributoINTAS per per organizzazione conferenza (WISP-Petri’04).

Revisore di progetti

Roberto Gorrieri e stato nominato revisore per progetti finanziati dalla Comunita Europea(ad esempio, project IST-1999-11583, denominato MAFTIA), per Physical Sciences of theNetherlands Organization for Scientific Research (NWO) negli anni 2000, 2001 e 2004, perla Swedish Foundation for Strategic Research per l’anno 2002, per EPSRC (Engineeringand Physical Sciences Research Council) per l’anno 2003.

4 Attivita relative a convegni

Editor di Atti di Conferenze

Roberto Gorrieri ha curato gli atti delle seguenti conferenze:

• 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’06), LNCS 4037, Giugno 2006. Co-editor:Heike Wehrheim.

• Foundations of Security Analysis and Design III – FOSAD’04 and FOSAD’05, LNCS3655 – Tutorials subseries, Springer, Settembre 2005. Co-editor: Alessandro Aldinie Fabio Martinelli.

• 2nd International Workshop on Security Issues with Petri Nets and other Computa-tional Models (WISP 2004), volume 121 di Electronic Notes in Theoretical ComputerScience (ENTCS), Febbraio 2005. Co-editor: Nadia Busi, Fabio Martinelli.

• Workshop finale del Progetto Metodi Formali per la Sicurezza (MEFISTO), Volume99 di Electronic Notes in Theoretical Computer Science (ENTCS), Marzo 2004. Co-editor: Mario Bravetti.

• Foundations of Security Analysis and Design II – FOSAD’01 and FOSAD’02, LNCS2946 – Tutorials subseries, Springer, Gennaio 2004. Co-editor: Riccardo Focardi.

• Third Workshop in the Theory of Security – WITS’03, (Varsavia - PL, Aprile 2003).

• First International Summer School on Foundations of Security Analysis and Design –FOSAD’00 (Bertinoro, Settembre 2000), LNCS 2171 – Tutorials subseries, Springer,Settembre 2001. Co-editor: Riccardo Focardi.

• Eight International Workshop on Process Algebra and Performance Models – PAPM’00(Ginevra, Luglio 2000), Carleton Scientific, Proceedings in Informatics 8 (volumecollettivo degli eventi satelliti di ICALP’00).

• Third IFIP Workshop on Formal Methods for Open Object-based Distributed Sys-tems – FMOODS’99 (Firenze - I, Febbraio 1999), Kluwer. Co-editors: P. Ciancarinie A. Fantechi.

19

• Twentyfourth Intern.l Colloquium on Automata, Languages and Programming –ICALP’97 (Bologna - I, Luglio 1997). Lecture Notes in Computer Science, volume1256, Springer-Verlag. Co-editors: P.Degano, A. Marchetti-Spaccamela.

Membro di Steering Committee

Roberto Gorrieri fa parte dello steering committee per le seguenti conferenze:

• European Joint Conferences on Theory and Practice of Software Development (ETAPS),in quanto delegato di EATCS, a partire da Agosto 2001, fino a Agosto 2006.

• IEEE Computer Security Foundations Workshop (CSFW), a partire dal 1999.

• IFIP Workshop on Formal Methods for Open Object-based Distributed Systems(FMOODS), a partire dal 2000.

• International Workshop on Process Algebra and Performance Models (PAPM), apartire dal 1998 fino alla sua fusione in QEST nel 2003.

• International Colloquium on Automata, Languages and Programming (ICALP), inquanto membro del Consiglio Direttivo dell’European Association for TheoreticalComputer Science, dal 1997 fino al 2002.

• International Conference on Coordination Languages and Models (Coordination),per il periodo 1997-2000.

Partecipazione a comitati di programma

Roberto Gorrieri ha fatto (o fara) parte del comitato di programma di alcune conferenzenazionali ed internazionali:

1. 4th International Workshop on Formal Aspects in Security and Trust – FAST’06(Hamilton, Canada, August 2006).

2. 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’06), (Bologna, Giugno 2006).

3. Sixth Workshop in the Theory of Security – WITS’06, (Vienna - A, March 2006).

4. Twelveth ACM Conference on Computer and Communications Security – ACMCCS’05, (Alexandria, Virginia – USA, Novembre 2005).

5. First International Conference on Security and Privacy for Emerging Areas in Com-munication Networks – SECURCOM (Atene - Gr, Settembre 2005).

6. Third International Workshop on Formal Aspects of Security and Trust – FAST’05,(Newcastle - UK, Luglio 2005).

7. Thirtysecond International Colloquium on Automata, Languages and Programming– ICALP’05 (Lisbon - P, Luglio 2005).

20

8. Seventh IFIP Conference on Formal Methods for Open Object-based DistributedSystems – FMOODS’05 (Atene - Gr, Giugno 2005).

9. IEEE Computer Security Foundations Workshop – CSFW18 (Aix-en-Provence - F,Giugno 2005).

10. Twentysixth International Conference on Application and Theory of Petri Nets –Petri Nets’05 (Miami, Florida, Giugno 2005).

11. International Symposium on Trustworthy Global Computing, organizzato da IFIPW.G. 2.2, Edinburgo, Aprile 2005.

12. Fifth Workshop in the Theory of Security – WITS’05, (Long Beach, CA - USA,Gennaio 2005).

13. First International Conference on Quantitative Evaluation of SysTems – QEST’04,(Enschede - NL, Settembre 2004).

14. First International Workshop on Practical Applications of Stochastic Modelling –PASM’04, (Londra - UK, Settembre 2004)

15. Second International Workshop on Formal Aspects of Security and Trust – FAST’04,(Tolosa - F, Agosto 2004).

16. Second International Workshop on Certification and Security in Inter-OrganizationalE-Services, (Tolosa - F, Agosto 2004).

17. Fourth Workshop in the Theory of Security – WITS’04, (Barcellona - E, Aprile2004).

18. Foundations of Software Science and Computation Structures – Fossacs’04 (Barcel-lona - E, Aprile 2004).

19. First International Workshop on Web Services and Formal Methods – WS-FM 2004,(Pisa, Febbraio 2004).

20. Thirtieth International Colloquium on Automata, Languages and Programming –ICALP’03 (Eindhoven - NL, Luglio 2003).

21. Third Workshop in the Theory of Security – WITS’03, (Varsavia - PL, Aprile 2003).

22. Foundations of Software Science and Computation Structures – Fossacs’03 (Varsavia- PL, Aprile 2003).

23. Second IFIP Conference on Theoretical Computer Science (TCS2002), come partedi IFIP World Computer Congress (WCC 2002), Montreal, Agosto 2002.

24. First International Workshop on Foundations of Coordination Languages and Soft-ware Architectures, Brno (CZ), Agosto 2002.

25. Fifth International Conference on Coordination Models and Languages – COORDI-NATION’02, York, Aprile 2002.

21

26. Eleventh European Symposium on Programming – ESOP’02 – parte della EuropeanFederated Spring Conference (ETAPS), (Grenoble - F, Marzo 2002).

27. Second Workshop in the Theory of Security (WITS’02), Portland (Oregon, USA),January 14-15 2002.

28. 2001 ACM International Conference on Information Security (Shanghai - China,September 24-26, 2001).

29. Ninth International Workshop on Process Algebra and Performance Models – PAPM/PROBMIV’01(Acquisgrana/Aachen, Settembre 2001).

30. Twelfth International Conference on Concurrency Theory – CONCUR’01 (Aalborg- DK, Agosto 2001).

31. Verification Workshop (in connection with IJCAR 2001), Siena, June 2001.

32. IFIP TC6/WG6.1 Joint International Conference Formal Description Techniques(FORTE XIII) and Protocol Specification, Testing, and Verification (PSTV XX) –FORTE/PSTV’00 (Pisa - I, Ottobre 2000).

33. Sixth European Symposium on Research in Computer Security – ESORICS 2000(Tolosa - F, Ottobre 2000).

34. Fourth International Conference on Coordination Models and Languages (COOR-DINATION’00), Cipro, Settembre 2000.

35. Fourth IFIP Conference on Formal Methods for Open Object-based DistributedSystems – FMOODS’00 (Stanford - CA, Settembre 2000).

36. Workshop on Models for Time-Critical Systems (Pennsylvania, Agosto 2000), eventosatellitare di Concur’00.

37. Eight International Workshop on Process Algebra and Performance Models – PAPM’00(Ginevra, Luglio 2000).

38. IEEE Computer Security Foundations Workshop – CSFW13 (Cambridge, Luglio2000).

39. IFIP TC6/WG6.1 Joint International Conference Formal Description Techniques(FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) –FORTE/PSTV’99 (Pechino - C, Ottobre 1999).

40. World Congress on Formal Methods (FM’99), Mini-track on Security (Tolosa - F,Settembre 1999).

41. Tenth International Conference on Concurrency Theory – CONCUR’99 (Eindhoven- NL, Agosto 1999)

42. Twentysixth International Colloquium on Automata, Languages and Programming– ICALP’99 (Praga - CZ, Luglio 1999).

22

43. Third International Conference on Coordination Models and Languages – COOR-DINATION’99 (Amsterdam, Aprile 1999).

44. Fifth International Conference on Tools and Algorithms for the Construction andAnalysis of Systems – TACAS’99 – parte della European Federated Spring Conference(ETAPS), (Amsterdam – NL, Marzo 1999).

45. Third IFIP Workshop on Formal Methods for Open Object-based Distributed Sys-tems – FMOODS’99 (Firenze - I, Febbraio 1999).

46. IFIP TC6/WG6.1 Joint International Conference Formal Description Techniques(FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) –FORTE/PSTV’98 (Parigi - F, Novembre 1998).

47. Sesta Conferenza Italiana di Informatica Teorica (Prato - I, Novembre 1998).

48. Eleventh International IEEE Computer Security Foundations Workshop – CSFW 11(Rockport - MA/USA, Giugno 1998).

49. Third International ERCIM Workshop on Formal Methods in Industrial CriticalSystems – FMICS-3 (Amsterdam - NL, Maggio 1998).

50. Seventh European Symposium on Programming – ESOP’98 – parte della EuropeanFederated Spring Conference (ETAPS), (Lisbona - P, Marzo 1998).

51. Twentyfourth International Colloquium on Automata, Languages and Programming– ICALP’97 – in occasione del Silver Jubilee of EATCS, (Bologna - I, Luglio 1997).

52. Tenth International IEEE Computer Security Foundations Workshop – CSFW 10(Rockport - MA/USA, Giugno 1997).

53. Eighteenth International Conference on Application and Theory of Petri Nets – PetriNets’97 (Tolosa - F, Giugno 1997).

54. Quinta Conferenza Italiana di Informatica Teorica (Ravello - I, Novembre 1995).

55. Twentysecond International Colloquium on Automata, Languages and Programming– ICALP’95 (Seghedino - H, Luglio 1995).

56. Sixteenth International Conference on Application and Theory of Petri Nets – PetriNets’95 (Torino - I, Giugno 1995).

57. Fifteenth International Conference on Application and Theory of Petri Nets – PetriNets’94 (Saragozza - E, Giugno 1994).

58. Fourth International Conference on Concurrency Theory – CONCUR’93 (Hildesheim- D, Agosto 1993)

23

Organizzazione di convegni

Ha lavorato a vario titolo nell’organizzazione di alcune conferenze nazionali ed internazion-ali:

• FOSAD’07

• Organizza la sesta scuola internazionale FOSAD’06 (International School on Foun-dations of Security Analysis and Design), Bertinoro, 10-16 Settembre 2006. Co-organizzatore: Alessandro Aldini, Javier Lopez, Fabio Martinelli, Catherine Mead-ows.

• Organizza la quinta scuola internazionale FOSAD’05 (International School on Foun-dations of Security Analysis and Design), Bertinoro, 19-24 Settembre 2005. Co-organizzatore: Alessandro Aldini, Fabio Martinelli.

• Organizza la quarta scuola internazionale FOSAD’04 (International School on Foun-dations of Security Analysis and Design), Bertinoro, 6-11 Settembre 2004. Co-organizzatore: Alessandro Aldini, Fabio Martinelli e Andrei Sabelfeld.

• Organizza il secondo Workshop on Issues in Security and Petri Nets (WISP), Bologna,Giugno 2004. Co-organizzatori: N.Busi, F.Martinelli.

• Organizza la venticinquesima conferenza internazionale su Applications and Theoryof Petri Nets (ATPN 2004), Bologna, Giugno 2004.

• Organizza l’Ottava Conferenza Italiana di Informatica Teorica, Bertinoro, Ottobre2003. Co-organizzatori: A.Asperti e C.Laneve.

• Organizza il primo Workshop on Issues in Security and Petri Nets (WISP), Eind-hoven, Giugno 2003. Co-organizzatori: N.Busi, F.Martinelli.

• Organizza la terza scuola internazionale FOSAD’02 (International School on Foun-dations of Security Analysis and Design), Bertinoro, 22-29 Settembre 2002. Co-organizzatore: Alessandro Aldini e Riccardo Focardi.

• Organizza la seconda scuola internazionale FOSAD’01 (International School on Foun-dations of Security Analysis and Design), Bertinoro, 17-29 Settembre 2001. Co-organizzatori: Riccardo Focardi e John McLean.

• Organizza la scuola internazionale SFM-01:PA (International School on Formal Meth-ods for the Design of Computer, Communication and Software Systems: ProcessAlgebras), Bertinoro, 23-28 Luglio 2001. Co-organizzatori: Marco Bernardo e ScottSmolka.

• Organizza il Workshop Security through Analysis and Verification, che si tiene aDagstuhl (D) dal 10/12 al 15/12 2000. Co-organizzatori: Chris Hankin e FlemmingNielson.

• Organizza la prima scuola internazionale FOSAD’00 (International School on Foun-dations of Security Analysis and Design), Bertinoro, 18-30 Settembre 2000.

24

• Membro dell’Advisory Board per International Conference on Theoretical ComputerScience – IFIP TCS2000 (Sendai - J, Agosto 2000), organizzata da IFIP TC1.

• Presidente del comitato organizzatore di 12th International IEEE Computer SecurityFoundations Workshop – CSFW 12 (Imola – I, 28-30 Giugno 1999).

• Organizzatore (con E.Lodi e S.Tucci) del Terzo Workshop su Sistemi Distribuiti:Algoritmi, Architetture, e Linguaggi, Pontignano (SI), 28 – 30 Settembre 1998.

• Presidente del comitato organizzatore di Second International Workshop on InfiniteState Systems (Infinity’97), Bologna, 11 – 12 Luglio 1997.

• Presidente del comitato organizzatore di Twentyfourth International Colloquium onAutomata, Languages and Programming (ICALP’97) in occasione del Silver Jubileeof EATCS, Bologna, 7 – 11 Luglio 1997.

• Presidente del comitato organizzatore di Second International Workshop on AdavncedIntelligent Networks (AIN’97), Cesena, 4 – 5 Luglio 1997.

• Presidente del comitato organizzatore di Second International ERCIM Workshop onFormal Methods in Industrial Critical Systems, Cesena, 4 – 5 Luglio 1997.

• Membro del comitato organizzatore di Seventh International Conference on Concur-rency Theory (CONCUR’96), Pisa, 26-29 Agosto 1996.

• Presidente del comitato organizzatore di First International Conference on Coordi-nation Models and Languages (COORDINATION’96), Cesena, 15-17 Aprile 1996.

• Organizza la riunione annuale del Capitolo Italiano della European Association forTheoretical Computer Science, Bologna, 29 Ottobre 1994.

• Collabora all’organizzazione di Second Workshop on Concurrency and Composition-ality, San Miniato, 28 Febbraio – 3 Marzo 1990.

• Lavora all’organizzazione di Joint Conference on Theory and Practice of SoftwareDevelopment (TAPSOFT’87), Pisa, 23-27 Marzo 1987.

5 Attivita relative a Riviste

Membro di Comitati di Redazione

• Membro dell’editorial board per il giornale Theoretical Computer Science (Else-vier) a partire da Luglio 1999.

• Membro dell’advisory board per il giornale International Journal of InformationSecurity (Springer) dalla fondazione (2001).

• Membro dell’editorial board per il giornale Transactions on Petri Nets and OtherModels of Concurrency (ToPNoC), subseries of LNCS, Springer, dalla fondazione(2006).

25

Attivita di Editore

• Special issue di Theoretical Computer Science, dedicata a Theoretical Foundationsof Security Analysis and Design II, volume 340(1): 1-2, 2005. Co-editor: FabioMartinelli.

• Special issue di Journal of Computer Security Vol 13(1), 2005, dedicata alla selezionedi alcuni lavori estratti dalla conferenza WITS’03.

• Special issue di Performance Evaluation, Vol 50(2-3):79-82, 2002, intitolata UnifiedSpecification and Performance Evaluation using Stochastic Process Algebras, dedi-cata alla selezione di alcuni lavori estratti dalle conferenze PAPM’99 e PAPM’00.Co-editori: Jane Hillston e Ulrich Herzog.

• Special issue di Theoretical Computer Science Vol. 283(2):269-270, dedicata a The-oretical Foundations of Security Analysis and Design, 2002.

• Special issue di ACM Computing Surveys dedicato a Symposium on the Theory ofComputation, Vol. 31 no. 3es. Co-editori P.Degano, A.Marchetti-Spaccamela eP.Wegner.

• Special issue di Theoretical Computer Science Vol. 221 (1-2), Giugno 1999, dedicataad una selezione dei migliori lavori della conferenza ICALP’97. Co-editori P.Deganoe A.Marchetti-Spaccamela.

• Special issue di Science of Computer Programming Vol. 31, Nos. 2-3, Luglio 1998,dedicata ad una selezione dei migliori lavori applicativi della conferenza Coordina-tion’96 e del progetto Esprit Coordination n 9102. Co-editor Paolo Ciancarini.

• Special issue di Theoretical Computer Science Vol. 192 No 2, Febbraio 1998 dedicataad una selezione dei migliori lavori teorici della conferenza Coordination’96 e delprogetto Esprit Coordination n 9102. Co-editor Chris Hankin.

Attivita di Revisore

Riviste: Theoretical Computer Science, Information and Computation, ACM Transac-tions on Programming Languages and Systems, Journal of the ACM, ACM Trans-action on Computer, Journal of Parallel Programming, Fundamenta Informaticae,Journal of Computer and System Sciences, Formal Aspects of Computing, Computerand Artificial Intelligence, Acta Informatica, Journal of Computer Security, Theoryof Computing Systems, etc...

Congressi: International Colloquium on Automata, Languages and Programming (ICALP);Logic in Computer Science (LICS); Theories of Concurrency (CONCUR); Theoryand Practice of Software Development (TAPSOFT); Colloquium on Trees in Al-gebra and Programming (CAAP); Colloquium on Formal Approaches in SoftwareEngineering (FASE); European Symposium on Programming (ESOP); Foundationsof Software Technology and Theoretical Computer Science (FST-TCS), InternationalConference on Logic Programming (ICLP); Mathematical Foundations of ComputerScience (MFCS); International Conference on Applications and Theory of Petri Nets

26

(Petri), Fault-tolerant Computer Systems (FTCS), Principles of Distributed Com-puting (PODC), Coordination, IEEE Computer Security Foundations Workshop,FMOODS.

6 Attivita didattica

Corso di Laurea

Titolarita: A partire da Novembre 1992, Roberto Gorrieri e titolare del corso di Metodiper il Trattamento dell’Informazione presso il Corso di Laurea in Scienze dell’Informazionedi Bologna.A partire da Novembre 1996, Roberto Gorrieri e titolare del corso di Informatica Teoricapresso il Corso di Laurea in Informatica di Bologna.A partire dal 2000, Roberto Gorrieri e titolare del corso di Metodi per il Trattamentodell’Informazione presso il Corso di Laurea in Scienze dell’Informazione di Cesena.

Corsi ImpartitiNell’A.A. 06-07 tiene i Corsi F’, MNell’A.A. 05-06 tiene i Corsi F’.Nell’A.A. 04-05 tiene i Corsi D+A”+L.Nell’A.A. 03-04 tiene i Corsi D+A”+L.Nell’A.A. 02-03 tiene i Corsi D+A”, H.Nell’A.A. 01-02 tiene i Corsi D+A”, H.Nell’A.A. 00-01 tiene i Corsi D, D’.Nell’A.A. 99-00 tiene i Corsi A’, D.Nell’A.A. 98-99 tiene i Corsi A’, D, D’ e G.Nell’A.A. 97-98 tiene i Corsi A’, D, F’ e G.Nell’A.A. 96-97 tiene i Corsi A’, D ed E, F.Nell’A.A. 95-96 tiene i Corsi A, B, D ed E.Nell’A.A. 94-95 tiene i Corsi A, B e D.Nell’A.A. 93-94 tiene i corsi A e C.Nell’A.A. 92-93 tiene i corsi A e B.Nell’A.A. 91-92 ha svolto le esercitazioni per il corso A (titolare Prof. Lorenzo Donatiello).LegendaA: Metodi per il trattamento dell’Informazione (Bologna)A’: Informatica Teorica (Bologna)A”: Informatica Teorica (Cesena) B: Teoria degli Automi (Bologna)B’: Metodi Formali dell’Informatica I: Concorrenza (Bologna)C: Linguaggi Formali e Compilatori (Bologna)D: Metodi per il trattamento dell’Informazione (Cesena)D’: Metodi Formali dell’Informatica II: Sicurezza (Bologna)E: Algoritmi e Strutture Dati (Bologna)F: Programmazione (Accademia militare di Modena)F’: Programmazione (Bologna)G: Fondamenti di Informatica (Accademia militare di Modena)H: Corso interfacolta dal titolo: La Logica di INTERNET: i Sistemi, i Problemi, gli Stru-menti

27

L: Fondamenti di InformaticaM: Costrutti Linguistici e Tecniche di Verifica per Sistemi Concorrenti

Altre LezioniNei periodi Aprile-Giugno 1991, Maggio 1992 e Dic.92/Gen.93 ha insegnato program-mazione logica e Prolog (28 ore), all’interno del corso di Sistemi Informativi (titolare Prof.Pierpaolo Degano), presso la Scuola Diretta a Fini Speciali in Informatica dell’Universitadi Parma (decentrata a Reggio Emilia).

Dottorato

Cicli di Lezioni Nel periodo Maggio 2006 ha tenuto un corso su “Teoria della Concor-renza e Fondamenti di Sicurezza” per gli studenti del Dottorato di Ricerca in Informaticadell’Universita di Bologna.Nel periodo Aprile 2005 ha tenuto un corso su “Teoria della Concorrenza e Fondamenti diSicurezza” per gli studenti del Dottorato di Ricerca in Informatica dell’Universita di Pisa.Nel periodo Marzo 2005 ha tenuto un corso su “Teoria della Concorrenza e Fondamentidi Sicurezza” per gli studenti del Dottorato di Ricerca in Informatica e Telecomunicazionidell’Universita di Trento.Nel periodo Aprile 2004 ha tenuto un corso su “Teoria della Concorrenza e Fondamentidi Sicurezza” per gli studenti del Dottorato di Ricerca in Informatica dell’Universita diSalerno.Nel periodo Maggio 2003 ha tenuto un corso su “Teoria della Concorrenza e Fondamentidi Sicurezza” per gli studenti del Dottorato di Ricerca in Informatica di Bologna.Nel periodo Aprile 2003 ha tenuto un corso su “Teoria della Concorrenza e Fondamentidi Sicurezza” per gli studenti del Dottorato di Ricerca in Informatica e Telecomunicazionidell’Universita di Trento.Nel periodo Giugno 2001 ha tenuto un corso su “Fondamenta Teoriche della Coordinazionee della Sicurezza” per gli studenti del Dottorato di Ricerca in Informatica di Salerno.Nel periodo Maggio 2000 ha tenuto un corso su “Teoria della Concorrenza e Applicazionialla Coordinazione e alla Sicurezza” per gli studenti della Scuola Nazionale del Dottoratodi Ricerca in Informatica delle Facolta di Scienze (SNDIS).Nel periodo Settembre-Ottobre 1994 ha tenuto un corso su “Teoria della ComputazioneConcorrente e Distribuita” per gli studenti del Dottorato di Ricerca in Informatica Teoricae Logica Matematica dell’Universita di Siena.

Revisore di tesi

• Davide Prandi (supervisore Corrado Priami), Universita di Trento, Dicembre 2006.

• Claudio Eccher (supervisore Corrado Priami), Universita di Trento, Marzo 2006.

• Nel Giugno 2001 e invitato dal Prof. David Sands (Chalmers University) qualeopponent per il lavoro di tesi di Andrei Sabelfeld, intitolata Semantic Models for theSecurity of Sequential and Concurrent Programs.

• Nel Febbraio 1999 e invitato dal Prof. Franco Montagna (Universita di Siena) apartecipare alla commissione esaminatrice del lavoro di tesi di Fabio Martinelli, in-titolata Formal Methods for Open Systems.

28

• Nel Febbraio 1996 e invitato dalla Prof. Ursula Goltz (Universita di Hildesheim)a partecipare alla commissione esaminatrice del lavoro di tesi di Heike Wehrheim,intitolata Specification of Reactive Systems.

• Nel Gennaio 1995 e invitato dal Prof. Leo Ojala (Helsinki University of Technology)ad esaminare il lavoro di tesi di Johan Lilius, intitolata On the structure of High-levelNets.

• Nel Dicembre 1994 e invitato dal Prof. Gianfranco Balbo (Universita di Torino) agiudicare il lavoro di tesi di Marina Ribaudo, intitolata On the Relationship betweenStochastic Process Algebra and Stochastic Petri Nets.

• Nel Giugno 1993 partecipa, su invito dei Dr. Ph.Schnoebelen e J.Sifakis (IMAG diGrenoble), alla commissione giudicatrice della tesi di dottorato di Juan V. Echague,intitolata Semantique des Systemes Reactifs: Raffinement, Bisimulations et SemantiqueOperationnelle Structuree dans les Systemes de Transitions Asynchrones.

• Nel Novembre 1992 e invitato dal Prof. Leo Ojala (Helsinki University of Technology)a partecipare alla commissione giudicatrice della tesi di dottorato di Nisse Husberg,intitolata High-level Distributed Transition Systems in Categories. Rinuncia, perimpegni gia assunti per i giorni della discussione.

A Marzo 2004 viene invitato a far parte dell’Advisory Board of the ICT Graduate Schoolof the University of Trento.Supervisore di tesi

Roberto Gorrieri ha seguito e sta seguendo numerosi studenti di dottorato:

IX Ciclo: Nadia Busi e Glauco Siliprandi, studenti presso il Dottorato di Ricerca inInformatica Teorica e Logica Matematica dell’Universita di Siena. Busi vince ilpremio EATCS-IC per la migliore tesi di dottorato italiana in informatica teorica(area linguaggi). (Siliprandi ha rinunciato a proseguire gli studi al secondo anno permotivi familiari.)

X Ciclo: Marco Bernardo e Riccardo Focardi, studenti presso il Dottorato di Ricerca inInformatica dell’Universita di Bologna. Bernardo vince il premio EATCS-IC perla migliore tesi di dottorato italiana in informatica teorica.

XI Ciclo: Gianluigi Zavattaro, presso il Dottorato di Ricerca in Informatica dell’Universitadi Bologna.

XIII Ciclo: Mario Bravetti, presso il Dottorato di Ricerca in Informatica dell’Universitadi Bologna. Bravetti vince il premio EATCS-IC per la migliore tesi di dottoratoitaliana in informatica teorica.

XIV Ciclo: Alessandro Aldini, presso il Dottorato di Ricerca in Informatica dell’Universitadi Bologna.

XV I Ciclo: Roberto Lucchi, presso il Dottorato di Ricerca in Informatica dell’Universitadi Bologna.

XIX Ciclo: Claudio Guidi, presso il Dottorato di Ricerca in Informatica dell’Universitadi Bologna.

29

XXI Ciclo: Cristian Versari, presso il Dottorato di Ricerca in Informatica dell’Universitadi Bologna.

Altri suoi laureati che hanno seguito il dottorato non sotto la sua supervisione sono: Da-vide Marchignoli(XII Ciclo presso il Dottorato di Ricerca in Informatica dell’Universita diPisa), Vittorio Ghini (XIII Ciclo presso il Dottorato di Ricerca in Informatica dell’Universitadi Bologna), Giovanni Pau (XIV Ciclo presso il Dottorato di Ricerca in Ingegneriadell’Universita di Bologna) e Antonio Durante (XV Ciclo presso il Dottorato di Ricercain Informatica dell’Universita di Roma), Angelo Troina (XV III Ciclo presso il Dottoratodi Ricerca in Informatica dell’Universita di Pisa.

Allievi Tra i suoi studenti alcuni sono gia diventati professori o ricercatori.

• Riccardo Focardi, professore associato presso l’Universita di Venezia dal 1 Gennaio2003.

• Nadia Busi, professore associato presso l’Universita di Bologna dal 2001.

• Marco Bernardo, professore associato presso l’Universita di Urbino dal 2001.

• Gianluigi Zavattaro, ricercatore presso l’Universita di Bologna dal 2001.

• Mario Bravetti, ricercatore presso l’Universita di Bologna da Ottobre 2002.

• Alessandro Aldini, ricercatore presso l’Universita di Urbino da Novembre 2002.

• Roberto Lucchi, ricercatore presso il JRC di Ispra.

Studenti Laureati

Roberto Gorrieri ha seguito e sta seguendo un certo numero di tesisti. Come correlatore,ha seguito i lavori di Bruna Gavioli (relatore Prof. Fabio Panzieri), Riccardo Focardi (re-latore Prof. Lorenzo Donatiello), Gianluigi Zavattaro (Prof. Paolo Ciancarini), VittorioGhini (Prof. Sergio Focardi) e Giovanni Pau (relatore Prof. Gabriele Falciasecca). Comerelatore, Nadia Busi, Glauco Siliprandi, Cristiano Vanzolini, Enrico Stancampiano, MarcoBernardo, Villiam Panini, Angela Dalmonte, Manuela Sgubbi, Davide Della Godenza, Va-leria Zannarini, Roberto Rogo, Davide Marchignoli, Marcello Colucci, Giacomo Degli Es-posti. Mario Bravetti, Anna Ghelli, Andrea Piccinini, Gabriella Incoronato, Andrea Con-toli, Gianluigi Marchetti, Claudio Premici, Celso Belli, Andrea Strambi, Antonio Durante,Nicola Crotti, Simone Mecozzi, Alessandro Aldini, Maria Licia Florio, Simone Govoni (cor-relatore Giovanni Pallotti), Maria Grazia Pollarini (correlatore Marco Roccetti), StefanoAntili, Migani Enrico, Mirco Cenciarini, Elisa Andrini, Stefania Berti, Cristina Caccia-guerra, Paolo Di Martino (correlatore Maurizio Matteuzzi), Roberto Lucchi, FrancescaFiorenza, Matteo Massini, Ciro Barbone, Paolo Bragadini, Donato Sciannameo, DanieleValentini, Stefano Golfarelli, Marco Marassini, Danilo Rocchi, Matteo Venerucci, PaoloFornasari, Vincenzo Ciaschini, Roberto Frascarelli, Muccioli Mauro, Luca Bacchi, An-drea Violani, Enrico Locatelli, Angelo Troina, Camilla Frassani, Silvia Bonucci, CristianVersari.

Dai lavori di tesi di questi studenti, Roberto Gorrieri ha estratto articoli di ricercaaccettati, sottoposti o in via di sottomissione a conferenze e giornali internazionali (comeevidenziato in parte dall’elenco delle pubblicazioni).

30

7 Incarichi Istituzionali

Membro di Associazioni Professionali

Membro dell’International Federation for Information Processing (IFIP).Membro dell’European Association for Theoretical Computer Science (EATCS).Membro dell’IEEE Computer Society’s Technical Committee on Security and Privacy.

Membro di Consigli Scientifici

Da Dicembre 2000 e membro del Consiglio Scientifico dello IAT-CNR di Pisa (ora IIT-CNR).Da Dicembre 1994 a Novembre 1998, Roberto Gorrieri e membro del Consiglio Direttivodel Capitolo Italiano dell’European Association for Theoretical Computer Science. NelFebbraio del 1995, viene nominato segretario di tale associazione.Da Ottobre 2001 e nuovamente membro del Consiglio Direttivo del Capitolo Italianodell’European Association for Theoretical Computer Science, fino al 2003.A partire da Giugno 1995 fino al 1999, Roberto Gorrieri viene regolarmente invitato comeosservatore all’IFIP Working Group 2.2 su Formal Description of Programming Concepts.A partire da Luglio 1997, fino a Luglio 2002 Roberto Gorrieri e uno dei tre membri italianinel Consiglio Direttivo dell’European Association for Theoretical Computer Science. Glialtri sono G.Mauri e G.Ausiello.

Da Luglio 1997 a Ottobre 2002, Roberto Gorrieri e segretario dell’IFIP Technical Commit-tee on Foundations of Computation (TC-1), il cui presidente e stato, nello stesso periodo,G. Ausiello.Fonda e presiede l’IFIP Working Group 1.7 su Theoretical Foundations of Security Analysisand Design – Marzo 1999. Nell’Aprile 2003 viene riconfermato nel ruolo di Presidente perun secondo mandato. Termina nel ruolo a Novembre 2005.Membro del board di EEF European Educational Forum – a partire da Dicembre 1999.Membro di IFIP Working Group 6.1 su Architectures and Protocols for Computer Networks– a partire da Gennaio 2000.

Consulente Scientifico per Istituzioni

• E consulente del Comune di Bologna per il progetto di creazione di una autorita dicertificazione (PKI-CA) comunale per la distribuzione di chiavi pubbliche/private aicittadini.

• E consulente per la Comunita Europea, per la revisione del progetto Esprit MAFTIA(anni 2001-2003).

• Revisore di progetti Olandesi su call bandita da Council for Physical Sciences of theNetherlands, Organization for Scientific Research (NWO), per gli anni 2000 e 2001.

• Revisore di progetti Svedesi banditi da Swedish Foundation for Strategic Researchper l’anno 2002.

31

• Membro di PhD Thesis External Review Committee per la International GraduateSchool in Information and Communication Technology of Trento (see the web sitehttp://ict.unitn.it/) a partire dall’A.A. 2003-2004.

Membro di Commissioni

• Partecipa alla commissione giudicatrice del concorso libero a n.1 posto di ProfessoreOrdinario (gruppo INF/01) presso l’Universita di Trento (Gennaio 2006).

• Partecipa alla commissione del concorso di dottorato per il XXI ciclo presso l’Universitadi Bologna (Novembre 2005).

• Partecipa alla commissione di valutazione della tesi di dottorato per il XVII ciclopresso l’Universita di Pisa (Luglio 2005).

• Partecipa alla commissione giudicatrice del concorso libero a n.1 posto di ProfessoreAssociato (gruppo INF/01) presso l’Universita di Trento (Maggio 2005).

• In Aprile 2001, viene nominato (insieme ai Proff. G.Levi e P.Crescenzi) nella com-missione per l’assegnazione del premio EATCS-IT per le due migliori tesi di dottoratoin Informatica dell’anno.

• Partecipa alla commissione del concorso di dottorato per il XIII ciclo presso l’Universitadi Bologna (Febbraio 2001).

• Partecipa alla commissione giudicatrice del concorso libero a n.1 posto di ricercatoreuniversitario (gruppo INF/01) presso l’Universita di Salerno (Febbraio 2001).

• Partecipa alla commissione giudicatrice del concorso per Professore Associato (gruppoK05B) presso l’Universita di Salerno (Dicembre 2000).

• Partecipa alla commissione giudicatrice del concorso per Professore Associato (gruppoK05B) presso l’Universita di Torino (Settembre 1999).

• Partecipa alla commissione del concorso di dottorato per il XIII ciclo presso l’Universitadi Bologna (Gennaio 1998).

• Partecipa alla commissione giudicatrice del concorso libero a n.3 posti di ricercatoreuniversitario (gruppo A05) presso l’Universita di Salerno (Gennaio 1995).

Gestione

Da Novembre 2000 a Febbraio 2001 e presidente del Consiglio di Corso di Laurea in Scienzedell’Informazione (sede di Cesena) dell’Universita di Bologna.Da Novembre 1991 a Settembre 2000, Roberto Gorrieri ha curato la gestione della sezioneInformatica della biblioteca del Dipartimento di Matematica dell’Universita di Bologna.Da Novembre 1992 ad Ottobre 1995, Roberto Gorrieri presiede la Commissione Piani diStudio per il Corso di Laurea in Scienze dell’Informazione di Bologna.Da Novembre 1992 a Novembre 1993 e membro della Commissione Didattica della Facoltadi Scienze MM.FF.NN. dell’Universita di Bologna.

32

Da Novembre 1991 a Ottobre 1994 ha gestito l’attuazione del Servizio di Tutorato per glistudenti del Corso di Laurea in Scienze dell’Informazione di Bologna.Da Gennaio 1996 a Gennaio 2000, Roberto Gorrieri e il rappresentante del Corso di Lau-rea in Informatica dell’Universita di Bologna nella Commissione SOCRATES (mobilitastudenti e docenti attraverso l’Europa) di Facolta.Da Luglio 1996 e nella Commissione Biblioteca del Corso di Laurea in Scienze dell’Informazionedi Cesena.

33