Dániel Varró

According to our database, Dániel Varró authored at least 193 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search.

Aren A. Babikian, Oszkár Semeráth, Dániel Varró

IEEE Trans. Software Eng., January, 2024

ALPINE: An adaptive language-agnostic pruning method for language models for code.

Mootez Saad, José Antonio Hernández López, Boqi Chen, Dániel Varró, Tushar Sharma

CoRR, 2024

Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation.

Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró

CoRR, 2024

On Inter-dataset Code Duplication and Data Leakage in Large Language Models.

José Antonio Hernández López, Boqi Chen, Tushar Sharma, Dániel Varró

CoRR, 2024

Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks.

Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models.

Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

Guest editorial for the special section on MODELS 2021.

Shiva Nejati, Dániel Varró

Softw. Syst. Model., October, 2023

Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study.

Faizan Khan, Istvan David, Dániel Varró, Shane McIntosh

IEEE Trans. Software Eng., April, 2023

Towards Improving the Explainability of Text-based Information Retrieval with Knowledge Graphs.

Boqi Chen, Kua Chen, Yujing Yang, Afshin Amini, Bharat Saxena, Cecilia Chávez-García, Majid Babaei, Amir Feizpour, Dániel Varró

CoRR, 2023

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, Dániel Varró

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction.

Boqi Chen, Fandi Yi, Dániel Varró

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Automated Domain Modeling with Large Language Models: A Comparative Study.

Kua Chen, Yujing Yang, Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs.

Fozail Ahmad, Maruthi Rangappa, Neeraj Katiyar, Martin Staniszewski, Dániel Varró

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

A Simulation Environment for Reducing Food Waste via Reinforcement Learning.

Sebastian Pilarski, Aman Sidhu, Dániel Varró

Proceedings of the Annual Modeling and Simulation Conference, 2023

2022

Automated Generation of Consistent Graph Models With Multiplicity Reasoning.

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

IEEE Trans. Software Eng., 2022

An Empirical Study of Type-Related Defects in Python Projects.

Faizan Khan, Boqi Chen, Dániel Varró, Shane McIntosh

IEEE Trans. Software Eng., 2022

Delayed Reward Bernoulli Bandits: Optimal Policy and Predictive Meta-Algorithm PARDI.

Sebastian Pilarski, Slawomir Pilarski, Dániel Varró

IEEE Trans. Artif. Intell., 2022

Automated generation of consistent models using qualitative abstractions and exploration strategies.

Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró

Softw. Syst. Model., 2022

System architecture synthesis for performability by logic solvers.

Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Consistent Scene Graph Generation by Constraint Optimization.

Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation.

Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró

ACM Trans. Embed. Comput. Syst., 2021

Optimal Policy for Bernoulli Bandits: Computation and Algorithm Gauge.

Sebastian Pilarski, Slawomir Pilarski, Dániel Varró

IEEE Trans. Artif. Intell., 2021

Automated generation of consistent, diverse and structurally realistic graph models.

Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró

Softw. Syst. Model., 2021

Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime.

Sebastian Pilarski, Martin Staniszewski, Matthew Bryan, Frederic Villeneuve, Dániel Varró

Softw. Syst. Model., 2021

Continual Model-Based Analysis.

Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

Diversity of graph models and graph generators in mutation testing.

Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró

Int. J. Softw. Tools Technol. Transf., 2020

Distributed graph queries over [e-mail] for runtime monitoring of cyber-physical systems.

Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró

Int. J. Softw. Tools Technol. Transf., 2020

Opportunities in intelligent modeling assistance.

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

Softw. Syst. Model., 2020

Mixed-semantics composition of statecharts for the component-based design of reactive systems.

Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró

Softw. Syst. Model., 2020

A Specification Language for Consistent Model Generation based on Partial Models.

Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró

J. Object Technol., 2020

Automated generation of consistent models with structural and attribute constraints.

Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Automated video game world map synthesis by model-based techniques.

Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkár Semeráth, Dániel Varró

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.

Aren A. Babikian, Oszkár Semeráth, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Survey and classification of model transformation tools.

Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Dániel Varró

Softw. Syst. Model., 2019

Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

Softw. Syst. Model., 2019

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

Softw. Syst. Model., 2019

Evaluation of Distributed Query-Based Monitoring over Data Distribution Service.

Márton Búr, Dániel Varró

Proceedings of the 5th IEEE World Forum on Internet of Things, 2019

On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design.

Sebastian Pilarski, Martin Staniszewski, Frederic Villeneuve, Dániel Varró

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles.

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ó

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Towards WCET Estimation of Graph [e-mail].

Márton Búr, Dániel Varró

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Viatra solver: a framework for the automated generation of consistent domain-specific models.

Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, Dániel Varró

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models".

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

Dataset, July, 2018

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models".

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

Dataset, July, 2018

The Train Benchmark: cross-technology performance evaluation of continuous model queries.

Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró

Softw. Syst. Model., 2018

Foundations for Streaming Model Transformations by Complex Event Processing.

István Dávid, István Ráth, Dániel Varró

Softw. Syst. Model., 2018

Secure Views for Collaborative Modeling.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

IEEE Softw., 2018

Reducing Property Graph Queries to Relational Algebra for Incremental View Maintenance.

Gábor Szárnyas, József Marton, János Maginecz, Dániel Varró

CoRR, 2018

Evaluating the efficiency of using a search-based automated model merge technique.

Ankica Barisic, Csaba Debreceni, Dániel Varró, Vasco Amaral, Miguel Goulão

Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems.

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ó

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Incremental View Model Synchronization Using Partial Models.

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories.

Á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

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

A graph solver for the automated generation of consistent domain-specific models.

Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró

Proceedings of the 40th International Conference on Software Engineering, 2018

The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems.

Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Iterative Generation of Diverse Models for Testing Specifications of DSL Tools.

Oszkár Semeráth, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2018

Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems.

Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2018

Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.

Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Formal validation of domain-specific languages with derived features and well-formedness constraints.

Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró

Softw. Syst. Model., 2017

Evaluation of Optimization Strategies for Incremental Graph Queries.

Gábor Szárnyas, János Maginecz, Dániel Varró

Period. Polytech. Electr. Eng. Comput. Sci., 2017

Evaluating Well-Formedness Constraints on Incomplete Models.

Oszkár Semeráth, Dániel Varró

Acta Cybern., 2017

The MONDO collaboration framework: secure collaborative modeling over existing version control systems.

Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, Dániel Varró

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Property-Based Locking in Collaborative Modeling.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling.

Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Graph Constraint Evaluation over Partial Models by Constraint Rewriting.

Oszkár Semeráth, Dániel Varró

Proceedings of the Theory and Practice of Model Transformation, 2017

Formalising openCypher Graph Queries in Relational Algebra.

József Marton, Gábor Szárnyas, Dániel Varró

Proceedings of the Advances in Databases and Information Systems, 2017

2016

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, István Ráth, Zoltán Ujhelyi

Softw. Syst. Model., 2016

Query-driven soft traceability links for models.

Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró

Softw. Syst. Model., 2016

MONDO: Scalable Modelling and Model Management on the Cloud.

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

Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Incremental Queries and Transformations: From Concepts to Industrial Applications.

Dániel Varró

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics.

Gábor Szárnyas, Zsolt Kovári, Ágnes Salánki, Dániel Varró

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Incremental backward change propagation of view models by logic solvers.

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules.

Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró

Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Query-based access control for secure collaborative modeling using bidirectional transformations.

Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Rete Network Slicing for Model Queries.

Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró

Proceedings of the Graph Transformation - 9th International Conference, 2016

Iterative and Incremental Model Generation by Logic Solvers.

Oszkár Semeráth, András Vörös, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Automated Model Merge by Design Space Exploration.

Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Change Propagation of View Models by Logic Synthesis using SAT solvers.

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró

Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

2015

EMF-IncQuery: An integrated development environment for live model queries.

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ó

Sci. Comput. Program., 2015

Performance comparison of query-based techniques for anti-pattern detection.

Zoltán Ujhelyi, Gábor Szoke, Ákos Horváth, Norbert Istvan Csiszár, László Vidács, Dániel Varró, Rudolf Ferenc

Inf. Softw. Technol., 2015

A model-driven framework for guided design space exploration.

Ábel Hegedüs, Ákos Horváth, Dániel Varró

Autom. Softw. Eng., 2015

Patterns and Styles for Incremental Model Transformations.

Dániel Varró

Proceedings of the First Workshop on Patterns in Model Engineering, 2015

The TTC 2015 Train Benchmark Case for Incremental Model Validation.

Gábor Szárnyas, Oszkár Semeráth, István Ráth, Dániel Varró

Proceedings of the 8th Transformation Tool Contest, 2015

MONDO: Scalable Modelling and Model Management on the Cloud.

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

Proceedings of the Projects Showcase, 2015

Optimization of Incremental Queries in the Cloud.

Jozsef Makai, Gábor Szárnyas, István Ráth, Ákos Horváth, Dániel Varró

Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Property-Based Methods for Collaborative Model Development.

Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

Viatra 3: A Reactive Model Transformation Platform.

Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró

Proceedings of the Theory and Practice of Model Transformations, 2015

Local Search-Based Pattern Matching Features in EMF-IncQuery.

Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

MONDO-SAM: A Framework to Systematically Assess MDE Scalability.

Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró

Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, 2014

Query-driven incremental synchronization of view models.

Csaba Debreceni, Ákos Horváth, Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Dániel Varró

Proceedings of the 2nd Workshop on View-Based, 2014

Dynamic Scope Discovery for Model Transformations.

Maris Jukss, Clark Verbrugge, Dániel Varró, Hans Vangheluwe

Proceedings of the Software Language Engineering - 7th International Conference, 2014

IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud.

Gábor Szárnyas, Benedek Izsó, István Ráth, Dénes Harmath, Gábor Bergmann, Dániel Varró

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf.

Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró

Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

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, Dániel Varró

Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Streaming Model Transformations By Complex Event Processing.

István Dávid, István Ráth, Dániel Varró

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Graph Query by Example.

Gábor Bergmann, Ábel Hegedüs, György Gerencser, Dániel Varró

Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Multi-objective optimization in rule-based design space exploration.

Hani Abdeen, Dániel Varró, Houari A. Sahraoui, András Szabolcs Nagy, Csaba Debreceni, Ábel Hegedüs, Ákos Horváth

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Anti-pattern detection with model queries: A comparison of approaches.

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró, Norbert Istvan Csiszár, Gábor Szoke, László Vidács, Rudolf Ferenc

Proceedings of the 2014 Software Evolution Week, 2014

2013

A research roadmap towards achieving scalability in model driven engineering.

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

Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

IncQuery-D: incremental graph search in the cloud.

Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró

Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver.

Oszkár Semeráth, Ákos Horváth, Dániel Varró

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012

Lessons learned from building model-driven development tools.

Richard F. Paige, Dániel Varró

Softw. Syst. Model., 2012

Dynamic constraint satisfaction problems over models.

Ákos Horváth, Dániel Varró

Softw. Syst. Model., 2012

Change-driven model transformations - Change (in) the rule to rule the change.

Gábor Bergmann, István Ráth, Gergely Varró, Dániel Varró

Softw. Syst. Model., 2012

Integrating Efficient Model Queries in State-of-the-Art EMF Tools.

Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Developing and visualizing live model queries.

Zoltán Ujhelyi, Tamás Szabó, István Ráth, Dániel Varró

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Ontology driven design of EMF metamodels and well-formedness constraints.

Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Query-Driven Soft Interconnection of EMF Models.

Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012).

Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Dániel Varró

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Dynamic Backward Slicing of Model Transformations.

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Incremental Pattern Matching for the Efficient Computation of Transitive Closure.

Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró

Proceedings of the Graph Transformations - 6th International Conference, 2012

Derived Features for EMF by Integrating Advanced Model Queries.

István Ráth, Ábel Hegedüs, Dániel Varró

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Keynote 2: A Bridge Over Troubled Water - Synergies between Model Transformation and Software Maintenance Techniques.

Dániel Varró

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

Non-functional properties in the model-driven development of service-oriented systems.

Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró

Softw. Syst. Model., 2011

Static Type Checking of Model Transformation Programs.

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Quick fix generation for DSMLs.

Ábel Hegedüs, Ákos Horváth, István Ráth, Moisés Castelo Branco, Dániel Varró

Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

SeCMER: A Tool to Gain Control of Security Requirements Evolution.

Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu

Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

Towards dynamic backward slicing of model transformations.

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

A model-driven framework for guided design space exploration.

Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Implementing efficient model validation in EMF tools.

Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

A Graph Query Language for EMF Models.

Gábor Bergmann, Zoltán Ujhelyi, István Ráth, Dániel Varró

Proceedings of the Theory and Practice of Model Transformations, 2011

Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery.

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

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

A Tool for Managing Evolving Security Requirements.

Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu

Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011, 2011

Methodologies for Model-Driven Development and Deployment: An Overview.

László Gönczy, Ábel Hegedüs, Dániel Varró

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

UML Extensions for Service-Oriented Systems.

Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.

Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Experimental assessment of combining pattern matching strategies with VIATRA2.

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

Int. J. Softw. Tools Technol. Transf., 2010

Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations.

István Ráth, András Ökrös, Dániel Varró

Softw. Syst. Model., 2010

Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010.

Juan de Lara, Dániel Varró

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Towards Guided Trajectory Exploration of Graph Transformation Systems.

Ábel Hegedüs, Ákos Horváth, Dániel Varró

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Back-annotation of Simulation Traces with Change-Driven Model Transformations.

Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Incremental Evaluation of Model Queries over EMF Models.

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, András Ökrös

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Workflow-Driven Tool Integration Using Model Transformations.

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ó

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Model transformation by example using inductive logic programming.

Zoltán Balogh, Dániel Varró

Softw. Syst. Model., 2009

Parallelization of Graph Transformation Based on Incremental Pattern Matching.

Gábor Bergmann, István Ráth, Dániel Varró

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Change-Driven Model Transformations.

István Ráth, Gergely Varró, Dániel Varró

Proceedings of the Model Driven Engineering Languages and Systems, 2009

CSP(M): Constraint Satisfaction Problem over Models.

Ákos Horváth, Dániel Varró

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Teaching Modeling: Why, When, What?

Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró

Proceedings of the Models in Software Engineering, 2009

Efficient Model Transformations by Combining Pattern Matching Strategies.

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

Proceedings of the Theory and Practice of Model Transformations, 2009

2008

Tool Support for Engineering Certifiable Software.

László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Formal analysis of BPEL. workflows with compensation by model checking.

Máté Kovács, Dániel Varró, László Gönczy

Comput. Syst. Sci. Eng., 2008

Design-time simulation of domain-specific models by incremental pattern matching.

István Ráth, David Vago, Dániel Varró

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Model Driven Performability Analysis of Service Configurations with Reliable Messaging.

László Gönczy, Zsolt Déri, Dániel Varró

Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 2008

Model Transformations for Performability Analysis of Service Configurations.

László Gönczy, Zsolt Déri, Dániel Varró

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.

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ó

Proceedings of the Leveraging Applications of Formal Methods, 2008

Incremental pattern matching in the viatra model transformation system.

Gábor Bergmann, András Ökrös, István Ráth, Dániel Varró, Gergely Varró

Proceedings of the Third International Workshop on Graph and Model Transformations, 2008

Live Model Transformations Driven by Incremental Pattern Matching.

István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró

Proceedings of the Theory and Practice of Model Transformations, 2008

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation.

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

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

The model transformation language of the VIATRA2 framework.

Dániel Varró, András Balogh

Sci. Comput. Program., 2007

Generic Search Plans for Matching Advanced Graph Patterns.

Ákos Horváth, Gergely Varró, Dániel Varró

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Formal modeling of BPEL workflows including fault and compensation handling.

Máté Kovács, Dániel Varró, László Gönczy

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

Automating model transformation by example using inductive logic programming.

Dániel Varró, Zoltán Balogh

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Model-Based Testing of Service Infrastructure Components.

László Gönczy, Reiko Heckel, Dániel Varró

Proceedings of the Testing of Software and Communicating Systems, 2007

An Eclipse-Based Framework for AIS Service Configurations.

András Kövi, Dániel Varró

Proceedings of the Service Availability, 4th International Service Availability Symposium, 2007

Recursive Graph Pattern Matching.

Gergely Varró, Ákos Horváth, Dániel Varró

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.

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

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Implementing a Graph Transformation Engine in Relational Databases.

Gergely Varró, Katalin Friedl, Dániel Varró

Softw. Syst. Model., 2006

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

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

Softw. Syst. Model., 2006

Modeling and Verification of Reliable Messaging by Graph Transformation Systems.

László Gönczy, Máté Kovács, Dániel Varró

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Towards Testing the Implementation of Graph Transformations.

Andrea Darabos, András Pataricza, Dániel Varró

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Preface.

Roberto Bruni, Dániel Varró

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Preface.

Albert Zündorf, Dániel Varró

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Incremental Graph Pattern Matching: Data Structures and Initial Experiments.

Gergely Varró, Dániel Varró, Andy Schürr

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Optimization in Graph Transformation Systems Using Petri Net Based Techniques.

Szilvia Varró-Gyapay, Dániel Varró

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Compiling model transformations to EJB3-specific transformer plugins.

András Balogh, Gergely Varró, Dániel Varró, András Pataricza

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Advanced model transformation language constructs in the VIATRA2 framework.

András Balogh, Dániel Varró

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Model Transformation by Example.

Dániel Varró

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Making Legacy Services Highly Available with OpenAIS: An Experience Report.

András Kövi, Dániel Varró, Zoltán Németh

Proceedings of the Service Availability, 2006

Workshop on Graph-Based Tools.

Albert Zündorf, Dániel Varró

Proceedings of the Graph Transformations, Third International Conference, 2006

Termination Analysis of Model Transformations by Petri Nets.

Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans.

Gergely Varró, Katalin Friedl, Dániel Varró

Proceedings of the International Workshop on Graph and Model Transformation, 2005

Applying a Model Transformation Taxonomy to Graph Transformation Technology.

Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai

Proceedings of the International Workshop on Graph and Model Transformation, 2005

Benchmarking for Graph Transformation.

Gergely Varró, Andy Schürr, Dániel Varró

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Model-Based Optimization of Enterprise Application and Service Deployment.

András Balogh, Dániel Varró, András Pataricza

Proceedings of the Service Availability, 2005

Termination Criteria for Model Transformation.

Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Using Graph Transformation for Practical Model-Driven Software Engineering.

Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró

Proceedings of the Model-Driven Software Development, 2005

2004

Automated formal verification of visual modeling languages by model checking.

Dániel Varró

Softw. Syst. Model., 2004

Graph Transformation with Incremental Updates.

Gergely Varró, Dániel Varró

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

Graph Transformation in Relational Databases.

Gergely Varró, Katalin Friedl, Dániel Varró

Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time.

Szilvia Gyapay, Ákos Schmidt, Dániel Varró

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

Style-Based Refinement of Dynamic Software Architectures.

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

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Generic and Meta-transformations for Model Transformation Engineering.

Dániel Varró, András Pataricza

Proceedings of the «UML» 2004, 2004

Static Safety Analysis of UML Action Semantics for Critical Systems Development.

Zsigmond Pap, Dániel Varró

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Model Checking Graph Transformations: A Comparison of Two Approaches.

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

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

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

Softw. Syst. Model., 2003

Graph Transformation with Time.

Szilvia Gyapay, Dániel Varró, Reiko Heckel

Fundam. Informaticae, 2003

CheckVML: A Tool for Model Checking Visual Modeling Languages.

Ákos Schmidt, Dániel Varró

Proceedings of the «UML» 2003, 2003

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

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

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

2002

Designing the automatic transformation of visual languages.

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

Sci. Comput. Program., 2002

Towards Symbolic Analysis of Visual Modeling Languages.

Dániel Varró

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

An Open Visualization Framework for Metamodel-Based Modeling Languages.

Péter Domokos, Dániel Varró

Proceedings of the International Workshop on Graph-Based Tools, 2002

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.

Dániel Varró, András Pataricza

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.

György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

A Formal Semantics of UML Statecharts by Model Transition Systems.

Dániel Varró

Proceedings of the Graph Transformation, First International Conference, 2002

Graph Transformation with Time: Causality and Logical Clocks.

Szilvia Gyapay, Reiko Heckel, Dániel Varró

Proceedings of the Graph Transformation, First International Conference, 2002