Publications of Maurice ter Beek

Refereed Journal Papers
Edited Volumes
Refereed Book Contributions
Refereed Conference and Workshop Papers
Theses
Miscellaneous Publications
Technical Reports
Disclaimer

Refereed Journal Papers

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 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, 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. Lluch Lafuente, and A. Vandin, 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.

Edited Volumes

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 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.

Refereed Book Contributions

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.

Refereed Conference and Workshop Papers

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, Cham, 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, Cham, 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, Cham, 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, Cham, 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, Cham, 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, Cham, 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, 351 - 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), Paris, France (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'11), München, Germany, 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, 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 Proceedings 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.

Theses

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.

Miscellaneous Publications

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 - 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 - 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. In Proceedings of the Posters & Tool demos Session 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 (F. Mazzanti and G. Trentanni, eds.), FMT, ISTI-CNR, Pisa, Italy, 2012, 26 - 30.
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.

Technical Reports

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.

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.

Sito gestito da Maurice ter Beek.