Maurice H. ter Beek

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 104

Top Venues

ISoLA (1)

CoRR

Int. J. Softw. Tools Technol. Transf.

Leiden University (PHD)

Education History

Leiden University

PHD

Publications

Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani
Product lines of dataflows. J. Syst. Softw. 210 (2024)
Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. ICPC (2023)
Davide Basile, Maurice H. ter Beek
Research Challenges in Orchestration Synthesis. CoRR (2023)
Maurice H. ter Beek, Ina Schaefer
Systems and software product lines of the future. J. Syst. Softw. 199 (2023)
Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau
Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR (2023)
Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia
A toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Alessio Ferrari, Maurice H. ter Beek
Formal Methods in Railways: A Systematic Mapping Study. ACM Comput. Surv. 55 (4) (2023)
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM (2023)
Maurice H. ter Beek, Rolf Hennicker, José Proença
Realisability of Global Models of Interaction. ICTAC (2023)
Davide Basile, Maurice H. ter Beek
A Runtime Environment for Contract Automata. FM (2023)
Davide Basile, Maurice H. ter Beek
A Runtime Environment for Contract Automata. CoRR (2022)
Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Trans. Software Eng. 48 (11) (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27 (1) (2022)
Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
An Experimental Toolchain for Strategy Synthesis with Spatial Properties. ISoLA (3) (2022)
Davide Basile, Maurice H. ter Beek
Contract Automata Library. Sci. Comput. Program. 221 (2022)
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Maurice H. ter Beek, Alessio Ferrari
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. CoRR (2022)
Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari
Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News 2022 (131) (2022)
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Sci. Comput. Program. 224 (2022)
Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27 (7) (2022)
Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer
X-by-Construction Meets Runtime Verification. ISoLA (1) (2022)
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Featured Team Automata. FM (2021)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt
Static analysis and family-based model checking with VMC. SPLC (A) (2021)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR (2021)
Alessio Ferrari, Maurice H. ter Beek
Formal Methods in Railways: a Systematic Mapping Study. CoRR (2021)
Annabelle McIver, Maurice H. ter Beek
Editorial. Formal Aspects Comput. 33 (4-5) (2021)
Davide Basile, Maurice H. ter Beek
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. COORDINATION (2021)
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
Spatial Model Checking for Smart Stations - Research Challenges. FMICS (2021)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE (2021)
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Featured Team Automata. CoRR (2021)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt
Static analysis and family-based model checking of featured transition systems with VMC. SPLC (B) (2021)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. CoRR (2021)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109 (2021)
Maurice H. ter Beek, Annabelle McIver
Formal methods: practical applications and foundations. Formal Methods Syst. Des. 58 (1-2) (2021)
Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
Compositionality of Safe Communication in Systems of Team Automata. ICTAC (2020)
Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
Team Automata@Work: On Safe Communication. COORDINATION (2020)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) (2020)
Davide Basile, Maurice H. ter Beek, Axel Legay
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE (2020)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) (2020)
Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse
Family-Based SPL Model Checking Using Parity Games with Variability. FASE (2020)
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Log. Methods Comput. Sci. 16 (2) (2020)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS (2020)
Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) (2020)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi
Comparing formal tools for system design: a judgment study. ICSE (2020)
Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol
The 2020 Expert Survey on Formal Methods. FMICS (2020)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187 (2020)
Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg
Preface. Fundam. Informaticae 175 (1-4) (2020)
Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson
X-by-Construction - Correctness Meets Probability. ISoLA (1) (2020)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. 46 (3) (2020)
Davide Basile, Maurice H. ter Beek, Axel Legay
Timed service contract automata. Innov. Syst. Softw. Eng. 16 (2) (2020)
Maurice H. ter Beek, Klaus Schmid, Holger Eichelberger
Textual variability modeling languages: an overview and considerations. SPLC (B) (2019)
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. From Software Engineering to Formal Methods and Tools, and Back (2019)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169 (2019)
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. CoRR (2019)
Maurice H. ter Beek, Axel Legay
Quantitative Variability Modeling and Analysis. VaMoS (2019)
Maurice H. ter Beek, Axel Legay
Quantitative variability modelling and analysis. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION (2019)
Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM (2019)
Stefania Gnesi, Maurice H. ter Beek
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Static analysis of featured transition systems. SPLC (A) (2019)
Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail (2019)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM (2019)
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. FMICS (2019)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM (2019)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM (2018)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC (2018)
Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson
X-by-Construction. ISoLA (1) (2018)
Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez
Orchestration Synthesis for Real-Time Service Contracts. VECoS (2018)
Maurice H. ter Beek
Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems". ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM (2018)
Maurice H. ter Beek, Michele Loreti
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Davide Basile, Maurice H. ter Beek, Stefania Gnesi
Modelling and analysis with featured modal contract automata. SPLC (2) (2018)
Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. ISoLA (2) (2018)
Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno
Formal Methods for the Railway Sector. ERCIM News 2018 (112) (2018)
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Formal methods and automated verification of critical systems. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta (2018)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR (2017)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) (2017)
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
Family-Based Model Checking with mCRL2. FASE (2017)
Maurice H. ter Beek, Alberto Lluch-Lafuente
Automated specification and verification of Web-based applications. J. Log. Algebraic Methods Program. 87 (2017)
Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
Communication Requirements for Team Automata. COORDINATION (2017)
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE (2016)
Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer
Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) (2016)
Maurice H. ter Beek, Dave Clarke, Ina Schaefer
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. 85 (1) (2016)
Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
Conditions for Compatibility of Components - The Case of Masters and Slaves. ISoLA (1) (2016)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) (2016)
Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara
Automated verification of programs and Web systems. J. Log. Algebraic Methods Program. 85 (5) (2016)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Statistical Model Checking for Product Lines. ISoLA (1) (2016)
Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink
Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) (2016)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. 85 (2) (2016)
Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News 2015 (102) (2015)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Using FMC for family-based analysis of software product lines. SPLC (2015)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. Software, Services, and Systems (2015)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC (2015)
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops (2015)

Maurice H. ter Beek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maurice H. ter Beek