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 2020Author 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 2019Author 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 2016Author 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 2016SLE Program Chair in Organizing Committee
SLE 2015Committee Member in Program Committee within the SLE-track