×

zbMATH — the first resource for mathematics

ter Beek, Maurice H.

Compute Distance To:
Author ID: ter-beek.maurice-h Recent zbMATH articles by "ter Beek, Maurice H."
Published as: ter Beek, M. H.; ter Beek, Maurice; ter Beek, Maurice H.
External Links: MGP · Wikidata
Documents Indexed: 29 Publications since 1996, including 2 Books

Publications by Year

Citations contained in zbMATH

15 Publications have been cited 38 times in 30 Documents Cited by Year
A state/event-based model-checking approach for the analysis of abstract system properties. Zbl 1213.68392
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
9
2011
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. Zbl 1351.68170
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
4
2016
On competence in CD grammar systems with parallel rewriting. Zbl 1183.68322
ter Beek, Maurice H.; Csuhaj-Varjú, Erzsébet; Vaszil, György; Holzer, Markus
3
2007
On competence in CD grammar systems. Zbl 1117.68389
ter Beek, Maurice H.; Csuhaj-Varjú, Erzsébet; Holzer, Markus; Vaszil, György
3
2004
Teams in grammar systems: hybridity and weak rewriting. Zbl 0880.68078
ter Beek, M. H.
3
1996
Model checking value-passing modal specifications. Zbl 1434.68303
ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco
2
2015
Cooperating distributed grammar systems: components with nonincreasing competence. Zbl 1330.68138
ter Beek, Maurice H.; Csuhaj-Varjú, Erzsébet; Holzer, Markus; Vaszil, György
2
2011
A team automaton scenario for the analysis of security properties of communication protocols. Zbl 1145.68339
ter Beek, Maurice H.; Lenzini, Gabriele; Petrocchi, Marinella
2
2006
Synchronized shuffles. Zbl 1077.68086
ter Beek, Maurice H.; Martín-Vide, Carlos; Mitrana, Victor
2
2005
Petri net control for grammar systems. Zbl 1060.68058
ter Beek, Maurice; Kleijn, Jetty
2
2002
Simple eco-grammar systems with prescribed teams. Zbl 0945.68091
ter Beek, Maurice H.
2
1999
Family-based model checking with mCRL2. Zbl 1430.68155
ter Beek, Maurice H.; de Vink, Erik P.; Willemse, Tim A. C.
1
2017
From EU projects to a family of model checkers. From Kandinsky to KandISTI. Zbl 06448718
ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco
1
2015
Modularity for teams of I/O automata. Zbl 1185.68382
ter Beek, Maurice H.; Kleijn, Jetty
1
2005
Teams of pushdown automata. Zbl 1103.68598
ter Beek, Maurice H.; Csuhaj-Varjú, Erzsébet; Mitrana, Victor
1
2004
Family-based model checking with mCRL2. Zbl 1430.68155
ter Beek, Maurice H.; de Vink, Erik P.; Willemse, Tim A. C.
1
2017
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. Zbl 1351.68170
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
4
2016
Model checking value-passing modal specifications. Zbl 1434.68303
ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco
2
2015
From EU projects to a family of model checkers. From Kandinsky to KandISTI. Zbl 06448718
ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco
1
2015
A state/event-based model-checking approach for the analysis of abstract system properties. Zbl 1213.68392
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
9
2011
Cooperating distributed grammar systems: components with nonincreasing competence. Zbl 1330.68138
ter Beek, Maurice H.; Csuhaj-Varjú, Erzsébet; Holzer, Markus; Vaszil, György
2
2011
On competence in CD grammar systems with parallel rewriting. Zbl 1183.68322
ter Beek, Maurice H.; Csuhaj-Varjú, Erzsébet; Vaszil, György; Holzer, Markus
3
2007
A team automaton scenario for the analysis of security properties of communication protocols. Zbl 1145.68339
ter Beek, Maurice H.; Lenzini, Gabriele; Petrocchi, Marinella
2
2006
Synchronized shuffles. Zbl 1077.68086
ter Beek, Maurice H.; Martín-Vide, Carlos; Mitrana, Victor
2
2005
Modularity for teams of I/O automata. Zbl 1185.68382
ter Beek, Maurice H.; Kleijn, Jetty
1
2005
On competence in CD grammar systems. Zbl 1117.68389
ter Beek, Maurice H.; Csuhaj-Varjú, Erzsébet; Holzer, Markus; Vaszil, György
3
2004
Teams of pushdown automata. Zbl 1103.68598
ter Beek, Maurice H.; Csuhaj-Varjú, Erzsébet; Mitrana, Victor
1
2004
Petri net control for grammar systems. Zbl 1060.68058
ter Beek, Maurice; Kleijn, Jetty
2
2002
Simple eco-grammar systems with prescribed teams. Zbl 0945.68091
ter Beek, Maurice H.
2
1999
Teams in grammar systems: hybridity and weak rewriting. Zbl 0880.68078
ter Beek, M. H.
3
1996

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.