Ivan Kurtev -

Registered user since Wed 21 Feb 2024

Name:Ivan Kurtev

Affiliation:Eindhoven University of Technology

Contributions

2024

MODELS

Committee Member in Program Committee within the Technical Track-track

2023

SLE

Committee Member in Program Committee within the SLE 2023-track

2021

MODELS

Author of [T2] Modeling and checking state-based component interfaces with CommaSuite within the Tutorials-track

2018

ESEC/FSE

Author of AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning within the Demonstrations-track