Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vasileios Koutavas
conf.researchr.org general profile
* ICSE 2018 * profile
ICFP 2021 profile
Registered user since Tue 16 Jun 2015
Name:
Vasileios Koutavas
Contributions
2021
ML
Author of Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques within the ML 2021-track
2018
International Conference on Software Engineering for Adaptive and Self-Managing Systems
Author of Compositional Verification of Self-Adaptive Cyber-Physical Systems within the SEAMS 2018-track
Share
x
Sat 9 Nov 04:41