Maurice H. ter Beek

241 papers A* 3A 1B 25C 22Misc 2Journal 79Unranked 86

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Comprehension vs. Adoption: Evaluating a Language Workbench Through a Family of Experiments. CoRR Giovanna Broccia, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti, Alessio Ferrari
2026	J	`jnl`	Editorial Introducing the New Editors-in-Chief. Formal Aspects Comput. Maurice H. ter Beek, Einar Broch Johnsen
2026	—	`ed.`	Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings SBMF Maurice H. ter Beek, Leopoldo Teixeira
2026	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings RSSRail Maurice H. ter Beek, Simon Collart Dutilleul, Thierry Lecomte
2025	J	`jnl`	A Configurable Software Model of a Self-Adaptive Robotic System. Sci. Comput. Program. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Analysing Self-Adaptive Systems as Software Product Lines. SPLC (A) Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Analysing Self-Adaptive Systems as Software Product Lines. J. Syst. Softw. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Animating Rebeca. Rebeca for Actor Analysis in Action Maurice H. ter Beek, José Proença
2025	—	`conf`	Comparing the Universal Variability Language with other Textual Variability Modeling Languages. SPLC (B) Maurice H. ter Beek, Klaus Schmid, Holger Eichelberger
2025	—	`conf`	Controlled Hybrid CD Grammar Systems. Languages of Cooperation and Communication Maurice H. ter Beek
2025	J	`jnl`	Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. Inf. Softw. Technol. Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessandro Fantechi, Alessio Ferrari
2025	—	`conf`	Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. SPLC (A) Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. Formal Aspects Comput. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications. The Combined Power of Research, Education, and Dissemination Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2025	J	`jnl`	Formal Methods in Industry. Formal Aspects Comput. Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
2025	—	`conf`	Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. DSN-S Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera, Matteo Pinasco
2025	J	`jnl`	Model transformation and property preservation in rigorous software development: A systematic literature review. J. Syst. Softw. Gullelala Jadoon, Maurice H. ter Beek, Alessio Ferrari
2025	J	`jnl`	Models for formal methods and tools: the case of railway systems. Softw. Syst. Model. Maurice H. ter Beek
2025	J	`jnl`	Overview and Roadmap of Team Automata. CoRR Maurice H. ter Beek, Rolf Hennicker, José Proença
2025	C	`conf`	RebeCaos. COORDINATION José Proença, Maurice H. ter Beek
2025	J	`jnl`	Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains. Formal Aspects Comput. Maurice H. ter Beek
2024	J	`jnl`	Advanced Integrated Evaluation of Railway Systems . ERCIM News Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi
2024	J	`jnl`	Advancing orchestration synthesis for contract automata. J. Log. Algebraic Methods Program. Davide Basile, Maurice H. ter Beek
2024	—	`conf`	An Integrated Perspective on the Evaluation of Complex Railway Systems. ISoLA (5) Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori
2024	B	`conf`	Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2024	J	`jnl`	Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2024	—	`conf`	Can AI Help with the Formalization of Railway Cybersecurity Requirements? ISoLA (1) Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi
2024	J	`jnl`	Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2024	C	`conf`	Formal Methods and Tools Applied in the Railway Domain. ABZ Maurice H. ter Beek
2024	—	`ed.`	Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024 SPLC (A) Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024	—	`ed.`	Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024 SPLC (B) Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024	—	`conf`	Product lines of dataflows. SPLC (A) Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani
2024	J	`jnl`	Product lines of dataflows. J. Syst. Softw. Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani
2024	J	`jnl`	Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport. ERCIM News Davide Basile, Maurice H. ter Beek, Alessio Ferrari
2024	C	`conf`	Team Automata: Overview and Roadmap. COORDINATION Maurice H. ter Beek, Rolf Hennicker, José Proença
2024	J	`jnl`	The Role of Formal Methods in Computer Science Education. Inroads Maurice H. ter Beek, Manfred Broy, Brijesh Dongol
2024	—	`conf`	X-by-Construction Meets AI. ISoLA (4) Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer
2023	B	`conf`	A Runtime Environment for Contract Automata. FM Davide Basile, Maurice H. ter Beek
2023	J	`jnl`	A toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia
2023	B	`conf`	Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2023	A	`conf`	Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. ICPC Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti
2023	J	`jnl`	Formal Methods in Railways: A Systematic Mapping Study. ACM Comput. Surv. Alessio Ferrari, Maurice H. ter Beek
2023	B	`conf`	Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2023	J	`jnl`	Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2023	J	`jnl`	Introduction to the Special Collection from iFM 2022. Formal Aspects Comput. Rosemary Monahan, Maurice H. ter Beek
2023	—	`conf`	Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau
2023	—	`ed.`	Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023 SPLC (A) Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki
2023	—	`ed.`	Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023 SPLC (B) Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Ivan Machado, Silvia Regina Vergilio, Rick Rabiser, Tao Yue, Xavier Devroey, Mónica Pinto, Hironori Washizaki
2023	—	`ed.`	Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023. TiCSA@ETAPS Maurice H. ter Beek, Clemens Dubslaff
2023	C	`conf`	Realisability of Global Models of Interaction. ICTAC Maurice H. ter Beek, Rolf Hennicker, José Proença
2023	—	`conf`	Research Challenges in Orchestration Synthesis. ICE Davide Basile, Maurice H. ter Beek
2023	J	`jnl`	Systems and software product lines of the future. J. Syst. Softw. Maurice H. ter Beek, Ina Schaefer
2022	J	`jnl`	A Runtime Environment for Contract Automata. CoRR Davide Basile, Maurice H. ter Beek
2022	—	`conf`	An Experimental Toolchain for Strategy Synthesis with Spatial Properties. ISoLA (3) Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
2022	J	`jnl`	Contract Automata Library. Sci. Comput. Program. Davide Basile, Maurice H. ter Beek
2022	C	`ed.`	Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings COORDINATION Maurice H. ter Beek, Marjan Sirjani
2022	J	`jnl`	Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
2022	J	`jnl`	Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. CoRR Maurice H. ter Beek, Alessio Ferrari
2022	J	`jnl`	Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. Softw. Maurice H. ter Beek, Alessio Ferrari
2022	J	`jnl`	Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari
2022	J	`jnl`	Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
2022	J	`jnl`	FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Sci. Comput. Program. Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
2022	J	`jnl`	Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
2022	B	`ed.`	Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings IFM Maurice H. ter Beek, Rosemary Monahan
2022	—	`conf`	Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 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
2022	J	`jnl`	Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay
2022	J	`jnl`	Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Trans. Software Eng. Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
2022	—	`conf`	X-by-Construction Meets Runtime Verification. ISoLA (1) Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer
2021	C	`conf`	A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. COORDINATION Davide Basile, Maurice H. ter Beek
2021	J	`jnl`	Editorial. Formal Aspects Comput. Annabelle McIver, Maurice H. ter Beek
2021	B	`conf`	Featured Team Automata. FM Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2021	J	`jnl`	Featured Team Automata. CoRR Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2021	J	`jnl`	Formal Methods in Railways: a Systematic Mapping Study. CoRR Alessio Ferrari, Maurice H. ter Beek
2021	J	`jnl`	Formal methods: practical applications and foundations. Formal Methods Syst. Des. Maurice H. ter Beek, Annabelle McIver
2021	J	`jnl`	Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2021	J	`jnl`	Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2021	C	`conf`	Spatial Model Checking for Smart Stations - Research Challenges. FMICS Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
2021	—	`conf`	Static analysis and family-based model checking of featured transition systems with VMC. SPLC (B) Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt
2021	—	`conf`	Static analysis and family-based model checking with VMC. SPLC (A) Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt
2021	C	`conf`	Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2021	J	`jnl`	Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. CoRR Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
2020	—	`conf`	30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
2020	J	`jnl`	A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2020	A*	`conf`	Comparing formal tools for system design: a judgment study. ICSE Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi
2020	C	`conf`	Compositionality of Safe Communication in Systems of Team Automata. ICTAC Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
2020	J	`jnl`	Controller synthesis of service contracts with variability. Sci. Comput. Program. Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2020	—	`conf`	Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
2020	B	`conf`	Family-Based SPL Model Checking Using Parity Games with Variability. FASE Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse
2020	C	`ed.`	Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings FMICS Maurice H. ter Beek, Dejan Nickovic
2020	J	`jnl`	Preface. Fundam. Informaticae Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg
2020	C	`conf`	Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE Davide Basile, Maurice H. ter Beek, Axel Legay
2020	J	`jnl`	Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Log. Methods Comput. Sci. Davide Basile, Maurice H. ter Beek, Rosario Pugliese
2020	—	`conf`	Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay
2020	C	`conf`	Team Automata@Work: On Safe Communication. COORDINATION Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
2020	C	`conf`	The 2020 Expert Survey on Formal Methods. FMICS Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol
2020	J	`jnl`	Timed service contract automata. Innov. Syst. Softw. Eng. Davide Basile, Maurice H. ter Beek, Axel Legay
2020	—	`conf`	Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2020	—	`conf`	X-by-Construction - Correctness Meets Probability. ISoLA (1) Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson
2019	B	`conf`	Adopting Formal Methods in an Industrial Setting: The Railways Case. FM Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
2019	C	`conf`	Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION Davide Basile, Maurice H. ter Beek, Rosario Pugliese
2019	B	`ed.`	Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings FM Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
2019	—	`ed.`	From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday From Software Engineering to Formal Methods and Tools, and Back Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
2019	—	`conf`	From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. Models, Languages, and Tools for Concurrent and Distributed Programming Stefania Gnesi, Maurice H. ter Beek
2019	C	`conf`	Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. FMICS Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
2019	J	`jnl`	On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2019	—	`conf`	Quantitative Variability Modeling and Analysis. VaMoS Maurice H. ter Beek, Axel Legay
2019	J	`jnl`	Quantitative variability modelling and analysis. Int. J. Softw. Tools Technol. Transf. Maurice H. ter Beek, Axel Legay
2019	—	`conf`	Static analysis of featured transition systems. SPLC (A) Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
2019	B	`conf`	Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2019	B	`conf`	Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2019	—	`conf`	Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
2019	J	`jnl`	Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. CoRR Davide Basile, Maurice H. ter Beek, Rosario Pugliese
2019	—	`conf`	Textual variability modeling languages: an overview and considerations. SPLC (B) Maurice H. ter Beek, Klaus Schmid, Holger Eichelberger
2019	—	`conf`	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 Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
2018	J	`jnl`	Formal Methods for the Railway Sector. ERCIM News Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno
2018	J	`jnl`	Formal methods and automated verification of critical systems. Int. J. Softw. Tools Technol. Transf. Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
2018	J	`jnl`	Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
2018	J	`jnl`	Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul. Maurice H. ter Beek, Michele Loreti
2018	—	`conf`	Modelling and analysis with featured modal contract automata. SPLC (2) Davide Basile, Maurice H. ter Beek, Stefania Gnesi
2018	B	`conf`	On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
2018	C	`conf`	Orchestration Synthesis for Real-Time Service Contracts. VECoS Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez
2018	B	`conf`	Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2018	B	`conf`	QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
2018	J	`jnl`	Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems". ACM Trans. Model. Comput. Simul. Maurice H. ter Beek
2018	—	`conf`	States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2018	—	`conf`	Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. ISoLA (2) Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
2018	—	`conf`	X-by-Construction. ISoLA (1) Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson
2017	J	`jnl`	A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2017	J	`jnl`	Automated specification and verification of Web-based applications. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Alberto Lluch-Lafuente
2017	C	`conf`	Communication Requirements for Team Automata. COORDINATION Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
2017	B	`conf`	Family-Based Model Checking with mCRL2. FASE Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
2017	—	`conf`	Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi
2017	—	`ed.`	Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017 SPLC (B) Maurice H. ter Beek, Walter Cazzola, Oscar Díaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, David Benavides
2017	—	`ed.`	Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands, February 1-3, 2017 VaMoS Maurice H. ter Beek, Norbert Siegmund, Ina Schaefer
2016	J	`jnl`	Automated verification of programs and Web systems. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara
2016	—	`conf`	Conditions for Compatibility of Components - The Case of Masters and Slaves. ISoLA (1) Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
2016	—	`conf`	Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer
2016	—	`ed.`	Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings FMICS-AVoCS Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
2016	J	`jnl`	Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Dave Clarke, Ina Schaefer
2016	J	`jnl`	Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2016	—	`ed.`	Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. FORECAST@STAF Maurice H. ter Beek, Michele Loreti
2016	—	`conf`	Statistical Model Checking for Product Lines. ISoLA (1) Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2016	—	`conf`	Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink
2016	—	`conf`	Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
2016	—	`conf`	Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2015	B	`conf`	Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2015	—	`conf`	Coherent branching feature bisimulation. FMSPLE Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
2015	J	`jnl`	Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
2015	—	`conf`	From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. Software, Services, and Systems Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2015	B	`conf`	From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2015	—	`ed.`	Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. WWV Maurice H. ter Beek, Alberto Lluch-Lafuente
2015	—	`conf`	Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2015	B	`conf`	Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`conf`	Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink
2015	B	`conf`	Using FMC for family-based analysis of software product lines. SPLC Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2014	—	`ed.`	18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014 SPLC Workshops Stefania Gnesi, Alessandro Fantechi, Maurice H. ter Beek, Goetz Botterweck, Martin Becker
2014	J	`jnl`	A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
2014	—	`conf`	Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2014	—	`conf`	Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). ISoLA (1) Ina Schaefer, Maurice H. ter Beek
2014	J	`jnl`	KandISTI: A Family of Model Checkers for the Analysis of Software Designs. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2014	—	`conf`	Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2014	J	`jnl`	On Distributed Cooperation and Synchronised Collaboration. J. Autom. Lang. Comb. Maurice H. ter Beek, Jetty Kleijn
2014	—	`ed.`	Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. WWV Maurice H. ter Beek, António Ravara
2014	—	`conf`	Shuffles and Synchronized Shuffles: A Survey. Discrete Mathematics and Computer Science Maurice H. ter Beek, Jetty Kleijn
2014	—	`conf`	Software product line analysis with mCRL2. SPLC Workshops Maurice H. ter Beek, Erik P. de Vink
2014	—	`conf`	Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) Maurice H. ter Beek, Erik P. de Vink
2014	—	`conf`	Using mCRL2 for the analysis of software product lines. FormaliSE Maurice H. ter Beek, Erik P. de Vink
2014	—	`conf`	VMC: recent advances and challenges ahead. SPLC Workshops Maurice H. ter Beek, Franco Mazzanti
2013	—	`conf`	Combining declarative and procedural views in the specification and analysis of product families. SPLC Workshops Maurice H. ter Beek, Alberto Lluch-Lafuente, Marinella Petrocchi
2013	B	`conf`	Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. SPLC Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee
2013	J	`jnl`	VMC: A Tool for the Analysis of Variability in Software Product Lines. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2013	—	`conf`	Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS Maurice H. ter Beek, Fabio Gadducci, Francesco Santini
2013	—	`ed.`	Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers WS-FM Maurice H. ter Beek, Niels Lohmann
2012	—	`conf`	A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2012	—	`conf`	Assume-Guarantee Testing of Evolving Software Product Line Architectures. SERENE Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione
2012	—	`conf`	Demonstration of a model checker for the analysis of product variability. SPLC (2) Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2012	—	`conf`	Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong
2012	J	`jnl`	Guaranteeing Correct Evolution of Software Product Lines. ERCIM News Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione
2012	B	`conf`	VMC: A Tool for Product Variability Analysis. FM Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
2012	J	`jnl`	Vector team automata. Theor. Comput. Sci. Maurice H. ter Beek, Jetty Kleijn
2011	—	`conf`	A Model-Checking Tool for Families of Services. FMOODS/FORTE Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2011	J	`jnl`	A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2011	—	`ch.`	Analysing Robot Movement Using the Sensoria Methods. Results of the SENSORIA Project Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano
2011	—	`conf`	Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence. Computation, Cooperation, and Life Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Markus Holzer, György Vaszil
2011	—	`conf`	Design and validation of variability in product lines. PLEASE@ICSE Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2011	B	`conf`	Formal Description of Variability in Product Families. SPLC Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2011	—	`conf`	Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. SERENE Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione
2011	—	`conf`	Product Lines for Service Oriented Applications - PL for SOA WWV Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima
2011	—	`ch.`	Sensoria Results Applied to the Case Studies. Results of the SENSORIA Project Maurice H. ter Beek
2011	C	`conf`	Variability and Rigour in Service Computing Engineering. SEW Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro
2010	—	`conf`	A Deontic Logical Framework for Modelling Product Families. VaMoS Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2010	B	`conf`	A Logical Framework to Deal with Variability. IFM Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2010	—	`conf`	An Experience on Formal Analysis of a High-Level Graphical SOA Design. FM+AM Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
2010	—	`conf`	Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro
2009	Misc	`conf`	A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. EICS Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink
2009	B	`ed.`	Architecting Dependable Systems VI WADS Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek
2009	J	`jnl`	Assisting the design of a groupware system. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2009	J	`jnl`	Associativity of Infinite Synchronized Shuffles and Team Automata. Fundam. Informaticae Maurice H. ter Beek, Jetty Kleijn
2009	Misc	`conf`	CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi
2009	—	`conf`	Deontic Logics for Modeling Behavioural Variability. VaMoS Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2009	—	`conf`	Detecting policy conflicts by model checking UML state machines. ICFI Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini
2009	—	`conf`	Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi
2009	—	`ed.`	Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, YR-SOC 2009, Pisa, Italy, 17-19th June 2009. YR-SOC Maurice H. ter Beek
2009	—	`ed.`	Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008 VODCA@FOSAD Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci
2009	—	`conf`	Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. INTERACT (1) Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler
2008	—	`conf`	A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
2008	J	`jnl`	Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2008	A*	`conf`	Formal verification of an automotive scenario in service-oriented computing. ICSE Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti
2008	—	`conf`	Preface. VODCA@FOSAD Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci
2007	C	`conf`	An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2007	J	`jnl`	Formal Modelling and Verification in Service-Oriented Computing. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi
2007	J	`jnl`	Infinite unfair shuffles and associativity. Theor. Comput. Sci. Maurice H. ter Beek, Jetty Kleijn
2007	J	`jnl`	On Competence in CD Grammar Systems with Parallel Rewriting. Int. J. Found. Comput. Sci. Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, György Vaszil, Markus Holzer
2007	—	`ed.`	Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006 VODCA@FOSAD Maurice H. ter Beek, Fabio Gadducci
2007	—	`conf`	Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. AICT Maurice H. ter Beek, Corrado Moiso, Marinella Petrocchi
2007	C	`conf`	Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi
2006	—	`conf`	A Calculus for Team Automata. SBMF Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens
2006	J	`jnl`	A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. J. Autom. Lang. Comb. Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi
2006	—	`conf`	Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso
2006	—	`conf`	Preface. VODCA@FOSAD Maurice H. ter Beek, Fabio Gadducci
2006	—	`ed.`	Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004 VODCA@FOSAD Maurice H. ter Beek, Fabio Gadducci
2005	A*	`conf`	A case study on the automated verification of groupware protocols. ICSE Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
2005	J	`jnl`	Modularity for teams of I/O automata. Inf. Process. Lett. Maurice H. ter Beek, Jetty Kleijn
2005	J	`jnl`	Synchronized shuffles. Theor. Comput. Sci. Maurice H. ter Beek, Carlos Martín-Vide, Victor Mitrana
2005	—	`conf`	Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS Maurice H. ter Beek, Mieke Massink, Diego Latella
2004	—	`conf`	Model Checking Groupware Protocols. COOP Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi
2004	C	`conf`	Model Checking Publish/Subscribe Notification for thinkteam FMICS Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
2004	C	`conf`	On Competence in CD Grammar Systems. Developments in Language Theory Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Markus Holzer, György Vaszil
2004	—	`conf`	Preface. VODCA@FOSAD Maurice H. ter Beek, Fabio Gadducci
2004	—	`conf`	Team Automata for Security: - A Survey -. SecCo Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi
2004	J	`jnl`	Teams of pushdown automata. Int. J. Comput. Math. Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana
2003	—	`conf`	Animal Farm: An Eco-Grammar System. Grammars and Automata for String Processing Maurice H. ter Beek
2003	J	`jnl`	Synchronizations in Team Automata for Groupware Systems. Comput. Support. Cooperative Work. Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
2003	—	`conf`	Team Automata Satisfying Compositionality. FME Maurice H. ter Beek, Jetty Kleijn
2003	—	`—`	Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components. Maurice H. ter Beek
2003	—	`conf`	Teams of Pushdown Automata. Ershov Memorial Conference Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana
2002	—	`conf`	Petri Net Control for Grammar Systems. Formal and Natural Computing Maurice H. ter Beek, H. C. M. Kleijn
2001	B	`conf`	Team automata for spatial access control. ECSCW Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
1999	—	`conf`	Simple Eco-Grammar Systems with Prescribed Teams. Grammatical Models of Multi-Agent Systems Maurice H. ter Beek
1997	—	`conf`	Teams in Grammar Systems: Sub-Context-Free Cases. New Trends in Formal Languages Maurice H. ter Beek
1996	J	`jnl`	Teams in Grammar Systems: Hybridity and Weak Rewriting. Acta Cybern. Maurice H. ter Beek