Maurice H. ter Beek

Available identifiers

zbMath Open ter-beek.maurice-hDBLPb/MHterBeekWikidataQ102313927 ScholiaQ102313927MaRDI QIDQ246443

List of research outcomes

Publication	Date of Publication	Type
Advancing orchestration synthesis for contract automata	2024-10-08	Paper
Introduction to the special collection from iFM 2022	2024-09-27	Paper
Realisability of global models of interaction	2024-09-13	Paper
Coherent modal transition systems refinement	2024-03-20	Paper
Research Challenges in Orchestration Synthesis	2024-03-19	Paper
From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL	2024-02-23	Paper
Can we communicate? Using dynamic logic to verify team automata	2023-08-17	Paper
Featured Team Automata	2023-04-21	Paper
Family-Based SPL Model Checking Using Parity Games with Variability	2022-10-13	Paper
Compositionality of safe communication in systems of team automata	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5114827	2020-06-26	Paper
Family-Based Model Checking with mCRL2	2020-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q5507055	2016-12-16	Paper
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints	2016-03-04	Paper
Model Checking Value-Passing Modal Specifications	2015-12-03	Paper
From EU Projects to a Family of Model Checkers	2015-06-22	Paper
A calculus for team automata	2014-01-24	Paper
Vector team automata	2012-05-30	Paper
Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence	2011-06-24	Paper
A state/event-based model-checking approach for the analysis of abstract system properties	2011-01-14	Paper
On competence in CD grammar systems with parallel rewriting	2010-01-29	Paper
Teams of pushdown automata	2010-01-05	Paper
Modularity for teams of I/O automata	2009-12-04	Paper
Associativity of Infinite Synchronized Shuffles and Team Automata	2009-06-23	Paper
Assisting the design of a groupware system - Model checking usability aspects of thinkteam	2009-04-29	Paper
A team automaton scenario for the analysis of security properties of communication protocols	2008-07-29	Paper
Infinite unfair shuffles and associativity	2007-07-16	Paper
Developments in Language Theory	2005-12-22	Paper
Synchronized shuffles	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4738297	2004-08-11	Paper
Teams of pushdown automata	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4453190	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4939192	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4370841	1998-01-07	Paper

Research outcomes over time

This page was built for person: Maurice H. ter Beek