Maurice ter Beek

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

Maurice H. ter Beek

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 ISTI-CNR in the MIUR-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
Editorial Board member of Formal Aspects of Computing: Applicable Formal Methods, from 2022
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
Steering Committee chair of FMICS: International Conference on Formal Methods for Industrial Critical Systems, from 2022
Steering Committee member of COORDINATION: IFIP WG 6.1 International Conference on Coordination Models and Languages, from 2022
Membro del comitato di indirizzo (Steering Committee member) di iFM: International Conference on integrated Formal Methods, dal 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 at the 26th International Conference on Model Driven Engineering Languages and Systems (MoDELS'23), Västerås, Sweden, 1 - 6 October 2023
PC member of FASE 2024: 27th International Conference on Fundamental Approaches to Software Engineering, Luxembourg, 6-13 April, 2024
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
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 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 chair of QAVS 2022: 3rd Workshop on Quantitative Aspects of Variant-rich Systems at ETAPS 2022, Munich, Germania, 3 April, 2022
PC chair of SPLC 2021: 25th International Systems and Software Product Line Conference, Leicester, UK, 6-10 September, 2021
PC chair of QAVS 2021: Second Workshop on Quantitative Aspects of Variant-rich Systems at ETAPS 2021, Luxembourg, 28 March, 2021
PC chair of FMICS 2020: 25th International Conference on Formal Methods for Industrial Critical Systems at QONFEST 2020, Vienna, Austria, 31 August - 5 September, 2020
PC chair of QAVS 2020: First Workshop on Quantitative Aspects of Variant-rich Systems at QONFEST 2020, Vienna, Austria, 31 August, 2020
Track chair of the X-by-Construction: Correctness meets Probability track at the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020), Rhodes, Greece, 26-30 October, 2020
Publicity chair of FSEN 2021: 9th International Conference on Fundamentals of Software Engineering - Theory and Practice, Tehran, Iran, 19-21 May, 2021
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
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 member of DT4BP 2022: 1st International Workshop on Digital Twin per Business Processes at the International Conference IEEE CyberSciTech / PICom / DASC / CBDCom 2022, Calabria, 12-15 September, 2022
PC member of DISCOLI 2022: 1st Workshop on DIStributed COLlective Intelligence, Bologna, Italy, 10-13 July, 2022
Organizer of the kick-off meeting of the project T-LADIES, ISTI-CNR, Pisa, 6-7 July, 2022
PC member of RSSRail 2022: 4th International Conference on Reliability, Safety and Security of Railway Systems, Paris, France, 1-2 June, 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 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
PC member of VaMoS 2021: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Krems, Austria, 9-11 February, 2021
PC member of SBMF 2020: 23rd Brazilian Symposium on Formal Methods a Ouro Preto, Brazil, 25-27 November, 2020
PC member of iFM 2020: 16th International Conference on integrated Formal Methods, Lugano, Switzerland, 16-20 November, 2020
PC member of MODEVAR 2020: 3rd International Workshop on Languages for Modelling Variability, Montréal, Canada, 19-23 October, 2020
PC member of SPLC 2020: 24th International Systems and Software Product Line Conference, Montréal, Canada, 19-23 October, 2020
PC member of SEFM 2020: 18th International Conference on Software Engineering and Formal Methods, Amsterdam, The Netherlands, 14-18 September, 2020
PC member of ABZ 2020: 7th International Conference on Rigorous State Based Methods, Ulm, Germany, 27-29 May, 2020
PC member of FormaliSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Korea, 25-26 May, 2020
Finance chair of REFSQ 2020: 26th International Working Conference on Requirements Engineering: Foundation for Software Quality, Pisa, Italy, 24-27 March, 2020
PC member of IWBOSE 2020: 3rd International Workshop on Emerging Trends in Software Engineering for Blockchain, London, Ontario, Canada, 18 February, 2020
PC member of VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg, Germany, 5-7 February, 2020

create your own visited map of the world

Board member of FME (Formal Methods Europe), from 2022
Local contact of ISTI-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 (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 51 countries (22.6%) I have visited so far...

Selected past projects and activities (recent)

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
Participating in the EU FP7-ICT-619583 project LearnPAd (Model-Based Social Learning for Public Administrations), 2014-2016
Participating in the EU FP7-ICT-600708 project QUANTICOL (A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours), 2013-2017
PC member of SBMF 2019: 22nd Brazilian Symposium on Formal Methods, São Paulo, Brazil, 27-29 November, 2019
PC member of REMEDY 2019: 2nd International Workshop on foRmal modEls for Mastering heterogeneous multifacEteD sYstems at the 9th International Conference on Model & Data Engineering (MEDI 2019), Toulouse, France, 28 October, 2019
PC member of MSE 2019: Workshop on Microservices: Science and Engineering, Innopolis, Russia, 14-19 October, 2019
Organizer of SG65: Colloquium in Honour of Stefania Gnesi, Porto, Portugal, 8 October, 2019
PC chair of FM 2019: 23rd International Symposium on Formal Methods, Porto, Portugal, 7-11 October, 2019
PC member of AVoCS 2019: 19th International Workshop on Automated Verification of Critical Systems, Grenoble, France, 30 September-1 October, 2019
PC member of SEFM 2019: 17th International Conference on Software Engineering and Formal Methods, Oslo, Norway, 16-20 September, 2019
PC member of the research papers and Data, Demonstrations e Tools tracks of SPLC 2019: 23rd International Systems and Software Product Line Conference, Paris, France, 9-13 September, 2019
PC member of Ctrl + Alt + Q 2019: 1st International Workshop on Control of Alternatives and Quality, Paris, France, 9-10 September, 2019
PC member of MODEVAR 2019: International Workshop on Languages for Modelling Variability, Paris, France, 9-10 September, 2019
PC member of FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems, Amsterdam, The Netherlands, 30-31 August, 2019
PC member of SPIN 2019: 26th SPIN Symposium on Model Checking of Software, Beijing, China, 15-19 July, 2019
PC member of SACLA 2019: 48th Annual Conference of the Southern African Computer Lecturers' Association, Northern Drakensberg, South Africa, 15-17 July, 2019
Workshop chair of DisCoTec 2019: 14th International Federated Conference on Distributed Computing Techniques, Lyngby, Denmark, 18-21 June, 2019
Publicity chair of FSEN 2019: 8th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, 1-3 May, 2019
PC member of FormaliSE 2019: 7th International Conference on Formal Methods in Software Engineering, Montréal, Canada, 27 May, 2019
PC member of NGPS 2019: Track on Next Generation Programming Paradigms and Systems at 34th ACM Symposium on Applied Computing (SAC 2019), Limassol, Cyprus, 8-12 April, 2019
PC member of FASE 2019: 22nd International Conference on Fundamental Approaches to Software Engineering, Prague, Czech Republic, 8-11 April, 2019
PC member of InterAVT 2019: Interactive Workshop on the Industrial Application of Verification and Testing, Prague, Czech Republic, 6/7 April, 2019
PC member of IWBOSE 2019: 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, Hangzhou, Cina, 24 February, 2019
PC member of VaMoS 2019: 13th International Workshop on Variability Modeling of Software-Intensive Systems, Leuven, Belgium, 6-8 February, 2019
Track chair of the X-by-Construction track at the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Limassol, Cyprus, 5-9 November, 2018
PC member of the research papers, Journal-First and Data, Demonstrations e Tools tracks of SPLC 2018: 22nd International Systems and Software Product Line Conference, Gothenburg, Sweden, 10-14 September, 2018
PC member of FMICS 2018: 23rd International Conference on Formal Methods for Industrial Critical Systems, Maynooth University, Ireland, 3-4 September, 2018
PC member of AVoCS 2018: 18th International Workshop on Automated Verification of Critical Systems, Oxford, UK, 18-19 July, 2018
PC member of the Doctoral Symposium of FM 2018: 22nd International Symposium on Formal Methods, Oxford, UK, 15-17 July, 2018
Workshop Chair of FM 2018: 22nd International Symposium on Formal Methods, Oxford, UK, 15-17 July, 2018
PC member of SEFM 2018: 16th International Conference on Software Engineering and Formal Methods, Toulouse, France, 27-29 June, 2018
PC member of FormaliSE 2018: Conference on Formal Methods in Software Engineering, Gothenburg, Sweden, 2 June, 2018
PC member of ICSR 2018: 17th International Conference on Software Reuse, Madrid, Spain, 21-23 May, 2018
PC member of SOAP 2018: Service Oriented Architectures and Programming track of the 33rd ACM Symposium on Applied Computing (SAC 2018) a Pau, France, 9-13 April, 2018
Track chair of CAS 2018: Collective Adaptive Systems track of the 33rd ACM Symposium on Applied Computing (SAC 2018), Pau, France, 9-13 April, 2018
PC member of IWBOSE 2018: 1st International Workshop on Blockchain Oriented Software Engineering, Campobasso, Italy, 19 March, 2018
PC member of VaMoS 2018: 12th International Workshop on Variability Modeling of Software-Intensive Systems, Madrid, Spain, 7-9 February, 2018
Data, Demonstrations and Tools chair of SPLC 2017: 21st International Systems and Software Product Line Conference, Sevilla, Spain, 25-29 September, 2017
PC member of SPLC 2017: 21st International Systems and Software Product Line Conference, Sevilla, Spain, 25-29 September, 2017
PC member of FMICS-AVoCS 2017: International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Torino, Italy, 18-20 September, 2017
PC member of ICSR 2017: 16th International Conference on Software Reuse, Salvador, Brazil, 29-31 May, 2017
Track chair of SOAP 2017: Service Oriented Architectures and Programming track of the 32nd ACM Symposium on Applied Computing (SAC 2017), Marrakech, Morocco, 3-7 April, 2017
PC chair of VaMoS 2017: 11th International Workshop on Variability Modeling of Software-Intensive Systems, Eindhoven, The Netherlands, 1-3 February, 2017
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, as of November 2003. Coordinator 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
Teaching assistant for Software Engineering at the Department of Computer Science of the University of Pisa in Pisa, Italy, 2007
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

Complete: 1994 - present
Per year: 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994

Selected publications (all publications)

A. Ferrari and M.H. ter Beek, Formal Methods in Railways: A Systematic Mapping 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, 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.

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.
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 International Conference on Formal Methods in Software Engineering (FormaliSE'23), IEEE, 2023.
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 22, 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.
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.
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.
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, and A. Legay, Timed Service Contract Automata. Innovations in Systems and Software Engineering 16, 2 (2020), 199 - 214.
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!)
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.
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 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.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 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, 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.
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 and J. Kleijn, Shuffles and Synchronized Shuffles: A Survey. In Discrete Mathematics and Computer Science (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 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 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, 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.
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, 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, 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, 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, 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

U got 2 find the answers 2 the questions that U most fear

Think! It ain't illegal yet!

Funkadelic

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.

This site is administered by Maurice ter Beek.