Maurice H. Ter Beek
AuthID: R-00G-ZT0
1
TITLE: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000
AUTHORS: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000
2
TITLE: Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023
AUTHORS: Maurice H ter Beek; Clemens Dubslaff;
PUBLISHED: 2023, SOURCE: TiCSA@ETAPS, VOLUME: 392
AUTHORS: Maurice H ter Beek; Clemens Dubslaff;
PUBLISHED: 2023, SOURCE: TiCSA@ETAPS, VOLUME: 392
INDEXED IN: 
DBLP
DBLP3
TITLE: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
AUTHORS: Maurice H ter Beek; Rosemary Monahan;
PUBLISHED: 2022, SOURCE: IFM, VOLUME: 13274
AUTHORS: Maurice H ter Beek; Rosemary Monahan;
PUBLISHED: 2022, SOURCE: IFM, VOLUME: 13274
INDEXED IN: DBLP
DBLP4
TITLE: Featured Team Automata
AUTHORS: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLISHED: 2021, SOURCE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047
AUTHORS: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLISHED: 2021, SOURCE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047
5
TITLE: Featured Team Automata
AUTHORS: ter Beek, MH; Cledou, G; Hennicker, R; Proenca, J;
PUBLISHED: 2021, SOURCE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047
AUTHORS: ter Beek, MH; Cledou, G; Hennicker, R; Proenca, J;
PUBLISHED: 2021, SOURCE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047
INDEXED IN: 
Scopus 
WOS
Scopus WOS6
TITLE: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira;
PUBLISHED: 2019, SOURCE: FM, VOLUME: 11800
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira;
PUBLISHED: 2019, SOURCE: FM, VOLUME: 11800
INDEXED IN: DBLP
DBLP7
TITLE: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
8
TITLE: Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
AUTHORS: Maurice ter t Beek; Niels Lohmann;
PUBLISHED: 2013, SOURCE: WS-FM, VOLUME: 7843
AUTHORS: Maurice ter t Beek; Niels Lohmann;
PUBLISHED: 2013, SOURCE: WS-FM, VOLUME: 7843
INDEXED IN: DBLP
DBLP