Curriculum Vitae di Maurice ter Beek

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

Dati generali

• Nato il 7 Ottobre 1972 a 's-Gravenhage, Paesi Bassi
  
• Residente a Cascina (PI) in via S. Lucia 22
• Cittadinanza Olandese
• Sposato con due figli

Conoscenza delle lingue

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

Posizione attuale

• Primo Ricercatore presso il laboratorio di Formal Methods and Tools (FMT) dell'Istituto di Scienza e Tecnologie dell'Informazione (ISTI) del Consiglio Nazionale delle Ricerche (CNR) di Pisa. Affiliato dal Novembre 2003.
• Responsabile del laboratorio FMT dell'ISTI-CNR, da Agosto 2019. Il laboratorio è composto attualmente da 6 primi ricercatori, 2 ricercatori, 1 amministrativo, 1 tecnico, 2 post-docs, 2 dottorandi, 1 post-laurea e 5 ricercatori associati.

Formazione ed esperienze lavorative precedenti

• Abilitazione Scientifica Nazionale (valida dal 01/06/2022 al 01/06/2032) alle funzioni di Professore Universitario di Prima Fascia (classe di concorso 01/B1 - "Informatica") conseguita nella tornata 2021-2023 di cui al Decreto Direttoriale 553 del 26 febbraio 2021 come rettificato con il Decreto Direttoriale 589 del 5 marzo 2021 del MIUR, nel 2022.
• Abilitazione Scientifica Nazionale (valida dal 02/02/2022 al 02/02/2031) alle funzioni di Professore Universitario di Prima Fascia (classe di concorso 09/H1 - "Sistemi di Elaborazione delle Informazioni") conseguita nella tornata 2021-2023 di cui al Decreto Direttoriale 553 del 26 febbraio 2021 come rettificato con il Decreto Direttoriale 589 del 5 marzo 2021 del MIUR, nel 2022.
• Ricercatore presso l'istituto LIACS (Leiden Institute of Advanced Computer Science) dell'Università di Leida, Paesi Bassi, con una borsa "mobilità di breve durata" del CNR, Luglio 2015.
• Abilitazione Scientifica Nazionale (valida dal 23/01/2015 al 23/01/2024) alle funzioni di Professore Universitario di Seconda Fascia (classe di concorso 09/H1 - "Sistemi di Elaborazione delle Informazioni") conseguita nella tornata 2013 di cui al Decreto Direttoriale 161 del 28 gennaio 2013 del MIUR, nel 2015.
• Abilitazione Scientifica Nazionale (valida dal 19/01/2015 al 19/01/2024) alle funzioni di Professore Universitario di Seconda Fascia (classe di concorso 01/B1 - "Informatica") conseguita nella tornata 2013 di cui al Decreto Direttoriale 161 del 28 gennaio 2013 del MIUR, nel 2015.
• Docente presso l'istituto LIACS (Leiden Institute of Advanced Computer Science) dell'Università di Leida, Paesi Bassi, 2012-2013.
• Anno sabbatico al Leiden Institute of Advanced Computer Science (LIACS) dell'Università di Leida, Paesi Bassi, 2012-2013.
• 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.
• 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 and 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

• Responsabile dell'unità operativa ISTI-CNR nel MUR-PRIN PNRR P2022A492B progetto ADVENTURE (ADVancEd iNtegraTed evalUation of Railway systEms), 2023-2026.
• Referente responsabile CNR (per gli istituti ISTI e STIIMA coinvolti) e WP leader nel NextGenerationEU PNRR progetto CN MOST (Centro Nazionale per la Mobilità Sostenibile) Spoke 4: Rail Transportation, 2022-2026.
• Responsabile dell'unità operativa ISTI-CNR nel MUR-PRIN 2020TL3X8X progetto T-LADIES (Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems), 2022-2025.
• Membro dell'unità operativa ISTI-CNR nel POR-FESR-2014-2020 progetto SmaRIERS (Smart Railway Infrastructures: Efficiency, Reliability and Safety), 2021-2023.
• Membro dell'unità operativa ISTI-CNR nel H2020-Shift2Rail-RIA-881775 progetto 4SECURail (Formal methods and CSIRT for the railway sector), finanziato dalla Comunità Europea, 2019-2021.
• Membro dell'unità operativa ISTI-CNR e WP leader nel MIUR-PRIN 2017FTXR7S progetto IT MaTTerS (Methods and Tools for Trustworthy Smart Systems), 2019-2023.
• Membro dell'unità operativa ISTI-CNR nel POR-FESR-2014-2020 progetto STINGRAY (SmarT station INtelliGent RAilwaY), 2018-2021.
• Membro dell'unità operativa ISTI-CNR nel H2020-Shift2Rail-RIA-777561 progetto ASTRail (SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation), finanziato dalla Comunità Europea, 2017-2019.
• Membro dell'unità operativa ISTI-CNR nel FP7-ICT-619583 progetto LearnPAd (Model-Based Social Learning for Public Administrations), finanziato dalla Comunità Europea, 2014-2016.
• Membro dell'unità operativa ISTI-CNR nel FP7-ICT-600708 progetto QUANTICOL (A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours) finanziato dalla Comunità Europea, 2013-2017.
• Membro dell'unità operativa ISTI-CNR nel MIUR-PRIN 2010LHT4KM progetto CINA (Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura), 2012-2016.
• Membro dell'unità operativa ISTI-CNR nel PAR-FAS-2007-2013 progetto TRACE-IT (Train Control Enhancement via Information Technology), 2011-2013.
• 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-2011.
• Membro dell'unità operativa ISTI-CNR nel MIUR-PRIN 2007 progetto D-ASAP (Dependable Adaptable Software Architectures for Pervasive Computing), 2008-2011.
• 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, 2006-2009.
• Membro dell'unità operativa ISTI-CNR nel FP6-IP-IST-016004 progetto SENSORIA (Software Engineering for Service-Oriented Overlay Computers) finanziato dalla Comunità Europea, 2005-2010.
• Membro dell'unità operativa ISTI-CNR nel FP5-IST-32747 progetto AGILE (Architectures for Mobility) finanziato dalla Comunità Europea, 2003-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 di progetti/ricerca

• Revisore esterno per la valutazione dei prodotti nell'ambito dell'esercizio della valutazione della qualità della ricerca (VQR) 2015-2019 conferitomi dall'Agenzia Nazionale di Valutazione del sistema Universitario e della Ricerca (ANVUR), 2021.
• Revisore per un Christian Doppler Laboratorio di ricerca (CDL) sottoposto per finanziamento dalla Christian Doppler Research Association (CDG), Austria, 2020.
• Revisore come esperto di "Automata and languages theory", "Theoretical computer science" e "Software engineering" della qualità della ricerca di ricercatori individuali per la National Research Foundation (NRF) del Sudafrica, 2019.
• Revisore come esperto per il panel "CE25 - Réseaux de communication multi-usages, infrastructures de hautes performances, Sciences et technologies logicielles" di un progetto di ricerca sottoposto per finanziamento dell'Agenzia Nazionale della Ricerca francese (ANR, Agence Nationale de la Recherche), 2019.
• Revisore come esperto per il panel ICT della valutazione tecnico-scientifica di un progetto di ricerca sottoposto per finanziamento sul Fondo Crescita Sostenibile del Ministero dello Sviluppo Economico, 2018.
• Revisore per un progetto di ricerca sottoposto per finanziamento dalla Technology Foundation STW (Paesi Bassi), 2004 e 2006.

Trasferimento tecnologico verso l'industria

• Collaborazioni con Trenord con sede Milano, in particolare nel contesto del progetto PNRR MOST -- SP4 ("Centro Nazionale per la Mobilità Sostenibile", Spoke 4: "Rail Transportation"), con lo scopo di assistere nello sviluppo e l'implementazione di algoritmi e di un nuovo cruscotto per la manutenzione predittiva sulla piattaforma di diagnostica remota TSR, progettato per migliorare l'affidabilità del sistema e l'interfaccia utente; i risultati sono stati pubblicati in vari articoli scientifici congiunti, 2022-2026.
• Collaborazioni con il Centro di Competenza di SIRTI S.p.A. con sede Genova, in particolare nel contesto dei progetti H2020-Shift2Rail ASTRail e 4SECURail, con lo scopo di assistere nello sviluppo di sistemi di segnalamento ferroviario innovativi, tools per la progettazione di impianti di segnalamento per stazioni e linee ferroviarie e sistemi per la gestione del distanziamento treni in linea e sistemi di gestione della circolazione; i risultati sono stati pubblicati in vari articoli scientifici congiunti, 2017-2021.
• Collaborazioni con PisaMo S.p.A. di Pisa e BicinCittà S.r.l. di Torino per studiare la performance di sistemi di bike-sharing in generale e il sistemo di bike-sharing pisano CicloPi in particolare, 2014-2017.
• 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, 2006-2016.
• 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, 2003-2010.

Collaborazione a riviste, convegni e organizzazioni

Attività editoriale: editorial board

• Editor-in-Chief della rivista Formal Aspects of Computing: Applicable Formal Methods, da Luglio 2025.
• Membro del comitato editoriale (Editorial Board member) della rivista Formal Aspects of Computing: Applicable Formal Methods, da Febbraio 2022 a Giugno 2025.
• Membro del comitato editoriale (Editorial Board member) della rivista International Journal on Software Tools for Technology Transfer, da Gennaio 2021.
• Membro del comitato editoriale (Editorial Board member) della rivista Journal of Logical and Algebraic Methods in Programming, da Settembre 2020.
• Membro del comitato editoriale (Editorial Board member) della rivista open access PeerJ Computer Science da Gennaio 2019, PeerJ Section Editor per la sezione Algorithms and Theory da Settembre 2025.
• Membro del comitato editoriale (Editorial Board member) della rivista Science of Computer Programming da Febbraio 2018.
• Membro del comitato editoriale (Editorial Board member) della rivista ERCIM News da Novembre 2016. Dall'inizio del 2016, l'ERCIM News è indicizzato nella banca dati citazionale Web of Science.
• Membro del comitato editoriale (Editorial Board member) dell'edizione speciale (Special Issue) Software Engineering in Argentina: Present and Future Trends, SADIO Electronic Journal of Informatics and Operations Research 9, 1 (2010).

Attività editoriale: guest editor

• M.H. ter Beek and G. Gössler (eds.), Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems (MARS'26), Turin, Italy, 12 April 2026. Electronic Proceedings in Theoretical Computer Science 443, arXiv:2604.03053 [cs.LO], 2026.
• M.H. ter Beek, S. Gnesi, A.E. Haxthausen, and L. Semini (eds.), Journeys Between Formal Methods and the Railway Industry - Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 16470, Springer, Berlin, 2026.
• M.H. ter Beek and L. Teixeira (eds.), Formal Methods: Foundations and Applications - Proceedings of the 28th Brazilian Symposium on Formal Methods (SBMF'25), Recife, Brazil. Lecture Notes in Computer Science 16363, Springer, Berlin, 2025.
• M.H. ter Beek, S. Collart-Dutilleul, and T. Lecomte (eds.), Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification - Proceedings of the 6th International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail'25), Pisa, Italy. Lecture Notes in Computer Science 16236, Springer, Berlin, 2025.
• M. Cordy, D. Strüber, M. Pinto, I. Groher, D. Dhungana, J. Krüger, J. Alves Pereira, M. Acher, T. Thüm, M. ter Beek, J. Galasso-Carbonnel, P. Arcaini, M.R. Mousavi, X. Tërnava, J. Galindo, T. Yue, L. Fuentes, J.M. Horcas (eds.), Proceedings of the 28th ACM International Systems and Software Product Line Conference (SPLC'24), Volume 2, Dommeldange, Luxembourg. ACM Press, New York, NY, 2024.
• M. Cordy, D. Strüber, M. Pinto, I. Groher, D. Dhungana, J. Krüger, J. Alves Pereira, M. Acher, T. Thüm, M. ter Beek, J. Galasso-Carbonnel, P. Arcaini, M.R. Mousavi, X. Tërnava, J. Galindo, T. Yue, L. Fuentes, J.M. Horcas (eds.), Proceedings of the 28th ACM International Systems and Software Product Line Conference (SPLC'24), Volume 1, Dommeldange, Luxembourg. ACM Press, New York, NY, 2024.
• M.H. ter Beek and M. Sirjani (eds.), Special Issue of COORDINATION 2022. Logical Methods in Computer Science (2023).
• M.H. ter Beek and C. Dubslaff (eds.), Proceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA'23), Paris, France, 23 April 2023. Electronic Proceedings in Theoretical Computer Science 392, arXiv:2310.18720 [cs.SE], 2023.
• R. Monahan and M.H. ter Beek (eds.), Special Collection from iFM 2022. Formal Aspects of Computing 35, 3 (2023).
• P. Arcaini, M.H. ter Beek, G. Perrouin, I. Reinhartz-Berger, I. Machado, S. Regina Vergilio, R. Rabiser, T. Yue, X. Devroey, M. Pinto, and H. Washizaki (eds.), Proceedings of the 27th ACM International Systems and Software Product Line Conference (SPLC'23), Volume 2, Tokyo, Japan. ACM Press, New York, NY, 2023.
• P. Arcaini, M.H. ter Beek, G. Perrouin, I. Reinhartz-Berger, M.R. Luaces, C. Schwanninger, S. Ali, M. Varshosaz, A. Gargantini, S. Gnesi, M. Lochau, L. Semini, and H. Washizaki (eds.), Proceedings of the 27th ACM International Systems and Software Product Line Conference (SPLC'23), Volume 1, Tokyo, Japan. ACM Press, New York, NY, 2023.
• M.H. ter Beek and I. Schaefer (eds.), Special Issue on Systems and Software Product Lines of the Future. Journal of Systems & Software 199 (2023).
• M.H. ter Beek and R. Monahan (eds.), Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22), Lugano, Switzerland. Lecture Notes in Computer Science 13274, Springer, Berlin, 2022.
• M.H. ter Beek and M. Sirjani (eds.), Coordination Models and Languages - Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22), Lucca, Italy. Lecture Notes in Computer Science 13271, Springer, Berlin, 2022.
• M.H. ter Beek, K.G. Larsen, D. Ničković, and T.A.C. Willemse (eds.), Special Issue on Formal Methods and Tools for Industrial Critical Systems. International Journal on Software Tools for Technology Transfer 24, 3 (2022).
• M.H. ter Beek and A. McIver (eds.), Special Issue: `Best Papers from FM 2019'. Formal Methods in System Design 58, 1-2 (2021).
• A. McIver and M.H. ter Beek (eds.), Special Issue with Extended versions of papers presented at FM 2019. Formal Aspects of Computing 33 (2021).
• M. Mousavi, P.-Y. Schobbens, H. Araujo, I. Schaefer, M.H. ter Beek, X. Devroey, J.M. Rojas, R. Rabiser, M. Varshosaz, T. Kishi, and J. Lee (eds.), Proceedings of the 25th ACM International Systems and Software Product Line Conference (SPLC'21), Volume 2, Leicester, UK. ACM Press, New York, NY, 2021.
• M. Mousavi, P.-Y. Schobbens, H. Araujo, I. Schaefer, M.H. ter Beek, X. Devroey, J.M. Rojas, M. Pinto, L. Teixeira, T. Berger, J. Noppen, I. Reinhartz-Berger, P. Temple, F. Damiani, and J. Petke (eds.), Proceedings of the 25th ACM International Systems and Software Product Line Conference (SPLC'21), Volume 1, Leicester, UK. ACM Press, New York, NY, 2021.
• M.H. ter Beek, M. Koutny, and G. Rozenberg (eds.), A Mosaic of Computational Topics: from Classical to Novel - Special Issue Dedicated to Jetty Kleijn on the Occasion of Her 65th Birthday. Fundamenta Informaticae 175 (2020).
• M.H. ter Beek and D. Ničković (eds.), Formal Methods for Industrial Critical Systems - Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS'20), Vienna, Austria. Lecture Notes in Computer Science 12327, Springer, Berlin, 2020.
• M.H. ter Beek, A. Fantechi, and L. Semini (eds.), From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer-Verlag, Berlin, 2019.
• M.H. ter Beek, A. McIver, and J.N. Oliveira (eds.), Formal Methods - The Next 30 Years - Proceedings of the Third World Congress on Formal Methods (FM'19), Porto, Portugal. Lecture Notes in Computer Science 11800, Springer-Verlag, Berlin, 2019.
• M.H. ter Beek and A. Legay (eds.), Special Issue on Quantitative Variability Modelling and Analysis. International Journal on Software Tools for Technology Transfer 21, 6 (2019).
• M.H. ter Beek, S. Gnesi, and A. Knapp (eds.), Special Issue on Formal Methods and Automated Verification of Critical Systems. International Journal on Software Tools for Technology Transfer 20, 4 (2018).
• M.H. ter Beek, S. Gnesi, and A. Knapp (eds.), Special Issue on Formal Methods for Transport Systems. International Journal on Software Tools for Technology Transfer 20, 3 (2018).
• M.H. ter Beek and M. Loreti (eds.), Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Transactions on Modeling and Computer Simulation 28, 2 (2018).
• M. ter Beek, W. Cazzola, O. Diaz, M. La Rosa, R.E. López-Herrejón, T. Thüm, J. Troya, A. Ruiz-Cortés, and D. Benavides (eds.), Proceedings of the 21st International Systems & Software Product Line Conference (SPLC'17), Volume 2, Sevilla, Spain. ACM Press, New York, NY, 2017.
• M.H. ter Beek and A. Lluch Lafuente (eds.), Special Issue on Automated Specification and Verification of Web-based Applications. Journal of Logical and Algebraic Methods in Programming 87 (2017).
• M.H. ter Beek, N. Siegmund, and I. Schaefer (eds.), Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'17), Eindhoven, The Netherlands. ACM Press, New York, 2017.
• M.H. ter Beek, S. Gnesi, and A. Knapp (eds.), Critical Systems: Formal Methods and Automated Verification - Proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS'16), Pisa, Italy, 26-28 September 2016. Lecture Notes in Computer Science 9933, Springer-Verlag, Berlin, 2016.
• M.H. ter Beek, A. Lisitsa, A.P. Nemytykh, and A. Ravara (eds.), Special Issue on Automated Verification of Programs and Web Systems. Journal of Logical and Algebraic Methods in Programming 85, 5 (2016).
• M.H. ter Beek and M. Loreti (eds.), Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST'16), Vienna, Austria, 8 July 2016. Electronic Proceedings in Theoretical Computer Science 217, arXiv:1607.02001v1 [cs.LO], 2016.
• M.H. ter Beek, D. Clarke, and I. Schaefer (eds.), Special Issue on Formal Methods in Software Product Line Engineering. Journal of Logical and Algebraic Methods in Programming 85, 1 (2016).
• M.H. ter Beek and A. Lluch Lafuente (eds.), Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems (WWV'15), Oslo, Norway, 23 June 2015. Electronic Proceedings in Theoretical Computer Science 188, arXiv:1508.03389v1 [cs.LO], 2015.
• S. Gnesi, A. Fantechi, M.H. ter Beek, G. Botterweck, and M. Becker (eds.), Proceedings of the 18th International Software Product Line Conference (SPLC'14), Volume 2: Workshops, Demonstrations and Tools, Florence, Italy. ACM Press, New York, 2014.
• M.H. ter Beek and A. Ravara (eds.), Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems (WWV'14), Vienna, Austria, 18 July 2014. Electronic Proceedings in Theoretical Computer Science 163, arXiv:1409.2294v1 [cs.LO], 2014.
• M.H. ter Beek and N. Lohmann (eds.), Web Services and Formal Methods - Revised Selected Papers of the 9th International Workshop on Web Services and Formal Methods (WS-FM 2012), Tallinn, Estonia, 6-7 September 2012. Lecture Notes in Computer Science 7843, Springer-Verlag, Berlin, 2013.
• 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

• Presidente del comitato di indirizzo (Steering Committee chair) di FMICS: International Conference on Formal Methods for Industrial Critical Systems, dal 2022.
• Membro del comitato di indirizzo (Steering Committee member) di ETAPS: European Joint Conferences on Theory & Practice of Software, dal 2023.
• Membro del comitato di indirizzo (Steering Committee member) di COORDINATION: IFIP WG 6.1 International Conference on Coordination Models and Languages, dal 2022.
• Membro del comitato di indirizzo (Steering Committee member) di iFM: International Conference on integrated Formal Methods, dal 2022.
• Membro del comitato di indirizzo (Steering Committee member) di FMICS: International Conference on Formal Methods for Industrial Critical Systems, 2020-2022.
• Membro del comitato di indirizzo (Steering Committee member) di SPLC: Systems and Software Product Line Conference, dal 2018.
• Membro del comitato di indirizzo (Steering Committee member) di VaMoS: International Workshop on Variability Modeling of Software-Intensive Systems, 2018-2022.
• Membro del comitato di indirizzo (Steering Committee member) di WWV: International Workshop on Automated Specification and Verification of Web Systems, 2014-2016.
• Membro del comitato di indirizzo (Steering Committee member) di FMSPLE: International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2012-2016.
• Membro del comitato di indirizzo (Steering Committee member) di CompArch: International Federation of Events in Component-Based Software Engineering and Software Architecture, 2011-2012.
• Membro del comitato di indirizzo (Steering Committee member) di ISARCS: International Symposium on Architecting Critical Systems, 2007-2013.
• Presidente dell'organizzazione (General chair) di ETAPS 2026: ventinovesimo convegno internazionale su Theory and Practice of Software, Torino, 11-16 Aprile, 2026.
• Presidente del comitato di programma (PC chair) di SBMF 2025: ventottesimo Brazilian Symposium on Formal Methods, Recife, Brazil, 1-5 December, 2025
• Presidente dell'organizzazione (General chair) di RSSRail 2025: sesto convegno internazionale su Reliability, Safety and Security of Railway Systems, Pisa, 26-28 Novembre, 2025.
• Presidente del comitato di programma (PC chair) di RSSRail 2025: sesto convegno internazionale su Reliability, Safety and Security of Railway Systems, Pisa, 26-28 Novembre, 2025.
• Membro del comitato di programma (PC member) di FSEN 2027: dodicesimo convegno internazionale su Fundamentals of Software Engineering, Enschede, Paesi Bassi, 24-25 Maggio, 2027.
• Membro del comitato di programma (PC member) di iFS 2027: primo convegno internazionale su Foundations and Formal Methods for Software and Systems, Copenaghen, Danimarca, 12-16 Aprile, 2027.
• Membro del comitato di programma (PC member) di ICTAC 2026: ventitreesimo colloquio internazionale su Theoretical Aspects of Computing, Bariloche, Argentina, 11-13 Novembre, 2026.
• Membro del comitato di programma (PC member) di MODEVAR 2026: decimo workshop internazionale su Languages for Modelling Variability, Limassol, Cipro, 29 Settembre, 2026.
• Membro del comitato di programma (PC member) di VARIABILITY 2026: convegno internazionale su Software and Systems Reuse, Product Lines, and Configuration, Limassol, Cipro, 29 Settembre - 2 Ottobre, 2026.
• Membro del comitato di programma (PC member) di GSW 2026: Grammar Systems Workshop, Trier, Germania, 30-31 Luglio, 2026.
• Membro del comitato di programma (PC member) di COORDINATION 2026: ventottesimo IFIP WG 6.1 convegno internazionale su Coordination Models and Languages, Urbino, Italia, 9-11 Giugno, 2026.
• Membro del comitato di programma (PC member) del research papers track e dei tutorials track di FM 2026: ventisettesimo simposio internazionale su Formal Methods, Tokyo, Giappone, 20-22 Maggio, 2026.
• Membro del comitato di programma (PC member) di ABZ 2026: dodicesimo convegno internazionale su Rigorous State Based Methods Tokyo, Giappone, 18-20 Maggio, 2026.
• Membro del comitato di programma (PC member) di FormaliSE 2026: quattordicesimo convegno internazionale su Formal Methods in Software Engineering, Rio de Janeiro, Brasile, 12-13 Aprile, 2026.
• Membro del comitato di programma (PC member) di ICTAC 2025: ventiduesimo colloquio internazionale su Theoretical Aspects of Computing, Marrakesh, Marocco, 24-28 Novembre, 2025.
• Membro del comitato di programma (PC member) di iFM 2025: ventesimo convegno internazionale su integrated Formal Methods, Parigi, Francia, 19-21 Novembre, 2025.
• Membro del comitato di programma (PC member) di MODEVAR 2025: ottavo workshop internazionale su Languages for Modelling Variability, La Coruña, Spagna, 1 Settembre, 2025.
• Membro del comitato di programma (PC member) di SPLC 2025: ventinovesimo convegno internazionale su Systems and Software Product Line, La Coruña, Spagna, 1-5 Settembre, 2025.
• Membro del comitato di programma (PC member) di COORDINATION 2025: ventisettesimo IFIP WG 6.1 convegno internazionale su Coordination Models and Languages, Lille, Francia, 17-19 Giugno, 2025.
• Membro del comitato di programma (PC member) di ABZ 2025: undicesimo convegno internazionale su Rigorous State Based Methods, Düsseldorf, Germania, 10-13 Giugno, 2025.
• Membro del comitato di programma (PC member) di SBMF 2024: ventisettesimo Brazilian Symposium on Formal Methods, Vitória, Brasile, 4-6 Dicembre, 2024.
• Membro del comitato di programma (PC member) di ICFEM 2024: venticinquesimo convegno internazionale su Formal Engineering Methods, Hiroshima, Giappone, 2-6 Dicembre, 2024.
• Membro del comitato di programma (PC member) di ICTAC 2024: ventunesimo colloquio internazionale su Theoretical Aspects of Computing, Bangkok, Thailandia, 25-29 Novembre, 2024.
• Membro del comitato di programma (PC member) di iFM 2024: diciannovesimo convegno internazionale su integrated Formal Methods, Manchester, Gran Bretagna, 13-15 Novembre, 2024.
• Membro del comitato di programma (PC member) del Tutorial Papers track di FM 2024: ventiseiesimo simposio internazionale su Formal Methods, Milano, 9-13 Settembre, 2024.
• Membro del comitato di programma (PC member) di MODEVAR 2024: settimo workshop internazionale su Languages for Modelling Variability a Lussemburgo, 2-6 Settembre, 2024.
• Membro del comitato di programma (PC member) di SPLC 2024: ventottesimo convegno internazionale su Systems and Software Product Line a Lussemburgo, 2-6 Settembre, 2024.
• Responsabile dell'organizzazione del Doctoral Symposium (Doctoral Symposium Chair) di SPLC 2024: ventottesimo convegno internazionale su Systems and Software Product Line a Lussemburgo, 2-6 Settembre, 2024
• Membro del comitato di programma (PC member) di ABZ 2024: decimo convegno internazionale su Rigorous State Based Methods a Bergamo, 25-28 Giugno, 2024.
• Membro del comitato di programma (PC member) di FASE 2024: ventisettesimo convegno internazionale su Fundamental Approaches to Software Engineering a Lussemburgo, 6-13 Aprile, 2024.
• Membro del comitato di programma (PC member) di VaMoS 2024: diciottesimo convegno internazionale su Variability Modelling of Software-Intensive Systems a Berna, Svizzera, 7-9 Febbraio, 2024.
• Membro del comitato di programma (PC member) di MODEVAR 2024: sesto workshop internazionale su Languages for Modelling Variability a Berna, Svizzera, 6 Febbraio, 2024.
• Membro del comitato di programma (PC member) di SBMF 2023: ventiseiesimo Brazilian Symposium on Formal Methods a Manaus, Brasile, 4-8 Dicembre, 2023.
• Membro del comitato di programma (PC member) di iFM 2023: diciottesimo convegno internazionale su integrated Formal Methods a Leida, Paesi Bassi, 13-15 Novembre, 2023.
• Membro del comitato di programma (PC member) di RSSRail 2023: quinto convegno internazionale su Reliability, Safety and Security of Railway Systems a Berlino, Germania, 10-12 Ottobre, 2023.
• Presidente dell'organizzazione (General chair) di SPLC 2023: ventisettesimo convegno internazionale su Systems and Software Product Line a Tokyo, Giappone, 28 Agosto - 1 Settembre, 2023.
• Membro del comitato di programma (PC member) di COORDINATION 2023: ventiquattresimo IFIP WG 6.1 convegno internazionale su Coordination Models and Languages a Lisbona, Portogallo, 19-23 Giugno, 2023.
• Membro del comitato di programma (PC member) di ICECCS 2023: ventisettesimo convegno internazionale su Engineering of Complex Computer Systems a Tolosa, Francia, 12-16 Giugno, 2023.
• Membro del comitato di programma (PC member) di ABZ 2023: nono convegno internazionale su Rigorous State Based Methods a Nancy, Francia, 30 Maggio-2 Giugno, 2023.
• Presidente del comitato di programma (PC chair) di TiCSA 2023: primo workshop su Trends in Configurable Systems Analysis a ETAPS 2023 a Parigi, Francia, 23 Aprile, 2023.
• Membro del comitato di programma (PC member) di VaMoS 2023: diciassettesimo convegno internazionale su Variability Modelling of Software-Intensive Systems a Odense, Danimarca, 25-27 Gennaio, 2023.
• Presidente (chair) del X-by-Construction Meets Runtime Verification track al undicesimo International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022), Rodi, Grecia, 24-28 Ottobre, 2022.
• Presidente del comitato di programma (PC chair) di COORDINATION 2022: ventitreesimo IFIP WG 6.1 convegno internazionale su Coordination Models and Languages a Lucca, 13-17 Giugno, 2022.
• Presidente del comitato di programma (PC chair) di iFM 2022: diciottesimo convegno internazionale su integrated Formal Methods a Lugano, Svizzera, 7-10 Giugno, 2022.
• Presidente del comitato di programma (PC chair) di QAVS 2022: terzo workshop su Quantitative Aspects of Variant-rich Systems a ETAPS 2022 a Monaco, Germania, 3 Aprile, 2022.
• Membro del comitato di programma (PC member) di SBMF 2022: venticinquesimo Brazilian Symposium on Formal Methods tenutosi online, 5-9 Dicembre, 2022.
• Membro del comitato di programma (PC member) di FMICS 2022: ventisettesimo convegno internazionale su Formal Methods for Industrial Critical Systems a Varsavia, Polonia, 14-16 Settembre, 2022.
• Membro del comitato di programma (PC member) di MODEVAR 2022: quinto workshop internazionale su Languages for Modelling Variability a Graz, Austria, 12-16 Settembre, 2022.
• Membro del comitato di programma (PC member) del Doctoral Symposium di SPLC 2022: ventiseiesimo convegno internazionale su Systems and Software Product Line a Graz, Austria, 12-16 Settembre, 2022.
• Membro del comitato di programma (PC member) del research papers track di SPLC 2022: ventiseiesimo convegno internazionale su Systems and Software Product Line a Graz, Austria, 12-16 Settembre, 2022.
• Membro del comitato di programma (PC member) di DT4BP 2022: primo workshop internazionale su Digital Twin per Business Processes al convegno internazionale IEEE CyberSciTech / PICom / DASC / CBDCom 2022 in Calabria, 12-15 Settembre, 2022.
• Membro del comitato di programma (PC member) di DISCOLI 2022: primo Workshop su DIStributed COLlective Intelligence a Bologna, 10-13 Luglio, 2022.
• Membro del comitato di programma (PC member) di RSSRail 2022: quarto convegno internazionale su Reliability, Safety and Security of Railway Systems a Parigi, Francia, 1-2 Giugno, 2022.
• Membro del comitato di programma (PC member) di FormaliSE 2022: decimo convegno internazionale su Formal Methods in Software Engineering a Pittsburgh, PA, USA, 22-23 Maggio, 2022.
• Membro del comitato di programma (PC member) di SBMF 2021: ventiquattresimo Brazilian Symposium on Formal Methods a Campina Grande, Brasile, 6-10 Dicembre, 2021.
• Membro del comitato di programma (PC member) di αFM 2021: primo workshop internazionale su Applicable Formal Methods a Beijing, Cina, 20-26 Novembre, 2021.
• Membro del comitato di programma (PC member) di FM 2021: ventiquattresimo simposio internazionale su Formal Methods a Beijing, Cina, 20-26 Novembre, 2021.
• Membro del comitato di programma (PC member) di RSSRail 2021: quarto convegno internazionale su Reliability, Safety and Security of Railway Systems a Parigi, Francia, 15-16 Novembre, 2021.
• Membro del comitato di programma (PC member) di ICTAC 2021: diciottesimo colloquio internazionale on Theoretical Aspects of Computing, Nur-Sultan, Kazakistan, 6-10 Settembre, 2021.
• Presidente del comitato di programma (PC chair) di SPLC 2021: venticinquesimo convegno internazionale su Systems and Software Product Line a Leicester, Gran Bretagna, 6-10 Settembre, 2021.
• Membro del comitato di programma (PC member) di MODEVAR 2021: quarto workshop internazionale su Languages for Modelling Variability a Leicester, Gran Bretagna, 6-10 Settembre, 2021.
• Membro del comitato di programma (PC member) del Doctoral Symposium di SPLC 2021: venticinquesimo convegno internazionale su Systems and Software Product Line a Leicester, Gran Bretagna, 6-10 Settembre, 2021.
• Membro del comitato di programma (PC member) di FMICS 2021: ventiseiesimo convegno internazionale su Formal Methods for Industrial Critical Systems a Parigi, Francia, 23-27 Agosto, 2021.
• Membro del comitato di programma (PC member) di SPIN 2021: ventisettesimo SPIN simposio su Model Checking of Software ad Aarhus, Danimarca, 14-15 Luglio, 2021.
• Membro del comitato di programma (PC member) di COORDINATION 2021: ventiduesimo IFIP WG 6.1 convegno internazionale su Coordination Models and Languages a Valletta, Malta, 14-18 Giugno, 2021.
• Membro del comitato di programma (PC member) di FORTE 2021: quarantunesimo IFIP WG 6.1 convegno internazionale su FORmal TEchniques for Distributed Objects, Components, and Systems a Valletta, Malta, 14-18 Giugno, 2021.
• Membro del comitato di programma (PC member) di ABZ 2021: ottavo convegno internazionale su Rigorous State Based Methods a Ulm, Germania, 7-11 Giugno, 2021.
• Membro del comitato di programma (PC member) di FormaliSE 2021: nono convegno internazionale su Formal Methods in Software Engineering a Madrid, Spagna, 23-24 Maggio, 2021.
• Presidente del comitato di programma (PC chair) di QAVS 2021: secondo workshop su Quantitative Aspects of Variant-rich Systems a ETAPS 2021 a Lussemburgo, 28 Marzo, 2021.
• Membro del comitato di programma (PC member) di VaMoS 2021: quindicesimo Working Conference internazionale su Variability Modelling of Software-Intensive Systems a Krems, Austria, 9-11 Febbraio, 2021.
• Membro del comitato di programma (PC member) di SBMF 2020: ventitreesimo Brazilian Symposium on Formal Methods a Ouro Preto, Brasile, 25-27 Novembre, 2020.
• Membro del comitato di programma (PC member) di iFM 2020: seidicesimo convegno internazionale su integrated Formal Methods a Lugano, Svizzera, 16-20 Novembre, 2020.
• Presidente (chair) del X-by-Construction: Correctness Meets Probability track al nono International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020) a Rodi, Grecia, 26-30 Ottobre, 2020.
• Membro del comitato di programma (PC member) di MODEVAR 2020: terzo workshop internazionale su Languages for Modelling Variability a Montréal, Canada, 19-23 Ottobre, 2020.
• Membro del comitato di programma (PC member) di SPLC 2020: ventiquattresimo convegno internazionale su Systems and Software Product Line a Montréal, Canada, 19-23 Ottobre, 2020.
• Membro del comitato di programma (PC member) di SEFM 2020: diciottesimo convegno internazionale su Software Engineering and Formal Methods ad Amsterdam, Paesi Bassi, 14-18 Settembre, 2020.
• Presidente del comitato di programma (PC chair) di FMICS 2020: venticinquesimo convegno internazionale su Formal Methods for Industrial Critical Systems a QONFEST 2020 a Vienna, Austria, 31 Agosto - 5 Settembre, 2020.
• Presidente del comitato di programma (PC chair) di QAVS 2020: primo workshop su Quantitative Aspects of Variant-rich Systems a QONFEST 2020 a Vienna, Austria, 31 Agosto, 2020.
• Membro del comitato di programma (PC member) di ABZ 2020: settimo convegno internazionale su Rigorous State Based Methods, Ulm, Germania, 27-29 Maggio, 2020.
• Membro del comitato di programma (PC member) di FormaliSE 2020: ottavo convegno internazionale su Formal Methods in Software Engineering a Seoul, Corea, 25-26 Maggio, 2020.
• Membro del comitato di programma (PC member) di IWBOSE 2020: terzo workshop internazionale su Emerging Trends in Software Engineering for Blockchain a London, Ontario, Canada, 18 Febbraio, 2020.
• Membro del comitato di programma (PC member) di VaMoS 2020: quattordicesimo Working Conference internazionale su Variability Modelling of Software-Intensive Systems a Magdeburg, Germania, 5-7 Febbraio, 2020.
• Membro del comitato di programma (PC member) di SBMF 2019: ventiduesimo Brazilian Symposium on Formal Methods a San Paolo, Brasile, 27-29 Novembre, 2019.
• Membro del comitato di programma (PC member) di REMEDY 2019: secondo workshop internazionale su foRmal modEls for Mastering heterogeneous multifacEteD sYstems al nono convegno internazionale su Model & Data Engineering (MEDI 2019) a Tolosa, Francia, 28 Ottobre, 2019.
• Membro del comitato di programma (PC member) di MSE 2019: Workshop su Microservices: Science and Engineering a Innopolis, Russia, 14-19 Ottobre, 2019.
• Presidente del comitato di programma (PC chair) di FM 2019: ventitreesimo simposio internazionale su Formal Methods a Porto, Portogallo, 7-11 Ottobre, 2019.
• Membro del comitato di programma (PC member) di AVoCS 2019: diciannovesimo workshop internazionale su Automated Verification of Critical Systems a Grenoble, Francia, 30 Settembre-1 Ottobre, 2019.
• Membro del comitato di programma (PC member) di SEFM 2019: diciasettesimo convegno su Software Engineering and Formal Methods a Oslo, Norvegia, 16-20 Settembre, 2019.
• Membro del comitato di programma (PC member) del track su Data, Demonstrations e Tools di SPLC 2019: ventitreesimo convegno internazionale su Systems and Software Product Line a Parigi, Francia, 9-13 Settembre, 2019.
• Membro del comitato di programma (PC member) del research papers track di SPLC 2019: ventitreesimo convegno internazionale su Systems and Software Product Line a Parigi, Francia, 9-13 Settembre, 2019.
• Membro del comitato di programma (PC member) di Ctrl + Alt + Q 2019: primo workshop internazionale su Control of Alternatives and Quality a Parigi, Francia, 9-10 Settembre, 2019.
• Membro del comitato di programma (PC member) di MODEVAR 2019: workshop internazionale su Languages for Modelling Variability a Parigi, Francia, 9-10 Settembre, 2019.
• Membro del comitato di programma (PC member) di FMICS 2019: ventiquattresimo convegno internazionale su Formal Methods for Industrial Critical Systems ad Amsterdam, Paesi Bassi, 30-31 Agosto, 2019.
• Membro del comitato di programma (PC member) di SPIN 2019: ventiseiesimo SPIN simposio su Model Checking of Software a Beijing, Cina, 15-19 Luglio, 2019.
• Membro del comitato di programma (PC member) di SACLA 2019: quarantottesimo convegno annuale del Southern African Computer Lecturers' Association a Northern Drakensberg, Sudafrica, 15-17 Luglio, 2019.
• Membro del comitato di programma (PC member) di FormaliSE 2019: settimo convegno internazionale su Formal Methods in Software Engineering a Montréal, Canada, 27 Maggio, 2019.
• Membro del comitato di programma (PC member) di NGPS 2019: Track su Next Generation Programming Paradigms and Systems al trentaquattresimo ACM Symposium on Applied Computing (SAC 2019) a Limassol, Cipro, 8-12 Aprile, 2019.
• Membro del comitato di programma (PC member) di FASE 2019: ventidueesimo convegno internazionale su Fundamental Approaches to Software Engineering a Praga, Repubblica Ceca, 8-11 Aprile, 2019.
• Membro del comitato di programma (PC member) di InterAVT 2019: Interactive Workshop on the Industrial Application of Verification and Testing a Praga, Repubblica Ceca, 6/7 Aprile, 2019.
• PC member of IWBOSE 2019: 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, Hangzhou, Cina, 24 February, 2019.
• Membro del comitato di programma (PC member) di VaMoS 2019: tredicesimo workshop internazionale su Variability Modeling of Software-Intensive Systems a Leuven, Belgio, 6-8 Febbraio, 2019.
• Presidente (chair) del X-by-Construction track all'ottavo International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) a Limassol, Cipro, 5-9 Novembre, 2018.
• Membro del comitato di programma (PC member) di REMEDY 2018: workshop internazionale su foRmal modEls for Mastering multifacEteD sYstems al ottavo convegno internazionale su Model & Data Engineering (MEDI 2018) a Marrakesh, Marocco, 24-26 Ottobre, 2018.
• Membro del comitato di selezione (Selection Committee member) del Journal-First track di SPLC 2018: ventiduesimo convegno internazionale su Systems and Software Product Line a Göteborg, Svezia, 10-14 Settembre, 2018.
• Membro del comitato di programma (PC member) del track su Data, Demonstrations e Tools di SPLC 2018: ventiduesimo convegno internazionale su Systems and Software Product Line a Göteborg, Svezia, 10-14 Settembre, 2018.
• Membro del comitato di programma (PC member) del research papers track di SPLC 2018: ventiduesimo convegno internazionale su Systems and Software Product Line a Göteborg, Svezia, 10-14 Settembre, 2018.
• Membro del comitato di programma (PC member) di FMICS 2018: ventitreesimo convegno internazionale su Formal Methods for Industrial Critical Systems a Maynooth University, Irlanda, 3-4 Settembre, 2018.
• Membro del comitato di programma (PC member) di AVoCS 2018: diciottesimo workshop internazionale su Automated Verification of Critical Systems a Oxford, Gran Bretagna, 18-19 Luglio, 2018.
• Membro del comitato di programma (PC member) del Doctoral Symposium di FM 2018: ventiduesimo simposio internazionale su Formal Methods a Oxford, Gran Bretagna, 15-17 Luglio, 2018.
• Membro del comitato di programma (PC member) di SEFM 2018: seidicesimo convegno internazionale su Software Engineering and Formal Methods a Tolosa, Francia, 27-29 Giugno, 2018.
• Membro del comitato di programma (PC member) di FormaliSE 2018: convegno su Formal Methods in Software Engineering a Göteborg, Svezia, 2 Giugno, 2018.
• Membro del comitato di programma (PC member) di ICSR 2018: diciasettesimo convegno internazionale su Software Reuse a Madrid, Spagna, 21-23 Maggio, 2018.
• Membro del comitato di programma (PC member) di SOAP 2018: Track su Service Oriented Architectures and Programming al trentatreesimo ACM Symposium on Applied Computing (SAC 2018) a Pau, Francia, 9-13 Aprile, 2018.
• Presidente (chair) di CAS 2018: Track su Collective Adaptive Systems al trentatreesimo ACM Symposium on Applied Computing (SAC 2018) a Pau, Francia, 9-13 Aprile, 2018.
• Membro del comitato di programma (PC member) di IWBOSE 2018: primo workshop internazionale su Blockchain Oriented Software Engineering a Campobasso, Italia, 19 Marzo, 2018.
• Membro del comitato di programma (PC member) di VaMoS 2018: dodicesimo workshop internazionale su Variability Modeling of Software-Intensive Systems a Madrid, Spagna, 7-9 Febbraio, 2018.
• Membro del comitato di programma (PC member) di AMARETTO 2018: terzo workshop su domAin specific Model-based AppRoaches to vErificaTion and validaTiOn a MODELSWARD 2018: sesto convegno internazionale su Model-Driven Engineering and Software Development a Funchal, Madeira, 22-24 Gennaio, 2018.
• Membro del comitato di programma (PC member) di SPLC 2017: ventunesimo convegno internazionale su Systems and Software Product Line a Siviglia, Spagna, 25-29 Settembre, 2017.
• Membro del comitato di programma (PC member) di eCAS 2017: secondo workshop su Engineering Collective Adaptive Systems all'undicesimo IEEE international conference on Self-Adaptive Self-Organizing Conference (SASO 2017) a Tucson, AZ, Stati Uniti, 18-22 Settembre, 2017.
• Membro del comitato di programma (PC member) di FMICS-AVoCS 2017: workshop internazionale su Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems a Torino, Italia, 18-20 Settembre, 2017.
• Membro del comitato di programma (PC member) di SPLSeco 2017: Track su Software Product Lines and Software Ecosystems al quarantatreesimo convegno Euromicro su Software Engineering and Advanced Applications (SEAA 2017) a Vienna, Austria, 30 Agosto - 1 Settembre, 2017.
• Membro del comitato di programma (PC member) di ICSOFT-PT 2017: dodicesimo convegno internazionale su Software Paradigm Trends a Madrid, Spagna, 26-28 Luglio, 2017.
• Membro del comitato di programma (PC member) di ICSR 2017: seidicesimo convegno internazionale su Software Reuse a Salvador, Brasile, 29-31 Maggio, 2017.
• Presidente (chair) di SOAP 2017: Track su Service Oriented Architectures and Programming al trentaduesimo ACM Symposium on Applied Computing (SAC 2017) a Marrakech, Marocco, 3-7 April, 2017.
• Membro del comitato di programma (PC member) di AMARETTO 2017: secondo workshop su domAin specific Model-based AppRoaches to vErificaTion and validaTiOn al quinto convegno internazionale su Model-Driven Engineering and Software Development (MODELSWARD 2017) a Porto, Portogallo, 19-21 Febbraio, 2017.
• Presidente del comitato di programma (PC chair) di VaMoS 2017: undicesimo workshop internazionale su Variability Modeling of Software-Intensive Systems a Eindhoven, Paesi Bassi, 1-3 Febbraio, 2017.
• Membro del comitato di programma (PC member) del Doctoral Symposium di FM 2016: ventunesimo simposio internazionale su Formal Methods a Limassol, Cipro, 7-11 Novembre, 2016.
• Presidente (chair) di Correctness-by-Construction and Post-hoc Verification: friends or foes? Track al settimo International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) a Corfù, Grecia, 10-14 Ottobre, 2016.
• Membro del comitato di programma (PC member) di ISoLA 2016: settimo International Symposium On Leveraging Applications of Formal Methods, Verification and Validation a Corfù, Grecia, 10-14 Ottobre, 2016.
• Presidente (General chair) di FMICS-AVoCS 2016: International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems a Pisa, 26-28 Settembre, 2016.
• Membro del comitato di programma (PC member) di SBCARS 2016: decimo convegno Brasiliano su Software Components, Architectures and Reuse a Maringá, Paraná, Brasile, 19-23 Settembre, 2016.
• Membro del comitato di programma (PC member) di SPLC 2016: ventesimo convegno internazionale su Systems and Software Product Line a Pechino, Cina, 19-23 Settembre, 2016.
• Membro del comitato di programma (PC member) di SPLSeco 2016: Track su Software Product Lines and Software Ecosystems al quarantaduesimo convegno Euromicro su Software Engineering and Advanced Applications (SEAA 2016) a Limassol, Cipro, 31 Agosto - 2 Settembre, 2016.
• Membro del comitato di programma (PC member) di ICSOFT-PT 2016: undicesimo convegno internazionale su Software Paradigm Trends a Lisbona, Portogallo, 24-26 Luglio, 2016.
• Presidente del comitato di programma (PC chair) di FORECAST 2016: workshop su FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems a Vienna, Austria, 8 Luglio, 2016.
• Membro del comitato di programma (PC member) dello special track: Trust, Security and Privacy of Mobile Multimedia a MobiMedia 2016: nono EAI convegno internazionale su Mobile Multimedia Communications a Xi'an, Cina, 18-20 Giugno, 2016.
• Membro del comitato di programma (PC member) di ICSR 2016: quindicesimo convegno internazionale su Software Reuse a Limassol, Cipro, 5-7 Giugno, 2016.
• Presidente (chair) di SOAP 2016: Track su Service Oriented Architectures and Programming al trentunesimo ACM Symposium on Applied Computing (SAC 2016) a Pisa, Italia, 4-8 Aprile, 2016.
• Membro del comitato di programma (PC member) di FMSPLE 2016: settimo workshop internazionale su Formal Methods and Analysis in Software Product Line Engineering a Eindhoven, Paesi Bassi, 3 Aprile, 2016.
• Membro del comitato di programma (PC member) di AMARETTO 2016: workshop su domAin specific Model-based AppRoaches to vErificaTion and validaTiOn a MODELSWARD 2016: quarto convegno internazionale su Model-Driven Engineering and Software Development a Roma, 19-21 Febbraio, 2016.
• Membro del comitato di programma (PC member) di VaMoS 2016: decimo workshop internazionale su Variability Modeling of Software-Intensive Systems a Salvador, Brasile, 27-29 Gennaio, 2016.
• Membro del comitato di programma (PC member) di SBCARS 2015: nono convegno Brasiliano su Software Components, Architectures and Reuse a Belo Horizonte, Brasile, 21-26 Settembre, 2015.
• Membro del comitato di programma (PC member) di VERY* 2015: secondo workshop su formal verification for self-* systems a York, Regno Unito, 7-8 Settembre, 2015.
• Membro del comitato di programma (PC member) di SPLSeco 2015: Track su Software Product Lines and Software Ecosystems al quarantunesimo convegno Euromicro su Software Engineering and Advanced Applications (SEAA 2015) a Funchal, Madeira, Portogallo, 26-28 Agosto, 2015.
• Membro del comitato di programma (PC member) di SPLat 2015: secondo workshop su Software Product Line Analysis Tools, Nashville, TN, USA, 21 Luglio, 2015.
• Membro del comitato di programma (PC member) di SPLC 2015: diciannovesimo convegno internazionale su Software Product Line a Nashville, TN, Stati Uniti, 20-24 Luglio, 2015.
• Membro del comitato di programma (PC member) di ICSOFT-PT 2015: decimo convegno internazionale su Software Paradigm Trends a Colmar, Francia, 20-22 Luglio, 2015.
• Presidente del comitato di programma (PC chair) di WWV 2015: undicesimo workshop internazionale su Automated Specification and Verification of Web Systems a Oslo, Norvegia, 23 Giugno, 2015.
• Membro del comitato di programma (PC member) di FMSPLE 2015: sesto workshop internazionale su Formal Methods and Analysis in Software Product Line Engineering a Londra, Inghilterra, 11 Aprile, 2015.
• Membro del comitato di programma (PC member) di VaMoS 2015: nono workshop internazionale su Variability Modeling of Software-Intensive Systems a Hildesheim, Germania, 21-23 Gennaio, 2015.
• Membro del comitato di programma (PC member) di ICSR 2015: quattordicesimo convegno internazionale su Software Reuse a Miami, FL, Stati Uniti, 4-6 Gennaio, 2015.
• Membro del comitato di programma (PC member) di ISoLA 2014: sesto convegno internazionale su Leveraging Applications of Formal Methods, Verification and Validation a Corfù, Grecia, 8-11 Ottobre, 2014.
• Membro del comitato di programma (PC member) di SBCARS 2014: ottavo convegno Brasiliano su Software Components, Architectures and Reuse a Maceió, Alagoas, Brasile, 28 Settembre - 3 Ottobre, 2014.
• Membro del comitato di programma (PC member) di ICTCS 2014: quindicesimo convegno italiano su Theoretical Computer Science, Perugia, Italia, 17-19 Settembre, 2014.
• Membro del comitato di programma (PC member) di SPLat 2014: primo workshop su Software Product Line Analysis Tools, Firenze, Italia, 16 Settembre, 2014.
• Membro del comitato di programma (PC member) di SPLC 2014: diciottesimo convegno internazionale su Software Product Line a Firenze, Italia, 15-19 Settembre, 2014.
• Membro del comitato di programma (PC member) di WS-FM:FASOCC 2014: undicesimo workshop internazionale su Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing a Haifa, Israele, 11-12 Settembre, 2014.
• Membro del comitato di programma (PC member) della special session SPLSeco: Software Product Lines and Software Ecosystems a SEAA 2014: quarantesimo convegno Euromicro su Software Engineering and Advanced Applications a Verona, Italia, 27-29 Agosto, 2014.
• Presidente del comitato di programma (PC chair) di WWV 2014: decimo workshop internazionale su Automated Specification and Verification of Web Systems a Vienna, Austria, 18 Luglio, 2014.
• Membro del comitato di programma (PC member) di VaMoS 2014: ottavo workshop internazionale su Variability Modeling of Software-Intensive Systems a Nizza, Francia, 22-24 Gennaio, 2014.
• Membro del comitato di programma (PC member) di FOSD 2013: quinto workshop internazionale su Feature-Oriented Software Development a Indianapolis, IN, Stati Uniti, 27-28 October, 2013.
• Membro del comitato di programma (PC member) di WS-FM 2013: decimo workshop internazionale su Web Services and Formal Methods - Formal Aspects of Service-Oriented and Cloud Computing a Pechino, Cina, 29-30 Agosto, 2013.
• Membro del comitato di programma (PC member) di FMSPLE 2013: quarto workshop internazionale su Formal Methods and Analysis in Software Product Line Engineering a Tokyo, Giappone, 27 Agosto, 2013.
• Membro del comitato di programma (PC member) di SPLC 2013: diciassettesimo convegno internazionale su Software Product Line a Tokyo, Giappone, 26-30 Agosto, 2013.
• Membro del comitato di programma (PC member) di VaMoS 2013: settimo workshop internazionale su Variability Modeling of Software-Intensive Systems a Pisa, Italia, 23-25 Gennaio, 2013.
• Membro del comitato di programma (PC member) di MEDI 2012: secondo convegno internazionale su Model & Data Engineering a Poitiers, Futuroscope, France, 3-5 Ottobre, 2012.
• Membro del comitato di programma (PC member) di FOSD 2012: quarto workshop internazionale su Feature-Oriented Software Development a Dresda, Germania, 24-25 Settembre, 2012.
• Presidente del comitato di programma (PC chair) di FMSPLE 2012: terzo workshop internazionale su Formal Methods and Analysis in Software Product Line Engineering a Salvador, Brasile, 2 Settembre, 2012.
• Presidente del comitato di programma (PC chair) di WS-FM 2012: nono workshop internazionale su Web Services and Formal Methods a Tallinn, Estonia, 6-7 Settembre, 2012.
• Membro del comitato di programma (PC member) di QSIC 2012: 12th International Conference on Quality Software a Xi'an, Cina, 27-28 Agosto, 2012.
• Membro del comitato di programma (PC member) di SOAP 2012: Track on Service Oriented Architectures and Programming al ventisettesimo ACM Symposium on Applied Computing a Riva del Garda (Trento), Italia, 25-29 Marzo, 2012.
• Membro del comitato di programma (PC member) di VaMoS 2012: sesto workshop internazionale su Variability Modeling of Software-Intensive Systems a Lipsia, Germania, 25-27 Gennaio, 2012.
• Membro del comitato di programma (PC member) di MEDI 2011: primo convegno internazionale su Model & Data Engineering a Óbidos, Portogallo, 28-30 Settembre, 2011.
• Membro del comitato di programma (PC member) di ACSD 2011: undicesimo convegno internazionale su Application of Concurrency to System Design a Kanazawa, Giappone, 20-24 Giugno, 2011.
• Membro del comitato di programma (PC member) di WWV 2011: settimo workshop internazionale su Automated Specification and Verification of Web Systems a Reykjavik, Islanda, 9 Giugno, 2011.
• Membro del comitato di programma (PC member) di SOAP 2011: Track on Service Oriented Architectures and Programming al ventiseiesimo ACM Symposium on Applied Computing a TaiChung, Taiwan, 21-25 Marzo, 2011.
• Membro del comitato di programma (PC member) di YR-SOC 2010: quinto European Young Researchers Workshop on Service-Oriented Computing a Karlsruhe, Germania, 16-17 Luglio, 2010.
• Membro del comitato di programma (PC member) di SOAP 2010: Track on Service Oriented Architectures and Programming al venticinquesimo 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 dei workshop (workshop chair) di ECOOP 2027: quarantunesimo convegno Europeo su Object-Oriented Programming a Torino, 28 Giugno - 2 Luglio, 2027.
• Responsabile della pubblicità (publicity chair) di FSEN 2023: decimo convegno internazionale su Fundamentals of Software Engineering - Theory and Practice a Tehran, Iran, 4-5 Maggio, 2023.
• Responsabile dell'organizzazione del kick-off meeting del progetto T-LADIES all'ISTI-CNR, Pisa, 6-7 July, 2022.
• Responsabile della pubblicità (publicity chair) di FSEN 2021: nono convegno internazionale su Fundamentals of Software Engineering - Theory and Practice a Tehran, Iran, 19-21 Maggio, 2021.
• Responsabile del budget (finance chair) di REFSQ 2020: ventiseiesimo Working Conference internazionale su Requirements Engineering: Foundation for Software Quality a Pisa, 24-27 Marzo, 2020.
• Responsabile dell'organizzazione del workshop SG65: Colloquium in Honour of Stefania Gnesi, tenuto l'8 Ottobre 2019 a FM 2019: ventitreesimo simposio internazionale su Formal Methods a Porto, Portogallo, 7-11 Ottobre, 2019.
• Responsabile dell'organizzazione e moderatore (panel organiser) del panel Quantitative Variability Modeling and Analysis, tenuto il 7 Febbraio 2019 al tredicesimo International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'19) a Lovanio, Belgio, 6-8 Febbraio, 2019.
• Responsabile dell'organizzazione dei workshop (workshop chair) di DisCoTec 2019: quattordicesimo convegno internazionale federato su Distributed Computing Techniques a Lyngby, Danimarca, 18-21 Giugno, 2019.
• Responsabile della pubblicità (publicity chair) di FSEN 2019: ottavo convegno internazionale su Fundamentals of Software Engineering a Tehran, Iran, 1-3 Maggio, 2019.
• Responsabile dell'organizzazione (organiser) del track X-by-Construction, tenuto all'ottavo International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) a Limassol, Cipro, 5-9 Novembre, 2018.
• Responsabile dell'organizzazione dei workshop (workshop chair) di FM 2018: ventiduesimo simposio internazionale su Formal Methods a Oxford, Gran Bretagna, 15-17 Luglio, 2018.
• Responsabile dell'organizzazione (track chair) del Data, Demonstrations e Tools track di SPLC 2017: ventunesimo convegno internazionale su Systems and Software Product Line a Siviglia, Spagna, 25-29 Settembre, 2017.
• Responsabile dell'organizzazione (organiser) del track Correctness-by-Construction and Post-hoc Verification: Friends or Foes?, tenuto il 13 Ottobre 2016 al settimo International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) a Corfù, Grecia, 10-14 Ottobre, 2016.
• Responsabile dell'organizzazione (organiser) del track FMSPLE 2014: quinto workshop internazionale su Formal Methods and Analysis in Software Product Line Engineering, tenuto il 10 Ottobre 2014 al sesto International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014) a Corfù, Grecia, 8-11 October, 2014.
• Membro dell'organizzazione (organiser) di SPLC 2014: diciottesimo convegno internazionale su Software Product Line a Firenze, Italia, 15-19 Settembre, 2014.
• Responsabile dell'organizzazione dei workshop (workshop chair) di SPLC 2014: diciottesimo convegno internazionale su Software Product Line a Firenze, Italia, 15-19 Settembre, 2014.
• Membro dell'organizzazione (organiser) di FMSPLE 2013: quarto workshop internazionale su Formal Methods and Analysis in Software Product Line Engineering a Tokyo, Giappone, 27 Agosto, 2013.
• Membro dell'organizzazione (organiser) di VaMoS 2013: settimo workshop internazionale su Variability Modeling of Software-Intensive Systems a Pisa, Italia, 23-25 Gennaio, 2013.
• Membro dell'organizzazione (organiser) di FMSPLE 2012: terzo workshop internazionale su Formal Methods and Analysis in Software Product Line Engineering a Salvador, Brasile, 2 Settembre, 2012.
• Responsabile dell'organizzazione (organising chair) di iFM & ABZ 2012: nono convegno internazionale su Integrated Formal Methods congiunto con il convegno ABZ a Pisa, Italia, 18-21 Giugno, 2012.
• Responsabile dell'organizzazione dei workshop (workshop chair) di iFM & ABZ 2012: nono convegno internazionale su Integrated Formal Methods congiunto con il convegno ABZ a Pisa, Italia, 18-21 Giugno, 2012.
• Responsabile dell'organizzazione dei workshop (workshop chair) di SEFM 2010: ottavo IEEE International Conference on Software Engineering and Formal Methods a Pisa, 13-18 Settembre, 2010.
• 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/seminari

• Keynote dal titolo Formal Methods and Tools applied in the railway domain tenuto al decimo convegno internazionale su Rigorous State Based Methods (ABZ'24) a Bergamo, 25-28 Giugno 2024.
• Keynote dal titolo Models for formal methods and tools: the case of railway systems tenuto al ventiseiesimo convegno internazionale su Model Driven Engineering Languages and Systems (MoDELS'23) a Västerås (Svezia), 4 Ottobre 2023.
• Intervento dal titolo Formal Methods and Tools in Railways: Anne's Impact and Future Challenges tenuto al AH65 Colloquium a Copenaghen, Danimarca, 19 Febbraio 2026.
• Intervento dal titolo Towards Asynchronous Communication in Team Automata tenuto al settimo workshop internazionale su Asynchronous Programming Models (APM'25) a Porto, Portogallo, 3 Ottobre 2025.
• Intervento dal titolo Formal Methods and Tools in Railways: Recent Successes and Future Challenges tenuto come BCS/FACS/FME seminario congiunto al FME Annual General Meeting a Londra, UK, 26 Marzo, 2025.
• Intervento dal titolo Formal Modelling and Analysis of a Self-Adaptive Robotic System tenuto alla riunione della IFIP WG 1.9/2.5 al dodicesimo simposio internazionale su Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024) a Creta, Grecia, 1 Novembre 2024.
• Intervento dal titolo From Synchronous to Asynchronous Communication in Team Automata tenuto al sesto workshop internazionale su Asynchronous Programming Models (APM'24) a Torino, 4 Ottobre 2024.
• Intervento dal titolo From Teams in Grammar Systems to Team Automata tenuto al Meeting in Honor of Erzsébet Csuhaj-Varjú a Budapest, Ungheria, 4 Settembre 2024.
• Intervento dal titolo Efficient Static Analysis and Family-based Model Checking of SPL Models tenuto al diciottesimo IPSJ/SIGSE Software Engineering Symposium (SES 2023) a Tokyo, Giappone, 25 Agosto 2023.
• Intervento dal titolo Can we Communicate? Using Dynamic Logic to Verify Featured Team Automata tenuto al "Pre-VaMoS Workshop" presso l'IT Università a Copenaghen, Danimarca, 24 Gennaio 2023.
• Intervento dal titolo Family-Based SPL Model Checking Using Parity Games with Variability tenuto al terzo workshop su Quantitative Aspects of Variant-rich Systems (QAVS'22) a ETAPS 2022, Monaco, Germania, 3 Aprile 2022.
• Intervento dal titolo Formal Methods and Tools: Techniques and Experiences al "Huawei European Research Institute Symposium on Foundations of Software: New Directions in Software Research for Cloud, Pipe and Device" presso il Westin Paris - Vendôme a Parigi, Francia, 16 Gennaio 2019.
• Intervento dal titolo Family-based model checking with a feature mu-calculus al "VARIETE Closing Workshop" presso l'IT Università a Copenaghen, Danimarca, 28 Marzo 2017.
• Intervento dal titolo Family-based model checking with mCRL2 nella sessione "Lightning Talks" dell'undicesimo workshop internazionale su Variability Modeling of Software-Intensive Systems (VaMoS'17) a Eindhoven, Paesi Bassi, 2 Febbraio 2017.
• Intervento dal titolo Challenges in modelling and analyzing quantitative aspects of a bike-sharing product line al "Copenhagen Meeting on Variability Analysis" presso l'IT Università, Copenaghen, Danimarca, 18 Novembre 2013.
• Intervento dal titolo Modelling, analysing and verifying variability by means of Modal Transition Systems al Dagstuhl Seminario 13091 su "Analysis, Test and Verification in The Presence of Variability" presso Schloss Dagstuhl, Wadern, Germania, 24 Febbraio - 1 Marzo 2013.
• 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

• ACM Computing Surveys, ACM Press, New York, NY, USA
• ACM Transactions on Embedded Computing Systems, ACM Press, New York, NY, USA
• ACM Transactions on Modeling and Computer Simulation, ACM Press, New York, NY, USA
• IEEE Transactions on Software Engineering, IEEE Computer Society, Los Alamitos, CA, USA
• IEEE Transactions on Services Computing, IEEE Computer Society, Los Alamitos, CA, USA
• IEEE Transactions on Dependable and Secure Computing, IEEE Computer Society, Los Alamitos, CA, USA
• IEEE Transactions on Automation Science and Engineering, IEEE Computer Society, Los Alamitos, CA, USA
• IEEE Transactions on Intelligent Transportation Systems, IEEE Computer Society, Los Alamitos, CA, USA
• IET Software, The Institution of Engineering and Technology, Stevenage, UK
• 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
• Science of Computer Programming, Elsevier Science Publishers, Amsterdam, The Netherlands
• Information and Software Technology, Elsevier Science Publishers, Amsterdam, The Netherlands
• Journal of Systems and Software, Elsevier Science Publishers, Amsterdam, The Netherlands
• Journal of Logical and Algebraic Methods in Programming, Elsevier Science Publishers, Amsterdam, The Netherlands
• Journal of Logic and Algebraic Programming, Elsevier Science Publishers, Amsterdam, The Netherlands
• Computers & Security, Elsevier Science Publishers, Amsterdam, The Netherlands
• Journal of Computer Languages, Elsevier Science Publishers, Amsterdam, The Netherlands.
• SoftwareX, Elsevier Science Publishers, Amsterdam, The Netherlands
• Computer Languages, Systems and Structures: An International Journal, Elsevier Science Publishers, Amsterdam, The Netherlands
• Applied Soft Computing, Elsevier Science Publishers, Amsterdam, The Netherlands
• Future Generation Computer Systems, Elsevier Science Publishers, Amsterdam, The Netherlands
• Computers in Biology and Medicine: An International Journal, Elsevier Science Publishers, Amsterdam, The Netherlands
• Reliability Engineering and System Safety, Elsevier Science Publishers, Amsterdam, The Netherlands
• International Journal of Critical Infrastructure Protection, Elsevier Science Publishers, Amsterdam, The Netherlands
• Formal Aspects of Computing: Applicable Formal Methods, Springer, Berlin, Germany
• Software and Systems Modeling, Springer, Berlin, Germany
• Acta Informatica, Springer, Heidelberg, Germany
• Grammars, Springer, Heidelberg, Germany (formerly Kluwer Academic Publishers, Amsterdam, The Netherlands)
• Journal of Internet Services and Applications, Springer, London, UK
• Innovations in Systems and Software Engineering, Springer, Berlin, Germany
• Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation), Springer, Berlin, Germany
• International Journal on Software Tools for Technology Transfer, Springer, Berlin, Germany
• Fundamenta Informaticae, IOS Press, Amsterdam, The Netherlands
• Multiagent and Grid Systems, IOS Press, Amsterdam, The Netherlands
• The Computer Journal, Oxford University Press, UK
• International Journal of Foundations of Computer Science, World Scientific Publishing, Singapore.
• International Journal of Computer Mathematics, Taylor & Francis, London, UK.
• Journal of Software: Evolution and Process, John Wiley & Sons, Inc., Hoboken, NJ, USA.
• Journal of Software: Practice and Experience, John Wiley & Sons, Inc., Hoboken, NJ, USA.
• International Journal of Communication Systems, John Wiley & Sons, Inc., Hoboken, NJ, USA.
• 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
• Informatica - An International Journal of Computing and Informatics, Slovenian Society Informatika, Ljubljana, Slovenia
• The Open Information Systems Journal, Bentham Science Publishers, Amsterdam, The Netherlands
• SADIO Electronic Journal of Informatics and Operations Research, Buenos Aires, Argentina
• Algorithms, MDPI, Basel, Switzerland

Ulteriore attività di revisione per convegni (oltre all'attività da PC member)

• 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21), Luxembourg, Luxembourg, 27 March - 1 April, 2021
• 21st International Conference on Fundamental Approaches to Software Engineering (FASE'18), Thessaloniki, Greece, 14-21 April, 2018
• 19th International Conference on Formal Engineering Methods (ICFEM'17), Xi'an, China, 13-17 November, 2017
• 32nd Italian Conference on Computational Logic (CILC'17), Naples, Italy, 26-28 September, 2017
• 7th International Conference on Fundamentals of Software Engineering (FSEN'17), Tehran, Iran, 26-28 April, 2017
• 21st International Symposium on Formal Methods (FM'16), Limassol, Cyprus, 7-11 November 2016
• 13th International Colloquium on Theoretical Aspects of Computing (ICTAC'16), Taipei, Taiwan, 24-31 October 2016
• 27th International Conference on Concurrency Theory (CONCUR'16), Québec City, Canada, 23-26 August 2016
• 17th International Conference on Formal Engineering Methods (ICFEM'15), Paris, France, 3-6 November 2015
• 12th International Colloquium on Theoretical Aspects of Computing (ICTAC'15), Cali, Colombia, 29-31 October 2015
• 18th International Conference on Fundamental Approaches to Software Engineering (FASE'15), London, UK, 11-18 April 2015
• 11th International Conference on integrated Formal Methods (iFM'14), Bertinoro, Italy, 9-11 September 2014
• 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, 23-27 June 2014
• 17th International Conference on Fundamental Approaches to Software Engineering (FASE'14), Grenoble, France, 5-13 April 2014
• 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013), Milano, Italy, 24-28 June 2013
• 10th International Conference on integrated Formal Methods (iFM'13), Turku, Finland, 10-14 June 2013
• 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'12), Heraklion, Crete, Greece, 15-18 October 2012
• 16th International Software Product Line Conference (SPLC'12), Salvador, Brazil, 2-7 September 2012
• 16th International Conference on Developments in Language Theory (DLT'12), Taipei, Taiwan, 14-17 August 2012
• 6th International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS'12), Leipzig, Germany, 25-27 January 2012
• 10th International Symposium on Formal Methods for Components and Objects (FMCO'11), Turin, Italy, 3-5 October 2011
• 3rd International Workshop on Software Engineering for Resilient Systems (SERENE'11), Geneva, Switzerland, 29-30 September 2011
• 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11), Trento, Italy, 29-30 August 2011
• 19th International Requirements Engineering Conference (RE'11), Trento, Italy, 29 August-2 September 2011
• 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS'11), Limburg near Giessen, Germany, 25-27 July 2011
• 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11), Namur, Belgium, 27-29 January 2011
• 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'10), Amirandes, Crete, Greece, 18-20 October 2010
• 8th International Conference on integrated Formal Methods (iFM'10), Nancy, France, 11-14 October 2010
• 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'10), Antwerp, Belgium, 20-21 September 2010
• 1st International Symposium on Architecting Critical Systems (ISARCS'10), Prague, Czech Republic, 23-25 June 2010
• 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'10), Berlin, Germany, 21-23 June 2010
• 1st International Symposium on Games, Automata, Logics and Formal Verification (Gandalf'10), Minori, Amalfi Coast, Italy, 17-18 June 2010
• 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), 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 International Conference on Application of Concurrency to System Design (ACSD'09), Augsburg, Germany, 1-3 July 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
• 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
• 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
• 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
• 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

Collaborazione a organizzazioni

• Membro del board di FME (Formal Methods Europe), un'associazione mondiale che riunisce ricercatori e professionisti in metodi formali e incoraggia la ricerca e l'applicazione di metodi formali, dal 2022.
• Membro (rappresentante CNR) all'interno del board dell'ERCIM-EEIG (European Economic Interest Group), che è responsabile per la gestione dell'ufficio di ERCIM (European Research Consortium for Informatics and Mathematics) del quale il CNR è il partner italiano, dal 2019.
• Membro del Collegio dei Docenti del corso di dottorato di ricerca regionale "Pegaso" in Smart Computing istituito tra le Università di Firenze, Pisa e Siena.
• Membro (nominato dal Direttore dell'ISTI in quanto referente dell'area Software) del gruppo di lavoro "ISTI Open Access", dal 2015.
• Membro (eletto dai ricercatori e tecnologi dell'ISTI) del Consiglio di Istituto ISTI del CNR, dal 2023.
• Membro (eletto dai ricercatori e tecnologi dell'ISTI) del Consiglio di Istituto ISTI del CNR, 2015-2019.
• Contatto locale dell'istituto ISTI del CNR a Pisa per il Capitolo Italiano (Italian Chapter) dell'EATCS (European Association for Theoretical Computer Science), dal 2013.

Supervisione

• Supervisore (insieme ad Alessio Ferrari dell'ISTI-CNR, Pisa) del Dottorato di ricerca in Smart Computing della dottoranda Gullelala Jadoon (Ciclo XXXVI). Titolo della tesi di Dottorato (Ph.D.): Model Transformation and Property Preservation in Rigorous Software Development, Università di Firenze, 31/03/2025.
• Membro (supplente) della commissione giudicatrice per l'esame finale di conseguimento del titolo di Dottore di ricerca in Informatica del dottorando Lorenzo Testa. Titolo della tesi di Dottorato (Ph.D.): Aggregate Programming for the Internet of Things, Università degli Studi di Torino, 01/10/2024. Supervisori: Prof. Dr. F. Damiani, Dr. G. Audrito, Dr. G. Torta e Ing. M. Griva.
• Revisore esterno della tesi di Dottorato di Ricerca in Informatica (Ph.D.) di Francesco Bertolotti: ★piler: Not a VM To Rule No One, Università degli Studi di Milano, Novembre 2023. Supervisore: Prof. W. Cazzola.
• Membro della commissione giudicatrice per l'esame finale di conseguimento del titolo di Dottore di ricerca in Informatica del dottorando Mark Bouwman. Titolo della tesi di Dottorato (Ph.D.): Supporting Railway Standardisation with Formal Verification, Eindhoven University of Technology, Paesi Bassi, 23/10/2023. Supervisori: Dr. ir. T.A.C. Willemse e Dr. S.P. Luttik.
• Presidente della commissione giudicatrice per l'esame finale di conseguimento del titolo di Dottore di ricerca in Informatica della dottoranda Sara Belluccini. Titolo della tesi di Dottorato (Ph.D.): Exploiting Process Algebras and BPM Techniques for Guaranteeing Success of Distributed Activities, IMT, Lucca, 28/07/2023. Supervisori: Prof. Dr. R. De Nicola e Prof. Dr. F. Tiezzi.
• Membro della commissione giudicatrice per l'esame finale di conseguimento del titolo di Dottore di ricerca in Informatica della dottoranda Sophie Fortz. Titolo della tesi di Dottorato (Ph.D.): Learning Featured Transition Systems, Université de Namur, Belgio, 30/06/2023. Supervisori: Dr. G. Perrouin e Prof. Dr. P. Heymans.
• Revisore esterno della tesi di Dottorato di Ricerca in Informatica (Ph.D.) di Luca Favalli: The Dimensions of Variability Modeling or, On the Design of Software and Language Product Lines, Università degli Studi di Milano, 27 Aprile 2023. Supervisore: Prof. W. Cazzola.
• Revisore esterno della tesi di Dottorato di Ricerca industriale in Informatica e Applicazioni (Ph.D.) di Tiziano Lombardi: Railways modeling ecosystem for holistic design of computer-based interlocking systems, Università degli Studi dell'Aquila, Settembre 2022. Supervisori: Prof. V. Cortellessa e Prof. H. Muccini.
• Membro della commissione interna della scuola di Dottorato di ricerca in Informatica della dottoranda Laura Bussi (Ciclo XXXVI). Titolo provvisorio della tesi di Dottorato (Ph.D.): Spatio-temporal model checking: theory, tools and case studies, Università di Pisa, dal 09/09/2021. Supervisori: Prof. F. Gadducci e Dr. V. Ciancia.
• Membro della commissione di supervisione (supervision committee) per il Dottorato di ricerca in Informatica della dottoranda Valeria Trombetta. Titolo provvisorio della tesi di Dottorato (Ph.D.): Behaviour-Induced Configuration of High Variability-Intensive Systems, Université du Luxembourg, Lussemburgo, dal 24/04/2021. Supervisore: Dr. M. Cordy.
• Presidente della commissione giudicatrice per l'esame finale di conseguimento del titolo di Dottore di ricerca in "Sciences and Technology - Computer Science" del dottorando Lorenzo Rossi. Titolo della tesi di Dottorato (Ph.D.): Formalization and Animation of Business Process Collaborations, Università degli Studi di Camerino, 23/06/2020. Supervisori: Prof. F. Tiezzi e Prof.ssa B. Re.
• Membro della commissione giudicatrice per l'esame finale di conseguimento del titolo di Dottore di ricerca in "Informática" del dottorando Thiago Mael de Castro. Titolo della tesi di Dottorato (Ph.D.): A Machine-Verified Theory of Commuting Strategies for Product-Line Reliability Analysis, Universidade de Brasília, Brasile, 13/12/2019. Supervisori: Prof. Dr. V.R. Alves e Prof. Dr. L.M. Teixeira.
• Membro della commissione giudicatrice per l'esame finale di conseguimento del titolo di Dottore di ricerca in "Sciences and Technology - Computer Science" della dottoranda Chiara Muzi. Titolo della tesi di Dottorato (Ph.D.): Formalisation of BPMN Models: a Focus on Correctness Properties, Università degli Studi di Camerino, 08/05/2019. Supervisori: Prof. F. Corradini e Prof. F. Tiezzi.
• Opponent in una commissione giudicatrice della tesi di Licentiate (Ph.M.) di Mahsa Varshosaz: Test Models and Algorithms for Model-Based Testing of Software Product Lines, Halmstad University, Svezia, 29/05/2017. Supervisori: Prof. M.R. Mousavi e Prof. G. Schneider. Il licentiate è un diploma di pre-dottorato opzionale in Svezia. È un titolo accademico di ricerca avanzata, a metà strada tra una Laurea (M.Sc.) e un Dottorato (Ph.D.), simile al Master of Philosophy (Ph.M.) rilasciato prevalentemente nell'accademica anglosassone.
• Membro esterno della commissione giudicatrice della tesi di Dottorato (Ph.D.) di Rudy van Vliet: DNA Expressions: A Formal Notation for DNA, Università di Leida, Paesi Bassi, 10/12/2015. Supervisori: Prof.dr. J.N. Kok e Dr. H.J. Hoogeboom.
• Membro esterno della commissione giudicatrice della tesi di Laurea (M.Sc.) di Tessa Belder: State space reduction for state-based and event-based models of Software Product Lines, Eindhoven University of Technology, Paesi Bassi, 8/7/2015. Supervisori: Dr. E.P. de Vink e Dr.ir. T.A.C. Willemse.
• Tutor aziendale dello stage di due alunni del Polo scientifico tecnico professionale "E. Fermi - G. Giorgi" di Lucca per un tirocinio di formazione ed orientamento per lo sviluppo di un progetto software in Java, 26/01/2015-07/02/2015.
• Supervisore di una tesi di Laurea (M.Sc.) della Laurea ICT in Business dell'Università di Leida, Paesi Bassi, durante l'anno accademico 2013-2014. Roger Howard: Right of Subject Access From request to response: An analysis of process performance (2014).
• Supervisore di tre tesi di Laurea (M.Sc.) della Laurea ICT in Business dell'Università di Leida, Paesi Bassi, durante l'anno accademico 2012-2013. Roy H.J.C. van Wel: Improving Service level control with process mining (2013). Levina Trixie: Security in the Implementation of Electronic Health Records in Indonesia (2013). Herman van Rhijn: Enterprise Design For A Digital Study And Work Environment: Changes In Educational Logistics (2013).
• Revisore esterno della tesi di Dottorato di Ricerca (Ph.D.) di Fabricia Carneiro Roos Frantz: Automated Analysis of Software Product Lines with Orthogonal Variability Models - Extending the FaMa Ecosystem, Università di Siviglia, Spagna, Dicembre 2011. Supervisori: Dr. D. Benavides Cuevas e Dr. A. Ruiz Cortés.

Esperienza didattica

• Tenuto un tutorial di 1,5 ore del titolo Formal Methods and Tools for Software Product Lines nell'ambito del convegno ICTAC 2023: 20th International Colloquium on Theoretical Aspects of Computing, Lima, Peru, 5 December 2023.
• Tenuto un tutorial di 3 ore del titolo Static Analysis and Family-based Model Checking with VMC nell'ambito del convegno SPLC 2021: 25th International Systems and Software Product Line Conference, Leicester, UK, 7 September 2021.
• Titolare del Corso di Dottorato Quantitative Modelling and Analysis of Variability in Highly Configurable Systems (SC_36009, 3 ECTS Credits) per gli studenti del Dottorato di Ricerca Regionale in Smart Computing, accreditato dal Ministero, 12-16 Luglio 2021.
• Tenuto una lezione del titolo An Introduction to Software Product Lines and Modelling and Analysing Variability nell'ambito dei Fall Days on Models in Software Engineering dell'Institute for Programming research and Algorithmics (IPA), una scuola inter-universitaria olandese per dottorandi, 30 Ottobre 2018.
• Titolare del Corso di Dottorato Modelling and Analysis of Variability in Software Product Lines (SC_32004, 3 ECTS Credits) per gli studenti del Dottorato di Ricerca Regionale in Smart Computing, accreditato dal Ministero, 26-30 Giugno 2017.
• Tenuto due lezioni dei titoli An Introduction to Software Product Lines e From Featured Transition Systems to Modal Transition Systems (with variability constraints) and a Variability Model Checker al Dipartimento di Informatica dell'Università di Pisa, nell'ambito del ciclo di seminari Modeling and Analysing Variability in Product Families per gli studenti del Corso di Dottorato in Informatica, 4 e 14 Marzo 2016.
• Docente del corso di Requirements Engineering della Laurea in Informatica e della Laurea in Informatica e Economia dell'Università di Leida, Paesi Bassi, 2013.
• Docente del corso di Software Engineering della Laurea in Informatica e della Laurea in Informatica e Economia dell'Università di Leida, Paesi Bassi, 2012.
• Docente del corso di Studievaardigheden della Laurea in Informatica e della Laurea in Informatica e Economia dell'Università di Leida, Paesi Bassi, 2012.
• 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à di Leida, Paesi Bassi, 2001.
• Assistenza al Corso di Linguaggi Formali e Teoria degli Automi della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 2001.
• Assistenza al Corso di Introduzione all'Informatica Teorica della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 2001.
• Assistenza al Corso di Linguaggi Formali e Teoria degli Automi della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 2000.
• Assistenza al Corso di Teoria della Concorrenza della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 2000.
• Assistenza al Corso di Linguaggi Formali e Teoria degli Automi della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 1999.
• Assistenza al Corso di Teoria della Concorrenza della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 1999.
• Assistenza al Corso di Teoria della Concorrenza della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 1998.
• Assistenza al Corso di Intelligenza Artificiale della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 1997.
• Assistenza al Corso di Teoria della Concorrenza della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 1997.
• Assistenza al Corso di Sistemi Operativi della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 1996.
• Assistenza al Corso di Logica per Informatici della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 1995.
• Assistenza al Corso di Teoria dei Database della Laurea in Informatica dell'Università di Leida, Paesi Bassi, 1994.

Seminari su invito

• Seminario dal titolo WP3: Digitalizzazione del trasporto ferroviari tenuto al MOST final event dello Spoke 4 su Ricerche e innovazioni nel trasporto ferroviario presso il Politecnico di Milano, 7 Novembre 2025.
• Seminario dal titolo Overview and Roadmap of Team Automata: from Synchronous to Asynchronous Communication tenuto al third-year meeting del progetto T-LADIES presso l'Università di Genova, 22 Luglio 2025.
• Seminario dal titolo Formal Methods and Tools for Software Product Lines tenuto all'Università di Cusco (UNSAAC), Perù, 30 November 2023.
• Seminario dal titolo Team Automata: An Overview of Recent Results tenuto al SySMA Workshop presso la Scuola IMT Alti Studi, Lucca, 8 Novembre 2023.
• Seminario dal titolo Formal Modelling and Analysis of a Self-Adaptive Robotic System tenuto al first-year meeting del progetto T-LADIES, 13 Ottobre 2023.
• Seminario dal titolo Realisability of Global Models of Interaction tenuto al first-year meeting del progetto T-LADIES, 12 Ottobre 2023.
• Seminario dal titolo WP3: Digitization of railway transport tenuto al PNRR plenary project meeting of Sustainable Mobility Center (MOST) Spoke 4 on Rail Transportation presso il Politecnico di Milano, 5 Luglio 2023.
• Seminario dal titolo PNRR MOST Spoke 4: Rail Transportation tenuto alla Conferenza DIITET 2023 presso l'Area di Ricerca CNR di Firenze, 22 Giugno 2023.
• Seminario dal titolo Efficient Static Analysis and Verification of Featured Transition Systems tenuto presso l'Università Tecnica della Danimarca (DTU) a Lyngby (Danimarca), 23 Gennaio 2023.
• Seminario dal titolo Featured Team Automata tenuto al kick-off meeting del progetto T-LADIES, 6-7 Luglio 2022.
• Seminario dal titolo Efficient Static Analysis and Verification of Featured Transition Systems tenuto all'online Informatics Seminars 2020/21 del Dipartimento di Informatica dell'Università di Leicester (Gran Bretagna), 5 Marzo 2021.
• Seminario dal titolo Quantitative Analysis of Moving Block Railway Signalling Scenarios: Experiences and Outlook tenuto all'online meeting IT MaTTerS? Let's discuss del progetto IT MaTTerS, 12 Giugno 2020.
• Seminario dal titolo WP5: Application and Validation tenuto al Kick-off Meeting del progetto IT MaTTerS presso l'Università di Pisa, 14 Ottobre 2019.
• Seminario dal titolo Communication Requirements for Team Automata tenuto presso l'istituto LIACS dell'Università di Leida (Paesi Bassi), 7 Maggio 2018.
• Seminario dal titolo Family-Based Model Checking tenuto al terzo review del progetto QUANTICOL a Lucca, 23 Maggio 2017.
• Seminario dal titolo Family-based model checking with a feature mu-calculus tenuto al Plenary Meeting del progetto QUANTICOL a Pisa, 7 Febbraio 2017.
• Seminario dal titolo Analyzing the Performance of Bike-Sharing Systems tenuto al Meeting del progetto QUANTICOL fra ISTI, PisaMo e BicinCittà a Pisa, 20 Gennaio 2017.
• Seminario dal titolo From Featured Transition Systems to Modal Transition Systems with Variability Constraints: A Model Transformation tenuto al Final General Meeting del progetto CINA a Civitanova Marche, 20 Gennaio 2016.
• Seminario dal titolo Towards Variability Analysis for Collective Adaptive Systems tenuto al secondo review del progetto QUANTICOL a Bruxelles (Belgio), 20 Novembre 2015.
• Seminario dal titolo Team Automata: Communication and Compatibility tenuto presso l'istituto LIACS dell'Università di Leida (Paesi Bassi), 15 Luglio 2015.
• Seminario dal titolo Feature-based modular verification of software product lines tenuto al terzo General Meeting del progetto CINA presso l'Università di Torino, 12 Febbraio 2015.
• Seminario dal titolo Challenges in modeling and analyzing quantitative aspects of a bike-sharing product line tenuto al kick-off Meeting del DFF progetto Danese VARIETE (Variability in Portfolios of Dependable Systems) a Copenaghen (Danimarca), 2 Marzo 2014.
• Seminario dal titolo Validating Reconfigurations of Reo Circuits in an e-Banking Scenario tenuto al secondo General Meeting del progetto CINA presso l'Università di Bologna, 19 Febbraio 2014.
• Seminario dal titolo Combining Declarative and Procedural Views in the Feature-Oriented Specification and Analysis of Product Families tenuto al secondo General Meeting del progetto CINA presso l'Università di Bologna, 18 Febbraio 2014.
• Seminario dal titolo Modelling and Analysing Variability in Product Families tenuto presso l'Istituto di Scienza e Tecnologie dell'Informazione del Consiglio Nazionale delle Ricerche (ISTI-CNR) di Pisa, 7 Novembre 2011.
• Seminario dal titolo Modelling and Analysing Variability in Product Families tenuto presso la Escuela Técnica Superior de Ingeniería Informatica dell'Università di Siviglia, Spagna, 21 Ottobre 2011.
• Seminario dal titolo A logical framework to deal with variability (research in progress) tenuto al XXL project meeting, Pisa, 21 Giugno 2010.
• Seminario dal titolo Sensoria Results Applied to the Case Studies tenuto al SENSORIA General Meeting, Milan, 25 Novembre 2009.
• 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 Simple eco-grammar systems with prescribed teams 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.9/2.5 meeting a ISoLA'24 (12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation), Creta, Grecia, 1 Novembre 2024.
• ISoLA'24 (12th International Symposium on on Leveraging Applications of Formal Methods, Verification and Validation), Crete, Greece, 27-31 Ottobre 2024.
• VaMoS'23 (17th International Working Conference on Variability Modelling of Software-Intensive Systems), Odense, Danimarca, 25-27 Gennaio 2023.
• SEFM'21 (19th International Conference on Software Engineering and Formal methods), 6-10 Dicembre 2021.
• ICTAC'21 (18th International Colloquium on Theoretical Aspects of Computing), Nur-Sultan, Kazakistan, 8-10 Settembre 2021.
• ICTCS'20 (21st Italian Conference on Theoretical Computer Science), Ischia, Italia, 14-16 Settembre 2021.
• FLoC'18 (Federated Logic Conference), Oxford, UK, 6-19 Luglio 2018.
• ETAPS'16 (19th European Joint Conferences on Theory and Practice of Software), Eindhoven, Paesi Bassi, 2016.
• ETAPS'15 (18th European Joint Conferences on Theory and Practice of Software), Londra, Inghilterra, 2015
• FLoC'14 (Federated Logic Conference), Vienna, Austria, 9-24 Luglio 2014.
• SPLC 2013 (17th International Software Product Line Conference), Tokyo, Giappone, 26-30 Agosto 2013.
• Theoriedag NVTI ("Theory Day" olandese), Utrecht, Paesi Bassi, 5 Aprile 2013.
• Dagstuhl Seminar 13091 su Analysis, Test and Verification in The Presence of Variability presso Schloss Dagstuhl, Wadern, Germania, 24 Febbraio - 1 Marzo 2013.
• VaMoS 2013 (7th International Workshop on Variability Modeling of Software-Intensive Systems), Pisa, Italia, 23-25 Gennaio 2013.
• FMSPLE 2012 (3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering), Salvador, Bahia, Brasile, 2 Settembre 2012.
• VaMoS 2012 (6th International Workshop on Variability Modeling of Software-Intensive Systems), Lipsia, Germania, 25-27 Gennaio 2012.
• FMSPLE 2011 (2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering), Monaco, Germania, 26 Agosto 2011.
• ICSE 2011 (33rd International Conference on Software Engineering), Honolulu, Hawaii, Stati Uniti, 25-28 Maggio 2011.
• VaMoS 2011 (5th International Workshop on Variability Modelling of Software-intensive Systems), Namur, Belgio, 27-29 Gennaio 2011.
• SEFM 2010 (8th IEEE International Conference on Software Engineering and Formal methods), Pisa, Italia, 13-18 Settembre 2010.
• ISARCS 2010 (1st International Symposium on Architecting Critical Systems), federated with CompArch 2010, Praga, Repubblica Ceca, 23-25 Giugno 2010.
• IFIP WG 1.3 meeting a ETAPS'07 (10th European Joint Conferences on Theory and Practice of Software), Braga, Portogallo, 23-24 Marzo 2007.
• 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 su Petri Nets and Business Process Management presso Schloss Dagstuhl, Wadern, Germania, 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.

Premi

• Distinguished artifact award al convegno FM 2026 per il seguente articolo: D. Basile, M.H. ter Beek, and J. Proença, Asynchronous Team Automata. In Proceedings of the 27th International Symposium on Formal Methods (FM'26), Lecture Notes in Computer Science 16557, Springer, Cham, 2026.
• Distinguished reviewer award al convegno SPLC 2025 per il lavoro svolto nel comitato di programma (PC).
• Best paper award al convegno SPLC 2019 per il seguente articolo: M.H. ter Beek, F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini, Static Analysis of Featured Transition Systems. In Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC'19), ACM Press, New York, 2019.
• Best paper award al convegno ICIW 2007 per il seguente articolo: 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, Los Alamitos, CA, 2007.
• Premio produttività di 8.000 fiorini olandesi (ca. 4.000 euro) ottenuto dalla Facoltà di Matematica e Scienze Naturali dell'Università di Leiden (Paesi Bassi) di cui ero all'epoca dipendente, 2001.

Pubblicazioni

Articoli su rivista (revisionati)

• M.H. ter Beek, A. Fantechi, A. Ferrari, S. Gnesi, A.E. Haxthausen, and T. Lecomte, A History of Formal Methods in Railways. Formal Aspects of Computing 38, 3 (2026).
• J. Proença and M.H. ter Beek, RebeCaos: a software artifact for Rebeca. Science of Computer Programming (2026).
• M.H. ter Beek, Models for formal methods and tools: the case of railway systems. Software and Systems Modeling 24, 6 (2025), 1935 - 1954.
• J. Päßler, M.H. ter Beek, F. Damiani, C. Dubslaff, E.B. Johnsen, and S.L. Tapia Tarifa, Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. Formal Aspects of Computing 37, 4 (2025), 32:1 - 32:39.
• G. Jadoon, M.H. ter Beek, and A. Ferrari, Model transformation and property preservation in rigorous software development: A systematic literature review. The Journal of Systems & Software 230 (2025).
• J. Päßler, M.H. ter Beek, F. Damiani, E.B. Johnsen, and S.L. Tapia Tarifa, Analysing Self-Adaptive Systems as Software Product Lines. The Journal of Systems & Software 222 (2025).
• M.H. ter Beek, R. Chapman, R. Cleaveland, H. Garavel, R. Gu, I. ter Horst, J.J.A. Keiren, T. Lecomte, M. Leuschel, K.Y. Rozier, A. Sampaio, C. Seceleanu, M. Thomas, T.A.C. Willemse, and L. Zhang, Formal Methods in Industry. Formal Aspects of Computing 37, 1 (2025), 7:1 - 7:38.
• G. Broccia, M.H. ter Beek, A. Lluch Lafuente, P. Spoletini, A. Fantechi, and A. Ferrari, Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. Information and Software Technology 178 (2025).
• J. Päßler, M.H. ter Beek, F. Damiani, E.B. Johnsen, and S.L. Tapia Tarifa, A Configurable Software Model of a Self-Adaptive Robotic System. Science of Computer Programming 240 (2025).
• M. ter Beek, M. Broy, and B. Dongol, The Role of Formal Methods in Computer Science Education. ACM Inroads 15, 4 (2024), 58 - 66.
• D. Basile and M.H. ter Beek, Advancing orchestration synthesis for contract automata. Journal of Logical and Algebraic Methods in Programming 141 (2024).
• D. Basile, M.H. ter Beek, A. Fantechi, and S. Gnesi, Coherent modal transition systems refinement. Journal of Logical and Algebraic Methods in Programming 138 (2024).
• M. Lienhardt, M.H. ter Beek, and F. Damiani, Product lines of dataflows. The Journal of Systems & Software 210 (2024).
• D. Basile, M.H. ter Beek, L. Bussi, and V. Ciancia, A toolchain for strategy synthesis with spatial properties. International Journal on Software Tools for Technology Transfer 25, 5-6 (2023), 641 - 658.
• A. Ferrari and M.H. ter Beek, Formal Methods in Railways: A Systematic case Study. ACM Computing Surveys 55, 4 (2022), 69:1 - 69:37.
• A. Ferrari, F. Mazzanti, D. Basile, and M.H. ter Beek, Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Transactions on Software Engineering 48, 11 (2022), 4675 - 4691.
• M.H. ter Beek, F. Damiani, M. Lienhardt, F. Mazzanti, L. Paolini, and G. Scarso, FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC. Science of Computer Programming 224 (2022).
• M.H. ter Beek and A. Ferrari, Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. Software 1, 4 (2022), 381 - 416.
• D. Basile, M.H. ter Beek, S. Lazreg, M. Cordy, and A. Legay, Static detection of equivalent mutants in real-time model-based mutation testing: An Empirical Evaluation. Empirical Software Engineering 27, 7 (2022), 160:1 - 160:55.
• D. Basile and M.H. ter Beek, Contract Automata Library. Science of Computer Programming 221 (2022).
• D. Basile, M.H. ter Beek, A. Ferrari, and A. Legay, Exploring the ERTMS/ETCS full moving block specification: An experience with formal methods. International Journal on Software Tools for Technology Transfer 24, 3 (2022), 351 - 370.
• M.H. ter Beek, F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini, Efficient static analysis and verification of featured transition systems. Empirical Software Engineering 27, 1 (2022), 10:1 - 10:43.
• M.H. ter Beek, A. Legay, A. Lluch Lafuente, and A. Vandin, Quantitative Security Risk Modeling and Analysis with RisQFLan. Computers & Security 109 (2021).
• D. Basile, M.H. ter Beek, and A. Legay, Timed Service Contract Automata. Innovations in Systems and Software Engineering 16, 2 (2020), 199 - 214.
• D. Basile, M.H. ter Beek, and R. Pugliese, Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Logical Methods in Computer Science 16, 2 (2020), 9:1 - 9:29.
• D. Basile, M.H. ter Beek, P. Degano, A. Legay, G.-L. Ferrari, S. Gnesi, and F. Di Giandomenico, Controller synthesis of service contracts with variability. Science of Computer Programming 187 (2020).
• M.H. ter Beek, A. Legay, A. Vandin, and A. Lluch Lafuente, A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Transactions on Software Engineering 46, 3 (2020), 321 - 345.
• M.H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti, and L. Paolini, On the Expressiveness of Modal Transition Systems with Variability Constraints. Science of Computer Programming 169 (2019), 1 - 17.
• M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, Modelling and Analysing Variability in Product Families: Model Checking of Modal Transition Systems with Variability Constraints. Journal of Logical and Algebraic Methods in Programming 85, 2 (2016), 287 - 315.
• M.H. ter Beek and J. Kleijn, On Distributed Cooperation and Synchronised Collaboration. Journal of Automata, Languages and Combinatorics 19, 1-4 (2014), 17 - 32.
• M.H. ter Beek and J. Kleijn, Vector Team Automata. Theoretical Computer Science 429 (2012), 21 - 29.
• M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, A state/event-based model-checking approach for the analysis of abstract system properties. Science of Computer Programming 76, 2 (2011), 119 - 135.
• 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

• M.H. ter Beek and G. Gössler (eds.), Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems (MARS'26), Turin, Italy, 12 April 2026. Electronic Proceedings in Theoretical Computer Science 443, arXiv:2604.03053 [cs.LO], 2026.
• M.H. ter Beek, S. Gnesi, A.E. Haxthausen, and L. Semini (eds.), Journeys Between Formal Methods and the Railway Industry - Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 16470, Springer, Berlin, 2026.
• M.H. ter Beek and L. Teixeira (eds.), Formal Methods: Foundations and Applications - Proceedings of the 28th Brazilian Symposium on Formal Methods (SBMF'25), Recife, Brazil. Lecture Notes in Computer Science 16363, Springer, Berlin, 2025.
• M.H. ter Beek, S. Collart-Dutilleul, and T. Lecomte (eds.), Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification - Proceedings of the 6th International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail'25), Pisa, Italy. Lecture Notes in Computer Science 16236, Springer, Berlin, 2025.
• M. Cordy, D. Strüber, M. Pinto, I. Groher, D. Dhungana, J. Krüger, J. Alves Pereira, M. Acher, T. Thüm, M. ter Beek, J. Galasso-Carbonnel, P. Arcaini, M.R. Mousavi, X. Tërnava, J. Galindo, T. Yue, L. Fuentes, J.M. Horcas (eds.), Proceedings of the 28th ACM International Systems and Software Product Line Conference (SPLC'24), Volume 2, Dommeldange, Luxembourg. ACM Press, New York, NY, 2024.
• M. Cordy, D. Strüber, M. Pinto, I. Groher, D. Dhungana, J. Krüger, J. Alves Pereira, M. Acher, T. Thüm, M. ter Beek, J. Galasso-Carbonnel, P. Arcaini, M.R. Mousavi, X. Tërnava, J. Galindo, T. Yue, L. Fuentes, J.M. Horcas (eds.), Proceedings of the 28th ACM International Systems and Software Product Line Conference (SPLC'24), Volume 1, Dommeldange, Luxembourg. ACM Press, New York, NY, 2024.
• M.H. ter Beek and M. Sirjani (eds.), Selected Papers of the 24th International Conference on Coordination Models and Languages (COORDINATION 2022). Logical Methods in Computer Science (2023).
• M.H. ter Beek and C. Dubslaff (eds.), Proceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA'23), Paris, France, 23 April 2023. Electronic Proceedings in Theoretical Computer Science 392, arXiv:2310.18720 [cs.SE], 2023.
• R. Monahan and M.H. ter Beek (eds.), Special Collection from iFM 2022. Formal Aspects of Computing 35, 3 (2023).
• P. Arcaini, M.H. ter Beek, G. Perrouin, I. Reinhartz-Berger, I. Machado, S. Regina Vergilio, R. Rabiser, T. Yue, X. Devroey, M. Pinto, and H. Washizaki (eds.), Proceedings of the 27th ACM International Systems and Software Product Line Conference (SPLC'23), Volume 2, Tokyo, Japan. ACM Press, New York, NY, 2023.
• P. Arcaini, M.H. ter Beek, G. Perrouin, I. Reinhartz-Berger, M.R. Luaces, C. Schwanninger, S. Ali, M. Varshosaz, A. Gargantini, S. Gnesi, M. Lochau, L. Semini, and H. Washizaki (eds.), Proceedings of the 27th ACM International Systems and Software Product Line Conference (SPLC'23), Volume 1, Tokyo, Japan. ACM Press, New York, NY, 2023.
• M.H. ter Beek and I. Schaefer (eds.), Special Issue on Systems and Software Product Lines of the Future. Journal of Systems & Software 199 (2023).
• M.H. ter Beek and R. Monahan (eds.), Integrated Formal Methods---Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22), Lugano, Switzerland. Lecture Notes in Computer Science 13274, Springer, Berlin, 2022.
• M.H. ter Beek and M. Sirjani (eds.), Coordination Models and Languages---Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22), Lucca, Italy. Lecture Notes in Computer Science 13271, Springer, Berlin, 2022.
• M.H. ter Beek, K.G. Larsen, D. Ničković, and T.A.C. Willemse (eds.), Special Issue on Formal Methods and Tools for Industrial Critical Systems. International Journal on Software Tools for Technology Transfer 24, 3 (2022).
• M.H. ter Beek and A. McIver (eds.), Special Issue: `Best Papers from FM 2019'. Formal Methods in System Design 58, 1-2 (2021).
• A. McIver and M.H. ter Beek (eds.), Special Issue with Extended versions of papers presented at FM 2019. Formal Aspects of Computing 33 (2021).
• M. Mousavi, P.-Y. Schobbens, H. Araujo, I. Schaefer, M.H. ter Beek, X. Devroey, J.M. Rojas, R. Rabiser, M. Varshosaz, T. Kishi, and J. Lee (eds.), Proceedings of the 25th ACM International Systems and Software Product Line Conference (SPLC'21), Volume 2, Leicester, UK. ACM Press, New York, NY, 2021.
• M. Mousavi, P.-Y. Schobbens, H. Araujo, I. Schaefer, M.H. ter Beek, X. Devroey, J.M. Rojas, M. Pinto, L. Teixeira, T. Berger, J. Noppen, I. Reinhartz-Berger, P. Temple, F. Damiani, and J. Petke (eds.), Proceedings of the 25th ACM International Systems and Software Product Line Conference (SPLC'21), Volume 1, Leicester, UK. ACM Press, New York, NY, 2021.
• M.H. ter Beek, M. Koutny, and G. Rozenberg (eds.), A Mosaic of Computational Topics: from Classical to Novel - Special Issue Dedicated to Jetty Kleijn on the Occasion of Her 65th Birthday. Fundamenta Informaticae 175 (2020).
• M.H. ter Beek and D Ničković (eds.), Formal Methods for Industrial Critical Systems - Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS'20), Vienna, Austria. Lecture Notes in Computer Science 12327, Springer, Berlin, 2020.
• M.H. ter Beek, A. Fantechi, and L. Semini (eds.), From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer-Verlag, Berlin, 2019.
• M.H. ter Beek, A. McIver, and J.N. Oliveira (eds.), Formal Methods - The Next 30 Years - Proceedings of the Third World Congress on Formal Methods (FM'19), Porto, Portugal. Lecture Notes in Computer Science 11800, Springer-Verlag, Berlin, 2019.
• M.H. ter Beek and A. Legay (eds.), Special Issue on Quantitative Variability Modelling and Analysis. International Journal on Software Tools for Technology Transfer21, 6 (2019).
• M.H. ter Beek, S. Gnesi, and A. Knapp (eds.), Special Issue on Formal Methods and Automated Verification of Critical Systems. International Journal on Software Tools for Technology Transfer 20,4 (2018).
• M.H. ter Beek, S. Gnesi, and A. Knapp (eds.), Special Issue on Formal Methods for Transport Systems. International Journal on Software Tools for Technology Transfer 20, 3 (2018).
• M.H. ter Beek and M. Loreti (eds.), Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Transactions on Modeling and Computer Simulation 28, 2 (2018).
• M. ter Beek, W. Cazzola, O. Diaz, M. La Rosa, R.E. López-Herrejón, T. Thüm, J. Troya, A. Ruiz-Cortés, and D. Benavides (eds.), Proceedings of the 21st International Systems & Software Product Line Conference (SPLC'17), Volume 2, Sevilla, Spain. ACM Press, New York, NY, 2017.
• M.H. ter Beek and A. Lluch Lafuente (eds.), Special Issue on Automated Specification and Verification of Web-based Applications. Journal of Logical and Algebraic Methods in Programming 87 (2017).
• M.H. ter Beek, S. Gnesi, and A. Knapp (eds.), Critical Systems: Formal Methods and Automated Verification - Proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS'16), Pisa, Italy, 26-28 September 2016. Lecture Notes in Computer Science 9933, Springer-Verlag, Berlin, 2016.
• M.H. ter Beek, A. Lisitsa, A.P. Nemytykh, and A. Ravara (eds.), Special Issue on Automated Verification of Programs and Web Systems. Journal of Logical and Algebraic Methods in Programming 85, 5 (2016).
• M.H. ter Beek and M. Loreti (eds.), Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST'16), Vienna, Austria, 8 July 2016. Electronic Proceedings in Theoretical Computer Science 217, arXiv:1607.02001v1 [cs.LO], 2016.
• M.H. ter Beek, D. Clarke, and I. Schaefer (eds.), Special Issue on Formal Methods in Software Product Line Engineering. Journal of Logical and Algebraic Methods in Programming 85, 1 (2016).
• M.H. ter Beek and A. Lluch Lafuente (eds.), Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems (WWV'15), Oslo, Norway, 23 June 2015. Electronic Proceedings in Theoretical Computer Science 188, arXiv:1508.03389v1 [cs.LO], 2015.
• S. Gnesi, A. Fantechi, M.H. ter Beek, G. Botterweck, and M. Becker (eds.), Proceedings of the 18th International Software Product Line Conference (SPLC'14), Volume 2: Workshops, Demonstrations and Tools, Florence, Italy. ACM Press, New York, 2014.
• M.H. ter Beek and A. Ravara (eds.), Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems (WWV'14), Vienna, Austria, 18 July 2014. Electronic Proceedings in Theoretical Computer Science 163, arXiv:1409.2294v1 [cs.SE], 2014.
• M.H. ter Beek and N. Lohmann (eds.), Web Services and Formal Methods - Revised Selected Papers of the 9th International Workshop on Web Services and Formal Methods (WS-FM 2012), Tallinn, Estonia, 6-7 September 2012. Lecture Notes in Computer Science 7843, Springer-Verlag, Berlin, 2013.
• 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, A. Bucchiarone, A. Pierantonio, and B. Selic, Towards Dynamic Classification in Domain Modeling with Jjodel. In Journeys Between Formal Methods and the Railway Industry (M.H. ter Beek, S. Gnesi, A.E. Haxthausen, and L. Semini, eds.). Lecture Notes in Computer Science 16470, Springer, Cham, 2026, 193 - 215.
• D. Basile, M.H. ter Beek, G. Broccia, S. Gnesi, F. Mazzanti, G.O. Spagnolo, S. Bacherini, C. Becheri, D. Grasso, G. Magnani, M. Tempestini, N. Zingoni, and A. Ferrari, Formal Methods for Railway Systems: a Survey of Research and Technology Transfer Projects. In Journeys Between Formal Methods and the Railway Industry (M.H. ter Beek, S. Gnesi, A.E. Haxthausen, and L. Semini, eds.). Lecture Notes in Computer Science 16470, Springer, Cham, 2026, 31 - 54.
• M.H. ter Beek, Controlled Hybrid CD Grammar Systems. In Languages of Cooperation and Communication (M.D. Jiménez López and G. Vaszil, eds.), Lecture Notes in Computer Science 15840, Springer, Cham, 2025, 3 - 25.
• M.H. ter Beek and J. Proença, Animating Rebeca. In Rebeca for Actor Analysis in Action (E.A. Lee, M.R. Mousavi, and C. Talcott, eds.), Lecture Notes in Computer Science 15560, Springer, Cham, 2025, 182 - 194.
• M.H. ter Beek, A. Fantechi and S. Gnesi, Formal Methods for Industrial Critical Systems: 30 Years of Railway Applications. In The Combined Power of Research, Education, and Dissemination (M. Hinchey and B. Steffen, eds.), Lecture Notes in Computer Science 15240, Springer, Cham, 2024, 327 - 344.
• S. Gnesi and M.H. ter Beek, From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL. In Models, Languages and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday (M. Boreale, F. Corradini, M. Loreti, and R. Pugliese, eds.), Lecture Notes in Computer Science 11665, Springer-Verlag, Berlin, 2019, 219 - 235.
• M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, States and Events in KandISTI: A Retrospective. In Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (T. Margaria, S. Graf, and K.G. Larsen, eds.), Lecture Notes in Computer Science 11200, Springer-Verlag, Berlin, 2019, 110 - 128.
• M.H. ter Beek, S. Gnesi, and F. Mazzanti, From EU Projects to a Family of Model Checkers. In Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (R. De Nicola and R. Hennicker, eds.), Lecture Notes in Computer Science 8950, Springer-Verlag, Berlin, 2015, 312 - 328.
• M.H. ter Beek and J. Kleijn, Shuffles and Synchronized Shuffles: A Survey. In Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005) (Gh. Paun, G. Rozenberg, and A. Salomaa, eds.), Editura Academiei Romane (The Publishing House of the Romanian Academy), Bucuresti, Romania, 2014, 37 - 50.
• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni, An Application of Stochastic Model Checking in the Industry: User-centered Modeling and Analysis of Collaboration in thinkteam. Chapter 9 in Formal Methods for Industrial Critical Systems: A Survey of Applications, First Edition (S. Gnesi and T. Margaria, eds.), John Wiley & Sons, Inc., Hoboken, NJ, USA, 2013, 179 - 203.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence. In Computation, Cooperation, and Life - Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday (J. Kelemen and A. Kelemenová, eds.), Lecture Notes in Computer Science 6610, Springer-Verlag, Berlin, 2011, 70 - 89.
• M.H. ter Beek, A. Lapadula, M. Loreti, and C. Palasciano, Analysing Robot Movement Using the SENSORIA Methods. In Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (M. Wirsing and M. Hölzl, eds.), Lecture Notes in Computer Science 6582, Springer-Verlag, Berlin, 2011, 678 - 697.
• M.H. ter Beek, SENSORIA Results Applied to the Case Studies. In Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (M. Wirsing and M. Hölzl, eds.), Lecture Notes in Computer Science 6582, Springer-Verlag, Berlin, 2011, 655 - 677.
• 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)

• D. Basile, M.H. ter Beek, and J. Proença, Asynchronous Team Automata. In Proceedings of the 27th International Symposium on Formal Methods (FM'26) (A. Sampaio and M. Stoelinga, eds.), Lecture Notes in Computer Science 16557, Springer, Cham, 2026, 27 - 49.
• M.H. ter Beek, K. Schmid, and H. Eichelberger, Comparing the Universal Variability Language with other Textual Variability Modeling Languages. In Proceedings of the 29th International Systems and Software Product Line Conference (SPLC'25), Volume 2, ACM Press, New York, 2025, 71 - 75.
• J. Päßler, M.H. ter Beek, F. Damiani, C. Dubslaff, E.B. Johnsen, and S.L. Tapia Tarifa, Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. In Proceedings of the 29th International Systems and Software Product Line Conference (SPLC'25), ACM Press, New York, 2025, 238.
• J. Päßler, M.H. ter Beek, F. Damiani, E.B. Johnsen, and S.L. Tapia Tarifa, Analysing Self-Adaptive Systems as Software Product Lines. In Proceedings of the 29th International Systems and Software Product Line Conference (SPLC'25), ACM Press, New York, 2025, 237.
• D. Ancona, S. Avola, A. Ferrando, P. Baglietto, M.H. ter Beek, G. Camera, A. Parodi, and M. Pinasco, Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. In Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks: Supplemental Volume (DSN-S'25), IEEE, 2025, 153 - 159.
• J. Proença and M.H. ter Beek, RebeCaos. In Proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'25) (C. Di Giusto and A. Ravara, eds.), Lecture Notes in Computer Science 15731, Springer, Cham, 2025, 219 - 229.
• D. Basile, M.H. ter Beek, L. Carnevali, S. Chiaradonna, F. Di Giandomenico, A. Fantechi, and G. Gori, An Integrated Perspective on the Evaluation of Complex Railway Systems. In Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Application Areas (ISoLA'24) (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 15223, Springer, Cham, 2024, 190 - 207.
• M.H. ter Beek, A. Fantechi, S. Gnesi, G. Lenzini, and M. Petrocchi, Can AI Help with the Formalization of Railway Cybersecurity Requirements? In Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ReoCAS Colloquium (ISoLA'24) (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 15219, Springer, Cham, 2024, 186 - 203.
• M. Lienhardt, M.H. ter Beek, and F. Damiani, Product lines of dataflows: Extended Abstract. In Proceedings of the 28th ACM International Systems and Software Product Line Conference (SPLC'24), ACM Press, New York, 2024, 218.
• M.H. ter Beek, Formal Methods and Tools Applied in the Railway Domain. In Proceedings of the 10th International Conference on Rigorous State Based Methods (ABZ'24) (S. Bonfanti, A. Gargantini, M. Leuschel, E. Riccobene, and P. Scandurra, eds.), Lecture Notes in Computer Science 14759, Springer, Cham, 2024, 3 - 21.
• M.H. ter Beek, R. Hennicker, and J. Proença, Team Automata: Overview and Roadmap. In Proceedings of the 26th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'24) (I. Castellani and F. Tiezzi, eds.), Lecture Notes in Computer Science 14676, Springer, Cham, 2024, 161 - 198.
• G. Broccia, M.H. ter Beek, A. Lluch Lafuente, P. Spoletini, and A. Ferrari, Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. In Proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'24) (D. Mendez and A. Moreira, eds.), Lecture Notes in Computer Science 14588, Springer, Cham, 2024, 39 - 56.
• M.H. ter Beek, R. Hennicker, and J. Proença, Realisability of Global Models of Interaction. In Proceedings of the 20th International Colloquium on Theoretical Aspects of Computing (ICTAC'23) (E. Ábrahám, C. Dubslaff, and S.L. Tapia Tarifa, eds.), Lecture Notes in Computer Science 14446, Springer, Cham, 2023, 236 - 255.
• J. Päßler, M.H. ter Beek, F. Damiani, S.L. Tapia Tarifa, and E.B. Johnsen, Formal Modelling and Analysis of a Self-Adaptive Robotic System. In Proceedings of the 18th International Conference on integrated Formal Methods (iFM'23) (P. Herber and A. Wijs, eds.), Lecture Notes in Computer Science 14300, Springer, Cham, 2023, 343 - 363.
• D. Basile and M.H. ter Beek, Research Challenges in Orchestration Synthesis. In Proceedings of the 16th Interaction and Concurrency Experience (ICE'23) (C. Aubert, C. Di Giusto, S. Fowler, and L. Safina, eds.), Electronic Proceedings in Theoretical Computer Science 383, arXiv:2308.10651 [cs.FL], 2023, 73 - 90.
• G. Broccia, A. Ferrari, M.H. ter Beek, W. Cazzola, L. Favalli, and F. Bertolotti, Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. In Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension (ICPC'23), IEEE, 2023, 54 - 58.
• D. Basile, M.H. ter Beek, H. Göttmann, and M. Lochau, Mutant Equivalence as Monotonicity in Parametric Timed Games. In Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE'23), IEEE, 2023, 55 - 65.
• D. Basile and M.H. ter Beek, A Runtime Environment for Contract Automata. In Proceedings of the 25th International Symposium on Formal Methods (FM'23) (M. Chechik, J.-P. Katoen, and M. Leucker, eds.), Lecture Notes in Computer Science 14000, Springer, Cham, 2023, 550 - 567.
• M.H. ter Beek, G. Cledou, R. Hennicker, and J. Proença, Can we Communicate? Using Dynamic Logic to Verify Team Automata. In Proceedings of the 25th International Symposium on Formal Methods (FM'23) (M. Chechik, J.-P. Katoen, and M. Leucker, eds.), Lecture Notes in Computer Science 14000, Springer, Cham, 2023, 122 - 141.
• M. Seisenberger, M.H. ter Beek, X. Fan, A. Ferrari, A. Haxthausen, P. James, A. Lawrence, B. Luttik, J. van de Pol, and S. Wimmer, Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. In Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Practice (ISoLA'22), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 13704, Springer, Cham, 2022, 246 - 268.
• D. Basile, M.H. ter Beek, and V. Ciancia, An Experimental Toolchain for Strategy Synthesis with Spatial Properties. In Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Adaptation and Learning (ISoLA'22), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 13703, Springer, Cham, 2022, 142 - 164.
• M.H. ter Beek, G. Cledou, R. Hennicker, and J. Proença, Featured Team Automata. In Proceedings of the 24th International Symposium on Formal Methods (FM'21) (M. Huisman, C. Păsăreanu, and N. Zhan, eds.), Lecture Notes in Computer Science 13047, Springer, Cham, 2021, 483 - 502.
• M.H. ter Beek, F. Mazzanti, F. Damiani, L. Paolini, G. Scarso, M. Valfrè, and M. Lienhardt, Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC. In Proceedings of the 25th International Systems and Software Product Line Conference (SPLC'21), Leicester, UK - Volume 2, ACM Press, New York, 2021, 24 - 27.
• M.H. ter Beek, V. Ciancia, D. Latella, M. Massink, and G.O. Spagnolo, Spatial Model Checking for Smart Stations: Research Challenges. In Proceedings of the 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS'21) (A. Lluch Lafuente and A. Mavridou, eds.), Lecture Notes in Computer Science 12863, Springer, Cham, 2021, 39 - 47.
• D. Basile, M.H. ter Beek, P. Degano, A. Legay, G.-L. Ferrari, S. Gnesi, and F. Di Giandomenico, Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. In Proceedings of the 41st IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems (FORTE'21) (K. Peters and T.A.C. Willemse, eds.), Lecture Notes in Computer Science 12719, Springer, Cham, 2021,177 - 181.
• D. Basile and M.H. ter Beek, A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. In Proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'21) (F. Damiani and O. Dardha, eds.), Lecture Notes in Computer Science 12717, Springer, Cham, 2021, 225 - 238.
• M.H. ter Beek, R. Hennicker, and J. Kleijn, Compositionality of Safe Communication in Systems of Team Automata. In Proceedings of the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC'20), Macau, China (V.K.I. Pun, A. Simão, and V. Stolz, eds.), Lecture Notes in Computer Science 12545, Springer, Cham, 2020, 200 - 220.
• D. Basile, M.H. ter Beek, A. Fantechi, A. Ferrari, S. Gnesi, L. Masullo, F. Mazzanti, A. Piattino, and D. Trentini, Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. In Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications (ISoLA'20), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 12478, Springer, Berlin, 2020, 467 - 485.
• D. Basile, M.H. ter Beek, F. Di Giandomenico, A. Fantechi, S. Gnesi, and G.O. Spagnolo, 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. In Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA'20), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 12476, Springer, Berlin, 2020, 368 - 384.
• D. Basile, M.H. ter Beek, M. Cordy, and A. Legay, Tackling the Equivalent Mutant Problem in Real-Time Systems: The 12 Commandments of Model-Based Mutation Testing. In Proceedings of the 24th International Systems and Software Product Line Conference (SPLC'20), Montréal, Canada, ACM Press, New York, 2020, 252 - 262.
• H. Garavel, M.H. ter Beek, and J. van de Pol, The 2020 Expert Survey on Formal Methods.. In Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS'20), Vienna, Austria (M.H. ter Beek and D. Ničković, eds.), Lecture Notes in Computer Science 12327, Springer, Berlin, 2020, 3 - 69.
• D. Basile, M.H. ter Beek, and A. Legay, Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. In Proceedings of the 40th IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems (FORTE'20), Valletta, Malta (A. Gotsman and A. Sokolova, eds.), Lecture Notes in Computer Science 12136, Springer, Berlin, 2020, 3 - 21.
• M.H. ter Beek, R. Hennicker, and J. Kleijn, Team Automata@Work: On Safe Communication. In Proceedings of the 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'20), Valletta, Malta (S. Bliudze and L. Bocchi, eds.), Lecture Notes in Computer Science 12134, Springer, Berlin, 2020, 77 - 85.
• A. Ferrari, F. Mazzanti, D. Basile, M.H. ter Beek, and A. Fantechi, Comparing Formal Tools for System Design: a Judgment Study. In Proceedings of the 42nd International Conference on Software Engineering (ICSE'20), Seoul, Republic of Korea, ACM Press, New York, 2020, 62 - 74.
• M.H. ter Beek, S. van Loo, E.P. de Vink, and T.A.C. Willemse, Family-Based SPL Model Checking Using Parity Games with Variability. In Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE'20), Dublin, Ireland (H. Wehrheim and J. Cabot, eds.), Lecture Notes in Computer Science 12076, Springer, Berlin, 2020, 245 - 265.
• M.H. ter Beek, A. Legay, A. Lluch Lafuente, and A. Vandin, Variability meets Security: Quantitative Security Modeling and Analysis of Highly Customizable Attack Scenarios. In Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'20), Magdeburg, Germany (M. Cordy, M. Acher, D. Beuche, and G. Saake, eds.), ACM, New York, 2020, 11:1 - 11:9.
• M.H. ter Beek, A. Legay, A. Lluch Lafuente, and A. Vandin, A Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. In Proceedings of the 15th International Conference on Integrated Formal Methods (IFM'19), Bergen, Norway (W. Ahrendt and S.L. Tapia Tarifa, eds.), Lecture Notes in Computer Science 11918, Springer, Berlin, 2019, 547 - 551.
• M.H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti, and L. Paolini, A Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. In Proceedings of the 15th International Conference on Integrated Formal Methods (IFM'19), Bergen, Norway (W. Ahrendt and S.L. Tapia Tarifa, eds.), Lecture Notes in Computer Science 11918, Springer, Berlin, 2019, 542 - 546.
• M.H. ter Beek, A. Borälv, A. Fantechi, A. Ferrari, S. Gnesi, C. Löfving, and F. Mazzanti, Adopting Formal Methods in an Industrial Setting: The Railways Case. In Formal Methods - The Next 30 Years - Proceedings of the Third World Congress on Formal Methods (FM'19), Porto, Portugal (M.H. ter Beek, A. McIver, and J.N. Oliveira, eds.), Lecture Notes in Computer Science 11800, Springer, Berlin, 2019, 762--772.
• M.H. ter Beek, K. Schmid, and H. Eichelberger, Textual Variability Modeling Languages: An Overview and Considerations. In Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC'19), Paris, France - Volume 2, ACM Press, New York, 2019, 151 - 157.
• M.H. ter Beek, F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini, Static Analysis of Featured Transition Systems. In Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC'19), Paris, France, ACM Press, New York, 2019, 39 - 51.
• D. Basile, M.H. ter Beek, A. Ferrari, and A. Legay, Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and UPPAAL SMC. In Proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS'19), Amsterdam, The Netherlands (K.G. Larsen and T. Willemse, eds.), Lecture Notes in Computer Science 11687, Springer, Berlin, 2019, 1 - 21.
• D. Basile, M.H. ter Beek, and R. Pugliese, Bridging the Gap between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. In Proceedings of the 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19), Copenhagen, Denmark (H.R. Nielson and E. Tuosto, eds.), Lecture Notes in Computer Science 11533, Springer, Berlin, 2019, 129 - 147.
• A. Ferrari, M.H. ter Beek, F. Mazzanti, D. Basile, A. Fantechi, S. Gnesi, A. Piattino, and D. Trentini, Survey on Formal Methods and Tools in Railways: The ASTRail Approach. In Proceedings of the 3rd International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail'19), Lille, France (S. Collart-Dutilleul, T. Lecomte, and A. Romanovsky, eds.), Lecture Notes in Computer Science 11495, Springer, Berlin, 2019, 226 - 241.
• D. Basile, M.H. ter Beek, and V. Ciancia, Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification (ISoLA'18), Limassol, Cyprus (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 11245, Springer, Berlin, 2018, 372 - 391.
• D. Basile, M.H. ter Beek, A. Legay, and L.-M. Traonouez, Orchestration Synthesis for Real-Time Service Contracts. In Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS'18), Grenoble, France (M.F. Atig, S. Bensalem, S. Bliudze, and B. Monsuez, eds.), Lecture Notes in Computer Science 11181, Springer, Berlin, 2018, 31 - 47.
• D. Basile, M.H. ter Beek, and S. Gnesi, Modelling and Analysis with Featured Modal Contract Automata. In Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC'18), Gothenburg, Sweden - Volume 2, ACM Press, New York, 2018, 11 - 16.
• M.H. ter Beek, A. Fantechi, and S. Gnesi, Product line models of large cyber-physical systems: the case of ERTMS/ETCS. In Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC'18), Gothenburg, Sweden, ACM Press, New York, 2018, 208 - 214.
• D. Basile, M.H. ter Beek, A. Fantechi, S. Gnesi, F. Mazzanti, A. Piattino, D. Trentini, and A. Ferrari, On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders. In Proceedings of the 14th International Conference on Integrated Formal Methods (IFM'18), Maynooth, Ireland (C.A. Furia and K. Winter, eds.), Lecture Notes in Computer Science 11023, Springer-Verlag, Berlin, 2018, 20 - 29.
• A. Vandin, M.H. ter Beek, A. Legay, and A. Lluch Lafuente, QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. In Proceedings of the 22nd International Symposium on Formal Methods (FM'18), Oxford, UK (K. Havelund, J. Peleska, B. Roscoe, E. de Vink, eds.), Lecture Notes in Computer Science 10951, Springer, Berlin, 2018, 329 - 337.
• D. Basile, M.H. ter Beek, F. Di Giandomenico, and S. Gnesi, Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. In Proceedings of the 21st International Systems & Software Product Line Conference (SPLC'17), Sevilla, Spain, ACM Press, New York, 2017, 117 - 122.
• M.H. ter Beek, J. Carmona, R. Hennicker, and J. Kleijn, Communication Requirements for Team Automata. In Proceedings of the 19th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'17), Neuchâtel, Switzerland (J.-M. Jacquet and M. Massink, eds.), Lecture Notes in Computer Science 10319, Springer, Berlin, 2017, 256 - 277.
• M.H. ter Beek, E.P. de Vink, and T.A.C. Willemse, Family-Based Model Checking with mCRL2. In Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering (FASE'17), Uppsala, Sweden (M. Huisman and J. Rubin, eds.), Lecture Notes in Computer Science 10202, Springer, Berlin, 2017, 387 - 405.
• M.H. ter Beek, A. Fantechi, S. Gnesi, and L. Semini, Variability-Based Design of Services for Smart Transportation Systems. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9953, Springer, Berlin, 2016, 465 - 481.
• M.H. ter Beek, M.A. Reniers, and E.P. de Vink, Supervisory Controller Synthesis for Product Lines using CIF 3. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9952, Springer, Berlin, 2016, 856 - 873.
• M.H. ter Beek, J. Carmona, and J. Kleijn, Conditions for Compatibility of Components: The Case of Masters and Slaves. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9952, Springer, Berlin, 2016, 784 - 805.
• M.H. ter Beek, A. Legay, A. Vandin, and A. Lluch Lafuente, Statistical Model Checking for Product Lines. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9952, Springer, Berlin, 2016, 114 - 133.
• M.H. ter Beek, E.P. de Vink, and T.A.C. Willemse, Towards a Feature mu-Calculus Targeting SPL Verification. In Proceedings of the 7th International Workshop on Formal Methods and Analysis for Software Product Line Engineering (FMSPLE'16), Eindhoven, The Netherlands (J. Rubin and T. Thüm, eds.), Electronic Proceedings in Theoretical Computer Science 206, arXiv:1604.00350v1 [cs.LO], 2016, 61 - 75.
• M.H. ter Beek, S. Gnesi, D. Latella, and M. Massink. Towards Automatic Decision Support for Bike-Sharing System Design. In Software Engineering and Formal Methods - Revised Selected Papers of the SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART (D. Bianculli, R. Calinescu and B. Rumpe, eds.), Lecture Notes in Computer Science 9509, Springer, Berlin, 2015, 266 - 280.
• M.H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti, and L. Paolini. From Featured Transition Systems to Modal Transition Systems with Variability Constraints. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM'15), York, UK (R. Calinescu and B. Rumpe, eds.), Lecture Notes in Computer Science 9276, Springer, Berlin, 2015, 344 - 359.
• M.H. ter Beek A. Fantechi, S. Gnesi, and F. Mazzanti, Using FMC for Family-Based Analysis of Software Product Lines. In Proceedings of the 19th International Software Product Line Conference (SPLC'15), Nashville, TN, USA, ACM Press, New York, 2015, 432 - 439.
• M.H. ter Beek, A. Fantechi, and S. Gnesi, Applying the Product Lines Paradigm to the Quantitative Analysis of Collective Adaptive Systems. In Proceedings of the 19th International Software Product Line Conference (SPLC'15), Nashville, TT, USA, ACM Press, New York, 2015, 321 - 326.
• M.H. ter Beek, A. Legay, A. Lluch Lafuente, and A. Vandin, Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In Proceedings of the 19th International Software Product Line Conference (SPLC'15), Nashville, TN, USA, ACM Press, New York, 2015, 11 - 15.
• M.H. ter Beek, A. Legay, A. Lluch Lafuente, and A. Vandin, Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. In Proceedings of the 6th International Workshop on Formal Methods and Analysis for Software Product Line Engineering (FMSPLE'15), London, UK (J.M. Atlee and S. Gnesi, eds.), Electronic Proceedings in Theoretical Computer Science 182, arXiv:1504.03476v1 [cs.LO], 2015, 56 - 70.
• T. Belder, M.H. ter Beek, and E.P. de Vink, Coherent branching feature bisimulation. In Proceedings of the 6th International Workshop on Formal Methods and Analysis for Software Product Line Engineering (FMSPLE'15), London, UK (J.M. Atlee and S. Gnesi, eds.), Electronic Proceedings in Theoretical Computer Science 182, arXiv:1504.03474v1 [cs.LO], 2015, 14 - 30.
• M.H. ter Beek, S. Gnesi, and F. Mazzanti, Model Checking Value-Passing Modal Specifications. In Perspectives of System Informatics - Revised selected papers of the 9th International Ershov Informatics Conference (PSI'14), St. Petersburg, Russia (A. Voronkov and I. Virbitskaite, eds.), Lecture Notes in Computer Science 8974, Springer, Berlin, 2015, 304 - 319.
• M.H. ter Beek and E.P. de Vink, Towards Modular Verification of Software Product Lines with mCRL2. In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'14), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 8802, Springer, Berlin, 2014, 368 - 385.
• M.H. ter Beek, A. Fantechi, and S. Gnesi, Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'14), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 8802, Springer, Berlin, 2014, 341 - 367.
• M.H. ter Beek and E.P. de Vink, Software Product Line Analysis with mCRL2. In Proceedings of the First Workshop on Software Product Line Analysis Tools (SPLat'14), Volume 2 of the Proceedings of the 18th International Software Product Line Conference (SPLC'14), Florence, Italy, ACM Press, New York, 2014, 78 - 85.
• M.H. ter Beek and F. Mazzanti, VMC: Recent Advances and Challenges Ahead. In Proceedings of the First Workshop on Software Product Line Analysis Tools (SPLat'14), Volume 2 of the Proceedings of the 18th International Software Product Line Conference (SPLC'14), Florence, Italy, ACM Press, New York, 2014, 70 - 77.
• M.H. ter Beek and E.P. de Vink, Using mCRL2 for the Analysis of Software Product Lines. In Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE'14), Hyderabad, India, IEEE Computer Society, Los Alamitos, CA, 2014, 31 - 37.
• M.H. ter Beek, A. Lluch Lafuente, and M. Petrocchi, Combining Declarative and Procedural Views in the Feature-Oriented Specification and Analysis of Product Families. In Proceedings of the 14th Italian Conference on Theoretical Computer Science (ICTCS'13), Palermo, Italy, Università degli Studi di Palermo, Palermo, 2013, 69 - 77.
• M.H. ter Beek, F. Gadducci, and F. Santini, Validating Reconfigurations of Reo Circuits. In Proceedings of the 14th Italian Conference on Theoretical Computer Science (ICTCS'13), Palermo, Italy, Università degli Studi di Palermo, Palermo, 36 - 44.
• M.H. ter Beek, A. Lluch Lafuente, and M. Petrocchi, Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In Proceedings of the 4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE'13), Volume 2 of the Proceedings of the 17th International Software Product Line Conference (SPLC'13), Tokyo, Japan, ACM Press, New York, 2013, 10 - 17.
• M.H. ter Beek, F. Gadducci, and F. Santini, Validating Reconfigurations of Reo Circuits in an e-Banking Scenario. In Proceedings of the 4th International ACM Sigsoft Symposium on Architecting Critical Systems (ISARCS'13), Vancouver, British Columbia, Canada (S. Malek, ed.), ACM Press, New York, 2013, 39 - 47.
• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, A Compositional Framework to Derive Product Line Behavioural Descriptions. In Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change (ISoLA'12), Heraklion, Crete, Greece (T. Margaria and B. Steffen, eds.). Lecture Notes in Computer Science 7609, Springer, Berlin, 2012, 146 - 161.
• M.H. ter Beek, H. Muccini, and P. Pelliccione, Assume-Guarantee Testing of Evolving Software Product Line Architectures. In Proceedings of the 4th International Workshop on Software Engineering for Resilient Systems (SERENE'12), Pisa, Italy (P. Avgeriou, ed.), Lecture Notes in Computer Science 7527, Springer, Berlin, 2012, 91 - 105.
• M.H. ter Beek, S. Gnesi, and F. Mazzanti, Demonstration of a model checker for the analysis of product variability. In Proceedings of the 16th International Software Product Line Conference (SPLC'12), Salvador, Bahia, Brazil (Volume II), ACM Press, New York, 2012, 242 - 245.
• M.H. ter Beek, F. Mazzanti, and A. Sulova, VMC: A Tool for Product Variability Analysis. In Proceedings of the 18th International Symposium on Formal Methods (FM'12) (D. Giannakopoulou and D. Méry, eds.), Lecture Notes in Computer Science 7436, Springer, Berlin, 2012, 450 - 454.
• M.H. ter Beek, S. Gnesi, A. Fantechi, and J.L. Fiadeiro, Variability and Rigour in Service Computing Engineering. In Proceedings of the 34th IEEE Software Engineering Workshop (SEW'11), Limerick, Ireland, IEEE Computer Society, Los Alamitos, CA, 2012, 122 - 127.
• M.H. ter Beek, H. Muccini, and P. Pelliccione, Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. In Proceedings of the Third International Workshop on Software Engineering for Resilient Systems (SERENE'11), Geneva, Switzerland (E.A. Troubitsyna, ed.), Lecture Notes in Computer Science 6968, Springer-Verlag, Berlin, 2011, 100 - 105.
• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, Formal Description of Variability in Product Families. In Proceedings of the 15th International Software Product Line Conference (SPLC 2011), München, Germany (E. Almeida, T. Kishi, C. Schwanninger, I. John, and K. Schmid, eds.), IEEE Computer Society, Los Alamitos, CA, 2011, 130 - 139.
• M.N. Njima, M.H. ter Beek, and S. Gnesi, Product Line Architectures for SOA. In Proceedings of the 11th International Conference on Software Engineering Research and Practice (SERP'11), Las Vegas, Nevada, USA (H.R. Arabnia, H. Reza, and L. Deligiannidis, eds.), CSREA Press, Athens, GA, 2011, 227 - 232.
• M.H. ter Beek, S. Gnesi, and M.N. Njima, Product Lines for Service Oriented Applications - PL for SOA. In Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV'11), Reykjavik, Iceland (L. Kovacs, R. Pugliese, and F. Tiezzi, eds.), Electronic Proceedings in Theoretical Computer Science 61, arXiv:1108.2350v1 [cs.SE], 2011, 34 - 48.
• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, A Model-Checking Tool for Families of Services. In Formal Techniques for Distributed Systems - Proceedings of the Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'11) and 31st IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE'11), Reykjavik, Iceland (R. Bruni and J. Dingel, eds.), Lecture Notes in Computer Science 6722, Springer-Verlag, Berlin, 2011, 44 - 58.
• P. Asirelli, M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, Design and Validation of Variability in Product Lines. In Proceedings of the 2nd International Workshop on Product LinE Approaches in Software Engineering (PLEASE'11), Companion Proceedings of the 33rd International Conference on Software Engineering (ICSE'11), Honolulu, Hawaii, ACM Press, New York, 2011, 25 - 30.
• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, A Logical Framework to Deal with Variability. In Proceedings of the 8th International Conference on Integrated Formal Methods (IFM'10), Nancy, France (D. Méry and S. Merz, eds.), Lecture Notes in Computer Science 6396, Springer-Verlag, Berlin, 2010, 43 - 58.
• M.H. ter Beek, A. Fantechi, S. Gnesi, and G. Zavattaro, Modelling Variability, Evolvability, and Adaptability in Service Computing. In Proceedings of the First International Workshop on Automated Configuration and Tailoring of Applications (ACoTA'10), Antwerp, Belgium (D. Dhungana, R. Rabiser, N. Seyff, and G. Botterweck, eds.), CEUR Workshop Proceedings 688, 2010, 14 - 19.
• M.H. ter Beek, F. Mazzanti, and A. Sulova, An Experience on Formal Analysis of a high-level graphical SOA Design. In Proceedings of the Second International Workshop on Formal Methods and Agile Methods (FM+AM'10), Pisa, Italy (S. Gruner and B. Rumpe, eds.), Lecture Notes in Informatics 179, Gesellschaft für Informatik, Bonn, 2010, 79 - 98.
• 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

• G. Broccia, M.H. ter Beek, and A. Ferrari, Large Language Models as Design Partners: Automating Graphical Mockups to Refine Requirements. ERCIM News - Research and Innovation 145 (2026), 37 - 38.
• M.H. ter Beek and E.B. Johnsen, Tony Hoare: In Memoriam. Formal Aspects of Computing 38, 2 (2026), 12:1.
• M.H. ter Beek and E.B. Johnsen, Editorial Introducing the New Editors-in-Chief. Formal Aspects of Computing 38, 1 (2026), 1:1 - 1:2.
• M.H. ter Beek, C. Dubslaff, and I. Schaefer, Formal Methods for Intersymbolic AI. In Proceedings of the 3rd International Conference on Bridging the Gap between AI and Reality (AISoLA'25), Rhodes, Greece (B. Steffen, eds.), Lecture Notes in Computer Science 16220, Springer, Cham, 2025, xvii - xx.
• M.H. ter Beek, Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains. Formal Aspects of Computing 37, 4 (2025), 35:1 - 35:3.
• M.H. ter Beek, L. Cleophas, C. Dubslaff, and I. Schaefer, X-by-Construction Meets AI. In Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies (ISoLA'24), Crete, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 15222, Springer, Cham, 2024, 155 - 161.
• D. Basile, M.H. ter Beek, and A. Ferrari, Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport. ERCIM News - Special: Sustainable Cities 138 (2024), 8 - 9.
• D. Basile, M.H. ter Beek, F. Di Giandomenico, L. Carnevali, and A. Fantechi, Advanced Integrated Evaluation of Railway Systems. ERCIM News - Special: Extended Reality 137 (2024), 53 - 54.
• R. Monahan and M.H. ter Beek, Introduction to the Special Collection from iFM 2022. Formal Aspects of Computing 35, 3 (2023), 17:1--17:2.
• M.H. ter Beek and I. Schaefer, Systems and software product lines of the future. Journal of Systems & Software 199 (2023).
• D. Basile, M.H. ter Beek, G. Broccia, and A. Ferrari, Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News - Special: Ethical Software Engineering and Ethically Aligned Design 131 (2022), 34 - 35.
• M.H. ter Beek, L. Cleophas, I. Schaefer, and M. Leucker, X-by-Construction Meets Runtime Verification. In Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA'22), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 13701, Springer, Berlin, 2022, 141 - 148.
• M.H. ter Beek, K.G. Larsen, D. Ničković, and T.A.C. Willemse, Formal Methods and Tools for Industrial Critical Systems. International Journal on Software Tools for Technology Transfer 24, 3 (2022), 325 - 330.
• M.H. ter Beek and A. McIver, Formal methods: practical applications and foundations. Formal Methods in System Design 58, 1-2 (2021), 1 - 4.
• M.H. ter Beek, F. Mazzanti, F. Damiani, L. Paolini, G. Scarso, and M. Lienhardt, Static Analysis and Family-based Model Checking with VMC. In Proceedings of the 25th International Systems and Software Product Line Conference (SPLC'21), Leicester, UK, ACM Press, New York, 2021, 214 - 214.
• M.H. ter Beek, L. Cleophas, A. Legay, I. Schaefer, and B.W. Watson, X-by-Construction: Correctness Meets Probability. In Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA'20), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 12476, Springer, Berlin, 2020, 211 - 215.
• M.H. ter Beek, A. Fantechi, and L. Semini, The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back. In From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (M.H. ter Beek, A. Fantechi, and L. Semini, eds.), Lecture Notes in Computer Science 11865, Springer-Verlag, Berlin, 2019, 1 - 11.
• M.H. ter Beek and A. Legay, Quantitative Variability Modelling and Analysis. International Journal on Software Tools for Technology Transfer 21, 6 (2019), 607 - 612.
• M.H. ter Beek and A. Legay, Quantitative Variability Modeling and Analysis. In Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'19), Leuven, Belgium (G. Perrouin and D. Weyns, eds.), ACM, New York, 2019, 13:1 - 13:2.
• M.H. ter Beek, L. Cleophas, I. Schaefer, and B.W. Watson, X-by-Construction. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Modeling (ISoLA'18), Limassol, Cyprus (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 11244, Springer, Berlin, 2018, 359 - 364.
• M.H. ter Beek, S. Gnesi, and A. Knapp, Formal methods and automated verification of critical systems. International Journal on Software Tools for Technology Transfer 20, 4 (2018), 355 - 358.
• M.H. ter Beek, S. Gnesi, and A. Knapp, Formal methods for transport systems. International Journal on Software Tools for Technology Transfer 20, 3 (2018), 237 - 241.
• M.H. ter Beek, Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems". ACM Transactions on Modeling and Computer Simulation 28, 2 (2018), 10:1 - 10:3.
• M.H. ter Beek and M. Loreti, Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Transactions on Modeling and Computer Simulation 28, 2 (2018), 8:1 - 8:4.
• M.H. ter Beek, A. Fantechi, A. Ferrari, S. Gnesi, and R. Scopigno, Formal Methods for the Railway Sector. ERCIM News - Special: Quantum Computing 112 (2018), 44 - 45.
• M. Bartoletti, M.H. ter Beek, L. Cruz-Filipe, and H. Melgratti, Special Track on Service-Oriented Architectures and Programming (SOAP). In Proceedings of the 32nd ACM Symposium on Applied Computing (SAC'17), Marrakesh, Morocco, ACM, New York, 2017, 1309 - 1311.
• M.H. ter Beek and A. Lluch Lafuente, Automated specification and verification of Web-based applications. Journal of Logical and Algebraic Methods in Programming 87 (2017), 51.
• M.H. ter Beek, R. Hähnle, and I. Schaefer, Correctness-by-Construction and Post-hoc Verification: Friends or Foes? In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9952, Springer, Berlin, 2016, 723 - 729.
• M.H. ter Beek, A. Lisitsa, A.P. Nemytykh, and A. Ravara, Automated verification of programs and Web systems. Journal of Logical and Algebraic Methods in Programming 85, 5 (2016), 653 - 654.
• M.H. ter Beek, H. Melgratti, and H. Torres Vieira, Special Track on Service-Oriented Architectures and Programming (SOAP). In Proceedings of the 31st ACM Symposium on Applied Computing (SAC'16), Pisa, Italy, ACM, New York, 2016, 1588 - 1589.
• M.H. ter Beek, D. Clarke, and I. Schaefer, Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. Journal of Logical and Algebraic Methods in Programming 85, 1 (2016), 123 - 124.
• M.H. ter Beek, J. Carmona, and J. Kleijn, Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News - Special: Trustworthy Systems of Systems 102 (2015), 21 - 22.
• I. Schaefer and M.H. ter Beek, Formal Methods and Analyses in Software Product Line Engineering (Track Summary). In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'14), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 8802, Springer, Berlin, 2014, 253 - 256.
• M.H. ter Beek, S. Gnesi, and F. Mazzanti, KandISTI: A Family of Model Checkers for the Analysis of Software Designs. ERCIM News - Special: Software Quality 99 (2014), 31 - 32.
• M.H. ter Beek, L. Bortolussi, V. Ciancia, S. Gnesi, J. Hillston, D. Latella, and M. Massink, A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News - Special: Smart Cities 98 (2014), 32.
• D. Clarke, I. Schaefer, M.H. ter Beek, S. Apel, and J.M. Atlee, Formal Methods and Analysis in Software Product Line Engineering: 4th edition of FMSPLE workshop series. In Proceedings of the 17th International Software Product Line Conference (SPLC'13), Tokyo, Japan, ACM Press, New York, 2013, 266 - 267.
• M.H. ter Beek, S. Gnesi, and F. Mazzanti, VMC: A Tool for the Analysis of Variability in Software Product Lines. ERCIM News - Special: Mobile Computing 93 (2013), 50 - 51.
• M.H. ter Beek, A. Classen, I. Schaefer, M. Becker, F. Roos-Frantz, and P.Y.H. Wong, Formal Methods and Analysis in Software Product Line Engineering: 3rd edition of FMSPLE workshop series. In Proceedings of the 16th International Software Product Line Conference (SPLC'12), Salvador, Bahia, Brazil, ACM Press, New York, 2012, 286 - 287.
• M.H. ter Beek, The Variability Model Checker VMC. Poster and tool demo at the joint 9th International Conference on Integrated Formal Methods and 3rd International Conference on ASM, Alloy, B, VDM, and Z (iFM & ABZ 2012), Pisa, Italy, 2012.
• M.H. ter Beek, H. Muccini, and P. Pelliccione, Guaranteeing Correct Evolution of Software Product Lines. ERCIM News - Special: Evolving Software 88 (2012), 40 - 41.
• 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

• J. Päßler, M.H. ter Beek, F. Damiani, S.L. Tapia Tarifa, and E.B. Johnsen, Formal Modelling and Analysis of a Self-Adaptive Robotic System. arXiv:2308.14663 [cs.LO], 2023.
• M.H. ter Beek and A. Ferrari, Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. arXiv:2208.05266 [cs.SE], 2022.
• D. Basile and M.H. ter Beek, A Runtime Environment for Contract Automata. arXiv:2203.14122 [cs.SE], 2022.
• M.H. ter Beek, G. Cledou, R. Hennicker, and J. Proença, Featured Team Automata. arXiv:2108.01784 [cs.FL], 2021.
• A. Ferrari and M.H. ter Beek, Formal Methods in Railways: a Systematic Mapping Study. arXiv:2107.05413 [cs.SE], 2021.
• A. Ferrari, F. Mazzanti, D. Basile, and M.H. ter Beek, Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. arXiv:2101.11303v2 [cs.SE], 2021.
• M.H. ter Beek, A. Legay, A. Lluch Lafuente, and A. Vandin, Quantitative Security Risk Modeling and Analysis with RisQFLan. arXiv:2101.08677v1 [cs.CR], 2021.
• M.H. ter Beek, R. Hennicker, and J. Kleijn, Compositionality of Safe Communication in Systems of Team Automata. Zenodo, 2020.
• D. Basile, M.H. ter Beek, and R. Pugliese, Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. arXiv:1707.08411v1 [cs.SE], 2019.
• M.H. ter Beek, A. Legay, A. Lluch Lafuente, and A. Vandin, A framework for quantitative modeling and analysis of highly (re)configurable systems. arXiv:1707.08411v1 [cs.SE], 2017.
• D. Basile, M.H. ter Beek, F. Di Giandomenico, S. Gnesi, P. Degano, G.L. Ferrari, and A. Legay, Controller Synthesis of Contract-based Service Product Lines: Extended Version. Technical Report 2017-TR-003, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2017.
• M.H. ter Beek, S. Gnesi, and A. Knapp (eds.), Research Ideas FMICS-AVoCS 2016. Technical Report 2016-TR-010, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2016.
• M.H. ter Beek, A. Legay, A. Lluch Lafuente, and A. Vandin, Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. Extended Version. QUANTICOL technical report TR-QC-05-2015, 2015.
• M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, A collection of models of a bike-sharing case study. QUANTICOL technical report TR-QC-07-2014, 2014.
• M.H. ter Beek and E.P. de Vink, Using mCRL2 for the Analysis of Software Product Lines (extended version). Technical Report CSR 14/02, Technische Universiteit Eindhoven, The Netherlands, 2014.
• M.H. ter Beek, S. Gnesi, and F. Mazzanti. Model Checking Value-Passing Modal Specifications. QUANTICOL technical report TR-QC-03-2013, 2013.
• M.H. ter Beek, S. Gnesi, and A. Fantechi, Chaining available tools to support the modelling and analysis of a bike-sharing product line: An experience report. QUANTICOL technical report TR-QC-02-2013, 2013.
• M.H. ter Beek and F. Mazzanti, Manual for Using the UMC Model of the Automotive Case Study. SENSORIA report, 2010.
• M.H. ter Beek and F. Mazzanti, Manual for Using the UMC Model of the Finance Case Study. SENSORIA report, 2010.
• 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.
  

Disclaimer

Most of the papers made available via my homepage have appeared in print and their copyright is often held by the publisher. Hence, while these papers can be used for personal academic use, their redistribution or reprinting for commercial purposes is prohibited.