Maurice H. ter Beek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
89
Venues
21
Active years
2001–2026
Best venue rank
A*
Where they publish
- BSPLC22 papers
- CISoLA20 papers
- BFM8 papers
- CCoordination6 papers
- BIFM5 papers
- A*ICSE5 papers
- CFMICS4 papers
- CFORTE3 papers
- CICTAC2 papers
- BFASE2 papers
- BSEFM2 papers
- ADSN1 paper
- BREFSQ1 paper
- CVECoS1 paper
- CSEW1 paper
- Journal PublishedEICS1 paper
- BInteract1 paper
- MulticonferenceSAC1 paper
- CICIW1 paper
- CDLT1 paper
- BECSCW1 paper
Papers
89 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Asynchronous Team Automata. | Davide Basile, Maurice H. ter Beek, Jos Proena |
| 2025 | Coordination | RebeCaos. | Jos Proena, Maurice H. ter Beek |
| 2025 | DSN | Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. | Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera, Matteo Pinasco |
| 2025 | SPLC | Comparing the Universal Variability Language with other Textual Variability Modeling Languages. | Maurice H. ter Beek, Klaus Schmid, Holger Eichelberger |
| 2025 | SPLC | Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2025 | SPLC | Analysing Self-Adaptive Systems as Software Product Lines. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2024 | Coordination | Team Automata: Overview and Roadmap. | Maurice H. ter Beek, Rolf Hennicker, Jos Proena |
| 2024 | ISoLA | An Integrated Perspective on the Evaluation of Complex Railway Systems. | Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori |
| 2024 | ISoLA | X-by-Construction Meets AI. | Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer |
| 2024 | ISoLA | Can AI Help with the Formalization of Railway Cybersecurity Requirements? | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi |
| 2024 | REFSQ | Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. | Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari |
| 2024 | SPLC | Product lines of dataflows. | Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani |
| 2023 | FM | A Runtime Environment for Contract Automata. | Davide Basile, Maurice H. ter Beek |
| 2023 | FM | Can We Communicate? Using Dynamic Logic to Verify Team Automata. | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena |
| 2023 | ICTAC | Realisability of Global Models of Interaction. | Maurice H. ter Beek, Rolf Hennicker, Jos Proena |
| 2023 | IFM | Formal Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2022 | ISoLA | An Experimental Toolchain for Strategy Synthesis with Spatial Properties. | Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia |
| 2022 | ISoLA | X-by-Construction Meets Runtime Verification. | Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer |
| 2022 | ISoLA | Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. | 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 |
| 2021 | Coordination | A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. | Davide Basile, Maurice H. ter Beek |
| 2021 | FM | Featured Team Automata. | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena |
| 2021 | FMICS | Spatial Model Checking for Smart Stations - Research Challenges. | Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo |
| 2021 | FORTE | Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. | Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico |
| 2021 | SPLC | Static analysis and family-based model checking with VMC. | Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt |
| 2021 | SPLC | Static analysis and family-based model checking of featured transition systems with VMC. | Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfr, Michael Lienhardt |
| 2020 | Coordination | Team Automata@Work: On Safe Communication. | Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
| 2020 | FASE | Family-Based SPL Model Checking Using Parity Games with Variability. | Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse |
| 2020 | FMICS | The 2020 Expert Survey on Formal Methods. | Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol |
| 2020 | FORTE | Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. | Davide Basile, Maurice H. ter Beek, Axel Legay |
| 2020 | ICSE | Comparing formal tools for system design: a judgment study. | Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi |
| 2020 | ICTAC | Compositionality of Safe Communication in Systems of Team Automata. | Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
| 2020 | ISoLA | Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini |
| 2020 | ISoLA | 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Mbius and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo |
| 2020 | ISoLA | X-by-Construction - Correctness Meets Probability. | Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson |
| 2020 | SPLC | Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. | Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay |
| 2019 | Coordination | Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. | Davide Basile, Maurice H. ter Beek, Rosario Pugliese |
| 2019 | FM | Adopting Formal Methods in an Industrial Setting: The Railways Case. | Maurice H. ter Beek, Arne Borlv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Lfving, Franco Mazzanti |
| 2019 | FMICS | Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay |
| 2019 | IFM | Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2019 | IFM | Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2019 | SPLC | Static analysis of featured transition systems. | Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini |
| 2019 | SPLC | Textual variability modeling languages: an overview and considerations. | Maurice H. ter Beek, Klaus Schmid, Holger Eichelberger |
| 2018 | FM | QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. | Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente |
| 2018 | IFM | On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari |
| 2018 | ISoLA | Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. | Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia |
| 2018 | ISoLA | X-by-Construction. | Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson |
| 2018 | SPLC | Modelling and analysis with featured modal contract automata. | Davide Basile, Maurice H. ter Beek, Stefania Gnesi |
| 2018 | SPLC | Product line models of large cyber-physical systems: the case of ERTMS/ETCS. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2018 | VECoS | Orchestration Synthesis for Real-Time Service Contracts. | Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez |
| 2017 | Coordination | Communication Requirements for Team Automata. | Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn |
| 2017 | FASE | Family-Based Model Checking with mCRL2. | Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse |
| 2017 | SPLC | Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi |
| 2016 | ISoLA | Conditions for Compatibility of Components - The Case of Masters and Slaves. | Maurice H. ter Beek, Josep Carmona, Jetty Kleijn |
| 2016 | ISoLA | Variability-Based Design of Services for Smart Transportation Systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2016 | ISoLA | Correctness-by-Construction and Post-hoc Verification: Friends or Foes? | Maurice H. ter Beek, Reiner Hhnle, Ina Schaefer |
| 2016 | ISoLA | Statistical Model Checking for Product Lines. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2016 | ISoLA | Supervisory Controller Synthesis for Product Lines Using CIF 3. | Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink |
| 2015 | SEFM | From Featured Transition Systems to Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2015 | SEFM | Towards Automatic Decision Support for Bike-Sharing System Design. | Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink |
| 2015 | SPLC | Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2015 | SPLC | Using FMC for family-based analysis of software product lines. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2015 | SPLC | Statistical analysis of probabilistic models of software product lines with quantitative constraints. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2014 | ICSE | Using mCRL2 for the analysis of software product lines. | Maurice H. ter Beek, Erik P. de Vink |
| 2014 | ISoLA | Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2014 | ISoLA | Towards Modular Verification of Software Product Lines with mCRL2. | Maurice H. ter Beek, Erik P. de Vink |
| 2014 | ISoLA | Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). | Ina Schaefer, Maurice H. ter Beek |
| 2014 | SPLC | VMC: recent advances and challenges ahead. | Maurice H. ter Beek, Franco Mazzanti |
| 2014 | SPLC | Software product line analysis with mCRL2. | Maurice H. ter Beek, Erik P. de Vink |
| 2013 | SPLC | Combining declarative and procedural views in the specification and analysis of product families. | Maurice H. ter Beek, Alberto Lluch-Lafuente, Marinella Petrocchi |
| 2013 | SPLC | Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. | Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee |
| 2012 | FM | VMC: A Tool for Product Variability Analysis. | Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova |
| 2012 | ISoLA | A Compositional Framework to Derive Product Line Behavioural Descriptions. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2012 | SPLC | Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. | Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong |
| 2012 | SPLC | Demonstration of a model checker for the analysis of product variability. | Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti |
| 2011 | FORTE | A Model-Checking Tool for Families of Services. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2011 | ICSE | Design and validation of variability in product lines. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2011 | SEW | Variability and Rigour in Service Computing Engineering. | Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Jos Luiz Fiadeiro |
| 2011 | SPLC | Formal Description of Variability in Product Families. | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
| 2010 | IFM | A Logical Framework to Deal with Variability. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2009 | EICS | A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. | Philippe A. Palanque, Marco Winckler, Jean-Franois Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink |
| 2009 | Interact | Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. | Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler |
| 2009 | SAC | CMC-UMC: a framework for the verification of abstract service-oriented properties. | Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi |
| 2008 | ICSE | Formal verification of an automotive scenario in service-oriented computing. | Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti |
| 2007 | FMICS | An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2007 | ICIW | Web Service Composition Approaches: From Industrial Standards to Formal Methods. | Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi |
| 2005 | ICSE | A case study on the automated verification of groupware protocols. | Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis |
| 2004 | DLT | On Competence in CD Grammar Systems. | Maurice H. ter Beek, Erzsbet Csuhaj-Varj, Markus Holzer, Gyrgy Vaszil |
| 2003 | FM | Team Automata Satisfying Compositionality. | Maurice H. ter Beek, Jetty Kleijn |
| 2001 | ECSCW | Team automata for spatial access control. | Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg |