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