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: Realisability of Global Models of Interaction
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença ;
PUBLISHED: 2023, SOURCE: 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023 in Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, VOLUME: 14446
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença ;
PUBLISHED: 2023, SOURCE: 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023 in Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, VOLUME: 14446
INDEXED IN: 
Scopus DBLP
Scopus DBLP4
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
DBLP5
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
6
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 WOS7
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
DBLP8
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
9
TITLE: Automated verification of programs and Web systems
AUTHORS: Maurice H ter Beek; Alexei Lisitsa; Andrei P Nemytykh; Antonio Ravara;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
AUTHORS: Maurice H ter Beek; Alexei Lisitsa; Andrei P Nemytykh; Antonio Ravara;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: WOS 
CrossRef
WOS CrossRef10
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