World's Best Scientists 2026 revealed!
Dániel Varró

Dániel Varró

D-Index & Metrics

Computer Science

D-Index
47
Citations
8466
World Ranking
6523
National Ranking
44

Overview

Dániel Varró is affiliated with Linköping University in Sweden and is an active researcher in the field of Computer Science with a focus on Software Engineering and related disciplines. Their research output includes works in subfields such as Software, Artificial Intelligence, Information Systems, Management Science and Operations Research, and Computer Networks and Communications.

The main topics of their research include Model-Driven Software Engineering Techniques, Software Engineering Research, Formal Methods in Verification, Software Testing and Debugging Techniques, Topic Modeling, Simulation Techniques and Applications, and Business Process Modeling and Analysis.

Frequently publishing in venues such as arXiv (Cornell University), Zenodo (CERN European Organization for Nuclear Research), Software & Systems Modeling, IEEE Transactions on Software Engineering, and Technische Universität Berlin - Universitätsbibliothek, they have contributed notably to the literature in these forums.

Dániel Varró's recent papers include the following:

  • Opportunities in intelligent modeling assistance, 2020, Software & Systems Modeling
  • Generic Search Plans for Matching Advanced Graph Patterns, 2024, Technische Universität Berlin - Universitätsbibliothek
  • Mixed-semantics composition of statecharts for the component-based design of reactive systems, 2020, Software & Systems Modeling
  • Incremental Graph Pattern Matching: Data Structures and Initial Experiments, 2024, Technische Universität Berlin - Universitätsbibliothek
  • Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study, 2022, IEEE Transactions on Software Engineering

Their research collaborations include frequent co-authors such as Boqi Chen, Oszkár Semeráth, Aren A. Babikian, José Antonio Hernández López, and Kristóf Marussy.

Best Publications

  • The model transformation language of the VIATRA2 framework

    Dániel Varró;András Balogh

  • VIATRA - visual automated transformations for formal verification and validation of UML models

    G. Csertan;G. Huszerl;I. Majzik;Z. Pap

  • Leveraging Applications of Formal Methods, Verification and Validation

    Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti

  • Designing the automatic transformation of visual languages

    Dániel Varró;Gergely Varró;András Pataricza

  • Modeling and validation of service-oriented architectures: application vs. style

    Luciano Baresi;Reiko Heckel;Sebastian Thöne;Dániel Varró

  • Model transformation by graph transformation: A comparative study

    Gabriele Taentzer;Karsten Ehrig;Esther Guerra;Juan de Lara

  • Model transformation by example

    Daniel Varro

  • Generic and Meta-transformations for Model Transformation Engineering

    Dániel Varró;András Pataricza

  • VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)

    Dániel Varró;András Pataricza

  • Advanced model transformation language constructs in the VIATRA2 framework

    András Balogh;Dániel Varró

  • A research roadmap towards achieving scalability in model driven engineering

    Dimitrios S. Kolovos;Louis M. Rose;Nicholas Matragkas;Richard F. Paige

  • Termination criteria for model transformation

    Hartmut Ehrig;Karsten Ehrig;Juan de Lara;Gabriele Taentzer

  • Automated formal verification of visual modeling languages by model checking

    Dániel Varró

  • Model Checking Graph Transformations: A Comparison of Two Approaches

    Arend Rensink;Ákos Schmidt;Dániel Varró

  • A Formal Semantics of UML Statecharts by Model Transition Systems

    Dániel Varró

  • Survey and classification of model transformation tools

    Nafiseh Kahani;Mojtaba Bagherzadeh;James R. Cordy;Juergen Dingel

  • Benchmarking for graph transformation

    G. Varro;A. Schurr;D. Varro

  • Style-based modeling and refinement of service-oriented architectures

    Luciano Baresi;Reiko Heckel;Sebastian Thöne;Dániel Varró

  • Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

    Dániel Varró;Gábor Bergmann;Ábel Hegedüs;Ákos Horváth

  • Incremental evaluation of model queries over EMF models

    Gábor Bergmann;Ákos Horváth;István Ráth;Dániel Varró

  • EMF-IncQuery

    Zoltán Ujhelyi;Gábor Bergmann;Ábel Hegedüs;Ákos Horváth

Frequent Co-Authors

Reiko Heckel
Reiko Heckel University of Leicester
Juan de Lara
Juan de Lara Autonomous University of Madrid
Gabriele Taentzer
Gabriele Taentzer Philipp University of Marburg
Andy Schürr
Andy Schürr Technical University of Darmstadt
Nora Koch
Nora Koch Ludwig-Maximilians-Universität München
Luciano Baresi
Luciano Baresi Polytechnic University of Milan
Hartmut Ehrig
Hartmut Ehrig Technical University of Berlin
Esther Guerra
Esther Guerra Autonomous University of Madrid
Stephen Gilmore
Stephen Gilmore University of Edinburgh
Richard F. Paige
Richard F. Paige McMaster University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees in Computer Science opens up a range of fast, flexible study options that can lead to promising careers. For those who want to quickly gain job-ready skills, several short certificate programs that pay well are available. These programs offer targeted training and can help boost employability in tech roles without committing to a lengthy degree.

If you’re considering advancing your education, pursuing one of the fastest online master's degree programs can accelerate your professional development and open doors to higher-level positions. Alternatively, exploring most worthwhile masters degrees ensures your time and investment align with in-demand industry needs.

For those who wish to start working sooner, 2 year online degrees offer a solid foundation in just two years, often with flexible scheduling for working students. These accessible pathways empower you to tailor your education to your career goals in today’s evolving tech landscape.

Best Scientists Citing Dániel Varró

Trending Scientists