Curriculum Vitae di Maurice ter Beek

Dati generali
Conoscenza delle lingue
Formazione ed esperienze lavorative
Partecipazione a progetti di ricerca
Attività di revisione per progetti di ricerca
Trasferimento tecnologico verso l'industria
Collaborazione a riviste e convegni
Esperienza didattica
Seminari su invito
Partecipazione a scuole e convegni (oltre a quelle citate tra le pubblicazioni)
Pubblicazioni

Dati generali

• Nato il 7 Ottobre 1972 a 's-Gravenhage, Paesi Bassi
  
• Residente a Cascina (PI) in via S. Lucia 22
• Cittadinanza Olandese
• In possesso di una carta di soggiorno a tempo indeterminato
• Convivente con due figli

Conoscenza delle lingue

• Olandese (madrelingua)
• Inglese (ottimo)
• Italiano (ottimo)
• Tedesco (buono)
• Ungherese (buono)
• Francese (scolastico)

Formazione ed esperienze lavorative

• Idoneità da primo ricercatore conseguita nel concorso pubblico per titoli e colloquio per l'assunzione con contratto a tempo indeterminato di cinque unità di personale con profilo di I Ricercatore - II livello professionale del Consiglio Nazionale delle Ricerche - di cui n. 1 posto per l'Area Scientifica "Scienze Informatiche", essendosi classificato al settimo posto nella graduatoria di merito con punteggio 72,30/100, nel 2009.
• Ricercatore presso il gruppo di recerca di Formal Methods && Tools dell'Istituto di Scienza e Tecnologie dell'Informazione del Consiglio Nazionale delle Ricerche di Pisa, da Novembre 2003.
• Postdoc SegraVis presso il gruppo di ricerca di FOrmal Techniques in Software engineering del Department of Mathematics and Computer Science dell'Università di Anversa ad Anversa, Belgio, sotto la supervisione di Prof.dr. D. Janssens, Gennaio 2005 e Agosto 2005.
• Dottorato in Informatica all'Università di Leida, Paesi Bassi. Titolo della tesi: "Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components". Relatore Prof.dr. G. Rozenberg, correlatore Dr. H.C.M. Kleijn, e revisore Prof.dr. C.A. Ellis, 2003 (commissione giudicatrice).
• Postdoc ERCIM presso il gruppo di ricerca di Formal Methods && Tools dell'Istituto di Scienza e Tecnologie dell'Informazione del Consiglio Nazionale delle Ricerche di Pisa, sotto la supervisione della Dott.ssa S. Gnesi, 2003.
• Postdoc ERCIM presso il gruppo di ricerca di Modelling Multi-Agent Systems (che attualmente si chiama il gruppo di ricerca di Theoretical Computer Science) del Computer and Automation Research Institute dell'Accademia delle Scienze Ungherese di Budapest, Ungheria, sotto la supervisione della Dr. E. Csuhaj-Varjú, 2002.
• Docente presso l'istituto LIACS (Leiden Institute of Advanced Computer Science) dell'Università di Leida, Paesi Bassi, 2001.
• Borsa Socrates dell'UE di 8 mesi (per dottorandi) al Dipartimento di Informatica dell'Università di Pisa, 2000-2001.
• Studente di dottorato e docente "aggiunto" presso il gruppo di Informatica Teorica del Prof. G. Rozenberg all'Istituto LIACS (Leiden Institute of Advanced Computer Science) dell'Università di Leida, Paesi Bassi, 1996-2001.
• Laurea in Informatica con indirizzo teorico conseguita all'Istituto LIACS (Leiden Institute of Advanced Computer Science) dell'Università di Leida, Paesi Bassi. Titolo della tesi: "Teams in grammar systems". Relatori: Prof. G. Rozenberg e Dr. H.C.M. Kleijn, 1996.
• Tesi di laurea finanziata da una borsa di studio di 9 mesi del Ministero Ungherese della Cultura e dell'Educazione ed elaborata presso il Computer and Automation Research Institute dell'Accademia delle Scienze Ungherese di Budapest, Ungheria, sotto la supervisione della Dr. E. Csuhaj-Varjú, 1995-1996.
• Conseguito cinque esami universitari (fuori dal piano di studi) presso il Dipartimento di Informatica Generale dell'Università Eötvös Loránd di Budapest, Ungheria, 1995-1996.

Partecipazione a recenti progetti di ricerca

• Membro dell'unità operativa ISTI-CNR nel MIUR-PRIN 2007 progetto D-ASAP, 2008-2009.
• Membro dell'unità operativa ISTI-CNR nel CNR-RSTL progetto XXL (Sviluppo di nuovi strumenti e tecniche per lo specifica e verifica formale di sistemi ad elevata granularità), 2008-2009
• Membro dell'unità operativa ISTI-CNR nel mini-progetto FAERUS (Formal Analysis of Evolving Resilient Usable Systems) nel contesto dell'EU Network of Excellence ReSIST, 2008
• Membro dell'unità operativa ISTI-CNR nel progetto TOCAI.IT (Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet) finanziato dal MIUR all'interno del programma FIRB, da Luglio 2006.
• Membro dell'unità operativa ISTI-CNR nel FP6-IP-IST-016004 progetto Sensoria (Software Engineering for Service-Oriented Overlay Computers) finanziato dalla Comunità Europea, da Settembre 2005.
• Membro dell'unità operativa ISTI-CNR nel progetto "Instruments, Environments and Innovative Applications for the Information Society", sottoprogetto SP4 "Software Architecture for High Quality Services for Global Computing on Cooperative Wide Area Networks" finanziato dal MIUR, 2003-2004.

Attività di revisione per progetti di ricerca

• Revisore per un progetto di ricerca sottoposto per finanziamento dalla Technology Foundation STW, 2004 e 2006.

Trasferimento tecnologico verso l'industria

• Collaborazioni con Telecom Italia (sede di Torino) per la specifica e verifica formale di proprietà di sicurezza di protocolli di comunicazione per servizi Web, utilizzando dei metodi formali per la specifica e dei tool per la verifica; i risultati sono stati pubblicati in vari articoli scientifici congiunti, dal 2005.
• Collaborazioni con Think3, Inc. (sede di Bologna) per la specifica e verifica formale del loro prodotto thinkteam ed estensioni, utilizzando dei metodi formali per la specifica e dei tool per la verifica; i risultati sono stati pubblicati in vari articoli scientifici congiunti, dal 2003.

Collaborazione a riviste e convegni

Attività editoriale

• Membro del comitato editoriale (Editorial Board member) di un'edizione speciale (Special Issue), basata sui migliori articoli del convegno ASSE 2009, della rivista SADIO Electronic Journal of Informatics and Operations Research, Buenos Aires, Argentina, 2009.
• R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, and M. ter Beek (eds.), Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer-Verlag, Berlin, 2009.
• M.H. ter Beek (ed.), Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009), Pisa, Italy, 17-19 June 2009. Electronic Proceedings in Theoretical Computer Science 2, arXiv:0906.4900v1 [cs.SE], 2009.
• A. Aldini, M.H. ter Beek and F. Gadducci (eds.), Proceedings of the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro, Italy, 30-31 August 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier Science Publishers, 2009.
• M.H. ter Beek and F. Gadducci (eds.), Proceedings of the Second International Workshop on Views On Designing Complex Architectures (VODCA 2006), Bertinoro, Italy, 16-17 September 2006. Electronic Notes in Theoretical Computer Science 168, Elsevier Science Publishers, 2007.
• M.H. ter Beek and F. Gadducci (eds.), Proceedings of the First International Workshop on Views On Designing Complex Architectures (VODCA 2004), Bertinoro, Italy, 11-12 September 2004. Electronic Notes in Theoretical Computer Science 142, Elsevier Science Publishers, 2006.
• M.H. ter Beek and J.I. van Hemert (eds.), Proceedings of the Internal AIO Conference (IAC'99), Leiden Institute of Advanced Computer Science, Universiteit Leiden, 14-15 December 1999.

Attività di coordinamento

• Responsabile dell'organizzazione dei workshop (Workshop chair) di SEFM 2010: ottavo IEEE International Conference on Software Engineering and Formal methods, Pisa, Italia, 13-18 Settembre, 2010.
• Membro del comitato di pilotaggio (Steering Committee member) di ISARCS 2010: primo International Symposium on Architecting Critical Systems, Praga, Repubblica Ceca, 23-25 Giugno, 2010.
• Membro del comitato di programma (PC member) di SOAP 2010: Track on Service Oriented Architectures and Programming al 25th Annual ACM Symposium on Applied Computing a Sierre, Svizzera, 21-26 Marzo, 2010
• Membro del comitato di programma (PC member) di sessione speciale di Trust and Context in Ubiquitous Computing a IMIS 2010, Cracovia, Polonia, 15-18 Febbraio, 2010.
• Membro del comitato di programma (PC member) di ASSE 2009: decimo Argentine Symposium on Software Engineering a Mar del Plata, Argentina, 27-28 Agosto, 2009.
• Membro del comitato di programma (PC member) di YR-SOC 2009: quarto European Young Researchers Workshop on Service-Oriented Computing a Pisa, 17-19 Giugno, 2009.
• Membro del comitato di programma (PC member) di VODCA 2008: terzo workshop internazionale su Views On Designing Complex Architectures a Bertinoro, 30-31 Agosto, 2008.
• Membro del comitato di programma (PC member) di CHINA 2008: Concurrency metHods: Issues aNd Applications a Xi'an, Cina, 24 Giugno, 2008.
• Membro del comitato di programma (PC member) di ASSE 2007: ottavo Argentine Symposium on Software Engineering a Mar del Plata, Argentina, 29-30 Agosto, 2007.
• Presidente del comitato di programma (PC chair) di VODCA 2006: secondo workshop internazionale su Views On Designing Complex Architectures a Bertinoro, 16-17 Settembre, 2006.
• Membro del comitato di programma (PC member) di VODCA 2004: primo workshop internazionale su Views On Designing Complex Architectures a Bertinoro, 11-12 Settembre, 2004.

Attività di organizzazione

• Responsabile dell'organizzazione (organising chair) di YR-SOC 2009: quarto European Young Researchers Workshop on Service-Oriented Computing a Pisa, 17-19 Giugno, 2009.
• Membro dell'organizzazione (organiser) di VODCA 2008: terzo workshop internazionale su Views On Designing Complex Architectures a Bertinoro, 30-31 Agosto, 2008.
• Membro dell'organizzazione (organiser) di VODCA 2006: secondo workshop internazionale su Views On Designing Complex Architectures a Bertinoro, 16-17 Settembre, 2006.
• Responsabile dell'organizzazione (organising chair) di VODCA 2004: primo workshop internazionale su Views On Designing Complex Architectures a Bertinoro, 11-12 Settembre, 2004.
• Organizzazione (co-organiser) della conferenza IAC'99: Interne AIO Conferentie al Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 14-15 Dicembre, 1999.

Presentazioni invitate a convegni

• Intervento dal titolo Team Automata for Spatial Access Control al Seminario su "Automata Theory" presso l'Università di Szeged, Ungheria, 23 Aprile 2002.
• Intervento dal titolo Collaboration and Cooperation in Team Automata alla conferenza IAC'99 (Interne AIO Conferentie) presso l'istituto LIACS dell'Università di Leida, Paesi Bassi, 14-15 Dicembre 1999.
• Intervento dal titolo Petri Net Controlled Grammar Systems al Seminario su "Recent Trends in Language Theoretic Models of Multi-Agent Systems" presso l'istituto SZTAKI dell'Accademia delle Scienze Ungherese a Budapest, Ungheria, 30 Marzo 1999.
• Intervento dal titolo Petri Net Controlled Grammar Systems al Workshop su "Grammar Systems" della conferenza MFCS'98 a Brno, Repubblica Ceca, 22-23 Agosto 1998.
• Intervento dal titolo Team behaviour in eco-grammar systems al Seminario su "Evolutionary Aspects of Multi-Agent Systems" presso l'istituto SZTAKI dell'Accademia delle Scienze Ungherese di Budapest, Ungheria, 24 Giugno 1997.
• Intervento dal titolo Simple eco-grammar systems with prescribed teams al Workshop su "Grammar Systems: Recent Results and Perspectives" presso l'istituto SZTAKI dell'Accademia delle Scienze Ungherese di Budapest, Ungheria, 26-27 Luglio 1996.

Attività di revisione per riviste

• IEEE Transactions on Dependable and Secure Computing, IEEE Computer Society, Los Alamitos, CA, USA
• Information and Computation, Elsevier Science Publishers, Amsterdam, The Netherlands
• Theoretical Computer Science, Elsevier Science Publishers, Amsterdam, The Netherlands
• Information Processing Letters, Elsevier Science Publishers, Amsterdam, The Netherlands
• Journal of Systems and Software, Elsevier Science Publishers, Amsterdam, The Netherlands
• Grammars, Springer, Heidelberg, Germany (formerly Kluwer Academic Publishers, Amsterdam, The Netherlands)
• Acta Informatica, Springer, Heidelberg, Germany
• Fundamenta Informaticae, IOS Press, Amsterdam, The Netherlands
• The Computer Journal, Oxford University Press
• International Journal of Foundations of Computer Science, World Scientific Publishing, Singapore.
• Journal of Automata, Languages and Combinatorics (formerly Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung und Kybernetik), Faculty of Computer Science, Otto-von-Guericke-University, Magdeburg, Germany
• Computing and Informatics (formerly Computers and Artificial Intelligence), Institute of Informatics, Slovak Academy of Sciences, Bratislava, Slovakia
• Acta Cybernetica, Institute of Informatics, University of Szeged, Szeged, Hungary
• The Open Information Systems Journal, Bentham Science Publishers, Amsterdam, The Netherlands
• SADIO Electronic Journal of Informatics and Operations Research, Buenos Aires, Argentina

Attività di revisione per convegni

• 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2010), Berlin, Germany, 21-23 June 2010
• 25th Annual ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland, 21-26 March 2010
• 4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing (IMIS 2010), Krakow, Poland, 15-18 February 2010
• 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 27-29 January 2010
• 11th International Conference on Formal Engineering Methods (ICFEM'09), Rio de Janeiro, Brazil, 9-12 December 2009
• 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), Hanoi, Vietnam, 23-27 November 2009
• 13th International Software Product Line Conference (SPLC'09), San Francisco, CA, USA, 24-28 August 2009
• 10th Argentine Symposium on Software Engineering (ASSE'09), Mar del Plata, Argentine, 24-28 August 2009
• 10th International Conference on Application of Concurrency to System Design (ACSD'09), Augsburg, Germany, 1-3 July 2009
• 4th European Young Researchers Workshop on Service-Oriented Computing (YR-SOC'09), Pisa, 17-19 June 2009.
• 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Porto Sani, Greece, 13-15 October 2008
• 27th International IEEE Symposium on Reliable Distributed Systems (SRDS'08), Napoli, Italy, 6-8 October 2008
• 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), L'Aquila, Italy, 15-16 September 2008
• 12th International Software Product Line Conference (SPLC'08), Limerick, Ireland, 8-12 September 2008
• 3rd international worskhop on Views On Designing Complex Architectures (VODCA'08), Bertinoro, Italy, 30-31 August 2008
• International Conference on Security and Cryptography (SECRYPT'08), Porto, Portugal, 26-29 July 2008
• 15th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'08), Kingston, ON, Canada, 16-18 July 2008
• 12th World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI'08), Orlando, FL, USA, 29 June-2 July 2008
• Workshop Concurrency metHods: Issues aNd Applications (CHINA'08), Xi'an, China, 24 June 2008
• 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ATPN'08), Xi'an, China, 23-27 June 2008
• 4th International Workshop on Security and Trust Management (STM'08), Trondheim, Norway, 16-17 June 2008
• 5th international conference on Computational Methods in Systems Biology (CMSB'07), Edinburgh, UK, 20-21 September 2007
• 8th Argentine Symposium on Software Engineering (ASSE'07), Mar del Plata, Argentine, 29-30 August 2007
• 16th International Symposium on Fundamentals of Computation Theory (FCT 2007), Budapest, Hungary, 27-30 August 2007
• 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany, 1-2 July 2007
• 1st International Conference On Language and Automata Theory and Applications (LATA'07), Tarragona, Spain, 29 March-4 April 2007
• 14th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'07), Salamanca, Spain, 22-24 March 2007
• 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'07), Braga, Portugal, 24 March - 1 April 2007
• 16th European Symposium on Programming (ESOP'07), Braga, Portugal, 24 March - 1 April 2007
• 10th International Conference on Fundamental Approaches to Software Engineering (FASE'07), Braga, Portugal, 24 March - 1 April 2007
• 2nd Symposium on Trustworthy Global Computing (TGC'06), Lucca, Italy, 7-9 November 2006
• 2nd International Workshop on Views On Designing Complex Architectures (VODCA'06), Bertinoro, Italy, 16-17 September 2006
• 11th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'06), Bonn, Germany, 26-27 August 2006
• 14th International Symposium on Formal Methods (FM'06), Hamilton, ON, Canada, 21-27 August 2006
• 4th International Conference on Business Process Management (BPM'06), Vienna, Austria, 5-7 September 2006
• 12th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'06), Luxembourg, Grand-Duchy of Luxembourg, 5-6 June 2006
• IEEE Performance and Dependability Symposium (PDS'06), Philadelphia, PA, USA, 25-28 June 2006
• 21st ACM Symposium on Applied Computing (SAC'06), Dijon, France, 23-27 April 2006
• 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), Taipei, Taiwan, 2-5 October 2005
• 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), Koblenz, Germany, 5-9 September 2005
• 10th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'05), Lisbon, Portugal, 5-6 September 2005
• 2nd International Workshop on Web Services and Formal Methods (WS-FM'05), Versailles, France, 1-3 September 2005
• 13th International FME Symposium (FM'05), Newcastle upon Tyne, UK, 18-22 July 2005
• 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), Newcastle upon Tyne, UK, 13-15 July 2005
• 9th International Conference on Developments in Language Theory (DLT'05), Palermo, Italy, 4-8 July 2005
• 2nd European Workshop on Software Architectures (EWSA'05), Pisa, Italy, 13-14 June 2005
• 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM'04), Beijing, China, 26-30 September 2004
• 9th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), Linz, Austria, 20-21 September 2004
• 1st International Workshop on Views On Designing Complex Architectures (VODCA'04), Bertinoro, Italy, 11-12 September 2004
• 7th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'04), Barcelona, Spain, 29 March - 2 April 2004
• 1st International Workshop on Web Services and Formal Methods (WS-FM'04), Pisa, Italy, 23-24 February 2004
• 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'03), Berlin, Germany, 29 September - 2 October 2003
• 1st IEEE International Conference on Software Engineering and Formal Methods (SEFM'03), Brisbane, Australia, 22-27 September 2003
• 12th International FME Symposium (FM'03), Pisa, Italy, 8-14 September 2003
• 6th International Conference on Developments in Language Theory (DLT'02), Kyoto, Japan, 18-21 September 2002
• 5th International Conference on Developments in Language Theory (DLT'01), Vienna, Austria, 16-21 July 2001
• 6th International Meeting on DNA Based Computers (DNA6), Leiden, The Netherlands, 13-17 June 2000
• vari convegni, 1997-2000

Esperienza didattica

• Nomina di cultore della materia del corso di Ingegneria del software del Corso di Studi in Informatica dell'Università di Pisa, anno accademico 2007-2008.
• Assistenza al corso di Ingegneria del software del Corso di Studi in Informatica dell'Università di Pisa, anno accademico 2007-2008.
• Tenuto una lezione dal titolo Model Checking with SPIN al Department of Mathematics and Computer Science dell'Università di Anversa, Belgio, che faceva parte del corso Seminarie Informatica - Tools for Software Engineering per gli studenti nell'ultimo anno, 20 Aprile 2005.
• Assistenza al corso di Laboratorio di Introduzione alla Programmazione del Corso di Studi in Informatica dell'Università di Pisa, 2003.
• Assistenza al Corso di Teoria della Concorrenza della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 2001.
• Assistenza al Corso di Linguaggi Formali e Teoria degli Automi della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 2001.
• Assistenza al Corso di Introduzione all'Informatica Teorica della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 2001.
• Assistenza al Corso di Linguaggi Formali e Teoria degli Automi della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 2000.
• Assistenza al Corso di Teoria della Concorrenza della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 2000.
• Assistenza al Corso di Linguaggi Formali e Teoria degli Automi della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 1999.
• Assistenza al Corso di Teoria della Concorrenza della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 1999.
• Assistenza al Corso di Teoria della Concorrenza della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 1998.
• Assistenza al Corso di Intelligenza Artificiale della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 1997.
• Assistenza al Corso di Teoria della Concorrenza della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 1997.
• Assistenza al Corso di Sistemi Operativi della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 1996.
• Assistenza al Corso di Logica per Informatici della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 1995.
• Assistenza al Corso di Teoria dei Database della Laurea in Informatica dell'Universit\`{a} di Leida, Paesi Bassi, 1994.

Seminari su invito

• Seminario dal titolo Finance Case Study: UML Specification and Verification with UMC tenuto al workshop SENSORIA, Monaco (Germania), 10 Febbraio 2009.
• Seminario dal titolo Qualitative and Quantitative Analysis in Automotive Scenarios - A preview of D8.6 tenuto al workshop SENSORIA, Monaco (Germania), 13 Marzo 2008.
• Seminario dal titolo Relations between case studies and Theme 2 results - Towards deliverable D8.6 tenuto al SENSORIA General Meeting, Pisa, 11 Giugno 2008.
• Seminario dal titolo Model Checking Publish/Subscribe Event Notification tenuto presso la sede di Telecom Lab Italia, Torino, 19 Dicembre 2005.
• Seminario dal titolo The thinkteam Case Study: Overview and Outlook tenuto presso il Dipartimento di Scienze dell'Informazione dell'Università di Bologna, 9 Dicembre 2004.
• Seminario dal titolo Model Checking Publish/Subscribe Notification for thinkteam tenuto presso l'Istituto di Scienza e Tecnologie dell'Informazione del Consiglio Nazionale delle Ricerche (ISTI-CNR) di Pisa, 12 Luglio 2004.
• Seminario dal titolo Team Automata and their Application to Security Analysis tenuto presso il Institute for Software Technology dell'Università Tecnica di Graz, Austria, 10 Marzo 2004.
• Seminario dal titolo Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components tenuto presso il Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 8 Dicembre 2003.
• Seminario dal titolo Model Checking Groupware Protocols tenuto presso il Politecnico di Milano, 2 Dicembre 2003.
• Seminario dal titolo Model Checking Groupware Protocols - bringing together theory and practice tenuto presso l'Istituto di Scienza e Tecnologie dell'Informazione del Consiglio Nazionale delle Ricerche (ISTI-CNR) di Pisa, 19 Giugno 2003.
• Seminario dal titolo Team Automata tenuto presso l'Istituto di Scienza e Tecnologie dell'Informazione del Consiglio Nazionale delle Ricerche (ISTI-CNR) di Pisa, 7 Gennaio 2003.
• Seminario dal titolo Behaviour of Team Automata tenuto presso il Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 12 Giugno 2002.
• Seminario dal titolo Team Automata for Spatial Access Control tenuto presso il Computer and Automation Research Institute dell'Accademia delle Scienze Ungherese (MTA-SZTAKI) di Budapest, Ungheria, 30 Maggio 2002.
• Seminario dal titolo Team Automata for Spatial Access Control tenuta presso il Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 10 Maggio 2000.
• Seminario dal titolo Petri net controlled grammar systems tenuta presso il Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 30 Settembre 1998.
• Seminario dal titolo Team Automata for Groupware Systems tenuta presso il Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 13 Novembre 1998.
• Seminario talk dal titolo Logic grammars and natural language tenuta presso il Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 15 Maggio 1997.
• Seminario dal titolo Teams in grammar systems tenuto presso il Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 26 Settembre 1996.
• Seminario dal titolo Teams in grammar systems tenuto presso il Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 20 Dicembre 1995.

Partecipazione a scuole e convegni (oltre a quelle citate tra le pubblicazioni)

• IFIP WG 1.3 meeting a ETAPS'07 (10th European Joint Conferences on Theory and Practice of Software), Braga, Portogallo, 23-24 Marzo.
• Lipari School 2005 on Formal Methods: Theory And Practice (17th International School for Computer Science Researchers), Lipari, Italia, 10-23 Luglio 2005.
• COOP'04 (6th International Conference on the Design of Cooperative Systems), Hyères Les Palmiers, Francia, 12-14 Maggio 2004.
• FM 2003 Satellite Workshop ST.EVE on State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specification and Software Engineering, Pisa, Italia, 13 Settembre 2003.
• FM 2003 Satellite Tutorial on Hybrid Systems for Computer Scientists, Pisa, Italia, 9 Settembre 2003.
• FM 2003 Satellite Workshop FAST on Formal Aspects in Security and Trust, Pisa, Italia, 8-9 Settembre 2003.
• FM 2003 Satellite Tutorial on Advanced SPIN model checking, Pisa, Italia, 8 Settembre 2003.
• ATPN 2003 (24th International Conference on Application and Theory of Petri Nets), Eindhoven, Paesi Bassi, 23-27 Giugno 2003.
• Meeting annuale del progetto MolCoNet, Budapest, Ungheria, 29-30 Novembre 2002.
• AFL 2002 (10th International Conference on Automata and Formal Languages), Debrecen, Ungheria, 13-18 Agosto 2002.
• Escuela Internacional de Bioinformática sotto l'auspicio dell'UNESCO-CISM "Education in Basic Sciences for Informatics" a La Habana, Cuba, 7-16 Gennaio 2002.
• Conferenza FUN'01 (Fun With Algorithms), Isola d'Elba, 29-31 Maggio 2001.
• COOP 2000 (International Conference on the Design of Cooperative Systems), Sophia Antipolis, Francia, 23-26 Maggio 2000.
• Workshop su "Modelling Human Activity" tenutosi a Sophia Antipolis, Francia, 23 Maggio 2000.
• Theoriedag NVTI ("Theory Day" olandese), Utrecht, Paesi Bassi, 10 Marzo 2000.
• Corso di Algoritmi e Complessità organizzato da IPA (Instituut voor Programmatuurkunde en Algoritmiek - Institute for Programming research and Algorithmics), Utrecht, Paesi Bassi, 5/12/19/26 Ottobre e 9/16/23/30 Novembre 1998.
• MFCS 1998 Satellite Workshop on Concurrency - Algorithms and Tools, Brno, Repubblica Ceca, 27-29 Agosto 1998.
• MFCS 1998 Satellite Workshop on Mathematical Linguistics, Brno, Repubblica Ceca, 27-28 Agosto 1998.
• MFCS 1998 Satellite Workshop on Molecular Computing, Brno, Repubblica Ceca, 24-26 Agosto 1998.
• MFCS 1998 (23rd International Symposium on Mathematical Foundations of Computer Science), Brno, Repubblica Ceca, 24--28 Agosto 1998.
• Dagstuhl Seminar 98271 Petri Nets and Business Process Management presso Schloss Dagstuhl, Wadern, Germany, 6-10 Luglio 1998.
• Ongoing Workshop on DNA Computing, Leida, Paesi Bassi, 29 Giugno - 3 Luglio e 13-17 Luglio 1998.
• Natural Computing Day del LCNC (Leiden Center for Natural Computing), Leida, Paesi Bassi, 10 Giugno 1998.
• Pascal lectures dal titolo DNA Computing - Design of Experiments tenuti dal Prof. T. Head (State University of New York at Binghamton, Stati Uniti, all'epoca Pascal Professor all'istituto LIACS dell'Università di Leida), Leida, Paesi Bassi, 3/17/24 Giugno e 1 Luglio 1998.
• Theoriedag NVTI ("Theory Day" olandese), Utrecht, Paesi Bassi, 13 Marzo 1998.
• SNAC (School on NAtural Computation), organizzata dall'EEF (European Educational Forum), Turku, Finlandia, 25-29 Agosto 1997.
• School su Computational and Syntactic Methods, organizzata dall'EEF (European Educational Forum), Mierlo, Paesi Bassi, 11-22 Agosto 1997.
• SIKS (School voor Informatie- en KennisSystemen - School for Information and Knowledge Systems) Seminario su Cooperative Systems, Amsterdam, Paesi Bassi, 12 Maggio 1997.
• Corso di Metodi Formali organizzato da IPA (Instituut voor Programmatuurkunde en Algoritmiek - Institute for Programming research and Algorithmics), 14/16/22/24 Aprile 1997 a Utrecht, Paesi Bassi, e 15/23 Aprile 1997 a Eindhoven Paesi Bassi, 1998.
• CSN 1996 (Computer Science in the Netherlands), Utrecht, Paesi Bassi, 19 Novembre 1996.
• AFL 1996 (8th International Conference on Automata and Formal Languages), Salgotárjan, Ungheria, 29 Luglio - 2 Agosto 1996.
• ICALP 1995 (22nd International Colloquium on Automata, Languages and Programming), Szeged, Ungheria, 10-14 Luglio 1995.

Pubblicazioni

Articoli su rivista (revisionati)

• M.H. ter Beek and J. Kleijn, Associativity of Infinite Synchronized Shuffles and Team Automata. Fundamenta Informaticae 91, 3-4 (2009), 437 - 461.
• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni, Assisting the Design of a Groupware System - Model Checking Usability Aspects of thinkteam. The Journal of Logic and Algebraic Programming 78, 4 (2009), 191 - 232.
• M.H. ter Beek, A. Bucchiarone, and S. Gnesi, Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics 1, 5 (2007), 1 - 10.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in CD Grammar Systems with Parallel Rewriting. International Journal of Foundations of Computer Science 18, 6 (2007), 1425 - 1439.
• M.H. ter Beek and J. Kleijn, Infinite Unfair Shuffles and Associativity. Theoretical Computer Science 380, 3 (2007), 401 - 410.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, A Team Automaton Scenario for the Analysis of Security Properties in Communication Protocols. Journal of Automata, Languages and Combinatorics 11, 4 (2006), 345 - 374.
• M.H. ter Beek, C. Martín-Vide, and V. Mitrana, Synchronized Shuffles. Theoretical Computer Science 341, 1-3 (2005), 263 - 275.
• M.H. ter Beek and J. Kleijn, Modularity for Teams of I/O Automata. Information Processing Letters 95, 5 (2005), 487 - 495.
• M.H. ter Beek, E. Csuhaj-Varjú, and V. Mitrana, Teams of Pushdown Automata. International Journal of Computer Mathematics 81, 2 (2004), 141 - 156.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work - The Journal of Collaborative Computing 12, 1 (2003), 21 - 69.
• M.H. ter Beek, Teams in Grammar Systems: Hybridity and Weak Rewriting. Acta Cybernetica - Selected Papers of the Workshop Grammar Systems: Recent Results and Perspectives, Budapest, July 1996 12, 4 (1996), 427 - 444.
  

Pubblicazioni curate

• R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, and M. ter Beek (eds.), Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer-Verlag, Berlin, 2009.
• M.H. ter Beek (ed.), Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009), Pisa, Italy, 17-19 June 2009. Electronic Proceedings in Theoretical Computer Science 2, arXiv:0906.4900v1 [cs.SE], 2009.
• A. Aldini, M.H. ter Beek and F. Gadducci (eds.), Proceedings of the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro, Italy, 30-31 August 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier Science Publishers, 2009.
• M.H. ter Beek and F. Gadducci (eds.), Proceedings of the Second International Workshop on Views On Designing Complex Architectures (VODCA 2006), Bertinoro, Italy, 16-17 September 2006. Electronic Notes in Theoretical Computer Science 168, Elsevier Science Publishers, 2007.
• M.H. ter Beek and F. Gadducci (eds.), Proceedings of the First International Workshop on Views On Designing Complex Architectures (VODCA 2004), Bertinoro, Italy, 11-12 September 2004. Electronic Notes in Theoretical Computer Science 142, Elsevier Science Publishers, 2006.
• M.H. ter Beek and J.I. van Hemert (eds.), Proceedings of the Internal AIO Conference (IAC'99), Leiden Institute of Advanced Computer Science, Universiteit Leiden, 14-15 December 1999.

Articoli in libri (revisionati)

• M.H. ter Beek, S. Gnesi, C. Montangero, and L. Semini, Detecting Policy Conflicts by Model Checking UML State Machines. In Feature Interactions in Software and Communication Systems X (M. Nakamura and S. Reiff-Marganiec, eds.), IOS Press, Amsterdam, 2009, 59 - 74.
• M.H. ter Beek, M. Massink, D. Latella, and S. Gnesi, Model Checking Groupware Protocols. In Cooperative Systems Design - Scenario-Based Design of Collaborative Systems (F. Darses, R. Dieng, C. Simone, and M. Zacklad, eds.), Frontiers in Artificial Intelligence and Applications 107, IOS Press, Amsterdam, 2004, 179 - 194.
• M.H. ter Beek, Animal Farm: An Eco-Grammar System. In Grammars and Automata for String Processing - From Mathematics and Computer Science to Biology, and Back (C. Martín-Vide and V. Mitrana, eds.), Topics in Computer Mathematics 9, Taylor and Francis, London, 2003, 9 - 16.
• M. ter Beek and J. Kleijn, Petri Net Control for Grammar Systems. In Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg (W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa, eds.), Lecture Notes in Computer Science 2300, Springer-Verlag, Berlin, 2002, 220 - 243.
• M.H. ter Beek, Simple Eco-Grammar Systems with Prescribed Teams. In Grammatical Models of Multi-Agent Systems (Gh. Paun and A. Salomaa, eds.), Topics in Computer Mathematics 8, Gordon and Breach, London, 1999, 113 - 135.
• M.H. ter Beek, Teams in Grammar Systems: Sub-Context-Free Cases. In New Trends in Formal Languages - Control, Cooperation, and Combinatorics (Gh. Paun and A. Salomaa, eds.), Lecture Notes in Computer Science 1218, Springer-Verlag, Berlin, 1997, 197 - 216.
  

Articoli a convegni (revisionati)

• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, A deontic logical framework for modelling product families. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria (D. Benavides, D. Batory, and P. Grünbacher, eds.), ICB Research Report 37, Universität Duisburg Essen, 2010, 37 - 44.
• M.H. ter Beek, A. Bucchiarone, and S. Gnesi, Dynamic Software Architecture Development: Towards an Automated Process. In Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'09), Patras, Greece, IEEE Press, 2009, 105 - 108.
• M.H. ter Beek, G.P. Faconti, M. Massink, P.A. Palanque and M. Winckler, Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. In Human-Computer Interaction - INTERACT 2009: Part I of the Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT'09), Uppsala, Sweden (T. Gross et al., eds.), Lecture Notes in Computer Science 5726, Springer-Verlag, Berlin, 2009, 494 - 509.
• P. Palanque, M. Winckler, J.-F. Ladry, M.H. ter Beek, G. Faconti, and M. Massink, A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'09), Pittsburgh, PA, USA (G. Calvary, T.C.N. Graham, and P. Gray, eds.), ACM Press, 2009, 211 - 220.
• M.H. ter Beek, F. Mazzanti, and S. Gnesi, CMC-UMC: A Framework for the Verification of Abstract Service-Oriented Properties. In Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09), Honolulu, Hawaii, USA, ACM Press, 2009, 2111 - 2117.
• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, Deontic Logics for Modeling Behavioural Variability. In Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain (D. Benavides, A. Metzger, and U. Eisenecker, eds.), ICB Research Report 29, Universität Duisburg-Essen, 2009, 71 - 76.
• M. Massink, D. Latella, M.H. ter Beek, M. Harrison, and M. Loreti, A Fluid Flow Approach to Usability Analysis of Multi-user Systems. In Engineering Interactive Systems 2008 - Proceedings of the 2nd Conference on Human-Centered Software Engineering (HCSE'08), Pisa, Italy (P. Forbrig and F. Paternò, eds.), Lecture Notes in Computer Science 5247, Springer-Verlag, Berlin, 2008, 166 - 180.
• M.H. ter Beek, S. Gnesi, N. Koch, and F. Mazzanti, Formal Verification of an Automotive Scenario in Service-Oriented Computing. In Proceedings of the 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, ACM Press, New York, 2008, 613 - 622.
• M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. In Formal Methods for Industrial Critical Systems - Revised Selected Papers of the 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany (S. Leue and P. Merino, eds.), Lecture Notes in Computer Science 4916, Springer-Verlag, Berlin, 2008, 133 - 148.
• M.H. ter Beek, F. Gadducci, and D. Janssens, A Calculus for Team Automata. In Proceedings of the Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Brazil (A. Martins Moreira and L. Ribeiro, eds.), Electronic Notes in Theoretical Computer Science 195, Elsevier Science Publishers, 2008, 41 - 55.
• M.H. ter Beek, A. Bucchiarone, and S. Gnesi, Formal Methods for Service Composition. In Proceedings of the 3rd South-East European Workshop on Formal Methods (SEEFM'07), Thessaloniki, Greece (D. Dranidis and I. Sakellariou, eds.), South-East European Research Centre, Thessaloniki, 2007, 65 - 78.
• M.H. ter Beek, C. Moiso, and M. Petrocchi, Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario. In Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC'07), Leicester, UK (S. Gorton, M. Solanki, and S. Reiff-Marganiec, eds.), University of Leicester, 2007, 94 - 100.
• M.H. ter Beek, C. Moiso and M. Petrocchi, Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. In Proceedings of the 3rd Advanced International Conference on Telecommunications (AICT'07), IEEE Computer Society, 2007.
• M.H. ter Beek, A. Bucchiarone and S. Gnesi, Web Service Composition Approaches: From Industrial Standards to Formal Methods. In Proceedings of the 2nd International Conference on Internet and Web Applications and Services (ICIW'07), IEEE Computer Society, 2007.
• M.H. ter Beek, S. Gnesi, F. Mazzanti, and C. Moiso, Formal Modelling and Verification of an Asynchronous Extension of SOAP. In Proceedings of the 4th IEEE European Conference on Web Services (ECOWS'06), Zurich, Switzerland (A. Bernstein, T. Gschwind, and W. Zimmermann, eds.), IEEE Computer Society, Los Alamitos, CA, 2006, 287 - 296.
• M.H. ter Beek, M. Massink, and D. Latella, Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In Interactive Systems: Design, Specification, and Verification - Revised papers of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS'05), Newcastle upon Tyne, UK (S.W. Gilroy and M.D. Harrison, eds.), Lecture Notes in Computer Science 3941, Springer, Berlin, 2006, 39 - 50.
• M.H. ter Beek and J. Kleijn, Infinite Unfair Shuffles and Associativity. In Proceedings of the 5th International Conference on Words (WORDS'05), Montréal (QC), Canada (S. Brlek and Ch. Reutenauer, eds.), Publications du Laboratoire de Combinatoire et d'Informatique Mathématique 36, Université du Québec à Montréal, Montréal, 2005, 129 - 146.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, A Case Study on the Automated Verification of Groupware Protocols. In Proceedings of the 27th International Conference on Software Engineering (ICSE'05), St. Louis, MO, U.S.A., ACM Press, New York, 2005, 596 - 603.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, Model Checking Publish/Subscribe Notification for thinkteam. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), Linz, Austria (J. Bicarregui, A. Butterfield, and A. Arenas, eds.), Electronic Notes in Theoretical Computer Science 133, Elsevier Science Publishers, 2005, 275 - 294.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security - A Survey -. In Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), London, UK (R. Focardi and G. Zavattaro, eds.), Electronic Notes in Theoretical Computer Science 128, 5, Elsevier Science Publishers, 2005, 105 - 119.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in CD Grammar Systems. In Proceedings of the Eighth International Conference on Developments in Language Theory (DLT'04), Auckland, New Zealand (C.S. Calude, E. Calude, and M.J. Dinneen, eds.), Lecture Notes in Computer Science 3340, Springer-Verlag, Berlin, 2004, 76 - 88.
• M.H. ter Beek and J. Kleijn, Team Automata Satisfying Compositionality. In Proceedings of FME 2003: Formal Methods - the 12th International Symposium of Formal Methods Europe, Pisa, Italy (K. Araki, S. Gnesi, and D. Mandrioli, eds.), Lecture Notes in Computer Science 2805, Springer-Verlag, Berlin, 2003, 381 - 400.
• M. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security Analysis of Multicast/Broadcast Communication. In Proceedings of the ATPN-Workshop on Issues in Security and Petri Nets (WISP'03), Eindhoven, The Netherlands (N. Busi, R. Gorrieri, and F. Martinelli, eds.), Beta Research School for Operations Management and Logistics, Department of Technology Management, Eindhoven University of Technology, 2003, 57 - 71.
• M.H. ter Beek, E. Csuhaj-Varjú, and V. Mitrana, Teams of Pushdown Automata. In Perspectives of System Informatics - Revised papers of the Fifth International Andrei Ershov Memorial Conference (PSI 2003), Akademgorodok, Novosibirsk, Russia (M. Broy and A.V. Zamulin, eds.), Lecture Notes in Computer Science 2890, Springer-Verlag, Berlin, 2003, 329 - 337.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Team Automata for Spatial Access Control. In Proceedings of the Seventh European Conference on Computer-Supported Cooperative Work (ECSCW 2001), Bonn, Germany (W. Prinz, M. Jarke, Y. Rogers, K. Schmidt, and V. Wulf, eds.), Kluwer Academic Publishers, Dordrecht, 2001, 59 - 77.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Team Automata for CSCW. In Proceedings of the Second International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany (H. Weber, H. Ehrig, and W. Reisig, eds.), Fraunhofer Institute for Software and Systems Engineering, Berlin, Germany, 2001, 1 - 20.
• P.J. 't Hoen and M.H. ter Beek, A Conflict-Free Strategy for Team-Based Model Development. In Proceeedings of Second International Workshop on Process support for Distributed Team-based Software Development (PDTSD'00) in conjunction with the Fourth World MultiConference on Systemics, Cybernetics and Informatics (SCI 2000), Orlando, Florida. Volume IX: Industrial Systems (B. Sanchez, R. Hammel II, M. Soriano, and P. Tiako, eds.), International Institute of Informatics and Systemics, 2000, 720 - 725.
  

Tesi

• M.H. ter Beek, Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components. Ph.D. thesis, Leiden Institute of Advanced Computer Science, Leiden University, 2003.
• M.H. ter Beek, Teams in grammar systems, IR-96-32 (Master's thesis), Department of Computer Science, Leiden University, 1996.

Pubblicazioni miscellanee

• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni, Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News - R&D and Technology Transfer 73 (2008), 43 - 44.
• M.H. ter Beek, S. Gnesi, F. Martinelli, F. Mazzanti, and M. Petrocchi, Formal Modelling and Verification in Service-Oriented Computing. ERCIM News - Special: Service-Oriented Computing 70 (2007), 27 - 28.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, Contributions of Team Automata in Security. ERCIM News - Special: Security and Trust Management 63 (2005), 38 - 39.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, The thinkteam User Interface. PRISM (Probabilistic Symbolic Model Checker) Case Studies, 2005.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, Automated Verification of Groupware Protocols. ERCIM News - Special: Automated Software Engineering 58 (2004), 33 - 35.
  

Rapporti tecnici

• M.H. ter Beek and F. Mazzanti, Modelling and Analysing the Finance Case Study in UMC. Technical Report 2010-TR-007, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2010.
• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, G. Trentanni and M. Sebastianis, thinkteam with Replicated Data Repositories - Stochastic Model Checking in Industry. Technical Report 2009-TR-027, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2009.
• M.H. ter Beek, G.P. Faconti, M. Massink, P. Palanque and M. Winckler, Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach - Full Version. Technical Report 2009-TR-001, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2009.
• M. Massink, D. Latella, M.H. ter Beek, M. Harrison and M. Loreti, A Fluid Flow Approach to Usability Analysis of Multi-user Systems - Full Version. Technical Report 2008-TR-14, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2008.
• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni, Assisting the Design of a Groupware System. Technical Report 2008-TR-13, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2008.
• M.H. ter Beek, C. Moiso and M. Petrocchi, Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. Technical Report 2006-TR-42, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2006.
• M.H. ter Beek, S. Gnesi, F. Mazzanti and C. Moiso, Formal Modelling and Verification of an Asynchronous Extension of SOAP. Technical Report 2006-TR-19, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2006.
• M.H. ter Beek, A. Bucchiarone and S. Gnesi, A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods. Technical Report 2006-TR-15, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2006.
• M.H. ter Beek, F. Gadducci and D. Janssens, A calculus for team automata. Technical Report 05/13, Department of Mathematics and Computer Science, University of Antwerp, 2005.
• M.H. ter Beek, M. Massink, and D. Latella, Towards Model Checking Stochastic Aspects of the thinkteam User Interface - FULL VERSION. Technical Report 2005-TR-18, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2005.
• M.H. ter Beek and J. Kleijn, Infinite Unfair Shuffles and Associativity. Technical Report 2005-03, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2005.
• M.H. ter Beek and J. Kleijn, Modularity for Teams of I/O Automata. Technical Report 2004-09, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2004.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, Model Checking Publish/Subscribe Notification for thinkteam. Technical Report 2004-TR-20, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2004.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security - A Survey -. Technical Report IIT TR-06/2004, Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, 2004.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security Analysis. Technical Report TR-CTIT-04-13, Centre for Telematics and Information Technology, University of Twente, 2004.
• M.H. ter Beek, M. Massink, D. Latella, and S. Gnesi, Model Checking Groupware Protocols. Technical Report 2003-TR-61, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003.
• M.H. ter Beek, C. Martín-Vide, and V. Mitrana, Synchronized Shuffles. Technical Report 2003-TR-40, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003.
• M.H. ter Beek and J. Kleijn, Team Automata Satisfying Compositionality. Technical Report 2003-TR-17, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003.
• M. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security Analysis of Multicast/Broadcast Communication. Technical Report 2003-TR-13, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003.
• M.H. ter Beek, E. Csuhaj-Varjú, and V. Mitrana, Teams of Pushdown Automata. Technical Report 2002/4, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in Cooperating Distributed Grammar Systems, part III. Technical Report 2002/3, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in Cooperating Distributed Grammar Systems, part II. Technical Report 2002/2, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in Cooperating Distributed Grammar Systems. Technical Report 2002/1, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Team Automata for CSCW. Technical Report TR-01-07, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2001.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Team Automata for Spatial Access Control. Technical Report TR-01-03, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2001.
  
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Synchronizations in Team Automata for Groupware Systems. Technical Report TR-99-12, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 1999.