Maurice H. ter Beek

Available identifiers

zbMath Open ter-beek.maurice-hWikidataQ102313927 ScholiaQ102313927MaRDI QIDQ246443

List of research outcomes

Publication	Date of Publication	Type
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
Perspectives of System Informatics	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
https://portal.mardi4nfdi.de/entity/Q3515199	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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