Maurice ter Beek

Contact information Current projects Past projects Curriculum vitae
Scientific curriculum vitae Publications Quote Disclaimer and Acknowledgements Contact information

Formal Methods and Tools Group
Istituto di Scienza e Tecnologie dell'Informazione
Consiglio Nazionale delle Ricerche
Area della Ricerca di Pisa
Via G. Moruzzi 1
56124 Pisa
Italy

Office phone: +39-050-6213471
Office fax: +39-050-3152040

Current projects and activities

• Scientific coordinator of the research unit CNR-ISTI in the MUR-PRIN PNRR 2022 project ADVENTURE (ADVancEd iNtegraTed evalUation of Railway systEms), 2023-2026
• Scientific coordinator for the CNR (for the involved institutes ISTI and STIIMA) and WP leader in the NextGenerationEU PNRR project CN MOST (National Sustainable Mobility Centre) Spoke 4: Rail Transportation, 2022-2026
• Editor-in-Chief of Formal Aspects of Computing: Applicable Formal Methods, from 2025
• Editorial Board member of International Journal on Software Tools for Technology Transfer, from 2021
• Editorial Board member of Journal of Logical and Algebraic Methods in Programming, from 2020
• Editorial Board member of PeerJ Computer Science, from 2019
• Editorial Board member of Science of Computer Programming, from 2018
• Editorial Board member of ERCIM News, from 2016
• Steering Committee chair of FMICS: International Conference on Formal Methods for Industrial Critical Systems, from 2022
• Steering Committee member of ETAPS: European Joint Conferences on Theory & Practice of Software, from 2023
• Steering Committee member of COORDINATION: IFIP WG 6.1 International Conference on Coordination Models and Languages, from 2022
• Steering Committee member of iFM: International Conference on integrated Formal Methods, from 2022.
• Steering Committee member of SPLC: Systems and Software Product Line Conference, from 2018
• Steering Committee member of VaMoS: International Workshop on Variability Modeling of Software-Intensive Systems, 2018-2022
• Keynote titled Formal Methods and Tools applied in the railway domain at the 10th International Conference on Rigorous State Based Methods (ABZ'24), Bergamo, 25-28 Giugno, 2024. (abstract,slides)
• Keynote titled Models for formal methods and tools: the case of railway systems at the 26th International Conference on Model Driven Engineering Languages and Systems (MoDELS'23), Västerås, Sweden, 4 October, 2023. (abstract,slides)
• PC member) of FSEN 2027: 12th International Conference on Fundamentals of Software Engineering, Enschede, The Netherlands, 24-25 May, 2027
• PC member of iFS 2027: International Conference on Foundations and Formal Methods for Software and Systems, Copenhagen, Denmark, 12-16 April, 2027
• PC member of ICTAC 2026: 23rd International Colloquium on Theoretical Aspects of Computing, Bariloche, Argentina, 11-13 November, 2026
• PC member of VARIABILITY 2026: International Conference on Software and Systems Reuse, Product Lines, and Configuration, Limassol, Cyprus, 29 September - 2 October, 2026
• PC member of GSW 2026: Grammar Systems Workshop, Trier, Germany, 30-31 July, 2026
• PC member of COORDINATION 2026: 28th IFIP WG 6.1 International Conference on Coordination Models and Languages, Urbino, Italy, 9-11 June, 2026
• PC member of the research papers track and tutorials track of FM 2026: 27th International Symposium on Formal Methods, Tokyo, Japan, 20-22 May, 2026
• PC member of ABZ 2026: 12th International Conference on Rigorous State Based Methods, Tokyo, Japan, 18-20 May, 2026
• PC member of FormaliSE 2026: 14th International Conference on Formal Methods in Software Engineering, Rio de Janeiro, Brazil, 12-13 April, 2026
• General chair of ETAPS 2026: 29th International Joint Conferences on Theory and Practice of Software, Torino, 11-16 April, 2026
• PC chair of SBMF 2025: 28th Brazilian Symposium on Formal Methods, Recife, Brazil, 1-5 December, 2025
• PC chair of RSSRail 2025: 6th International Conference on Reliability, Safety and Security of Railway Systems, Pisa, 26-28 November, 2025
• General chair of RSSRail 2025: 6th International Conference on Reliability, Safety and Security of Railway Systems, Pisa, 26-28 November, 2025
• PC member of ICTAC 2025: 22nd International Colloquium on Theoretical Aspects of Computing, Marrakech, Morocco, 24-28 November, 2025
• PC member of iFM 2025: 20th International Conference on integrated Formal Methods, Paris, France, 19-21 November, 2025
• PC member of MODEVAR 2025: 8th International Workshop on Languages for Modelling Variability, La Coruña, Spain, 1 September, 2025
• PC member of SPLC 2025: 29th International Conference on Systems and Software Product Line, La Coruña, Spain, 1-5 September, 2025
• PC member of COORDINATION 2025: 27th International Conference on Coordination Models and Languages, Lille, France, 17-19 June, 2025
• PC member of ABZ 2025: 11th International Conference on Rigorous State Based Methods, Düsseldorf, Germany, 10-13 June, 2025
• PC member of SBMF 2024: 27th Brazilian Symposium on Formal Methods, Vitória, Brazil, 4-6 December, 2024
• PC member of ICFEM 2024: 25th International Conference on Formal Engineering Methods, Hiroshima, Japan, 2-6 December, 2024
• PC member of ICTAC 2024: 21st International Colloquium on Theoretical Aspects of Computing, Bangkok, Thailand, 25-29 November, 2024
• PC member of iFM 2024: 19th International Conference on integrated Formal Methods, Manchester, UK, 13-15 November, 2024
• Membro del comitato di programma (PC member) del Tutorial Papers track di FM 2024: ventiseiesimo simposio internazionale su Formal Methods, Milan, 9-13 September, 2024
• PC member of MODEVAR 2024: 7th International Workshop on Languages for Modelling Variability, Luxembourg, 2-6 September, 2024
• Doctoral Symposium Chair of SPLC 2024: 28th International Systems and Software Product Line Conference, Luxembourg, 2-6 September, 2024
• PC member of SPLC 2024: 28th International Systems and Software Product Line Conference, Luxembourg, 2-6 September, 2024
• PC member of ABZ 2024: 10th International Conference on Rigorous State Based Methods, Bergamo, Italy, 25-28 June, 2024
• PC member of FASE 2024: 27th International Conference on Fundamental Approaches to Software Engineering, Luxembourg, 6-13 April, 2024
• PC member of VaMoS 2024: 18th International Working Conference on Variability Modelling of Software-Intensive Systems, Bern, Switzerland, 7-9 February, 2024
• PC member of MODEVAR 2024: 6th International Workshop on Languages for Modelling Variability, Bern, Switzerland, 6 February, 2024

• Board member of FME (Formal Methods Europe), from 2022
• Local contact of CNR-CNR for the Italian Chapter of the EATCS (European Association for Theoretical Computer Science), from 2013
• Faculty member of the joint PhD program in Smart Computing of the Universities of Florence, Pisa, and Siena, from 2015
• Member (elected by ISTI's research staff) of ISTI's Institute Council (Consiglio di Istituto), from 2023
• Member (appointed by the Director of ISTI, representing ISTI's Software area) of the working group "ISTI Open Access", from 2015
• Promoting Team Automata
• Travel the world ☺ — on the right is a map of the world with the 57 countries (26.27%) I have visited so far...

Selected past projects and activities (recent)

• Scientific coordinator of the research unit CNR-ISTI in the MUR-PRIN 2020 project T-LADIES (Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems), 2022-2025
• Participating in the POR-FESR-2014-2020 project SmaRIERS (Smart Railway Infrastructures: Efficiency, Reliability and Safety), 2021-2023
• Participating in the EU H2020-Shift2Rail-RIA-881775 project 4SECURail (Formal methods and CSIRT for the railway sector), 2019-2021
• Participating as WP leader in the MIUR-PRIN 2017 project IT MaTTerS: Methods and Tools for Trustworthy Smart Systems, 2019-2023
• Participating in the POR-FESR-2014-2020 project STINGRAY (SmarT station INtelliGent RAilwaY), 2018-2021
• Participating in the EU H2020-Shift2Rail-RIA-777561 project ASTRail (SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation), 2017-2019
• Editorial Board member of Formal Aspects of Computing: Applicable Formal Methods, 2022-2025
• PC member of SBMF 2023: 26th Brazilian Symposium on Formal Methods, Manaus, Brazil, 4-8 December, 2023
• PC member of iFM 2023: 18th International Conference on integrated Formal Methods, Leiden, The Netherlands, 13-15 November, 2023
• PC member of RSSRail 2023: 5th International Conference on Reliability, Safety and Security of Railway Systems, Berlin, Germany, 10-12 October, 2023
• General chair of SPLC 2023: 27th International Conference on Systems and Software Product Line, Tokyo, Japan, 28 August - 1 September, 2023
• PC member of COORDINATION 2023: 24th IFIP WG 6.1 International Conference on Coordination Models and Languages, Lisbon, Portugal, 19-23 June, 2023
• PC member of ICECCS 2023: 27th International Conference on Engineering of Complex Computer Systems, Toulouse, France, 12-16 June, 2023
• PC member of ABZ 2023: 9th International Conference on Rigorous State Based Methods, Nancy, France, 30 May-2 June, 2023
• Publicity chair of FSEN 2023: 10th International Conference on Fundamentals of Software Engineering - Theory and Practice, Tehran, Iran, 4-5 May, 2023
• PC chair of TiCSA 2023: 1st workshop on Trends in Configurable Systems Analysis at ETAPS 2023, Paris, France, 23 April, 2023
• PC member of VaMoS 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems, Odense, Denmark, 25-27 January, 2023
• PC member of SBMF 2022: 25th Brazilian Symposium on Formal Methods, online, 5-9 December, 2022
• Track chair of the X-by-Construction Meets Runtime Verification track at the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022), Rhodes, Greece, 24-28 October, 2022
• PC member of FMICS 2022: 27th International Conference on Formal Methods for Industrial Critical Systems, Warsaw, Poland, 14-16 September, 2022
• PC member of the research papers track of SPLC 2022: 26th International Conference on Systems and Software Product Line, Graz, Austria, 12-16 September, 2022
• PC member of the Doctoral Symposium of SPLC 2022: 26th International Conference on Systems and Software Product Line, Graz, Austria, 12-16 September, 2022
• PC member of MODEVAR 2022: 5th International Workshop on Languages for Modelling Variability, Graz, Austria, 12-16 September, 2022.
• PC chair of COORDINATION 2022: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, Lucca, Italy, 13-17 June, 2022
• PC chair of iFM 2022: 17th International Conference on integrated Formal Methods, Lugano, Switzerland, 7-10 June, 2022
• PC member of RSSRail 2022: 4th International Conference on Reliability, Safety and Security of Railway Systems, Paris, France, 1-2 June, 2022
• PC chair of QAVS 2022: 3rd Workshop on Quantitative Aspects of Variant-rich Systems at ETAPS 2022, Munich, Germania, 3 April, 2022
• PC member of FormaliSE 2022: 10th International Conference on Formal Methods in Software Engineering, Pittsburgh, PA, USA, 22-23 May, 2022
• PC member of SBMF 2021: 24th Brazilian Symposium on Formal Methods, Campina Grande, Brazil, 6-10 December, 2021
• PC member of αFM 2021: 1st International Workshop on Applicable Formal Methods, Beijing, China, 20-26 November, 2021
• PC member of FM 2021: 24th International Symposium on Formal Methods, Beijing, China, 20-26 November, 2021
• PC member of RSSRail 2021: 4th International Conference on Reliability, Safety and Security of Railway Systems, Paris, France, 15-16 November, 2021
• PC member of ICTAC 2021: 18th International Colloquium on Theoretical Aspects of Computing, Nur-Sultan, Kazakhstan, 6-10 September, 2021
• PC member of the Doctoral Symposium of SPLC 2021: 25th International Systems and Software Product Line Conference, Leicester, UK, 6-10 September, 2021
• PC member of MODEVAR 2021: 4th International Workshop on Languages for Modelling Variability, Leicester, UK, 6-10 September, 2021
• PC member of the Doctoral Symposium at SPLC 2021: 25th International Systems and Software Product Line Conference, Leicester, UK, 6-10 September, 2021
• PC chair of SPLC 2021: 25th International Systems and Software Product Line Conference, Leicester, UK, 6-10 September, 2021
• PC member of FMICS 2021: 26th International Conference on Formal Methods for Industrial Critical Systems, Paris, France, 23-27 August, 2021
• PC member of SPIN 2021: 27th SPIN symposium on Model Checking of Software, Aarhus, Denmark, 14-15 July, 2021
• PC member of COORDINATION 2021: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Valletta, Malta, 14-18 June, 2021
• PC member of FORTE 2021: 41st IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems, Valletta, Malta, 14-18 June, 2021
• PC member of ABZ 2021: 8th International Conference on Rigorous State Based Methods, Ulm, Germany, 7-11 June, 2021
• PC member of FormaliSE 2021: 9th International Conference on Formal Methods in Software Engineering, Madrid, Spain, 23-24 May, 2021
• Publicity chair of FSEN 2021: 9th International Conference on Fundamentals of Software Engineering - Theory and Practice, Tehran, Iran, 19-21 May, 2021
• PC chair of QAVS 2021: Second Workshop on Quantitative Aspects of Variant-rich Systems at ETAPS 2021, Luxembourg, 28 March, 2021
• PC member of VaMoS 2021: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Krems, Austria, 9-11 February, 2021
• Maintaining the Bibliography of Team Automata (also available in BibTeX or pdf format)
• Teaching the PhD courses Modelling and Analysis of Variability in Software Product Lines and Quantitative Modelling and Analysis of Variability in Highly Configurable Systems of the joint PhD program in Smart Computing of the Universities of Florence, Pisa, and Siena, 2017 and 2019
• Member (elected by ISTI's research staff) of ISTI's Institute Council (Consiglio di Istituto), from 2015 to 2019

Brief curriculum vitae (detailed versions in and )

General

• Born: October 7, 1972 in 's-Gravenhage, The Netherlands
  
• Citizenship: Dutch
  
• Languages: Dutch (mother language), English (fluent), Italian (fluent), German (advanced), Hungarian (basic), and French (beginner)

Employment and Education

• Senior Researcher at the Formal Methods and Tools (FMT) Lab of the Institute of Information Science and Technologies (ISTI) of the Italian National Research Council (CNR) in Pisa, Italy, affiliated since November 2003. Head of the FMT Lab as of August 2019.
• Guest researcher at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, The Netherlands, with a Short-Term Mobility grant of the CNR, July 2015
• Lecturer for the B.Sc. courses Software Engineering, Studievaardigheden, and Requirements Engineering at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, The Netherlands, 2012-2013
• Sabbatical stay at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, The Netherlands, 2012-2013
• SegraVis fellow at the FOrmal Techniques in Software engineering research group of the Department of Mathematics and Computer Science of the University of Antwerp in Antwerp, Belgium, under the local supervision of Prof.dr. D. Janssens, January 2005 and August 2005
• Obtained Ph.D. degree in Computer Science at Leiden University, The Netherlands, with Ph.D. thesis Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components with promotor Prof.dr. G. Rozenberg, copromotor Dr. H.C.M. Kleijn, and referent Prof.dr. C.A. Ellis, 2003
• ERCIM fellow at the Formal Methods and Tools Group of the Institute of Information Science and Technologies (ISTI) of the Italian National Research Council (CNR) in Pisa, Italy, under the local supervision of Dott.ssa S. Gnesi, 2003
• ERCIM fellow at the Theoretical Computer Science Research Group of the Computer and Automation Research Institute of the Hungarian Academy of Sciences in Budapest, Hungary, under the local supervision of Dr. E. Csuhaj-Varjú, 2002
• Lecturer within the LIACS at Leiden University, The Netherlands, 2001
• Research for Ph.D. thesis partly done (with a Socrates grant of 8 months from the European Union) in the Research Group on Algorithms and Data Structures at the Department of Computer Science of the University of Pisa in Pisa, Italy, 2000-2001
• Ph.D. student in the Theoretical Computer Science group of Prof.dr. G. Rozenberg within the LIACS at Leiden University, The Netherlands, 1996-2001
• Graduated in Theoretical Computer Science in the Theoretical Computer Science group within the LIACS at Leiden University, The Netherlands, with Master's thesis Teams in grammar systems under the local supervision of Prof.dr. G. Rozenberg and Dr. H.C.M. Kleijn, 1996
• Research for Master's thesis completed (with a cultural exchange scholarship of 9 months from the Hungarian Ministry of Culture and Education) in the Combinatorial Computer Science Research Group at the Computer and Automation Research Institute of the Hungarian Academy of Sciences in Budapest, Hungary, under the local supervision of Dr. E. Csuhaj-Varjú, 1995-1996
• Studied (with a cultural exchange scholarship of 9 months from the Hungarian Ministry of Culture and Education) at the Department of General Computer Science of the Eötvös Loránd University in Budapest, Hungary, 1995-1996
• Studied Computer Science within the Leiden Institute of Advanced Computer Science (LIACS) at Leiden University, The Netherlands, 1990-1996

Scientific curriculum vitae

Selected publications (all publications)

• 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 (2026).
• 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.
• M. ter Beek, M. Broy, and B. Dongol, The Role of Formal Methods in Computer Science Education. ACM Inroads 15, 4 (2024), 58 - 66.
• A. Ferrari and M.H. ter Beek, Formal Methods in Railways: A Systematic Mapping Study. ACM Computing Surveys 55, 4 (2023), 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, A. Legay, A. Lluch Lafuente, and A. Vandin, Quantitative Security Risk Modeling and Analysis with RisQFLan. Computers & Security 109 (2021).
• 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, Cham, 2020, 3 - 69.
• 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.

• 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 , Springer, Cham, 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).
• 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).
• D. Basile and M.H. ter Beek, Advancing orchestration synthesis for contract automata. Journal of Logical and Algebraic Methods in Programming 141 (2024).
• 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.
• 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).
• 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, 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.
• 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.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, 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 - 205.
• 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.
• 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.
• 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.
• 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.
• 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. 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, F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini, Static Analysis of Featured Transition Systems. Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC'19), Paris, France, ACM Press, New York, 2019, 39 - 51. (best paper!)
• 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.
• 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 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, F. Mazzanti, and A. Sulova, VMC: A Tool for Product Variability Analysis. In Proceedings of the 18th International Symposium on Formal Methods (FM'12), Paris, France (D. Giannakopoulou and D. Méry, eds.), Lecture Notes in Computer Science 7436, Springer, Berlin, 2012, 450 - 454.
• 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, 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. 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. (best paper!)
• 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, 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, 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, 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.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.

Quote

Disclaimer and acknowledgements

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.

The rotating images on the top of my homepage have been created with Wordle, while the rotating JavaScript has been freely provided by The JavaScript Source.

Dashboard