default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDániel Varró
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j53]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): 48-68 (2024)- [c134]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: 64-68 - [c133]José Antonio Hernández López, Máté Földiák, Dániel Varró:
Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT. MODELS 2024: 13-24 - [c132]Kua Chen, Boqi Chen, Yujing Yang, Gunter Mussbacher, Dániel Varró:
Embedding-based Automated Assessment of Domain Models. MoDELS (Companion) 2024: 87-94 - [c131]Ulf Kargén, Dániel Varró:
Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles. MODELS 2024: 249-256 - [c130]Yujing Yang, Boqi Chen, Kua Chen, Gunter Mussbacher, Dániel Varró:
Multi-step Iterative Automated Domain Modeling with Large Language Models. MoDELS (Companion) 2024: 587-595 - [c129]Aren A. Babikian, Dániel Varró:
OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track. SBFT@ICSE 2024: 73-74 - [c128]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: 497-501 - [i11]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 abs/2401.07930 (2024) - [i10]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 abs/2405.08645 (2024) - [i9]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 abs/2407.04147 (2024) - [i8]Aren A. Babikian, Attila Ficsor, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró:
Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition. CoRR abs/2410.07079 (2024) - 2023
- [j52]Shiva Nejati, Dániel Varró:
Guest editorial for the special section on MODELS 2021. Softw. Syst. Model. 22(5): 1393-1396 (2023) - [j51]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): 2006-2019 (2023) - [c127]Sebastian Pilarski, Aman Sidhu, Dániel Varró:
A Simulation Environment for Reducing Food Waste via Reinforcement Learning. ANNSIM 2023: 332-344 - [c126]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: 384-395 - [c125]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: 162-172 - [c124]Boqi Chen, Fandi Yi, Dániel Varró:
Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. MoDELS (Companion) 2023: 588-596 - [c123]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: 262-271 - [i7]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 abs/2301.06974 (2023) - [i6]Aren A. Babikian, Oszkár Semeráth, Dániel Varró:
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. CoRR abs/2307.07826 (2023) - [i5]Boqi Chen, Fandi Yi, Dániel Varró:
Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. CoRR abs/2309.01715 (2023) - 2022
- [j50]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): 1763-1787 (2022) - [j49]Sebastian Pilarski, Slawomir Pilarski, Dániel Varró:
Delayed Reward Bernoulli Bandits: Optimal Policy and Predictive Meta-Algorithm PARDI. IEEE Trans. Artif. Intell. 3(2): 152-163 (2022) - [j48]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): 1610-1629 (2022) - [j47]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): 3145-3158 (2022) - [c122]Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró:
Consistent Scene Graph Generation by Constraint Optimization. ASE 2022: 25:1-25:13 - [c121]Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
System architecture synthesis for performability by logic solvers. MoDELS 2022: 43-54 - [d8]Aren A. Babikian, Oszkár Semeráth, Dániel Varró:
Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization". Zenodo, 2022
- [d7]Aren A. Babikian, Oszkár Semeráth, Dániel Varró:
Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization". Zenodo, 2022 - [d6]Aren A. Babikian, Oszkár Semeráth, Dániel Varró:
Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search". Zenodo, 2022 - [d5]Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". Zenodo, 2022 - [d4]Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". Zenodo, 2022 - 2021
- [j46]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): 685-709 (2021) - [j45]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): 1713-1734 (2021) - [j44]Sebastian Pilarski, Slawomir Pilarski, Dániel Varró:
Optimal Policy for Bernoulli Bandits: Computation and Algorithm Gauge. IEEE Trans. Artif. Intell. 2(1): 2-17 (2021) - [j43]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): 107:1-107:36 (2021) - [p5]Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró:
Continual Model-Based Analysis. Composing Model-Based Analysis Tools 2021: 97-127 - [i4]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 abs/2102.03116 (2021) - 2020
- [j42]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): 3:1-22 (2020) - [j41]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): 1045-1053 (2020) - [j40]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): 1483-1517 (2020) - [j39]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): 57-78 (2020) - [j38]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): 79-102 (2020) - [c120]Aren A. Babikian, Oszkár Semeráth, Dániel Varró:
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. FASE 2020: 441-461 - [c119]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: 4:1-4:5 - [c118]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: 187-199 - [d3]Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró:
Artifacts for "Automated Generation of Consistent Models with Structural and Attribute Constraints". Zenodo, 2020
2010 – 2019
- 2019
- [j37]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): 1737-1769 (2019) - [j36]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): 1771 (2019) - [j35]Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Dániel Varró:
Survey and classification of model transformation tools. Softw. Syst. Model. 18(4): 2361-2397 (2019) - [c117]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: 43-46 - [c116]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: 89-94 - [c115]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: 170-174 - [c114]Márton Búr, Dániel Varró:
Towards WCET Estimation of Graph Queries@Run.time. MoDELS 2019: 233-238 - [c113]Márton Búr, Dániel Varró:
Evaluation of Distributed Query-Based Monitoring over Data Distribution Service. WF-IoT 2019: 674-679 - [e8]Marsha Chechik, Daniel Strüber, Dániel Varró:
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019. ACM 2019, ISBN 978-1-7281-2231-1 [contents] - 2018
- [j34]Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró:
Secure Views for Collaborative Modeling. IEEE Softw. 35(6): 32-38 (2018) - [j33]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): 135-162 (2018) - [j32]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): 1365-1393 (2018) - [c112]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: 285-312 - [c111]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: 111-128 - [c110]Oszkár Semeráth, Dániel Varró:
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. FASE 2018: 227-245 - [c109]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: 113-116 - [c108]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: 969-980 - [c107]Á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: 27-31 - [c106]Kristóf Marussy, Oszkár Semeráth, Dániel Varró:
Incremental View Model Synchronization Using Partial Models. MoDELS 2018: 323-333 - [c105]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: 460-467 - [c104]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: 193-197 - [d2]Kristóf Marussy, Oszkár Semeráth, Dániel Varró:
ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models". Zenodo, 2018 - [d1]Kristóf Marussy, Oszkár Semeráth, Dániel Varró:
ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models". Zenodo, 2018 - [i3]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 abs/1806.07344 (2018) - 2017
- [j31]Oszkár Semeráth, Dániel Varró:
Evaluating Well-Formedness Constraints on Incomplete Models. Acta Cybern. 23(2): 687-713 (2017) - [j30]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): 175-192 (2017) - [j29]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): 357-392 (2017) - [c103]József Marton, Gábor Szárnyas, Dániel Varró:
Formalising openCypher Graph Queries in Relational Algebra. ADBIS 2017: 182-196 - [c102]Oszkár Semeráth, Dániel Varró:
Graph Constraint Evaluation over Partial Models by Constraint Rewriting. ICMT 2017: 138-154 - [c101]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: 135-144 - [c100]Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró:
Property-Based Locking in Collaborative Modeling. MoDELS 2017: 199-209 - [c99]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: 984-988 - [i2]József Marton, Gábor Szárnyas, Dániel Varró:
Formalising opencypher Graph Queries in Relational Algebra. CoRR abs/1705.02844 (2017) - 2016
- [j28]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): 609-629 (2016) - [j27]Á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): 733-756 (2016) - [c98]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: 40-44 - [c97]Oszkár Semeráth, András Vörös, Dániel Varró:
Iterative and Incremental Model Generation by Logic Solvers. FASE 2016: 87-103 - [c96]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: 104-121 - [c95]Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró:
Rete Network Slicing for Model Queries. ICGT 2016: 137-152 - [c94]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: 17-26 - [c93]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: 87-94 - [c92]Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró:
Incremental backward change propagation of view models by logic solvers. MoDELS 2016: 306-316 - [c91]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: 351-361 - [c90]Dániel Varró:
Incremental Queries and Transformations: From Concepts to Industrial Applications. SOFSEM 2016: 51-59 - [c89]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: 55-64 - [e7]Tijs van der Storm, Emilie Balland, Dániel Varró:
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016. ACM 2016, ISBN 978-1-4503-4447-0 [contents] - [e6]Paolo Milazzo, Dániel Varró, Manuel Wimmer:
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9946, Springer 2016, ISBN 978-3-319-50229-8 [contents] - 2015
- [j26]Ábel Hegedüs, Ákos Horváth, Dániel Varró:
A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22(3): 399-436 (2015) - [j25]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: 147-165 (2015) - [j24]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: 80-99 (2015) - [c88]Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró:
Local Search-Based Pattern Matching Features in EMF-IncQuery. ICGT 2015: 275-282 - [c87]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: 101-110 - [c86]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: 1-7 - [c85]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: 1-6 - [c84]Dániel Varró:
Patterns and Styles for Incremental Model Transformations. PAME@STAF 2015: 41-43 - [c83]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: 44-53 - [c82]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: 129-141 - [e5]Martin Gogolla, Henry Muccini, Dániel Varró:
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015. CEUR Workshop Proceedings 1499, CEUR-WS.org 2015 [contents] - 2014
- [c81]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: 293-302 - [c80]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: 289-300 - [c79]Gábor Bergmann, Ábel Hegedüs, György Gerencser, Dániel Varró:
Graph Query by Example. CMSEBA@MoDELS 2014: 17-24 - [c78]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: 31-41 - [c77]