Maurice H. ter Beek

From MaRDI portal
Person:246443

Available identifiers

zbMath Open ter-beek.maurice-hWikidataQ102313927 ScholiaQ102313927MaRDI QIDQ246443

List of research outcomes

PublicationDate of PublicationType
Coherent modal transition systems refinement2024-03-20Paper
Research Challenges in Orchestration Synthesis2024-03-19Paper
From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL2024-02-23Paper
Can we communicate? Using dynamic logic to verify team automata2023-08-17Paper
Featured Team Automata2023-04-21Paper
Family-Based SPL Model Checking Using Parity Games with Variability2022-10-13Paper
Compositionality of safe communication in systems of team automata2021-07-08Paper
https://portal.mardi4nfdi.de/entity/Q51148272020-06-26Paper
Family-Based Model Checking with mCRL22020-02-13Paper
https://portal.mardi4nfdi.de/entity/Q55070552016-12-16Paper
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints2016-03-04Paper
Model Checking Value-Passing Modal Specifications2015-12-03Paper
From EU Projects to a Family of Model Checkers2015-06-22Paper
A Calculus for Team Automata2014-01-24Paper
Vector team automata2012-05-30Paper
Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence2011-06-24Paper
A state/event-based model-checking approach for the analysis of abstract system properties2011-01-14Paper
ON COMPETENCE IN CD GRAMMAR SYSTEMS WITH PARALLEL REWRITING2010-01-29Paper
Perspectives of System Informatics2010-01-05Paper
Modularity for teams of I/O automata2009-12-04Paper
Associativity of Infinite Synchronized Shuffles and Team Automata2009-06-23Paper
Assisting the design of a groupware system - Model checking usability aspects of thinkteam2009-04-29Paper
https://portal.mardi4nfdi.de/entity/Q35151992008-07-29Paper
Infinite unfair shuffles and associativity2007-07-16Paper
Developments in Language Theory2005-12-22Paper
Synchronized shuffles2005-09-22Paper
https://portal.mardi4nfdi.de/entity/Q47382972004-08-11Paper
Teams of pushdown automata2004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44531902004-03-07Paper
https://portal.mardi4nfdi.de/entity/Q49391922000-02-23Paper
https://portal.mardi4nfdi.de/entity/Q43708411998-01-07Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


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