Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jan Friso Groote
conf.researchr.org general profile
ETAPS 2019 profile
FM 2026 profile
FSEN 2025 profile
FSEN 2027 profile
ICSE 2020 profile
ICSE 2021 profile
PLNL 2023 profile
Registered user since Mon 1 Apr 2019
Name:
Jan
Friso Groote
Contributions
2027
FSEN
Keynote Speaker in Keynote Speakers
2026
FM
Committee Member in Program Committee within the Research Track-track
2025
FSEN
Committee Member in Program Committee
2023
PLNL
Author of Parallel Programming With An Autonomous Data Language within the PLNL 2023-track
2021
FormaliSE
Committee Member in Programme Committee within the FormaliSE 2021-track
2020
FormaliSE
Author of Active Learning of Decomposable Systems within the FormaliSE 2020-track
2019
ETAPS
Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track
TACAS
Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track
Share
x
Tue 27 Oct 18:53