Daniel Varro

Registered user since Thu 9 Jul 2015

Name: Daniel Varro

Country: Canada

Affiliation: McGill University / Budapest University of Technology and Economics

Research interests: Model-based systems engineering, Cyber-physical systems, Model transformations

Contributions

MODELS 2021 Committee Member in Steering Committee
PC Chair (FT) in Organizing Committee
MODELS 2020 Author of Incremental Evaluation of Model Queries over EMF Models within the Awards-track
Committee Member in Program Board within the Technical Track-track
Industry days chair in Organizing Committee
Speaker of The Automated Model Generation Challenge for the Assurance of Cyber-Physical Systems within the SAM Conference-track
Committee Member in Steering Committee
Committee Member in Program Committee within the ACM Student Research Competition-track
Author of Automated Generation of Consistent Models with Structural and Attribute Constraints within the Technical Track-track
Author of Mixed-semantics composition of statecharts for the component-based design of reactive systems within the Technical Track-track
Author of Automated Video Game World Map Synthesis by Model-Based Techniques within the Technical Track-track
ICSE 2019 Author of VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models within the Demonstrations-track
Co-chair in Program committee within the Posters-track
Posters Chair in Organizing Committee
Committee Member in Program Committee within the Technical Track-track
SLE 2016 Author of Opening within the SLE-track
Program Chair in Organizing Committee within the SLE-track
Program Co-Chair in Program Committee within the SLE-track
Author of Awards within the SLE-track
* ICSE 2018 * Session Chair of Search-Based Software Engineering II (part of Technical Papers )
Author of The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems within the DEMO - Demonstrations -track
Committee Member in Program committee within the Technical Papers -track
Author of A Graph Solver for the Automated Generation of Consistent Domain-Specific Models within the Technical Papers -track
SPLASH 2016 SLE Program Chair in Organizing Committee
SLE 2015 Committee Member in Program Committee within the SLE-track