Dániel Varró

233 papers A* 8A 22B 27C 2Misc 3Journal 80Unranked 80

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation. Data Min. Knowl. Discov. Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
2026	J	`jnl`	Runtime-Augmented LLMs for Crash Detection and Diagnosis in ML Notebooks. CoRR Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2025	J	`jnl`	An Adaptive Language-Agnostic Pruning Method for Greener Language Models for Code. Proc. ACM Softw. Eng. Mootez Saad, José Antonio Hernández López, Boqi Chen, Dániel Varró, Tushar Sharma
2025	J	`jnl`	Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles. Proc. ACM Softw. Eng. Dominik Frey, Ulf Kargén, Dániel Varró
2025	J	`jnl`	Combining simulation and reinforcement learning to reduce food waste in food retail. Simul. Sebastian Pilarski, Aman Sidhu, Dániel Varró
2025	J	`jnl`	Do Experts Agree About Smelly Infrastructure? IEEE Trans. Software Eng. Sogol Masoumzadeh, Nuno Saavedra, Rungroj Maipradit, Lili Wei, João F. Ferreira, Dániel Varró, Shane McIntosh
2025	B	`conf`	Generative AI in Simulation-Based Test Environments for Large-Scale Cyber-Physical Systems: An Industrial Study. PROFES Masoud Sadrnezhaad, José Antonio Hernández López, Torvald Mårtensson, Dániel Varró
2025	J	`jnl`	Generative AI in Simulation-Based Test Environments for Large-Scale Cyber-Physical Systems: An Industrial Study. CoRR Masoud Sadrnezhaad, José Antonio Hernández López, Torvald Mårtensson, Dániel Varró
2025	J	`jnl`	Hierarchical Evaluation of Software Design Capabilities of Large Language Models of Code. CoRR Mootez Saad, Boqi Chen, José Antonio Hernández López, Dániel Varró, Tushar Sharma
2025	J	`jnl`	JunoBench: A Benchmark Dataset of Crashes in Python Machine Learning Jupyter Notebooks. CoRR Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2025	A	`conf`	LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation. RE Boqi Chen, Aren A. Babikian, Shuzhao Feng, Dániel Varró, Gunter Mussbacher
2025	J	`jnl`	LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation. CoRR Boqi Chen, Aren A. Babikian, Shuzhao Feng, Dániel Varró, Gunter Mussbacher
2025	J	`jnl`	On Inter-Dataset Code Duplication and Data Leakage in Large Language Models. IEEE Trans. Software Eng. José Antonio Hernández López, Boqi Chen, Mootez Saad, Tushar Sharma, Dániel Varró
2025	J	`jnl`	SENAI: Towards Software Engineering Native Generative Artificial Intelligence. CoRR Mootez Saad, José Antonio Hernández López, Boqi Chen, Neil A. Ernst, Dániel Varró, Tushar Sharma
2025	A	`conf`	SHERPA: A Model-Driven Framework for Large Language Model Execution. MODELS Boqi Chen, Kua Chene, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró, Amir Feizpour
2025	J	`jnl`	SHERPA: A Model-Driven Framework for Large Language Model Execution. CoRR Boqi Chen, Kua Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró, Amir Feizpour
2025	J	`jnl`	SeBERTis: A Framework for Producing Classifiers of Security-Related Issue Reports. CoRR Sogol Masoumzadeh, Yufei Li, Shane McIntosh, Dániel Varró, Lili Wei
2025	A*	`conf`	The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages. ICSE Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró
2025	J	`jnl`	Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks. IEEE Trans. Software Eng. Yiran Wang, Willem Meijer, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2024	J	`jnl`	ALPINE: An adaptive language-agnostic pruning method for language models for code. CoRR Mootez Saad, José Antonio Hernández López, Boqi Chen, Dániel Varró, Tushar Sharma
2024	—	`conf`	Active DSU: Dynamic Software Updates for Active Functions. Onward! Filip Strömbäck, Dániel Varró
2024	J	`jnl`	Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition. CoRR Aren A. Babikian, Attila Ficsor, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
2024	J	`jnl`	Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation. CoRR Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
2024	J	`jnl`	Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. IEEE Trans. Software Eng. Aren A. Babikian, Oszkár Semeráth, Dániel Varró
2024	—	`conf`	Embedding-based Automated Assessment of Domain Models. MoDELS (Companion) Kua Chen, Boqi Chen, Yujing Yang, Gunter Mussbacher, Dániel Varró
2024	—	`conf`	Multi-step Iterative Automated Domain Modeling with Large Language Models. MoDELS (Companion) Yujing Yang, Boqi Chen, Kua Chen, Gunter Mussbacher, Dániel Varró
2024	J	`jnl`	On Inter-dataset Code Duplication and Data Leakage in Large Language Models. CoRR José Antonio Hernández López, Boqi Chen, Tushar Sharma, Dániel Varró
2024	—	`conf`	OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track. SBFT@ICSE Aren A. Babikian, Dániel Varró
2024	—	`conf`	Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. ICSE Companion Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró
2024	A	`conf`	Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT. MODELS José Antonio Hernández López, Máté Földiák, Dániel Varró
2024	J	`jnl`	The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages. CoRR Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró
2024	A	`conf`	Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles. MODELS Ulf Kargén, Dániel Varró
2024	—	`conf`	Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks. SIGSOFT FSE Companion Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2024	J	`jnl`	Why do Machine Learning Notebooks Crash? CoRR Yiran Wang, Willem Meijer, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2023	—	`conf`	A Simulation Environment for Reducing Food Waste via Reinforcement Learning. ANNSIM Sebastian Pilarski, Aman Sidhu, Dániel Varró
2023	A	`conf`	Automated Domain Modeling with Large Language Models: A Comparative Study. MODELS Kua Chen, Yujing Yang, Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró
2023	J	`jnl`	Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study. IEEE Trans. Software Eng. Faizan Khan, Istvan David, Dániel Varró, Shane McIntosh
2023	J	`jnl`	Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. CoRR Aren A. Babikian, Oszkár Semeráth, Dániel Varró
2023	J	`jnl`	Guest editorial for the special section on MODELS 2021. Softw. Syst. Model. Shiva Nejati, Dániel Varró
2023	—	`conf`	Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs. ICSE-SEIP Fozail Ahmad, Maruthi Rangappa, Neeraj Katiyar, Martin Staniszewski, Dániel Varró
2023	—	`conf`	On the Use of GPT-4 for Creating Goal Models: An Exploratory Study. REW Boqi Chen, Kua Chen, Shabnam Hassani, Yujing Yang, Daniel Amyot, Lysanne Lessard, Gunter Mussbacher, Mehrdad Sabetzadeh, Dániel Varró
2023	—	`conf`	Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. MoDELS (Companion) Boqi Chen, Fandi Yi, Dániel Varró
2023	J	`jnl`	Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. CoRR Boqi Chen, Fandi Yi, Dániel Varró
2023	J	`jnl`	Towards Improving the Explainability of Text-based Information Retrieval with Knowledge Graphs. CoRR Boqi Chen, Kua Chen, Yujing Yang, Afshin Amini, Bharat Saxena, Cecilia Chávez-García, Majid Babaei, Amir Feizpour, Dániel Varró
2022	J	`jnl`	An Empirical Study of Type-Related Defects in Python Projects. IEEE Trans. Software Eng. Faizan Khan, Boqi Chen, Dániel Varró, Shane McIntosh
2022	J	`jnl`	Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Trans. Software Eng. Kristóf Marussy, Oszkár Semeráth, Dániel Varró
2022	J	`jnl`	Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró
2022	A*	`conf`	Consistent Scene Graph Generation by Constraint Optimization. ASE Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró
2022	J	`jnl`	Delayed Reward Bernoulli Bandits: Optimal Policy and Predictive Meta-Algorithm PARDI. IEEE Trans. Artif. Intell. Sebastian Pilarski, Slawomir Pilarski, Dániel Varró
2022	A	`conf`	System architecture synthesis for performability by logic solvers. MoDELS Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik
2021	J	`jnl`	Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró
2021	—	`ch.`	Continual Model-Based Analysis. Composing Model-Based Analysis Tools Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró
2021	J	`jnl`	Optimal Policy for Bernoulli Bandits: Computation and Algorithm Gauge. IEEE Trans. Artif. Intell. Sebastian Pilarski, Slawomir Pilarski, Dániel Varró
2021	J	`jnl`	Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime. Softw. Syst. Model. Sebastian Pilarski, Martin Staniszewski, Matthew Bryan, Frederic Villeneuve, Dániel Varró
2021	J	`jnl`	Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation. CoRR Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró
2021	J	`jnl`	Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. ACM Trans. Embed. Comput. Syst. Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró
2020	J	`jnl`	A Specification Language for Consistent Model Generation based on Partial Models. J. Object Technol. Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró
2020	B	`conf`	Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. FASE Aren A. Babikian, Oszkár Semeráth, Dániel Varró
2020	A	`conf`	Automated generation of consistent models with structural and attribute constraints. MoDELS Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró
2020	—	`conf`	Automated video game world map synthesis by model-based techniques. MoDELS (Companion) Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkár Semeráth, Dániel Varró
2020	J	`jnl`	Distributed graph queries over [email protected] for runtime monitoring of cyber-physical systems. Int. J. Softw. Tools Technol. Transf. Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró
2020	J	`jnl`	Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transf. Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró
2020	J	`jnl`	Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
2020	J	`jnl`	Opportunities in intelligent modeling assistance. Softw. Syst. Model. Gunter Mussbacher, Benoît Combemale, Jörg Kienzle, Silvia Abrahão, Hyacinth Ali, Nelly Bencomo, Márton Búr, Loli Burgueño, Gregor Engels, Pierre Jeanjean, Jean-Marc Jézéquel, Thomas Kühn, Sébastien Mosser, Houari A. Sahraoui, Eugene Syriani, Dániel Varró, Martin Weyssow
2019	J	`jnl`	Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations. Softw. Syst. Model. Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
2019	J	`jnl`	Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations. Softw. Syst. Model. Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
2019	—	`conf`	Evaluation of Distributed Query-Based Monitoring over Data Distribution Service. WF-IoT Márton Búr, Dániel Varró
2019	—	`conf`	On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design. MoDELS (Companion) Sebastian Pilarski, Martin Staniszewski, Frederic Villeneuve, Dániel Varró
2019	—	`ed.`	Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019 MiSE@ICSE Marsha Chechik, Daniel Strüber, Dániel Varró
2019	J	`jnl`	Survey and classification of model transformation tools. Softw. Syst. Model. Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Dániel Varró
2019	A	`conf`	Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró
2019	A	`conf`	Towards WCET Estimation of Graph [email protected]. MoDELS Márton Búr, Dániel Varró
2019	—	`conf`	Viatra solver: a framework for the automated generation of consistent domain-specific models. ICSE (Companion Volume) Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, Dániel Varró
2018	A*	`conf`	A graph solver for the automated generation of consistent domain-specific models. ICSE Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró
2018	B	`conf`	Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. FASE Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró
2018	B	`conf`	Evaluating the efficiency of using a search-based automated model merge technique. VL/HCC Ankica Barisic, Csaba Debreceni, Dániel Varró, Vasco Amaral, Miguel Goulão
2018	J	`jnl`	Foundations for Streaming Model Transformations by Complex Event Processing. Softw. Syst. Model. István Dávid, István Ráth, Dániel Varró
2018	—	`conf`	Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. MoDELS (Companion) Ábel Hegedüs, Gábor Bergmann, Csaba Debreceni, Ákos Horváth, Péter Lunk, Ákos Menyhért, István Papp, Dániel Varró, Tomas Vileiniskis, István Ráth
2018	A	`conf`	Incremental View Model Synchronization Using Partial Models. MoDELS Kristóf Marussy, Oszkár Semeráth, Dániel Varró
2018	B	`conf`	Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. FASE Oszkár Semeráth, Dániel Varró
2018	—	`conf`	MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. NFM András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló, Dániel Varró
2018	J	`jnl`	Reducing Property Graph Queries to Relational Algebra for Incremental View Maintenance. CoRR Gábor Szárnyas, József Marton, János Maginecz, Dániel Varró
2018	J	`jnl`	Secure Views for Collaborative Modeling. IEEE Softw. Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
2018	—	`conf`	The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. ICSE (Companion Volume) Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró
2018	J	`jnl`	The Train Benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró
2018	—	`conf`	Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. Graph Transformation, Specifications, and Nets Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth
2017	J	`jnl`	Evaluating Well-Formedness Constraints on Incomplete Models. Acta Cybern. Oszkár Semeráth, Dániel Varró
2017	J	`jnl`	Evaluation of Optimization Strategies for Incremental Graph Queries. Period. Polytech. Electr. Eng. Comput. Sci. Gábor Szárnyas, János Maginecz, Dániel Varró
2017	J	`jnl`	Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró
2017	C	`conf`	Formalising openCypher Graph Queries in Relational Algebra. ADBIS József Marton, Gábor Szárnyas, Dániel Varró
2017	J	`jnl`	Formalising opencypher Graph Queries in Relational Algebra. CoRR József Marton, Gábor Szárnyas, Dániel Varró
2017	—	`conf`	Graph Constraint Evaluation over Partial Models by Constraint Rewriting. ICMT Oszkár Semeráth, Dániel Varró
2017	A	`conf`	Property-Based Locking in Collaborative Modeling. MoDELS Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
2017	—	`conf`	The MONDO collaboration framework: secure collaborative modeling over existing version control systems. ESEC/SIGSOFT FSE Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, Dániel Varró
2017	—	`conf`	Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling. MoDELS (Satellite Events) Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró
2016	B	`conf`	Automated Model Merge by Design Space Exploration. FASE Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo
2016	—	`conf`	Change Propagation of View Models by Logic Synthesis using SAT solvers. Bx@ETAPS Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
2016	—	`conf`	Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules. COMMitMDE@MoDELS Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
2016	B	`conf`	Incremental Queries and Transformations: From Concepts to Industrial Applications. SOFSEM Dániel Varró
2016	A	`conf`	Incremental backward change propagation of view models by logic solvers. MoDELS Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
2016	B	`conf`	Iterative and Incremental Model Generation by Logic Solvers. FASE Oszkár Semeráth, András Vörös, Dániel Varró
2016	—	`conf`	MONDO: Scalable Modelling and Model Management on the Cloud. STAF Doctoral Symposium / Showcase Dimitrios S. Kolovos, Antonio García-Domínguez, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi
2016	B	`ed.`	Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016 SLE Tijs van der Storm, Emilie Balland, Dániel Varró
2016	A	`conf`	Query-based access control for secure collaborative modeling using bidirectional transformations. MoDELS Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró
2016	J	`jnl`	Query-driven soft traceability links for models. Softw. Syst. Model. Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró
2016	B	`conf`	Rete Network Slicing for Model Queries. ICGT Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró
2016	J	`jnl`	Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
2016	—	`ed.`	Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers STAF Workshops Paolo Milazzo, Dániel Varró, Manuel Wimmer
2016	A	`conf`	Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics. MoDELS Gábor Szárnyas, Zsolt Kovári, Ágnes Salánki, Dániel Varró
2015	J	`jnl`	A model-driven framework for guided design space exploration. Autom. Softw. Eng. Ábel Hegedüs, Ákos Horváth, Dániel Varró
2015	J	`jnl`	EMF-IncQuery: An integrated development environment for live model queries. Sci. Comput. Program. Zoltán Ujhelyi, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Benedek Izsó, István Ráth, Zoltán Szatmári, Dániel Varró
2015	B	`conf`	Local Search-Based Pattern Matching Features in EMF-IncQuery. ICGT Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
2015	—	`conf`	MONDO: Scalable Modelling and Model Management on the Cloud. STAF Projects Showcase Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi
2015	—	`conf`	Optimization of Incremental Queries in the Cloud. CloudMDE@MoDELS Jozsef Makai, Gábor Szárnyas, István Ráth, Ákos Horváth, Dániel Varró
2015	—	`conf`	Patterns and Styles for Incremental Model Transformations. PAME@STAF Dániel Varró
2015	J	`jnl`	Performance comparison of query-based techniques for anti-pattern detection. Inf. Softw. Technol. Zoltán Ujhelyi, Gábor Szoke, Ákos Horváth, Norbert Istvan Csiszár, László Vidács, Dániel Varró, Rudolf Ferenc
2015	—	`ed.`	Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015. STAF Doctoral Symposium Martin Gogolla, Henry Muccini, Dániel Varró
2015	—	`conf`	Property-Based Methods for Collaborative Model Development. GEMOC+MPM@MoDELS Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró
2015	—	`conf`	The TTC 2015 Train Benchmark Case for Incremental Model Validation. TTC@STAF Gábor Szárnyas, Oszkár Semeráth, István Ráth, Dániel Varró
2015	—	`conf`	Viatra 3: A Reactive Model Transformation Platform. ICMT Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
2014	—	`conf`	Anti-pattern detection with model queries: A comparison of approaches. CSMR-WCRE Zoltán Ujhelyi, Ákos Horváth, Dániel Varró, Norbert Istvan Csiszár, Gábor Szoke, László Vidács, Rudolf Ferenc
2014	B	`conf`	Dynamic Scope Discovery for Model Transformations. SLE Maris Jukss, Clark Verbrugge, Dániel Varró, Hans Vangheluwe
2014	—	`conf`	Graph Query by Example. CMSEBA@MoDELS Gábor Bergmann, Ábel Hegedüs, György Gerencser, Dániel Varró
2014	A	`conf`	IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud. MoDELS Gábor Szárnyas, Benedek Izsó, István Ráth, Dénes Harmath, Gábor Bergmann, Dániel Varró
2014	—	`conf`	MONDO-SAM: A Framework to Systematically Assess MDE Scalability. BigMDE@STAF Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró
2014	A*	`conf`	Multi-objective optimization in rule-based design space exploration. ASE Hani Abdeen, Dániel Varró, Houari A. Sahraoui, András Szabolcs Nagy, Csaba Debreceni, Ábel Hegedüs, Ákos Horváth
2014	—	`conf`	On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró
2014	—	`conf`	Query-driven incremental synchronization of view models. VAO@STAF Csaba Debreceni, Ákos Horváth, Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Dániel Varró
2014	A	`conf`	Streaming Model Transformations By Complex Event Processing. MoDELS István Dávid, István Ráth, Dániel Varró
2014	—	`ed.`	Theory and Practice of Model Transformations - 7th International Conference, ICMT@STAF 2014, York, UK, July 21-22, 2014. Proceedings ICMT Davide Di Ruscio, Dániel Varró
2014	—	`conf`	Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies. MPM@MoDELS Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Dániel Varró
2013	—	`conf`	A research roadmap towards achieving scalability in model driven engineering. BigMDE@STAF Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Massimo Tisi, Jordi Cabot
2013	B	`ed.`	Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings FASE Vittorio Cortellessa, Dániel Varró
2013	—	`conf`	IncQuery-D: incremental graph search in the cloud. BigMDE@STAF Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró
2013	A	`conf`	Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. MoDELS Oszkár Semeráth, Ákos Horváth, Dániel Varró
2012	—	`ed.`	Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers AGTIVE Andy Schürr, Dániel Varró, Gergely Varró
2012	J	`jnl`	Change-driven model transformations - Change (in) the rule to rule the change. Softw. Syst. Model. Gábor Bergmann, István Ráth, Gergely Varró, Dániel Varró
2012	B	`conf`	Derived Features for EMF by Integrating Advanced Model Queries. ECMFA István Ráth, Ábel Hegedüs, Dániel Varró
2012	—	`conf`	Developing and visualizing live model queries. AMT@MoDELS Zoltán Ujhelyi, Tamás Szabó, István Ráth, Dániel Varró
2012	A	`conf`	Dynamic Backward Slicing of Model Transformations. ICST Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
2012	J	`jnl`	Dynamic constraint satisfaction problems over models. Softw. Syst. Model. Ákos Horváth, Dániel Varró
2012	B	`conf`	Incremental Pattern Matching for the Efficient Computation of Transitive Closure. ICGT Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró
2012	—	`conf`	Integrating Efficient Model Queries in State-of-the-Art EMF Tools. TOOLS (50) Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
2012	—	`conf`	Keynote 2: A Bridge Over Troubled Water - Synergies between Model Transformation and Software Maintenance Techniques. CSMR Dániel Varró
2012	J	`jnl`	Lessons learned from building model-driven development tools. Softw. Syst. Model. Richard F. Paige, Dániel Varró
2012	—	`conf`	Ontology driven design of EMF metamodels and well-formedness constraints. OCL@MoDELS Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
2012	A	`conf`	Query-Driven Soft Interconnection of EMF Models. MoDELS Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
2012	—	`conf`	Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). AMT@MoDELS Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Dániel Varró
2011	—	`conf`	A Graph Query Language for EMF Models. ICMT@TOOLS Gábor Bergmann, Zoltán Ujhelyi, István Ráth, Dániel Varró
2011	—	`conf`	A Tool for Managing Evolving Security Requirements. CAiSE Forum Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu
2011	—	`conf`	A Tool for Managing Evolving Security Requirements. CAiSE Forum (Selected Papers) Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu
2011	A*	`conf`	A model-driven framework for guided design space exploration. ASE Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
2011	—	`ch.`	Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. Results of the SENSORIA Project Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró
2011	A*	`conf`	Implementing efficient model validation in EMF tools. ASE Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
2011	B	`conf`	Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. ECMFA Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
2011	—	`ch.`	Methodologies for Model-Driven Development and Deployment: An Overview. Results of the SENSORIA Project László Gönczy, Ábel Hegedüs, Dániel Varró
2011	J	`jnl`	Non-functional properties in the model-driven development of service-oriented systems. Softw. Syst. Model. Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró
2011	B	`conf`	Quick fix generation for DSMLs. VL/HCC Ábel Hegedüs, Ákos Horváth, István Ráth, Moisés Castelo Branco, Dániel Varró
2011	—	`conf`	SeCMER: A Tool to Gain Control of Security Requirements Evolution. ServiceWave Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu
2011	J	`jnl`	Static Type Checking of Model Transformation Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
2011	A*	`conf`	Towards dynamic backward slicing of model transformations. ASE Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
2011	—	`ch.`	UML Extensions for Service-Oriented Systems. Results of the SENSORIA Project Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró
2010	B	`conf`	Back-annotation of Simulation Traces with Change-Driven Model Transformations. SEFM Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró
2010	J	`jnl`	Experimental assessment of combining pattern matching strategies with VIATRA2. Int. J. Softw. Tools Technol. Transf. Ákos Horváth, Gábor Bergmann, István Ráth, Dániel Varró
2010	—	`conf`	Incremental Evaluation of Model Queries over EMF Models. MoDELS (1) Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, András Ökrös
2010	J	`jnl`	Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Juan de Lara, Dániel Varró
2010	J	`jnl`	Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations. Softw. Syst. Model. István Ráth, András Ökrös, Dániel Varró
2010	J	`jnl`	Towards Guided Trajectory Exploration of Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ábel Hegedüs, Ákos Horváth, Dániel Varró
2010	—	`conf`	Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró
2009	A	`conf`	CSP(M): Constraint Satisfaction Problem over Models. MoDELS Ákos Horváth, Dániel Varró
2009	A	`conf`	Change-Driven Model Transformations. MoDELS István Ráth, Gergely Varró, Dániel Varró
2009	—	`conf`	Efficient Model Transformations by Combining Pattern Matching Strategies. ICMT@TOOLS Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
2009	J	`jnl`	Model transformation by example using inductive logic programming. Softw. Syst. Model. Zoltán Balogh, Dániel Varró
2009	J	`jnl`	Parallelization of Graph Transformation Based on Incremental Pattern Matching. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gábor Bergmann, István Ráth, Dániel Varró
2009	—	`conf`	Teaching Modeling: Why, When, What? MoDELS (Workshops) Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró
2008	B	`conf`	A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. ICGT Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
2008	B	`conf`	Design-time simulation of domain-specific models by incremental pattern matching. VL/HCC István Ráth, David Vago, Dániel Varró
2008	J	`jnl`	Formal analysis of BPEL. workflows with compensation by model checking. Comput. Syst. Sci. Eng. Máté Kovács, Dániel Varró, László Gönczy
2008	—	`conf`	Incremental pattern matching in the viatra model transformation system. GRaMoT@ICSE Gábor Bergmann, András Ökrös, István Ráth, Dániel Varró, Gergely Varró
2008	—	`conf`	Live Model Transformations Driven by Incremental Pattern Matching. ICMT@TOOLS István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró
2008	—	`conf`	Model Driven Performability Analysis of Service Configurations with Reliable Messaging. MDWE@MoDELS László Gönczy, Zsolt Déri, Dániel Varró
2008	—	`conf`	Model Transformations for Performability Analysis of Service Configurations. MoDELS (Workshops) László Gönczy, Zsolt Déri, Dániel Varró
2008	—	`ed.`	Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006 GT-VMT@ETAPS Roberto Bruni, Dániel Varró
2008	C	`conf`	SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
2008	—	`conf`	Tool Support for Engineering Certifiable Software. SafeCert@ETAPS László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
2007	—	`conf`	An Eclipse-Based Framework for AIS Service Configurations. ISAS András Kövi, Dániel Varró
2007	Misc	`conf`	Automating model transformation by example using inductive logic programming. SAC Dániel Varró, Zoltán Balogh
2007	—	`conf`	Formal modeling of BPEL workflows including fault and compensation handling. EFTS Máté Kovács, Dániel Varró, László Gönczy
2007	J	`jnl`	Generic Search Plans for Matching Advanced Graph Patterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ákos Horváth, Gergely Varró, Dániel Varró
2007	—	`conf`	Model-Based Testing of Service Infrastructure Components. TestCom/FATES László Gönczy, Reiko Heckel, Dániel Varró
2007	—	`conf`	Recursive Graph Pattern Matching. AGTIVE Gergely Varró, Ákos Horváth, Dániel Varró
2007	J	`jnl`	The model transformation language of the VIATRA2 framework. Sci. Comput. Program. Dániel Varró, András Balogh
2007	—	`conf`	Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. AGTIVE Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell
2006	Misc	`conf`	Advanced model transformation language constructs in the VIATRA2 framework. SAC András Balogh, Dániel Varró
2006	Misc	`conf`	Compiling model transformations to EJB3-specific transformer plugins. SAC András Balogh, Gergely Varró, Dániel Varró, András Pataricza
2006	J	`jnl`	Implementing a Graph Transformation Engine in Relational Databases. Softw. Syst. Model. Gergely Varró, Katalin Friedl, Dániel Varró
2006	J	`jnl`	Incremental Graph Pattern Matching: Data Structures and Initial Experiments. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gergely Varró, Dániel Varró, Andy Schürr
2006	—	`conf`	Making Legacy Services Highly Available with OpenAIS: An Experience Report. ISAS András Kövi, Dániel Varró, Zoltán Németh
2006	A	`conf`	Model Transformation by Example. MoDELS Dániel Varró
2006	—	`conf`	Modeling and Verification of Reliable Messaging by Graph Transformation Systems. GT-VC@CONCUR László Gönczy, Máté Kovács, Dániel Varró
2006	J	`jnl`	Optimization in Graph Transformation Systems Using Petri Net Based Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Szilvia Varró-Gyapay, Dániel Varró
2006	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Albert Zündorf, Dániel Varró
2006	—	`conf`	Preface. GT-VMT@ETAPS Roberto Bruni, Dániel Varró
2006	J	`jnl`	Style-based modeling and refinement of service-oriented architectures. Softw. Syst. Model. Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
2006	B	`conf`	Termination Analysis of Model Transformations by Petri Nets. ICGT Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
2006	—	`conf`	Towards Testing the Implementation of Graph Transformations. GT-VMT@ETAPS Andrea Darabos, András Pataricza, Dániel Varró
2006	B	`conf`	Workshop on Graph-Based Tools. ICGT Albert Zündorf, Dániel Varró
2005	—	`conf`	Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans. GRaMoT@GPCE Gergely Varró, Katalin Friedl, Dániel Varró
2005	—	`conf`	Applying a Model Transformation Taxonomy to Graph Transformation Technology. GRaMoT@GPCE Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai
2005	B	`conf`	Benchmarking for Graph Transformation. VL/HCC Gergely Varró, Andy Schürr, Dániel Varró
2005	—	`conf`	Model-Based Optimization of Enterprise Application and Service Deployment. ISAS András Balogh, Dániel Varró, András Pataricza
2005	—	`conf`	Termination Criteria for Model Transformation. Transformation Techniques in Software Engineering Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay
2005	B	`conf`	Termination Criteria for Model Transformation. FASE Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay
2005	—	`ch.`	Using Graph Transformation for Practical Model-Driven Software Engineering. Model-Driven Software Development Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró
2004	J	`jnl`	Automated formal verification of visual modeling languages by model checking. Softw. Syst. Model. Dániel Varró
2004	—	`conf`	Generic and Meta-transformations for Model Transformation Engineering. UML Dániel Varró, András Pataricza
2004	—	`conf`	Graph Transformation in Relational Databases. GraBaTs Gergely Varró, Katalin Friedl, Dániel Varró
2004	—	`conf`	Graph Transformation with Incremental Updates. GT-VMT@ETAPS Gergely Varró, Dániel Varró
2004	—	`conf`	Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. GT-VMT@ETAPS Szilvia Gyapay, Ákos Schmidt, Dániel Varró
2004	B	`conf`	Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT Arend Rensink, Ákos Schmidt, Dániel Varró
2004	—	`conf`	Static Safety Analysis of UML Action Semantics for Critical Systems Development. GI Jahrestagung (1) Zsigmond Pap, Dániel Varró
2004	—	`conf`	Style-Based Refinement of Dynamic Software Architectures. WICSA Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
2003	—	`conf`	CheckVML: A Tool for Model Checking Visual Modeling Languages. UML Ákos Schmidt, Dániel Varró
2003	J	`jnl`	Graph Transformation with Time. Fundam. Informaticae Szilvia Gyapay, Dániel Varró, Reiko Heckel
2003	—	`conf`	Modeling and validation of service-oriented architectures: application vs. style. ESEC / SIGSOFT FSE Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
2003	J	`jnl`	VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics). Softw. Syst. Model. Dániel Varró, András Pataricza
2002	B	`conf`	A Formal Semantics of UML Statecharts by Model Transition Systems. ICGT Dániel Varró
2002	—	`conf`	An Open Visualization Framework for Metamodel-Based Modeling Languages. GraBaTs Péter Domokos, Dániel Varró
2002	J	`jnl`	Designing the automatic transformation of visual languages. Sci. Comput. Program. Dániel Varró, Gergely Varró, András Pataricza
2002	B	`conf`	Graph Transformation with Time: Causality and Logical Clocks. ICGT Szilvia Gyapay, Reiko Heckel, Dániel Varró
2002	—	`conf`	Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. UML Dániel Varró, András Pataricza
2002	—	`conf`	Towards Symbolic Analysis of Visual Modeling Languages. GT-VMT@ICGT Dániel Varró
2002	A*	`conf`	VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró