| 2026 | ICSE | Engineering Future Critical CPSs with Trustworthy GenAI Across the Lifecycle. | Alessio Bucaioni, Antonio Cicchetti, Gordana Dodig Crnkovic, Romina Spalazzese, Emma Sderberg, Dniel Varr |
| 2026 | ICSE | Data-aware Static Analysis: Improving Semantic Fault Detection in Machine Learning Code Using Data Characteristics. | Willem Meijer, Kristian Sandahl, Dniel Varr |
| 2026 | SANER | SeBERTis: A Framework for Producing Classifiers of Security-Related Issue Reports. | Sogol Masoumzadeh, Yufei Mary Li, Shane McIntosh, Dniel Varr, Lili Wei |
| 2026 | SANER | Grounding Generative AI in Software Engineering: Are We There Yet? | Mootez Saad, Jos Antonio Hernndez Lpez, Boqi Chen, Neil A. Ernst, Dniel Varr, Tushar Sharma |
| 2025 | ICSE | The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages. | Boqi Chen, Jos Antonio Hernndez Lpez, Gunter Mussbacher, Dniel Varr |
| 2025 | MODELS | SHERPA: A Model-Driven Framework for Large Language Model Execution. | Boqi Chen, Kua Chene, Jos Antonio Hernndez Lpez, Gunter Mussbacher, Dniel Varr, Amir Feizpour |
| 2025 | PROFES | Generative AI in Simulation-Based Test Environments for Large-Scale Cyber-Physical Systems: An Industrial Study. | Masoud Sadrnezhaad, Jos Antonio Hernndez Lpez, Torvald Mrtensson, Dniel Varr |
| 2025 | RE | LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation. | Boqi Chen, Aren A. Babikian, Shuzhao Feng, Dniel Varr, Gunter Mussbacher |
| 2024 | ICSE | Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. | Kristf Marussy, Attila Ficsor, Oszkr Semerth, Dniel Varr |
| 2024 | MODELS | Embedding-based Automated Assessment of Domain Models. | Kua Chen, Boqi Chen, Yujing Yang, Gunter Mussbacher, Dniel Varr |
| 2024 | MODELS | Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles. | Ulf Kargn, Dniel Varr |
| 2024 | MODELS | Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT. | Jos Antonio Hernndez Lpez, Mt Fldik, Dniel Varr |
| 2024 | MODELS | Multi-step Iterative Automated Domain Modeling with Large Language Models. | Yujing Yang, Boqi Chen, Kua Chen, Gunter Mussbacher, Dniel Varr |
| 2024 | Onward | Active DSU: Dynamic Software Updates for Active Functions. | Filip Strmbck, Dniel Varr |
| 2023 | ICSE | Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs. | Fozail Ahmad, Maruthi Rangappa, Neeraj Katiyar, Martin Staniszewski, Dniel Varr |
| 2023 | MODELS | Automated Domain Modeling with Large Language Models: A Comparative Study. | Kua Chen, Yujing Yang, Boqi Chen, Jos Antonio Hernndez Lpez, Gunter Mussbacher, Dniel Varr |
| 2023 | MODELS | Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. | Boqi Chen, Fandi Yi, Dniel Varr |
| 2023 | RE | On the Use of GPT-4 for Creating Goal Models: An Exploratory Study. | Boqi Chen, Kua Chen, Shabnam Hassani, Yujing Yang, Daniel Amyot, Lysanne Lessard, Gunter Mussbacher, Mehrdad Sabetzadeh, Dniel Varr |
| 2022 | MODELS | System architecture synthesis for performability by logic solvers. | Mt Fldik, Kristf Marussy, Dniel Varr, Istvn Majzik |
| 2020 | FASE | Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. | Aren A. Babikian, Oszkr Semerth, Dniel Varr |
| 2020 | MODELS | Automated video game world map synthesis by model-based techniques. | Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkr Semerth, Dniel Varr |
| 2020 | MODELS | Automated generation of consistent models with structural and attribute constraints. | Oszkr Semerth, Aren A. Babikian, Anqi Li, Kristf Marussy, Dniel Varr |
| 2019 | ICSE | Viatra solver: a framework for the automated generation of consistent domain-specific models. | Oszkr Semerth, Aren A. Babikian, Sebastian Pilarski, Dniel Varr |
| 2019 | MODELS | Towards WCET Estimation of Graph Queries@Run.time. | Mrton Br, Dniel Varr |
| 2019 | MODELS | Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. | Istvn Majzik, Oszkr Semerth, Csaba Hajdu, Kristf Marussy, Zoltn Szatmri, Zoltn Micskei, Andrs Vrs, Aren A. Babikian, Dniel Varr |
| 2019 | MODELS | On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design. | Sebastian Pilarski, Martin Staniszewski, Frederic Villeneuve, Dniel Varr |
| 2018 | FASE | Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. | Mrton Br, Gbor S. Szilgyi, Andrs Vrs, Dniel Varr |
| 2018 | FASE | Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. | Oszkr Semerth, Dniel Varr |
| 2018 | ICSE | The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. | Vince Molnr, Bence Graics, Andrs Vrs, Istvn Majzik, Dniel Varr |
| 2018 | ICSE | A graph solver for the automated generation of consistent domain-specific models. | Oszkr Semerth, Andrs Szabolcs Nagy, Dniel Varr |
| 2018 | MODELS | Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. | bel Hegeds, Gbor Bergmann, Csaba Debreceni, kos Horvth, Pter Lunk, kos Menyhrt, Istvn Papp, Dniel Varr, Tomas Vileiniskis, Istvn Rth |
| 2018 | MODELS | Incremental View Model Synchronization Using Partial Models. | Kristf Marussy, Oszkr Semerth, Dniel Varr |
| 2017 | ADBIS | Formalising openCypher Graph Queries in Relational Algebra. | Jzsef Marton, Gbor Szrnyas, Dniel Varr |
| 2017 | MODELS | Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling. | Gbor Bergmann, Csaba Debreceni, Istvn Rth, Dniel Varr |
| 2017 | MODELS | Property-Based Locking in Collaborative Modeling. | Csaba Debreceni, Gbor Bergmann, Istvn Rth, Dniel Varr |
| 2016 | FASE | Automated Model Merge by Design Space Exploration. | Csaba Debreceni, Istvn Rth, Dniel Varr, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo |
| 2016 | FASE | Iterative and Incremental Model Generation by Logic Solvers. | Oszkr Semerth, Andrs Vrs, Dniel Varr |
| 2016 | MODELS | Query-based access control for secure collaborative modeling using bidirectional transformations. | Gbor Bergmann, Csaba Debreceni, Istvn Rth, Dniel Varr |
| 2016 | MODELS | Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules. | Csaba Debreceni, Gbor Bergmann, Istvn Rth, Dniel Varr |
| 2016 | MODELS | Incremental backward change propagation of view models by logic solvers. | Oszkr Semerth, Csaba Debreceni, kos Horvth, Dniel Varr |
| 2016 | MODELS | Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics. | Gbor Szrnyas, Zsolt Kovri, gnes Salnki, Dniel Varr |
| 2016 | SOFSEM | Incremental Queries and Transformations: From Concepts to Industrial Applications. | Dniel Varr |
| 2015 | MODELS | Property-Based Methods for Collaborative Model Development. | Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, Istvn Rth, Rick Salay, Dniel Varr |
| 2015 | MODELS | Optimization of Incremental Queries in the Cloud. | Jozsef Makai, Gbor Szrnyas, Istvn Rth, kos Horvth, Dniel Varr |
| 2014 | MODELS | Graph Query by Example. | Gbor Bergmann, bel Hegeds, Gyrgy Gerencser, Dniel Varr |
| 2014 | MODELS | Streaming Model Transformations By Complex Event Processing. | Istvn Dvid, Istvn Rth, Dniel Varr |
| 2014 | MODELS | Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies. | Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Dniel Varr |
| 2014 | MODELS | On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. | Zoltn Micskei, Raimund-Andreas Konnerth, Benedek Horvth, Oszkr Semerth, Andrs Vrs, Dniel Varr |
| 2014 | MODELS | IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud. | Gbor Szrnyas, Benedek Izs, Istvn Rth, Dnes Harmath, Gbor Bergmann, Dniel Varr |
| 2014 | SLE | Dynamic Scope Discovery for Model Transformations. | Maris Jukss, Clark Verbrugge, Dniel Varr, Hans Vangheluwe |
| 2013 | MODELS | Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. | Oszkr Semerth, kos Horvth, Dniel Varr |
| 2012 | ICST | Dynamic Backward Slicing of Model Transformations. | Zoltn Ujhelyi, kos Horvth, Dniel Varr |
| 2012 | MODELS | Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). | Juergen Dingel, Levi Lcio, Hans Vangheluwe, Dniel Varr |
| 2012 | MODELS | Query-Driven Soft Interconnection of EMF Models. | bel Hegeds, kos Horvth, Istvn Rth, Dniel Varr |
| 2012 | MODELS | Ontology driven design of EMF metamodels and well-formedness constraints. | Benedek Izs, Zoltn Szatmri, Gbor Bergmann, kos Horvth, Istvn Rth, Dniel Varr |
| 2012 | MODELS | Developing and visualizing live model queries. | Zoltn Ujhelyi, Tams Szab, Istvn Rth, Dniel Varr |
| 2011 | CaiSE | A Tool for Managing Evolving Security Requirements. | Gbor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dniel Varr, Yijun Yu |
| 2011 | CaiSE | A Tool for Managing Evolving Security Requirements. | Gbor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dniel Varr, Yijun Yu |
| 2010 | MODELS | Incremental Evaluation of Model Queries over EMF Models. | Gbor Bergmann, kos Horvth, Istvn Rth, Dniel Varr, Andrs Balogh, Zoltn Balogh, Andrs krs |
| 2010 | SEFM | Back-annotation of Simulation Traces with Change-Driven Model Transformations. | bel Hegeds, Gbor Bergmann, Istvn Rth, Dniel Varr |
| 2009 | MODELS | Teaching Modeling: Why, When, What? | Jean Bzivin, Robert B. France, Martin Gogolla, ystein Haugen, Gabriele Taentzer, Dniel Varr |
| 2009 | MODELS | CSP(M): Constraint Satisfaction Problem over Models. | kos Horvth, Dniel Varr |
| 2009 | MODELS | Change-Driven Model Transformations. | Istvn Rth, Gergely Varr, Dniel Varr |
| 2008 | ICSE | Incremental pattern matching in the viatra model transformation system. | Gbor Bergmann, Andrs krs, Istvn Rth, Dniel Varr, Gergely Varr |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2008 | MODELS | Model Transformations for Performability Analysis of Service Configurations. | Lszl Gnczy, Zsolt Dri, Dniel Varr |
| 2008 | MODELS | Model Driven Performability Analysis of Service Configurations with Reliable Messaging. | Lszl Gnczy, Zsolt Dri, Dniel Varr |
| 2007 | SAC | Automating model transformation by example using inductive logic programming. | Dniel Varr, Zoltn Balogh |
| 2006 | MODELS | Model Transformation by Example. | Dniel Varr |
| 2006 | SAC | Advanced model transformation language constructs in the VIATRA2 framework. | Andrs Balogh, Dniel Varr |
| 2006 | SAC | Compiling model transformations to EJB3-specific transformer plugins. | Andrs Balogh, Gergely Varr, Dniel Varr, Andrs Pataricza |
| 2005 | FASE | Termination Criteria for Model Transformation. | Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dniel Varr, Szilvia Varr-Gyapay |
| 2004 | GI | Static Safety Analysis of UML Action Semantics for Critical Systems Development. | Zsigmond Pap, Dniel Varr |