Photo of Daniel Varro

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

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
Ulf Kargén, Daniel Varro (2024) Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, p. 249-256 (Conference paper) Continue to DOI
Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Daniel Varro (2024) Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, p. 497-501 (Conference paper) Continue to DOI
Aren A. Babikian, Oszkar Semerath, Daniel Varro (2024) Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search IEEE Transactions on Software Engineering, Vol. 50, p. 48-68 (Article in journal) 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