Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Franck van Breugel
conf.researchr.org general profile
ASE 2019 profile
ASE 2022 profile
ECOOP and ISSTA 2021 profile
ESEC/FSE 2018 profile
ISSTA 2017 profile
Registered user since Sat 3 Jul 2021
Name:
Franck van Breugel
Country:
Canada
Affiliation:
York University, Toronto
Contributions
2022
ASE
Author of jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code within the [Workshop] JPF '22-track
2021
SPIN
Author of Probabilistic Model Checking of Randomized Java Code within the SPIN-track
2019
JPF
Committee Member in Program Committee within the JPF 2019-track
2018
JPF
Committee Member in Program Committee within the JPF-track
2017
ISSTA
Author of ArtForm: A Tool for Exploring the Codebase of Form-Based Websites within the Demonstrations-track
Share
x
Thu 21 Nov 15:50