Dániel Varró

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 87

Top Venues

Publications

Aren A. Babikian, Oszkár Semeráth, Dániel Varró
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. IEEE Trans. Software Eng. 50 (1) (2024)
Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks. SIGSOFT FSE Companion (2024)
Mootez Saad, José Antonio Hernández López, Boqi Chen, Dániel Varró, Tushar Sharma
ALPINE: An adaptive language-agnostic pruning method for language models for code. CoRR (2024)
Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation. CoRR (2024)
Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. ICSE Companion (2024)
José Antonio Hernández López, Boqi Chen, Tushar Sharma, Dániel Varró
On Inter-dataset Code Duplication and Data Leakage in Large Language Models. CoRR (2024)
Faizan Khan, Istvan David, Dániel Varró, Shane McIntosh
Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study. IEEE Trans. Software Eng. 49 (4) (2023)
Fozail Ahmad, Maruthi Rangappa, Neeraj Katiyar, Martin Staniszewski, Dániel Varró
Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs. ICSE-SEIP (2023)
Boqi Chen, Fandi Yi, Dániel Varró
Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. CoRR (2023)
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. CoRR (2023)
Boqi Chen, Kua Chen, Shabnam Hassani, Yujing Yang, Daniel Amyot, Lysanne Lessard, Gunter Mussbacher, Mehrdad Sabetzadeh, Dániel Varró
On the Use of GPT-4 for Creating Goal Models: An Exploratory Study. REW (2023)
Kua Chen, Yujing Yang, Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró
Automated Domain Modeling with Large Language Models: A Comparative Study. MODELS (2023)
Boqi Chen, Fandi Yi, Dániel Varró
Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. MoDELS (Companion) (2023)
Sebastian Pilarski, Aman Sidhu, Dániel Varró
A Simulation Environment for Reducing Food Waste via Reinforcement Learning. ANNSIM (2023)
Shiva Nejati, Dániel Varró
Guest editorial for the special section on MODELS 2021. Softw. Syst. Model. 22 (5) (2023)
Boqi Chen, Kua Chen, Yujing Yang, Afshin Amini, Bharat Saxena, Cecilia Chávez-García, Majid Babaei, Amir Feizpour, Dániel Varró
Towards Improving the Explainability of Text-based Information Retrieval with Knowledge Graphs. CoRR (2023)
Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró
Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21 (5) (2022)
Faizan Khan, Boqi Chen, Dániel Varró, Shane McIntosh
An Empirical Study of Type-Related Defects in Python Projects. IEEE Trans. Software Eng. 48 (8) (2022)
Sebastian Pilarski, Slawomir Pilarski, Dániel Varró
Delayed Reward Bernoulli Bandits: Optimal Policy and Predictive Meta-Algorithm PARDI. IEEE Trans. Artif. Intell. 3 (2) (2022)
Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik
System architecture synthesis for performability by logic solvers. MoDELS (2022)
Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró
Consistent Scene Graph Generation by Constraint Optimization. ASE (2022)
Kristóf Marussy, Oszkár Semeráth, Dániel Varró
Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Trans. Software Eng. 48 (5) (2022)
Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. ACM Trans. Embed. Comput. Syst. 20 (6) (2021)
Sebastian Pilarski, Slawomir Pilarski, Dániel Varró
Optimal Policy for Bernoulli Bandits: Computation and Algorithm Gauge. IEEE Trans. Artif. Intell. 2 (1) (2021)
Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró
Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. 20 (5) (2021)
Sebastian Pilarski, Martin Staniszewski, Matthew Bryan, Frederic Villeneuve, Dániel Varró
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime. Softw. Syst. Model. 20 (3) (2021)
Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation. CoRR (2021)
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
Opportunities in intelligent modeling assistance. Softw. Syst. Model. 19 (5) (2020)
Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. 19 (6) (2020)
Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkár Semeráth, Dániel Varró
Automated video game world map synthesis by model-based techniques. MoDELS (Companion) (2020)
Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró
Automated generation of consistent models with structural and attribute constraints. MoDELS (2020)
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. FASE (2020)
Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró
A Specification Language for Consistent Model Generation based on Partial Models. J. Object Technol. 19 (3) (2020)
Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró
Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transf. 22 (1) (2020)
Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 22 (1) (2020)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations. Softw. Syst. Model. 18 (3) (2019)
Sebastian Pilarski, Martin Staniszewski, Frederic Villeneuve, Dániel Varró
On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design. MoDELS (Companion) (2019)
Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, Dániel Varró
Viatra solver: a framework for the automated generation of consistent domain-specific models. ICSE (Companion Volume) (2019)
Márton Búr, Dániel Varró
Evaluation of Distributed Query-Based Monitoring over Data Distribution Service. WF-IoT (2019)
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ó
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS (2019)
Márton Búr, Dániel Varró
Towards WCET Estimation of Graph Queries@Run.time. MoDELS (2019)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations. Softw. Syst. Model. 18 (3) (2019)
Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Dániel Varró
Survey and classification of model transformation tools. Softw. Syst. Model. 18 (4) (2019)
István Dávid, István Ráth, Dániel Varró
Foundations for Streaming Model Transformations by Complex Event Processing. Softw. Syst. Model. 17 (1) (2018)
Ankica Barisic, Csaba Debreceni, Dániel Varró, Vasco Amaral, Miguel Goulão
Evaluating the efficiency of using a search-based automated model merge technique. VL/HCC (2018)
Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. ICSE (Companion Volume) (2018)
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ó
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. NFM (2018)
Á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
Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. MoDELS (Companion) (2018)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Secure Views for Collaborative Modeling. IEEE Softw. 35 (6) (2018)
Gábor Szárnyas, József Marton, János Maginecz, Dániel Varró
Reducing Property Graph Queries to Relational Algebra for Incremental View Maintenance. CoRR (2018)
Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró
A graph solver for the automated generation of consistent domain-specific models. ICSE (2018)
Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró
The Train Benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. 17 (4) (2018)
Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. FASE (2018)
Kristóf Marussy, Oszkár Semeráth, Dániel Varró
Incremental View Model Synchronization Using Partial Models. MoDELS (2018)
Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. Graph Transformation, Specifications, and Nets (2018)
Oszkár Semeráth, Dániel Varró
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. FASE (2018)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Property-Based Locking in Collaborative Modeling. MoDELS (2017)
Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró
Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling. MoDELS (Satellite Events) (2017)
József Marton, Gábor Szárnyas, Dániel Varró
Formalising opencypher Graph Queries in Relational Algebra. CoRR (2017)
Oszkár Semeráth, Dániel Varró
Graph Constraint Evaluation over Partial Models by Constraint Rewriting. ICMT (2017)
Gábor Szárnyas, János Maginecz, Dániel Varró
Evaluation of Optimization Strategies for Incremental Graph Queries. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró
Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. 16 (2) (2017)
József Marton, Gábor Szárnyas, Dániel Varró
Formalising openCypher Graph Queries in Relational Algebra. ADBIS (2017)
Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, Dániel Varró
The MONDO collaboration framework: secure collaborative modeling over existing version control systems. ESEC/SIGSOFT FSE (2017)
Oszkár Semeráth, Dániel Varró
Evaluating Well-Formedness Constraints on Incomplete Models. Acta Cybern. 23 (2) (2017)
Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15 (3) (2016)
Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró
Query-driven soft traceability links for models. Softw. Syst. Model. 15 (3) (2016)
Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
Change Propagation of View Models by Logic Synthesis using SAT solvers. Bx@ETAPS (2016)
Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
Incremental backward change propagation of view models by logic solvers. MoDELS (2016)
Gábor Szárnyas, Zsolt Kovári, Ágnes Salánki, Dániel Varró
Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics. MoDELS (2016)
Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró
Query-based access control for secure collaborative modeling using bidirectional transformations. MoDELS (2016)
Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo
Automated Model Merge by Design Space Exploration. FASE (2016)
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
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Doctoral Symposium / Showcase (2016)
Oszkár Semeráth, András Vörös, Dániel Varró
Iterative and Incremental Model Generation by Logic Solvers. FASE (2016)
Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró
Rete Network Slicing for Model Queries. ICGT (2016)
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules. COMMitMDE@MoDELS (2016)
Dániel Varró
Incremental Queries and Transformations: From Concepts to Industrial Applications. SOFSEM (2016)
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
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Projects Showcase (2015)
Ábel Hegedüs, Ákos Horváth, Dániel Varró
A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22 (3) (2015)
Dániel Varró
Patterns and Styles for Incremental Model Transformations. PAME@STAF (2015)
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ó
EMF-IncQuery: An integrated development environment for live model queries. Sci. Comput. Program. 98 (2015)
Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
Local Search-Based Pattern Matching Features in EMF-IncQuery. ICGT (2015)
Zoltán Ujhelyi, Gábor Szoke, Ákos Horváth, Norbert Istvan Csiszár, László Vidács, Dániel Varró, Rudolf Ferenc
Performance comparison of query-based techniques for anti-pattern detection. Inf. Softw. Technol. 65 (2015)
Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Viatra 3: A Reactive Model Transformation Platform. ICMT (2015)
Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró
Property-Based Methods for Collaborative Model Development. GEMOC+MPM@MoDELS (2015)
Jozsef Makai, Gábor Szárnyas, István Ráth, Ákos Horváth, Dániel Varró
Optimization of Incremental Queries in the Cloud. CloudMDE@MoDELS (2015)
Gábor Szárnyas, Oszkár Semeráth, István Ráth, Dániel Varró
The TTC 2015 Train Benchmark Case for Incremental Model Validation. TTC@STAF (2015)
Gábor Bergmann, Ábel Hegedüs, György Gerencser, Dániel Varró
Graph Query by Example. CMSEBA@MoDELS (2014)
Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Dániel Varró
Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies. MPM@MoDELS (2014)
Gábor Szárnyas, Benedek Izsó, István Ráth, Dénes Harmath, Gábor Bergmann, Dániel Varró
IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud. MoDELS (2014)
Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró
MONDO-SAM: A Framework to Systematically Assess MDE Scalability. BigMDE@STAF (2014)
Hani Abdeen, Dániel Varró, Houari A. Sahraoui, András Szabolcs Nagy, Csaba Debreceni, Ábel Hegedüs, Ákos Horváth
Multi-objective optimization in rule-based design space exploration. ASE (2014)
Maris Jukss, Clark Verbrugge, Dániel Varró, Hans Vangheluwe
Dynamic Scope Discovery for Model Transformations. SLE (2014)
Csaba Debreceni, Ákos Horváth, Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Dániel Varró
Query-driven incremental synchronization of view models. VAO@STAF (2014)
Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS (2014)
István Dávid, István Ráth, Dániel Varró
Streaming Model Transformations By Complex Event Processing. MoDELS (2014)
Zoltán Ujhelyi, Ákos Horváth, Dániel Varró, Norbert Istvan Csiszár, Gábor Szoke, László Vidács, Rudolf Ferenc
Anti-pattern detection with model queries: A comparison of approaches. CSMR-WCRE (2014)
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
A research roadmap towards achieving scalability in model driven engineering. BigMDE@STAF (2013)
Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró
IncQuery-D: incremental graph search in the cloud. BigMDE@STAF (2013)
Oszkár Semeráth, Ákos Horváth, Dániel Varró
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. MoDELS (2013)

Dániel Varró.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dániel Varró