Graph Transformation with Time: Causality and Logical Clocks. - Szilvia Gyapay; Reiko Heckel; Dániel Varró (ICGT, 2002)

A Formal Semantics of UML Statecharts by Model Transition Systems. - Dániel Varró (ICGT, 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ó (ASE, 2002)

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. - Dániel Varró; András Pataricza (UML, 2002)

An Open Visualization Framework for Metamodel-Based Modeling Languages. - Péter Domokos; Dániel Varró (GraBaTs, 2002)

Towards Symbolic Analysis of Visual Modeling Languages. - Dániel Varró (GT-VMT@ICGT, 2002)

Designing the automatic transformation of visual languages. - Dániel Varró; Gergely Varró; András Pataricza (Sci. Comput. Program., 2002)

Modeling and validation of service-oriented architectures: application vs. style. - Luciano Baresi; Reiko Heckel; Sebastian Thöne; Dániel Varró (ESEC / SIGSOFT FSE, 2003)

CheckVML: A Tool for Model Checking Visual Modeling Languages. - Ákos Schmidt; Dániel Varró (UML, 2003)

Graph Transformation with Time. - Szilvia Gyapay; Dániel Varró; Reiko Heckel (Fundam. Informaticae, 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)

Model Checking Graph Transformations: A Comparison of Two Approaches. - Arend Rensink; Ákos Schmidt; Dániel Varró (ICGT, 2004)

Static Safety Analysis of UML Action Semantics for Critical Systems Development. - Zsigmond Pap; Dániel Varró (GI Jahrestagung (1), 2004)

Generic and Meta-transformations for Model Transformation Engineering. - Dániel Varró; András Pataricza (UML, 2004)

Style-Based Refinement of Dynamic Software Architectures. - Luciano Baresi; Reiko Heckel; Sebastian Thöne; Dániel Varró (WICSA, 2004)

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. - Szilvia Gyapay; Ákos Schmidt; Dániel Varró (GT-VMT@ETAPS, 2004)

Graph Transformation in Relational Databases. - Gergely Varró; Katalin Friedl; Dániel Varró (GraBaTs, 2004)

Graph Transformation with Incremental Updates. - Gergely Varró; Dániel Varró (GT-VMT@ETAPS, 2004)

Automated formal verification of visual modeling languages by model checking. - Dániel Varró (Softw. Syst. Model., 2004)

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ó (Model-Driven Software Development, 2005)

Termination Criteria for Model Transformation. - Hartmut Ehrig; Karsten Ehrig; Juan de Lara; Gabriele Taentzer; Dániel Varró; Szilvia Varró-Gyapay (FASE, 2005)

Model-Based Optimization of Enterprise Application and Service Deployment. - András Balogh; Dániel Varró; András Pataricza (ISAS, 2005)

Benchmarking for Graph Transformation. - Gergely Varró; Andy Schürr; Dániel Varró (VL/HCC, 2005)

Applying a Model Transformation Taxonomy to Graph Transformation Technology. - Tom Mens; Pieter Van Gorp; Dániel Varró; Gabor Karsai (GRaMoT@GPCE, 2005)

Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans. - Gergely Varró; Katalin Friedl; Dániel Varró (GRaMoT@GPCE, 2005)

Termination Analysis of Model Transformations by Petri Nets. - Dániel Varró; Szilvia Varró-Gyapay; Hartmut Ehrig; Ulrike Prange; Gabriele Taentzer (ICGT, 2006)

Workshop on Graph-Based Tools. - Albert Zündorf; Dániel Varró (ICGT, 2006)

Making Legacy Services Highly Available with OpenAIS: An Experience Report. - András Kövi; Dániel Varró; Zoltán Németh (ISAS, 2006)

Model Transformation by Example. - Dániel Varró (MoDELS, 2006)

Advanced model transformation language constructs in the VIATRA2 framework. - András Balogh; Dániel Varró (SAC, 2006)

Compiling model transformations to EJB3-specific transformer plugins. - András Balogh; Gergely Varró; Dániel Varró; András Pataricza (SAC, 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)

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)

Preface. - Albert Zündorf; Dániel Varró (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Preface. - Roberto Bruni 001; Dániel Varró (GT-VMT@ETAPS, 2006)

Towards Testing the Implementation of Graph Transformations. - Andrea Darabos; András Pataricza; Dániel Varró (GT-VMT@ETAPS, 2006)

Modeling and Verification of Reliable Messaging by Graph Transformation Systems. - László Gönczy; Máté Kovács; Dániel Varró (GT-VC@CONCUR, 2006)

Style-based modeling and refinement of service-oriented architectures. - Luciano Baresi; Reiko Heckel; Sebastian Thöne; Dániel Varró (Softw. Syst. Model., 2006)

Implementing a Graph Transformation Engine in Relational Databases. - Gergely Varró; Katalin Friedl; Dániel Varró (Softw. Syst. Model., 2006)

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 (AGTIVE, 2007)

Recursive Graph Pattern Matching. - Gergely Varró; Ákos Horváth 001; Dániel Varró (AGTIVE, 2007)

An Eclipse-Based Framework for AIS Service Configurations. - András Kövi; Dániel Varró (ISAS, 2007)

Model-Based Testing of Service Infrastructure Components. - László Gönczy; Reiko Heckel; Dániel Varró (TestCom/FATES, 2007)

Automating model transformation by example using inductive logic programming. - Dániel Varró; Zoltán Balogh 003 (SAC, 2007)

Formal modeling of BPEL workflows including fault and compensation handling. - Máté Kovács; Dániel Varró; László Gönczy (EFTS, 2007)

Generic Search Plans for Matching Advanced Graph Patterns. - Ákos Horváth 001; Gergely Varró; Dániel Varró (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

The model transformation language of the VIATRA2 framework. - Dániel Varró; András Balogh (Sci. Comput. Program., 2007)

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. - Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró (ICGT, 2008)

Live Model Transformations Driven by Incremental Pattern Matching. - István Ráth; Gábor Bergmann; András Ökrös; Dániel Varró (ICMT@TOOLS, 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ó (GRaMoT@ICSE, 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; et al. (ISoLA, 2008)

Model Transformations for Performability Analysis of Service Configurations. - László Gönczy; Zsolt Déri; Dániel Varró (MoDELS (Workshops), 2008)

Model Driven Performability Analysis of Service Configurations with Reliable Messaging. - László Gönczy; Zsolt Déri; Dániel Varró (MDWE@MoDELS, 2008)

Design-time simulation of domain-specific models by incremental pattern matching. - István Ráth; David Vago; Dániel Varró (VL/HCC, 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)

Tool Support for Engineering Certifiable Software. - László Gönczy; István Majzik; Ákos Horváth 001; Dániel Varró; András Balogh; Zoltán Micskei; András Pataricza (SafeCert@ETAPS, 2008)

Efficient Model Transformations by Combining Pattern Matching Strategies. - Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró (ICMT@TOOLS, 2009)

Teaching Modeling: Why, When, What? - Jean Bézivin; Robert B. France; Martin Gogolla; Øystein Haugen; Gabriele Taentzer; Dániel Varró (MoDELS (Workshops), 2009)

CSP(M): Constraint Satisfaction Problem over Models. - Ákos Horváth 001; Dániel Varró (MoDELS, 2009)

Change-Driven Model Transformations. - István Ráth; Gergely Varró; Dániel Varró (MoDELS, 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)

Model transformation by example using inductive logic programming. - Zoltán Balogh 003; Dániel Varró (Softw. Syst. Model., 2009)

Workflow-Driven Tool Integration Using Model Transformations. - András Balogh; Gábor Bergmann; György Csertán; László Gönczy; Ákos Horváth 001; István Majzik; András Pataricza; Balázs Polgár; István Ráth; Dániel Varró; Gergely Varró (Graph Transformations and Model-Driven Engineering, 2010)

Incremental Evaluation of Model Queries over EMF Models. - Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró; András Balogh; Zoltán Balogh 003; András Ökrös (MoDELS (1), 2010)

Back-annotation of Simulation Traces with Change-Driven Model Transformations. - Ábel Hegedüs; Gábor Bergmann; István Ráth; Dániel Varró (SEFM, 2010)

Towards Guided Trajectory Exploration of Graph Transformation Systems. - Ábel Hegedüs; Ákos Horváth 001; Dániel Varró (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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)

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)

Experimental assessment of combining pattern matching strategies with VIATRA2. - Ákos Horváth 001; Gábor Bergmann; István Ráth; Dániel Varró (Int. J. Softw. Tools Technol. Transf., 2010)

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ó (Results of the SENSORIA Project, 2011)

UML Extensions for Service-Oriented Systems. - Howard Foster; László Gönczy; Nora Koch; Philip Mayer; Carlo Montangero; Dániel Varró (Results of the SENSORIA Project, 2011)

Methodologies for Model-Driven Development and Deployment: An Overview. - László Gönczy; Ábel Hegedüs; Dániel Varró (Results of the SENSORIA Project, 2011)

A Tool for Managing Evolving Security Requirements. - Gábor Bergmann; Fabio Massacci; Federica Paci; Thein Than Tun; Dániel Varró; Yijun Yu (CAiSE Forum, 2011)

Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. - Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró (ECMFA, 2011)

A Graph Query Language for EMF Models. - Gábor Bergmann; Zoltán Ujhelyi; István Ráth; Dániel Varró (ICMT@TOOLS, 2011)

Implementing efficient model validation in EMF tools. - Gábor Bergmann; Ábel Hegedüs; Ákos Horváth 001; István Ráth; Zoltán Ujhelyi; Dániel Varró (ASE, 2011)

A model-driven framework for guided design space exploration. - Ábel Hegedüs; Ákos Horváth 001; István Ráth; Dániel Varró (ASE, 2011)

Towards dynamic backward slicing of model transformations. - Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró (ASE, 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 (ServiceWave, 2011)

Quick fix generation for DSMLs. - Ábel Hegedüs; Ákos Horváth 001; István Ráth; Moisés Castelo Branco; Dániel Varró (VL/HCC, 2011)

Static Type Checking of Model Transformation Programs. - Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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)

Keynote 2: A Bridge Over Troubled Water - Synergies between Model Transformation and Software Maintenance Techniques. - Dániel Varró (CSMR, 2012)

Derived Features for EMF by Integrating Advanced Model Queries. - István Ráth; Ábel Hegedüs; Dániel Varró (ECMFA, 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ó (ICGT, 2012)

Dynamic Backward Slicing of Model Transformations. - Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró (ICST, 2012)

Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). - Juergen Dingel; Levi Lúcio; Hans Vangheluwe; Dániel Varró (AMT@MoDELS, 2012)

Query-Driven Soft Interconnection of EMF Models. - Ábel Hegedüs; Ákos Horváth 001; István Ráth; Dániel Varró (MoDELS, 2012)

Ontology driven design of EMF metamodels and well-formedness constraints. - Benedek Izsó; Zoltán Szatmári; Gábor Bergmann; Ákos Horváth 001; István Ráth; Dániel Varró (OCL@MoDELS, 2012)

Developing and visualizing live model queries. - Zoltán Ujhelyi; Tamás Szabó; István Ráth; Dániel Varró (AMT@MoDELS, 2012)

Integrating Efficient Model Queries in State-of-the-Art EMF Tools. - Gábor Bergmann; Ábel Hegedüs; Ákos Horváth 001; István Ráth; Zoltán Ujhelyi; Dániel Varró (TOOLS (50), 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)

Dynamic constraint satisfaction problems over models. - Ákos Horváth 001; Dániel Varró (Softw. Syst. Model., 2012)

Lessons learned from building model-driven development tools. - Richard F. Paige; Dániel Varró (Softw. Syst. Model., 2012)

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 001; Dániel Varró (MoDELS, 2013)

IncQuery-D: incremental graph search in the cloud. - Benedek Izsó; Gábor Szárnyas; István Ráth; Dániel Varró (BigMDE@STAF, 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 (BigMDE@STAF, 2013)

Anti-pattern detection with model queries: A comparison of approaches. - Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró; Norbert Istvan Csiszár; Gábor Szoke; László Vidács; Rudolf Ferenc (CSMR-WCRE, 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 001 (ASE, 2014)

Graph Query by Example. - Gábor Bergmann; Ábel Hegedüs; György Gerencser; Dániel Varró (CMSEBA@MoDELS, 2014)

Streaming Model Transformations By Complex Event Processing. - István Dávid; István Ráth; Dániel Varró (MoDELS, 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ó (MPM@MoDELS, 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 001; Dániel Varró (OSS4MDE@MoDELS, 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ó (MoDELS, 2014)

Dynamic Scope Discovery for Model Transformations. - Maris Jukss; Clark Verbrugge; Dániel Varró; Hans Vangheluwe (SLE, 2014)

Query-driven incremental synchronization of view models. - Csaba Debreceni; Ákos Horváth 001; Ábel Hegedüs; Zoltán Ujhelyi; István Ráth; Dániel Varró (VAO@STAF, 2014)

MONDO-SAM: A Framework to Systematically Assess MDE Scalability. - Benedek Izsó; Gábor Szárnyas; István Ráth; Dániel Varró (BigMDE@STAF, 2014)

Local Search-Based Pattern Matching Features in EMF-IncQuery. - Márton Búr; Zoltán Ujhelyi; Ákos Horváth 001; Dániel Varró (ICGT, 2015)

Viatra 3: A Reactive Model Transformation Platform. - Gábor Bergmann; István Dávid; Ábel Hegedüs; Ákos Horváth 001; István Ráth; Zoltán Ujhelyi; Dániel Varró (ICMT, 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ó (GEMOC+MPM@MoDELS, 2015)

Optimization of Incremental Queries in the Cloud. - Jozsef Makai; Gábor Szárnyas; István Ráth; Ákos Horváth 001; Dániel Varró (CloudMDE@MoDELS, 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 (STAF Projects Showcase, 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ó (TTC@STAF, 2015)

Patterns and Styles for Incremental Model Transformations. - Dániel Varró (PAME@STAF, 2015)

A model-driven framework for guided design space exploration. - Ábel Hegedüs; Ákos Horváth 001; Dániel Varró (Autom. Softw. Eng., 2015)

Performance comparison of query-based techniques for anti-pattern detection. - Zoltán Ujhelyi; Gábor Szoke; Ákos Horváth 001; Norbert Istvan Csiszár; László Vidács; Dániel Varró; Rudolf Ferenc (Inf. Softw. Technol., 2015)

EMF-IncQuery: An integrated development environment for live model queries. - Zoltán Ujhelyi; Gábor Bergmann; Ábel Hegedüs; Ákos Horváth 001; Benedek Izsó; István Ráth; Zoltán Szatmári; Dániel Varró (Sci. Comput. Program., 2015)

Change Propagation of View Models by Logic Synthesis using SAT solvers. - Oszkár Semeráth; Csaba Debreceni; Ákos Horváth 001; Dániel Varró (Bx@ETAPS, 2016)

Automated Model Merge by Design Space Exploration. - Csaba Debreceni; István Ráth; Dániel Varró; Xabier De Carlos; Xabier Mendialdua; Salvador Trujillo (FASE, 2016)

Iterative and Incremental Model Generation by Logic Solvers. - Oszkár Semeráth; András Vörös 001; Dániel Varró (FASE, 2016)

Rete Network Slicing for Model Queries. - Zoltán Ujhelyi; Gábor Bergmann; Dániel Varró (ICGT, 2016)

Query-based access control for secure collaborative modeling using bidirectional transformations. - Gábor Bergmann; Csaba Debreceni; István Ráth; Dániel Varró (MoDELS, 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ó (COMMitMDE@MoDELS, 2016)

Incremental backward change propagation of view models by logic solvers. - Oszkár Semeráth; Csaba Debreceni; Ákos Horváth 001; Dániel Varró (MoDELS, 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ó (MoDELS, 2016)

Incremental Queries and Transformations: From Concepts to Industrial Applications. - Dániel Varró (SOFSEM, 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 (STAF Doctoral Symposium / Showcase, 2016)

Query-driven soft traceability links for models. - Ábel Hegedüs; Ákos Horváth 001; István Ráth; Rodrigo Rizzi Starr; Dániel Varró (Softw. Syst. Model., 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 001; István Ráth; Zoltán Ujhelyi (Softw. Syst. Model., 2016)

Formalising openCypher Graph Queries in Relational Algebra. - József Marton; Gábor Szárnyas; Dániel Varró (ADBIS, 2017)

Graph Constraint Evaluation over Partial Models by Constraint Rewriting. - Oszkár Semeráth; Dániel Varró (ICMT, 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ó (MoDELS (Satellite Events), 2017)

Property-Based Locking in Collaborative Modeling. - Csaba Debreceni; Gábor Bergmann; István Ráth; Dániel Varró (MoDELS, 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ó (ESEC/SIGSOFT FSE, 2017)

Evaluating Well-Formedness Constraints on Incomplete Models. - Oszkár Semeráth; Dániel Varró (Acta Cybern., 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)

Formal validation of domain-specific languages with derived features and well-formedness constraints. - Oszkár Semeráth; Ágnes Barta; Ákos Horváth 001; Zoltán Szatmári; Dániel Varró (Softw. Syst. Model., 2017)

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 001 (Graph Transformation, Specifications, and Nets, 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 001; Dániel Varró (FASE, 2018)

Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. - Oszkár Semeráth; Dániel Varró (FASE, 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 001; István Majzik; Dániel Varró (ICSE (Companion Volume), 2018)

A graph solver for the automated generation of consistent domain-specific models. - Oszkár Semeráth; András Szabolcs Nagy; Dániel Varró (ICSE, 2018)

Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. - Ábel Hegedüs; Gábor Bergmann; Csaba Debreceni; Ákos Horváth 001; Péter Lunk; Ákos Menyhért; István Papp; Dániel Varró; Tomas Vileiniskis; István Ráth (MoDELS (Companion), 2018)

Incremental View Model Synchronization Using Partial Models. - Kristóf Marussy; Oszkár Semeráth; Dániel Varró (MoDELS, 2018)

MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. - András Vörös 001; Márton Búr; István Ráth; Ákos Horváth 001; Zoltán Micskei; László Balogh; Bálint Hegyi; Benedek Horváth; Zsolt Mázló; Dániel Varró (NFM, 2018)

Evaluating the efficiency of using a search-based automated model merge technique. - Ankica Barisic; Csaba Debreceni; Dániel Varró; Vasco Amaral 001; Miguel Goulão (VL/HCC, 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)

Secure Views for Collaborative Modeling. - Csaba Debreceni; Gábor Bergmann; István Ráth; Dániel Varró (IEEE Softw., 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)

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)

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models". - Kristóf Marussy; Oszkár Semeráth; Dániel Varró (Zenodo, 2018)

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models". - Kristóf Marussy; Oszkár Semeráth; Dániel Varró (Zenodo, 2018)

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ó (ICSE (Companion Volume), 2019)

Towards WCET Estimation of Graph Queries@Run.time. - Márton Búr; Dániel Varró (MoDELS, 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 001; Aren A. Babikian; Dániel Varró (MoDELS, 2019)

On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design. - Sebastian Pilarski; Martin Staniszewski; Frederic Villeneuve; Dániel Varró (MoDELS (Companion), 2019)

Evaluation of Distributed Query-Based Monitoring over Data Distribution Service. - Márton Búr; Dániel Varró (WF-IoT, 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)

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)

Survey and classification of model transformation tools. - Nafiseh Kahani; Mojtaba Bagherzadeh; James R. Cordy; Juergen Dingel; Dániel Varró (Softw. Syst. Model., 2019)

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (FASE, 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ó (MoDELS (Companion), 2020)

Automated generation of consistent models with structural and attribute constraints. - Oszkár Semeráth; Aren A. Babikian; Anqi Li 003; Kristóf Marussy; Dániel Varró (MoDELS, 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)

Mixed-semantics composition of statecharts for the component-based design of reactive systems. - Bence Graics; Vince Molnár; András Vörös 001; István Majzik; Dániel Varró (Softw. Syst. Model., 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 001; et al. (Softw. Syst. Model., 2020)

Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems. - Márton Búr; Gábor S. Szilágyi; András Vörös 001; Dániel Varró (Int. J. Softw. Tools Technol. Transf., 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)

Artifacts for "Automated Generation of Consistent Models with Structural and Attribute Constraints". - Oszkár Semeráth; Aren A. Babikian; Anqi Li 003; Kristóf Marussy; Dániel Varró (Zenodo, 2020)

Continual Model-Based Analysis. - Kenneth Johnson; Marc Zeller; Arthur Vetter; Dániel Varró (Composing Model-Based Analysis Tools, 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)

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)

Optimal Policy for Bernoulli Bandits: Computation and Algorithm Gauge. - Sebastian Pilarski; Slawomir Pilarski; Dániel Varró (IEEE Trans. Artif. Intell., 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)

Consistent Scene Graph Generation by Constraint Optimization. - Boqi Chen; Kristóf Marussy; Sebastian Pilarski; Oszkár Semeráth; Dániel Varró (ASE, 2022)

System architecture synthesis for performability by logic solvers. - Máté Földiák; Kristóf Marussy; Dániel Varró; István Majzik (MoDELS, 2022)

Automated generation of consistent models using qualitative abstractions and exploration strategies. - Aren A. Babikian; Oszkár Semeráth; Anqi Li 003; Kristóf Marussy; Dániel Varró (Softw. Syst. Model., 2022)

Delayed Reward Bernoulli Bandits: Optimal Policy and Predictive Meta-Algorithm PARDI. - Sebastian Pilarski; Slawomir Pilarski; Dániel Varró (IEEE Trans. Artif. Intell., 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)

Automated Generation of Consistent Graph Models With Multiplicity Reasoning. - Kristóf Marussy; Oszkár Semeráth; Dániel Varró (IEEE Trans. Software Eng., 2022)

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization". - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (Zenodo, 2022)

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization". - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (Zenodo, 2022)

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search". - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (Zenodo, 2022)

Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". - Máté Földiák; Kristóf Marussy; Dániel Varró; István Majzik (Zenodo, 2022)

Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". - Máté Földiák; Kristóf Marussy; Dániel Varró; István Majzik (Zenodo, 2022)

A Simulation Environment for Reducing Food Waste via Reinforcement Learning. - Sebastian Pilarski; Aman Sidhu; Dániel Varró (ANNSIM, 2023)

Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs. - Fozail Ahmad; Maruthi Rangappa; Neeraj Katiyar; Martin Staniszewski; Dániel Varró (ICSE-SEIP, 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ó (MODELS, 2023)

Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. - Boqi Chen; Fandi Yi; Dániel Varró (MoDELS (Companion), 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ó (REW, 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)

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., 2023)

Guest editorial for the special section on MODELS 2021. - Shiva Nejati 001; Dániel Varró (Softw. Syst. Model., 2023)

On Inter-dataset Code Duplication and Data Leakage in Large Language Models. - José Antonio Hernández López; Boqi Chen; Mootez Saad; Tushar Sharma 001; Dániel Varró (Zenodo, 2023)

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ó (ICSE Companion, 2024)

Embedding-based Automated Assessment of Domain Models. - Kua Chen; Boqi Chen; Yujing Yang; Gunter Mussbacher; Dániel Varró (MoDELS (Companion), 2024)

Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles. - Ulf Kargén; Dániel Varró (MODELS, 2024)

Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT. - José Antonio Hernández López; Máté Földiák; Dániel Varró (MODELS, 2024)

Multi-step Iterative Automated Domain Modeling with Large Language Models. - Yujing Yang; Boqi Chen; Kua Chen; Gunter Mussbacher; Dániel Varró (MoDELS (Companion), 2024)

Active DSU: Dynamic Software Updates for Active Functions. - Filip Strömbäck; Dániel Varró (Onward!, 2024)

OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track. - Aren A. Babikian; Dániel Varró (SBFT@ICSE, 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ó (SIGSOFT FSE Companion, 2024)

Artifacts for "Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT". - José Antonio Hernández López; Máté Földiák; Dániel Varró (Zenodo, 2024)

Artifacts for "Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT". - José Antonio Hernández López; Máté Földiák; Dániel Varró (Zenodo, 2024)

On Inter-dataset Code Duplication and Data Leakage in Large Language Models. - José Antonio Hernández López; Boqi Chen; Tushar Sharma 001; Dániel Varró (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)

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 001 (CoRR, 2024)

Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition. - Aren A. Babikian; Attila Ficsor; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (CoRR, 2024)

Why do Machine Learning Notebooks Crash? - Yiran Wang; Willem Meijer; José Antonio Hernández López; Ulf Nilsson; Dániel Varró (CoRR, 2024)

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (IEEE Trans. Software Eng., 2024)

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search". - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (Zenodo, 2024)

Artifacts for the paper "Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition". - Aren A. Babikian; Attila Ficsor; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (Zenodo, 2024)

Artifacts for the paper "Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition". - Aren A. Babikian; Attila Ficsor; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (Zenodo, 2024)

Dataset of paper "Why do Machine Learning Notebooks Crash?". - Yiran Wang; Willem Meijer; José Antonio Hernández López; Ulf Nilsson; Dániel Varró (Zenodo, 2024)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages. - Boqi Chen; José Antonio Hernández López; Gunter Mussbacher; Dániel Varró (ICSE, 2025)

Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles. - Dominik Frey; Ulf Kargén; Dániel Varró (Proc. ACM Softw. Eng., 2025)

An Adaptive Language-Agnostic Pruning Method for Greener Language Models for Code. - Mootez Saad; José Antonio Hernández López; Boqi Chen; Dániel Varró; Tushar Sharma 001 (Proc. ACM Softw. Eng., 2025)

Combining simulation and reinforcement learning to reduce food waste in food retail. - Sebastian Pilarski; Aman Sidhu; Dániel Varró (Simul., 2025)

On Inter-Dataset Code Duplication and Data Leakage in Large Language Models. - José Antonio Hernández López; Boqi Chen; Mootez Saad; Tushar Sharma 001; Dániel Varró (IEEE Trans. Software Eng., 2025)

Dataset of paper "Why do Machine Learning Notebooks Crash?". - Yiran Wang; Willem Meijer; José Antonio Hernández López; Ulf Nilsson; Dániel Varró (Zenodo, 2025)

SENAI: Towards Software Engineering Native Generative Artificial Intelligence. - Mootez Saad; José Antonio Hernández López; Boqi Chen; Neil A. Ernst; Dániel Varró; Tushar Sharma 001 (CoRR, 2025)

Do Experts Agree About Smelly Infrastructure? - Sogol Masoumzadeh; Nuno Saavedra; Rungroj Maipradit; Lili Wei 001; João F. Ferreira 001; Dániel Varró; Shane McIntosh (IEEE Trans. Software Eng., 2025)

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation. - Boqi Chen; Aren A. Babikian; Shuzhao Feng; Dániel Varró; Gunter Mussbacher (CoRR, 2025)

Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks. - Yiran Wang; Willem Meijer; José Antonio Hernández López; Ulf Nilsson; Dániel Varró (IEEE Trans. Software Eng., 2025)