conf.researchr.org / Maurice ter Beek
Registered user since Tue 14 Nov 2017
Name:Maurice ter Beek
Country:Italy
Affiliation:CNR-ISTI Pisa, Italy
Personal website: https://fmt.isti.cnr.it/~mtbeek/
Research interests:Formal Methods, Model Checking Tools, Software Product Line Engineering, Service-Oriented Computing, Team Automata, Railways
Contributions
2027
ECOOP
2026
VARIABILITY
FM
- Session Chair of ABZ Session 3: Methods (1) (part of ABZ)
- Session Chair of Session 11: Cyber-Physical & Robotics Systems (part of Research Track)
- Committee Member in Program Committee within the Research Track-track
- Committee Member in Tutorial Track Committee within the Tutorials-track
- Author of Asynchronous Team Automata within the Research Track-track
- Committee Member in FME Board