danva91

Daniel Varro

Professor

My research primarily focuses on the design and assurance of critical software-intensive cyber-physical systems, model-based systems engineering and quality assurance for machine learning software.

Short bio

I am a WASP full professor of software engineering at Linköping University (Sweden), a professor (on leave) at Budapest University of Technology and Economics (Hungary), and an adjunct professor at McGill University (Canada) where I was a full professor between 2016 and 2022. I am a former research chair on cyber-physical systems within the Lendület program awarded by the Hungarian Academy of Sciences. I was a visiting researcher at SRI International (USA), University of Paderborn and TU Berlin (Germany), and a visiting professor at McGill University and Université de Montréal (Canada).

I am currently the Steering Committee vice chair of the IEEE/ACM MODELS conference, and serve on the editorial board of the Software and Systems Modeling journal. I was a program committee co-chair of FASE 2013, ICMT 2014, SLE 2016 and MODELS 2021 conferences. I delivered keynote talks at CSMR 2012, SOFSEM 2016 and SAM 2021 conferences and at various international workshops. Seven papers I co-authored received a Distinguished or Best Paper award at major international conferences, and three of my papers received a 10-year Most Influential Paper Award. I was the main supervisor of 9 graduated PhD students, and co-supervisor for 8 further successful PhD students.

I am a co-founder of IncQuery Labs, an innovative technology-intensive company. I was also co-founder of several open source software projects, including the VIATRA model query and transformation framework, MASSIF integration framework for Matlab, and the Refinery graph solver and generator.

Publications

2024

Yujing Yang, Boqi Chen, Kua Chen, Gunter Mussbacher, Daniel Varro (2024) Multi-step Iterative Automated Domain Modeling with Large Language Models ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, p. 587-595 (Conference paper) Continue to DOI
Kua Chen, Boqi Chen, Yujing Yang, Gunter Mussbacher, Daniel Varro (2024) Embedding-based Automated Assessment of Domain Models ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, p. 87-94 (Conference paper) Continue to DOI
Filip Strömbäck, Daniel Varro (2024) Active DSU: Dynamic Software Updates for Active Functions PROCEEDINGS OF THE 2024 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, ONWARD! 2024, p. 26-37 (Conference paper) Continue to DOI
José Antonio Hernández López, Máté Földiák, Daniel Varro (2024) Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT 27TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS, p. 13-24 (Conference paper) Continue to DOI
Aren A. Babikian, Daniel Varro (2024) OPTANGLE at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track 2024 IEEE/ACM INTERNATIONAL WORKSHOP ON SEARCH-BASED AND FUZZ TESTING, SBFT 2024, p. 73-74 (Conference paper) Continue to DOI

News

News item on WASP's external website

2023-09-29: Dániel Varró – Critical Software-Intensive Systems

Research

About the Division

Colleagues at SAS

About the Department