Daniel Varro

Registered user since Thu 9 Jul 2015

Name:Daniel Varro
Country:Sweden
Affiliation:Linköping University / McGill University
Research interests:Software Engineering, Model-based systems engineering, Cyber-physical systems, Machine Learning

Contributions

MODELS 2023 Committee Member in Program Board within the Technical Track-track
ECMFA 2023 Committee Member in Program Committee within the Technical track-track
ICSE 2023 Author of Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs within the SEIP - Software Engineering in Practice-track
Author of Automated Generation of Consistent Graph Models With Multiplicity Reasoning within the Journal-First Papers-track
ESEC/FSE 2022 Author of An empirical study of type-related defects in Python projects within the Journal First-track
MODELS 2022 Steering Committee Member in Steering Committee
Moderator of What disruptive technologies are expected to be most influential for the future industrial practice of MBSE? within the Industry Days-track
Committee Member in PC - Foundations Track within the Technical Track-track
Author of System Architecture Synthesis for Performability by Logic Solvers within the Technical Track-track
Session Chair of Foundations III (part of Technical Track)
Relations to industry Co-Chair in Organizing Committee
ASE 2022 Author of Consistent Scene Graph Generation by Constraint Optimization within the Research Papers-track
MODELS 2021 Author of Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models within the Technical Papers-track
Session Chair of Keynote by Atsuyuki Morishima (part of Keynotes)
Session Chair of Keynote by Justyna Zander (part of Keynotes)
Author of Predictions-on-Chip: Model-based Training and Automated Deployment of Machine Learning Models at Runtime within the Technical Papers-track
Committee Member in Steering Committee
Session Chair of Keynote by Alexander Pretschner (part of Keynotes)
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
* 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 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
SLE 2015 Committee Member in Program Committee within the SLE-track