default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dániel Varró
@article{DBLP:journals/tse/BabikianSV24,
author = {Aren A. Babikian and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Concretization of Abstract Traffic Scene Specifications Using Metaheuristic
Search},
journal = {{IEEE} Trans. Software Eng.},
volume = {50},
number = {1},
pages = {48--68},
year = {2024},
url = {https://doi.org/10.1109/TSE.2023.3331254},
doi = {10.1109/TSE.2023.3331254},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BabikianSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarussyFSV24,
author = {Krist{\'{o}}f Marussy and
Attila Ficsor and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Refinery: Graph Solver as a Service: Refinement-based Generation and
Analysis of Consistent Models},
booktitle = {Proceedings of the 2024 {IEEE/ACM} 46th International Conference on
Software Engineering: Companion Proceedings, {ICSE} Companion 2024,
Lisbon, Portugal, April 14-20, 2024},
pages = {64--68},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3639478.3640045},
doi = {10.1145/3639478.3640045},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MarussyFSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangLNV24,
author = {Yiran Wang and
Jos{\'{e}} Antonio Hern{\'{a}}ndez L{\'{o}}pez and
Ulf Nilsson and
D{\'{a}}niel Varr{\'{o}}},
editor = {Marcelo d'Amorim},
title = {Using Run-Time Information to Enhance Static Analysis of Machine Learning
Code in Notebooks},
booktitle = {Companion Proceedings of the 32nd {ACM} International Conference on
the Foundations of Software Engineering, {FSE} 2024, Porto de Galinhas,
Brazil, July 15-19, 2024},
pages = {497--501},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3663529.3663785},
doi = {10.1145/3663529.3663785},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WangLNV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-07930,
author = {Jos{\'{e}} Antonio Hern{\'{a}}ndez L{\'{o}}pez and
Boqi Chen and
Tushar Sharma and
D{\'{a}}niel Varr{\'{o}}},
title = {On Inter-dataset Code Duplication and Data Leakage in Large Language
Models},
journal = {CoRR},
volume = {abs/2401.07930},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.07930},
doi = {10.48550/ARXIV.2401.07930},
eprinttype = {arXiv},
eprint = {2401.07930},
timestamp = {Thu, 08 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-07930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-08645,
author = {Boqi Chen and
Krist{\'{o}}f Marussy and
Oszk{\'{a}}r Semer{\'{a}}th and
Gunter Mussbacher and
D{\'{a}}niel Varr{\'{o}}},
title = {Certifying Robustness of Graph Convolutional Networks for Node Perturbation
with Polyhedra Abstract Interpretation},
journal = {CoRR},
volume = {abs/2405.08645},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.08645},
doi = {10.48550/ARXIV.2405.08645},
eprinttype = {arXiv},
eprint = {2405.08645},
timestamp = {Sat, 15 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-08645.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-04147,
author = {Mootez Saad and
Jos{\'{e}} Antonio Hern{\'{a}}ndez L{\'{o}}pez and
Boqi Chen and
D{\'{a}}niel Varr{\'{o}} and
Tushar Sharma},
title = {{ALPINE:} An adaptive language-agnostic pruning method for language
models for code},
journal = {CoRR},
volume = {abs/2407.04147},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.04147},
doi = {10.48550/ARXIV.2407.04147},
eprinttype = {arXiv},
eprint = {2407.04147},
timestamp = {Mon, 12 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-04147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/NejatiV23,
author = {Shiva Nejati and
D{\'{a}}niel Varr{\'{o}}},
title = {Guest editorial for the special section on {MODELS} 2021},
journal = {Softw. Syst. Model.},
volume = {22},
number = {5},
pages = {1393--1396},
year = {2023},
url = {https://doi.org/10.1007/s10270-023-01108-2},
doi = {10.1007/S10270-023-01108-2},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/NejatiV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KhanDVM23,
author = {Faizan Khan and
Istvan David and
D{\'{a}}niel Varr{\'{o}} and
Shane McIntosh},
title = {Code Cloning in Smart Contracts on the Ethereum Platform: An Extended
Replication Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {4},
pages = {2006--2019},
year = {2023},
url = {https://doi.org/10.1109/TSE.2022.3207428},
doi = {10.1109/TSE.2022.3207428},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KhanDVM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/annsim/PilarskiSV23,
author = {Sebastian Pilarski and
Aman Sidhu and
D{\'{a}}niel Varr{\'{o}}},
editor = {Mar{\'{\i}}a Julia Blas and
Gonzalo Alvarez},
title = {A Simulation Environment for Reducing Food Waste via Reinforcement
Learning},
booktitle = {Annual Modeling and Simulation Conference, {ANNSIM} 2023, Hamilton,
ON, Canada, May 23-26, 2023},
pages = {332--344},
publisher = {{IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10155225},
timestamp = {Tue, 11 Jul 2023 11:40:10 +0200},
biburl = {https://dblp.org/rec/conf/annsim/PilarskiSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AhmadRKSV23,
author = {Fozail Ahmad and
Maruthi Rangappa and
Neeraj Katiyar and
Martin Staniszewski and
D{\'{a}}niel Varr{\'{o}}},
title = {Hybrid Cloudification of Legacy Software for Efficient Simulation
of Gas Turbine Designs},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia,
May 14-20, 2023},
pages = {384--395},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE-SEIP58684.2023.00041},
doi = {10.1109/ICSE-SEIP58684.2023.00041},
timestamp = {Thu, 20 Jul 2023 08:23:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/AhmadRKSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChenYCLMV23,
author = {Kua Chen and
Yujing Yang and
Boqi Chen and
Jos{\'{e}} Antonio Hern{\'{a}}ndez L{\'{o}}pez and
Gunter Mussbacher and
D{\'{a}}niel Varr{\'{o}}},
title = {Automated Domain Modeling with Large Language Models: {A} Comparative
Study},
booktitle = {26th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2023, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {162--172},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS58315.2023.00037},
doi = {10.1109/MODELS58315.2023.00037},
timestamp = {Fri, 05 Jan 2024 14:12:58 +0100},
biburl = {https://dblp.org/rec/conf/models/ChenYCLMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChenYV23,
author = {Boqi Chen and
Fandi Yi and
D{\'{a}}niel Varr{\'{o}}},
title = {Prompting or Fine-tuning? {A} Comparative Study of Large Language
Models for Taxonomy Construction},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {588--596},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00097},
doi = {10.1109/MODELS-C59198.2023.00097},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/ChenYV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ChenCHYALMSV23,
author = {Boqi Chen and
Kua Chen and
Shabnam Hassani and
Yujing Yang and
Daniel Amyot and
Lysanne Lessard and
Gunter Mussbacher and
Mehrdad Sabetzadeh and
D{\'{a}}niel Varr{\'{o}}},
editor = {Kurt Schneider and
Fabiano Dalpiaz and
Jennifer Horkoff},
title = {On the Use of {GPT-4} for Creating Goal Models: An Exploratory Study},
booktitle = {31st {IEEE} International Requirements Engineering Conference, {RE}
2023 - Workshops, Hannover, Germany, September 4-5, 2023},
pages = {262--271},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/REW57809.2023.00052},
doi = {10.1109/REW57809.2023.00052},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ChenCHYALMSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-06974,
author = {Boqi Chen and
Kua Chen and
Yujing Yang and
Afshin Amini and
Bharat Saxena and
Cecilia Ch{\'{a}}vez{-}Garc{\'{\i}}a and
Majid Babaei and
Amir Feizpour and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards Improving the Explainability of Text-based Information Retrieval
with Knowledge Graphs},
journal = {CoRR},
volume = {abs/2301.06974},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.06974},
doi = {10.48550/ARXIV.2301.06974},
eprinttype = {arXiv},
eprint = {2301.06974},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-06974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07826,
author = {Aren A. Babikian and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Concretization of Abstract Traffic Scene Specifications Using Metaheuristic
Search},
journal = {CoRR},
volume = {abs/2307.07826},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07826},
doi = {10.48550/ARXIV.2307.07826},
eprinttype = {arXiv},
eprint = {2307.07826},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-01715,
author = {Boqi Chen and
Fandi Yi and
D{\'{a}}niel Varr{\'{o}}},
title = {Prompting or Fine-tuning? {A} Comparative Study of Large Language
Models for Taxonomy Construction},
journal = {CoRR},
volume = {abs/2309.01715},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.01715},
doi = {10.48550/ARXIV.2309.01715},
eprinttype = {arXiv},
eprint = {2309.01715},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-01715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BabikianSLMV22,
author = {Aren A. Babikian and
Oszk{\'{a}}r Semer{\'{a}}th and
Anqi Li and
Krist{\'{o}}f Marussy and
D{\'{a}}niel Varr{\'{o}}},
title = {Automated generation of consistent models using qualitative abstractions
and exploration strategies},
journal = {Softw. Syst. Model.},
volume = {21},
number = {5},
pages = {1763--1787},
year = {2022},
url = {https://doi.org/10.1007/s10270-021-00918-6},
doi = {10.1007/S10270-021-00918-6},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/BabikianSLMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tai/PilarskiPV22,
author = {Sebastian Pilarski and
Slawomir Pilarski and
D{\'{a}}niel Varr{\'{o}}},
title = {Delayed Reward Bernoulli Bandits: Optimal Policy and Predictive Meta-Algorithm
{PARDI}},
journal = {{IEEE} Trans. Artif. Intell.},
volume = {3},
number = {2},
pages = {152--163},
year = {2022},
url = {https://doi.org/10.1109/TAI.2021.3117743},
doi = {10.1109/TAI.2021.3117743},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tai/PilarskiPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MarussySV22,
author = {Krist{\'{o}}f Marussy and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Automated Generation of Consistent Graph Models With Multiplicity
Reasoning},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {5},
pages = {1610--1629},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3025732},
doi = {10.1109/TSE.2020.3025732},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MarussySV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KhanCVM22,
author = {Faizan Khan and
Boqi Chen and
D{\'{a}}niel Varr{\'{o}} and
Shane McIntosh},
title = {An Empirical Study of Type-Related Defects in Python Projects},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {8},
pages = {3145--3158},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3082068},
doi = {10.1109/TSE.2021.3082068},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KhanCVM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChenMPSV22,
author = {Boqi Chen and
Krist{\'{o}}f Marussy and
Sebastian Pilarski and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Consistent Scene Graph Generation by Constraint Optimization},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {25:1--25:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3560433},
doi = {10.1145/3551349.3560433},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ChenMPSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FoldiakMVM22,
author = {M{\'{a}}t{\'{e}} F{\"{o}}ldi{\'{a}}k and
Krist{\'{o}}f Marussy and
D{\'{a}}niel Varr{\'{o}} and
Istv{\'{a}}n Majzik},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Nelly Bencomo and
Manuel Wimmer},
title = {System architecture synthesis for performability by logic solvers},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October
23-28, 2022},
pages = {43--54},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552448},
doi = {10.1145/3550355.3552448},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/FoldiakMVM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PilarskiSBVV21,
author = {Sebastian Pilarski and
Martin Staniszewski and
Matthew Bryan and
Frederic Villeneuve and
D{\'{a}}niel Varr{\'{o}}},
title = {Predictions-on-chip: model-based training and automated deployment
of machine learning models at runtime},
journal = {Softw. Syst. Model.},
volume = {20},
number = {3},
pages = {685--709},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00856-9},
doi = {10.1007/S10270-020-00856-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PilarskiSBVV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SemerathBCLMSV21,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Aren A. Babikian and
Boqi Chen and
Chuning Li and
Krist{\'{o}}f Marussy and
G{\'{a}}bor Sz{\'{a}}rnyas and
D{\'{a}}niel Varr{\'{o}}},
title = {Automated generation of consistent, diverse and structurally realistic
graph models},
journal = {Softw. Syst. Model.},
volume = {20},
number = {5},
pages = {1713--1734},
year = {2021},
url = {https://doi.org/10.1007/s10270-021-00884-z},
doi = {10.1007/S10270-021-00884-Z},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/SemerathBCLMSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tai/PilarskiPV21,
author = {Sebastian Pilarski and
Slawomir Pilarski and
D{\'{a}}niel Varr{\'{o}}},
title = {Optimal Policy for Bernoulli Bandits: Computation and Algorithm Gauge},
journal = {{IEEE} Trans. Artif. Intell.},
volume = {2},
number = {1},
pages = {2--17},
year = {2021},
url = {https://doi.org/10.1109/TAI.2021.3074122},
doi = {10.1109/TAI.2021.3074122},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tai/PilarskiPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BurMMV21,
author = {M{\'{a}}rton B{\'{u}}r and
Krist{\'{o}}f Marussy and
Brett H. Meyer and
D{\'{a}}niel Varr{\'{o}}},
title = {Worst-case Execution Time Calculation for Query-based Monitors by
Witness Generation},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {6},
pages = {107:1--107:36},
year = {2021},
url = {https://doi.org/10.1145/3471904},
doi = {10.1145/3471904},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/BurMMV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/JohnsonZVV21,
author = {Kenneth Johnson and
Marc Zeller and
Arthur Vetter and
D{\'{a}}niel Varr{\'{o}}},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Continual Model-Based Analysis},
booktitle = {Composing Model-Based Analysis Tools},
pages = {97--127},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_6},
doi = {10.1007/978-3-030-81915-6\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/JohnsonZVV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-03116,
author = {M{\'{a}}rton B{\'{u}}r and
Krist{\'{o}}f Marussy and
Brett H. Meyer and
D{\'{a}}niel Varr{\'{o}}},
title = {Worst-Case Execution Time Calculation for Query-Based Monitors by
Witness Generation},
journal = {CoRR},
volume = {abs/2102.03116},
year = {2021},
url = {https://arxiv.org/abs/2102.03116},
eprinttype = {arXiv},
eprint = {2102.03116},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-03116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/MarussySBV20,
author = {Krist{\'{o}}f Marussy and
Oszk{\'{a}}r Semer{\'{a}}th and
Aren A. Babikian and
D{\'{a}}niel Varr{\'{o}}},
title = {A Specification Language for Consistent Model Generation based on
Partial Models},
journal = {J. Object Technol.},
volume = {19},
number = {3},
pages = {3:1--22},
year = {2020},
url = {https://doi.org/10.5381/jot.2020.19.3.a12},
doi = {10.5381/JOT.2020.19.3.A12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/MarussySBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MussbacherCKAAB20,
author = {Gunter Mussbacher and
Beno{\^{\i}}t Combemale and
J{\"{o}}rg Kienzle and
Silvia Abrah{\~{a}}o and
Hyacinth Ali and
Nelly Bencomo and
M{\'{a}}rton B{\'{u}}r and
Loli Burgue{\~{n}}o and
Gregor Engels and
Pierre Jeanjean and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Thomas K{\"{u}}hn and
S{\'{e}}bastien Mosser and
Houari A. Sahraoui and
Eugene Syriani and
D{\'{a}}niel Varr{\'{o}} and
Martin Weyssow},
title = {Opportunities in intelligent modeling assistance},
journal = {Softw. Syst. Model.},
volume = {19},
number = {5},
pages = {1045--1053},
year = {2020},
url = {https://doi.org/10.1007/s10270-020-00814-5},
doi = {10.1007/S10270-020-00814-5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/MussbacherCKAAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GraicsMVMV20,
author = {Bence Graics and
Vince Moln{\'{a}}r and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
Istv{\'{a}}n Majzik and
D{\'{a}}niel Varr{\'{o}}},
title = {Mixed-semantics composition of statecharts for the component-based
design of reactive systems},
journal = {Softw. Syst. Model.},
volume = {19},
number = {6},
pages = {1483--1517},
year = {2020},
url = {https://doi.org/10.1007/s10270-020-00806-5},
doi = {10.1007/S10270-020-00806-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/GraicsMVMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SemerathFBV20,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Rebeka Farkas and
G{\'{a}}bor Bergmann and
D{\'{a}}niel Varr{\'{o}}},
title = {Diversity of graph models and graph generators in mutation testing},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {57--78},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00530-6},
doi = {10.1007/S10009-019-00530-6},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SemerathFBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BurSVV20,
author = {M{\'{a}}rton B{\'{u}}r and
G{\'{a}}bor S. Szil{\'{a}}gyi and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
D{\'{a}}niel Varr{\'{o}}},
title = {Distributed graph queries over models@run.time for runtime monitoring
of cyber-physical systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {79--102},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00531-5},
doi = {10.1007/S10009-019-00531-5},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BurSVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BabikianSV20,
author = {Aren A. Babikian and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Heike Wehrheim and
Jordi Cabot},
title = {Automated Generation of Consistent Graph Models with First-Order Logic
Theorem Provers},
booktitle = {Fundamental Approaches to Software Engineering - 23rd International
Conference, {FASE} 2020, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12076},
pages = {441--461},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45234-6\_22},
doi = {10.1007/978-3-030-45234-6\_22},
timestamp = {Fri, 14 May 2021 08:34:14 +0200},
biburl = {https://dblp.org/rec/conf/fase/BabikianSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChenHPSSV20,
author = {Boqi Chen and
Dylan Havelock and
Connor Plante and
Michael Sukkarieh and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Esther Guerra and
Ludovico Iovino},
title = {Automated video game world map synthesis by model-based techniques},
booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020, Companion Proceedings},
pages = {4:1--4:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417990.3422001},
doi = {10.1145/3417990.3422001},
timestamp = {Wed, 23 Feb 2022 12:16:51 +0100},
biburl = {https://dblp.org/rec/conf/models/ChenHPSSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SemerathBLMV20,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Aren A. Babikian and
Anqi Li and
Krist{\'{o}}f Marussy and
D{\'{a}}niel Varr{\'{o}}},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Juan de Lara and
Silvia Abrah{\~{a}}o},
title = {Automated generation of consistent models with structural and attribute
constraints},
booktitle = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020},
pages = {187--199},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365438.3410962},
doi = {10.1145/3365438.3410962},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/SemerathBLMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/SemerathBLMV20,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Aren A. Babikian and
Anqi Li and
Krist{\'{o}}f Marussy and
D{\'{a}}niel Varr{\'{o}}},
title = {Artifacts for "Automated Generation of Consistent Models with
Structural and Attribute Constraints" (Version 1)},
publisher = {Zenodo},
year = {2020},
month = jul,
howpublished = {\url{https://doi.org/10.5281/zenodo.3950552}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3950552},
doi = {10.5281/ZENODO.3950552},
timestamp = {Thu, 19 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/SemerathBLMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DebreceniBRV19,
author = {Csaba Debreceni and
G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Enforcing fine-grained access control for secure collaborative modelling
using bidirectional transformations},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {1737--1769},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0631-8},
doi = {10.1007/S10270-017-0631-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/DebreceniBRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DebreceniBRV19a,
author = {Csaba Debreceni and
G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Correction to: Enforcing fine-grained access control for secure collaborative
modelling using bidirectional transformations},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {1771},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0650-5},
doi = {10.1007/S10270-017-0650-5},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/DebreceniBRV19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KahaniBCDV19,
author = {Nafiseh Kahani and
Mojtaba Bagherzadeh and
James R. Cordy and
Juergen Dingel and
D{\'{a}}niel Varr{\'{o}}},
title = {Survey and classification of model transformation tools},
journal = {Softw. Syst. Model.},
volume = {18},
number = {4},
pages = {2361--2397},
year = {2019},
url = {https://doi.org/10.1007/s10270-018-0665-6},
doi = {10.1007/S10270-018-0665-6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/KahaniBCDV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SemerathBPV19,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Aren A. Babikian and
Sebastian Pilarski and
D{\'{a}}niel Varr{\'{o}}},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Viatra solver: a framework for the automated generation of consistent
domain-specific models},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31,
2019},
pages = {43--46},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-Companion.2019.00034},
doi = {10.1109/ICSE-COMPANION.2019.00034},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/SemerathBPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MajzikSHMSM0BV19,
author = {Istv{\'{a}}n Majzik and
Oszk{\'{a}}r Semer{\'{a}}th and
Csaba Hajdu and
Krist{\'{o}}f Marussy and
Zolt{\'{a}}n Szatm{\'{a}}ri and
Zolt{\'{a}}n Micskei and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
Aren A. Babikian and
D{\'{a}}niel Varr{\'{o}}},
editor = {Marouane Kessentini and
Tao Yue and
Alexander Pretschner and
Sebastian Voss and
Loli Burgue{\~{n}}o},
title = {Towards System-Level Testing with Coverage Guarantees for Autonomous
Vehicles},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
2019},
pages = {89--94},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS.2019.00-12},
doi = {10.1109/MODELS.2019.00-12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/MajzikSHMSM0BV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PilarskiSVV19,
author = {Sebastian Pilarski and
Martin Staniszewski and
Frederic Villeneuve and
D{\'{a}}niel Varr{\'{o}}},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {On Artificial Intelligence for Simulation and Design Space Exploration
in Gas Turbine Design},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {170--174},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00029},
doi = {10.1109/MODELS-C.2019.00029},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/PilarskiSVV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BurV19,
author = {M{\'{a}}rton B{\'{u}}r and
D{\'{a}}niel Varr{\'{o}}},
editor = {Marouane Kessentini and
Tao Yue and
Alexander Pretschner and
Sebastian Voss and
Loli Burgue{\~{n}}o},
title = {Towards {WCET} Estimation of Graph Queries@Run.time},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
2019},
pages = {233--238},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS.2019.00007},
doi = {10.1109/MODELS.2019.00007},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/BurV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/BurV19,
author = {M{\'{a}}rton B{\'{u}}r and
D{\'{a}}niel Varr{\'{o}}},
title = {Evaluation of Distributed Query-Based Monitoring over Data Distribution
Service},
booktitle = {5th {IEEE} World Forum on Internet of Things, WF-IoT 2019, Limerick,
Ireland, April 15-18, 2019},
pages = {674--679},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WF-IoT.2019.8767281},
doi = {10.1109/WF-IOT.2019.8767281},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wf-iot/BurV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2019mise,
editor = {Marsha Chechik and
Daniel Str{\"{u}}ber and
D{\'{a}}niel Varr{\'{o}}},
title = {Proceedings of the 11th International Workshop on Modelling in Software
Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8870905/proceeding},
isbn = {978-1-7281-2231-1},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2019mise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/DebreceniBRV18,
author = {Csaba Debreceni and
G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Secure Views for Collaborative Modeling},
journal = {{IEEE} Softw.},
volume = {35},
number = {6},
pages = {32--38},
year = {2018},
url = {https://doi.org/10.1109/MS.2018.290101728},
doi = {10.1109/MS.2018.290101728},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/DebreceniBRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DavidRV18,
author = {Istv{\'{a}}n D{\'{a}}vid and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Foundations for Streaming Model Transformations by Complex Event Processing},
journal = {Softw. Syst. Model.},
volume = {17},
number = {1},
pages = {135--162},
year = {2018},
url = {https://doi.org/10.1007/s10270-016-0533-1},
doi = {10.1007/S10270-016-0533-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/DavidRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SzarnyasIRV18,
author = {G{\'{a}}bor Sz{\'{a}}rnyas and
Benedek Izs{\'{o}} and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {The Train Benchmark: cross-technology performance evaluation of continuous
model queries},
journal = {Softw. Syst. Model.},
volume = {17},
number = {4},
pages = {1365--1393},
year = {2018},
url = {https://doi.org/10.1007/s10270-016-0571-8},
doi = {10.1007/S10270-016-0571-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/SzarnyasIRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/VarroSSH18,
author = {D{\'{a}}niel Varr{\'{o}} and
Oszk{\'{a}}r Semer{\'{a}}th and
G{\'{a}}bor Sz{\'{a}}rnyas and
{\'{A}}kos Horv{\'{a}}th},
editor = {Reiko Heckel and
Gabriele Taentzer},
title = {Towards the Automated Generation of Consistent, Diverse, Scalable
and Realistic Graph Models},
booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
Ehrig},
series = {Lecture Notes in Computer Science},
volume = {10800},
pages = {285--312},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75396-6\_16},
doi = {10.1007/978-3-319-75396-6\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/VarroSSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BurSVV18,
author = {M{\'{a}}rton B{\'{u}}r and
G{\'{a}}bor S. Szil{\'{a}}gyi and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
D{\'{a}}niel Varr{\'{o}}},
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {Distributed Graph Queries for Runtime Monitoring of Cyber-Physical
Systems},
booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10802},
pages = {111--128},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1\_7},
doi = {10.1007/978-3-319-89363-1\_7},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BurSVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SemerathV18,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {Iterative Generation of Diverse Models for Testing Specifications
of {DSL} Tools},
booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10802},
pages = {227--245},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1\_13},
doi = {10.1007/978-3-319-89363-1\_13},
timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SemerathV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MolnarGVMV18,
author = {Vince Moln{\'{a}}r and
Bence Graics and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
Istv{\'{a}}n Majzik and
D{\'{a}}niel Varr{\'{o}}},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {The Gamma statechart composition framework: : design, verification
and code generation for component-based reactive systems},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {113--116},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3183489},
doi = {10.1145/3183440.3183489},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MolnarGVMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SemerathNV18,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Andr{\'{a}}s Szabolcs Nagy and
D{\'{a}}niel Varr{\'{o}}},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {A graph solver for the automated generation of consistent domain-specific
models},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {969--980},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180186},
doi = {10.1145/3180155.3180186},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SemerathNV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HegedusBDHLMPVV18,
author = {{\'{A}}bel Heged{\"{u}}s and
G{\'{a}}bor Bergmann and
Csaba Debreceni and
{\'{A}}kos Horv{\'{a}}th and
P{\'{e}}ter Lunk and
{\'{A}}kos Menyh{\'{e}}rt and
Istv{\'{a}}n Papp and
D{\'{a}}niel Varr{\'{o}} and
Tomas Vileiniskis and
Istv{\'{a}}n R{\'{a}}th},
editor = {{\"{O}}nder Babur and
Daniel Str{\"{u}}ber and
Silvia Abrah{\~{a}}o and
Loli Burgue{\~{n}}o and
Martin Gogolla and
Joel Greenyer and
Sahar Kokaly and
Dimitris S. Kolovos and
Tanja Mayerhofer and
Mansooreh Zahedi},
title = {Incquery server for teamwork cloud: scalable query evaluation over
collaborative model repositories},
booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems: Companion Proceedings, {MODELS}
2018, Copenhagen, Denmark, October 14-19, 2018},
pages = {27--31},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3270112.3270125},
doi = {10.1145/3270112.3270125},
timestamp = {Wed, 23 Feb 2022 12:16:51 +0100},
biburl = {https://dblp.org/rec/conf/models/HegedusBDHLMPVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MarussySV18,
author = {Krist{\'{o}}f Marussy and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Incremental View Model Synchronization Using Partial Models},
booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
Denmark, October 14-19, 2018},
pages = {323--333},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3239372.3239412},
doi = {10.1145/3239372.3239412},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/MarussySV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/VorosBRHMBHHMV18,
author = {Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
M{\'{a}}rton B{\'{u}}r and
Istv{\'{a}}n R{\'{a}}th and
{\'{A}}kos Horv{\'{a}}th and
Zolt{\'{a}}n Micskei and
L{\'{a}}szl{\'{o}} Balogh and
B{\'{a}}lint Hegyi and
Benedek Horv{\'{a}}th and
Zsolt M{\'{a}}zl{\'{o}} and
D{\'{a}}niel Varr{\'{o}}},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical
Systems},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {460--467},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_31},
doi = {10.1007/978-3-319-77935-5\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/VorosBRHMBHHMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BarisicDVAG18,
author = {Ankica Barisic and
Csaba Debreceni and
D{\'{a}}niel Varr{\'{o}} and
Vasco Amaral and
Miguel Goul{\~{a}}o},
editor = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Caitlin Kelleher and
Gregor Engels and
Jorge Mendes},
title = {Evaluating the efficiency of using a search-based automated model
merge technique},
booktitle = {2018 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2018, Lisbon, Portugal, October 1-4, 2018},
pages = {193--197},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/VLHCC.2018.8506512},
doi = {10.1109/VLHCC.2018.8506512},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/BarisicDVAG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/MarussySV18,
author = {Krist{\'{o}}f Marussy and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {ViewModel Tool and Benchmark Results for "Incremental View Model
Synchronization Using Partial Models" (Version 1)},
publisher = {Zenodo},
year = {2018},
month = jul,
howpublished = {\url{https://doi.org/10.5281/zenodo.1308969}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.1308969},
doi = {10.5281/ZENODO.1308969},
timestamp = {Thu, 05 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/MarussySV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/MarussySV18a,
author = {Krist{\'{o}}f Marussy and
Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {ViewModel Tool and Benchmark Results for "Incremental View Model
Synchronization Using Partial Models" (Version 2)},
publisher = {Zenodo},
year = {2018},
month = jul,
howpublished = {\url{https://doi.org/10.5281/zenodo.1318156}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.1318156},
doi = {10.5281/ZENODO.1318156},
timestamp = {Thu, 05 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/MarussySV18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07344,
author = {G{\'{a}}bor Sz{\'{a}}rnyas and
J{\'{o}}zsef Marton and
J{\'{a}}nos Maginecz and
D{\'{a}}niel Varr{\'{o}}},
title = {Reducing Property Graph Queries to Relational Algebra for Incremental
View Maintenance},
journal = {CoRR},
volume = {abs/1806.07344},
year = {2018},
url = {http://arxiv.org/abs/1806.07344},
eprinttype = {arXiv},
eprint = {1806.07344},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/SemerathV17,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Evaluating Well-Formedness Constraints on Incomplete Models},
journal = {Acta Cybern.},
volume = {23},
number = {2},
pages = {687--713},
year = {2017},
url = {https://doi.org/10.14232/actacyb.23.2.2017.15},
doi = {10.14232/ACTACYB.23.2.2017.15},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/actaC/SemerathV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eecs/SzarnyasMV17,
author = {G{\'{a}}bor Sz{\'{a}}rnyas and
J{\'{a}}nos Maginecz and
D{\'{a}}niel Varr{\'{o}}},
title = {Evaluation of Optimization Strategies for Incremental Graph Queries},
journal = {Period. Polytech. Electr. Eng. Comput. Sci.},
volume = {61},
number = {2},
pages = {175--192},
year = {2017},
url = {https://doi.org/10.3311/ppee.9769},
doi = {10.3311/PPEE.9769},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eecs/SzarnyasMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SemerathBHSV17,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
{\'{A}}gnes Barta and
{\'{A}}kos Horv{\'{a}}th and
Zolt{\'{a}}n Szatm{\'{a}}ri and
D{\'{a}}niel Varr{\'{o}}},
title = {Formal validation of domain-specific languages with derived features
and well-formedness constraints},
journal = {Softw. Syst. Model.},
volume = {16},
number = {2},
pages = {357--392},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0485-x},
doi = {10.1007/S10270-015-0485-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/SemerathBHSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/MartonSV17,
author = {J{\'{o}}zsef Marton and
G{\'{a}}bor Sz{\'{a}}rnyas and
D{\'{a}}niel Varr{\'{o}}},
editor = {Marite Kirikova and
Kjetil N{\o}rv{\aa}g and
George A. Papadopoulos},
title = {Formalising openCypher Graph Queries in Relational Algebra},
booktitle = {Advances in Databases and Information Systems - 21st European Conference,
{ADBIS} 2017, Nicosia, Cyprus, September 24-27, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10509},
pages = {182--196},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66917-5\_13},
doi = {10.1007/978-3-319-66917-5\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/MartonSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/SemerathV17,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Esther Guerra and
Mark van den Brand},
title = {Graph Constraint Evaluation over Partial Models by Constraint Rewriting},
booktitle = {Theory and Practice of Model Transformation - 10th International Conference,
ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10374},
pages = {138--154},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61473-1\_10},
doi = {10.1007/978-3-319-61473-1\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/SemerathV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BergmanDRV17,
author = {G{\'{a}}bor Bergmann and
Csaba Debreceni and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Loli Burgue{\~{n}}o and
Jonathan Corley and
Nelly Bencomo and
Peter J. Clarke and
Philippe Collet and
Michalis Famelis and
Sudipto Ghosh and
Martin Gogolla and
Joel Greenyer and
Esther Guerra and
Sahar Kokaly and
Alfonso Pierantonio and
Julia Rubin and
Davide Di Ruscio},
title = {Towards Efficient Evaluation of Rule-based Permissions for Fine-grained
Access Control in Collaborative Modeling},
booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
Research Competition, and Tools and Demonstrations co-located with
{ACM/IEEE} 20th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
17, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2019},
pages = {135--144},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2019/commitmde\_2.pdf},
timestamp = {Wed, 26 Jun 2024 17:26:37 +0200},
biburl = {https://dblp.org/rec/conf/models/BergmanDRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DebreceniBRD17,
author = {Csaba Debreceni and
G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Property-Based Locking in Collaborative Modeling},
booktitle = {20th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22,
2017},
pages = {199--209},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/MODELS.2017.33},
doi = {10.1109/MODELS.2017.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/DebreceniBRD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DebreceniBBRV17,
author = {Csaba Debreceni and
G{\'{a}}bor Bergmann and
M{\'{a}}rton B{\'{u}}r and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {The {MONDO} collaboration framework: secure collaborative modeling
over existing version control systems},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {984--988},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3122829},
doi = {10.1145/3106237.3122829},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DebreceniBBRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MartonSV17,
author = {J{\'{o}}zsef Marton and
G{\'{a}}bor Sz{\'{a}}rnyas and
D{\'{a}}niel Varr{\'{o}}},
title = {Formalising opencypher Graph Queries in Relational Algebra},
journal = {CoRR},
volume = {abs/1705.02844},
year = {2017},
url = {http://arxiv.org/abs/1705.02844},
eprinttype = {arXiv},
eprint = {1705.02844},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MartonSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/VarroBHHRU16,
author = {D{\'{a}}niel Varr{\'{o}} and
G{\'{a}}bor Bergmann and
{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
Zolt{\'{a}}n Ujhelyi},
title = {Road to a reactive and incremental model transformation platform:
three generations of the {VIATRA} framework},
journal = {Softw. Syst. Model.},
volume = {15},
number = {3},
pages = {609--629},
year = {2016},
url = {https://doi.org/10.1007/s10270-016-0530-4},
doi = {10.1007/S10270-016-0530-4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/VarroBHHRU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HegedusHRSV16,
author = {{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
Rodrigo Rizzi Starr and
D{\'{a}}niel Varr{\'{o}}},
title = {Query-driven soft traceability links for models},
journal = {Softw. Syst. Model.},
volume = {15},
number = {3},
pages = {733--756},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0436-y},
doi = {10.1007/S10270-014-0436-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HegedusHRSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/SemerathDHV16,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Csaba Debreceni and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Change Propagation of View Models by Logic Synthesis using {SAT} solvers},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {40--44},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/etaps/SemerathDHV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SemerathVV16,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
D{\'{a}}niel Varr{\'{o}}},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {Iterative and Incremental Model Generation by Logic Solvers},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {87--103},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_6},
doi = {10.1007/978-3-662-49665-7\_6},
timestamp = {Wed, 16 Mar 2022 23:55:35 +0100},
biburl = {https://dblp.org/rec/conf/fase/SemerathVV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DebreceniRVCMT16,
author = {Csaba Debreceni and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Xabier De Carlos and
Xabier Mendialdua and
Salvador Trujillo},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {Automated Model Merge by Design Space Exploration},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {104--121},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_7},
doi = {10.1007/978-3-662-49665-7\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/DebreceniRVCMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/UjhelyiBV16,
author = {Zolt{\'{a}}n Ujhelyi and
G{\'{a}}bor Bergmann and
D{\'{a}}niel Varr{\'{o}}},
editor = {Rachid Echahed and
Mark Minas},
title = {Rete Network Slicing for Model Queries},
booktitle = {Graph Transformation - 9th International Conference, {ICGT} 2016,
in Memory of Hartmut Ehrig, Held as Part of {STAF} 2016, Vienna, Austria,
July 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9761},
pages = {137--152},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40530-8\_9},
doi = {10.1007/978-3-319-40530-8\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/UjhelyiBV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DebreceniBRV16,
author = {Csaba Debreceni and
G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Henry Muccini and
Ivano Malavolta and
Sebastien Gerard and
Dimitris S. Kolovos},
title = {Deriving Effective Permissions for Modeling Artifacts from Fine-grained
Access Control Rules},
booktitle = {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), St. Malo, France, October 4, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1717},
pages = {17--26},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1717/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DebreceniBRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SzarnyasKSV16,
author = {G{\'{a}}bor Sz{\'{a}}rnyas and
Zsolt Kov{\'{a}}ri and
{\'{A}}gnes Sal{\'{a}}nki and
D{\'{a}}niel Varr{\'{o}}},
editor = {Benoit Baudry and
Beno{\^{\i}}t Combemale},
title = {Towards the characterization of realistic models: evaluation of multidisciplinary
graph metrics},
booktitle = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
Driven Engineering Languages and Systems, Saint-Malo, France, October
2-7, 2016},
pages = {87--94},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976786},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/SzarnyasKSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SemerathDHV16,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Csaba Debreceni and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Benoit Baudry and
Beno{\^{\i}}t Combemale},
title = {Incremental backward change propagation of view models by logic solvers},
booktitle = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
Driven Engineering Languages and Systems, Saint-Malo, France, October
2-7, 2016},
pages = {306--316},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976788},
timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/SemerathDHV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BergmannDRV16,
author = {G{\'{a}}bor Bergmann and
Csaba Debreceni and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Benoit Baudry and
Beno{\^{\i}}t Combemale},
title = {Query-based access control for secure collaborative modeling using
bidirectional transformations},
booktitle = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
Driven Engineering Languages and Systems, Saint-Malo, France, October
2-7, 2016},
pages = {351--361},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976793},
timestamp = {Sat, 04 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BergmannDRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Varro16,
author = {D{\'{a}}niel Varr{\'{o}}},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Incremental Queries and Transformations: From Concepts to Industrial
Applications},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {51--59},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_5},
doi = {10.1007/978-3-662-49192-8\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Varro16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/KolovosGPGCLRVS16,
author = {Dimitrios S. Kolovos and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Richard F. Paige and
Esther Guerra and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
Juan de Lara and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Gerson Suny{\'{e}} and
Massimo Tisi},
editor = {Catherine Dubois and
Francesco Parisi{-}Presicce and
Dimitris S. Kolovos and
Nicholas Matragkas},
title = {{MONDO:} Scalable Modelling and Model Management on the Cloud},
booktitle = {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), Vienna, Austria, July
4-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1675},
pages = {55--64},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1675/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/KolovosGPGCLRVS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sle/2016,
editor = {Tijs van der Storm and
Emilie Balland and
D{\'{a}}niel Varr{\'{o}}},
title = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Software Language Engineering, Amsterdam, The Netherlands, October
31 - November 1, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2997364},
doi = {10.1145/2997364},
isbn = {978-1-4503-4447-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2016w,
editor = {Paolo Milazzo and
D{\'{a}}niel Varr{\'{o}} and
Manuel Wimmer},
title = {Software Technologies: Applications and Foundations - {STAF} 2016
Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna,
Austria, July 4-8, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9946},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50230-4},
doi = {10.1007/978-3-319-50230-4},
isbn = {978-3-319-50229-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/2016w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HegedusHV15,
author = {{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {A model-driven framework for guided design space exploration},
journal = {Autom. Softw. Eng.},
volume = {22},
number = {3},
pages = {399--436},
year = {2015},
url = {https://doi.org/10.1007/s10515-014-0163-1},
doi = {10.1007/S10515-014-0163-1},
timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/HegedusHV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/UjhelyiSHCVVF15,
author = {Zolt{\'{a}}n Ujhelyi and
G{\'{a}}bor Szoke and
{\'{A}}kos Horv{\'{a}}th and
Norbert Istvan Csisz{\'{a}}r and
L{\'{a}}szl{\'{o}} Vid{\'{a}}cs and
D{\'{a}}niel Varr{\'{o}} and
Rudolf Ferenc},
title = {Performance comparison of query-based techniques for anti-pattern
detection},
journal = {Inf. Softw. Technol.},
volume = {65},
pages = {147--165},
year = {2015},
url = {https://doi.org/10.1016/j.infsof.2015.01.003},
doi = {10.1016/J.INFSOF.2015.01.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/UjhelyiSHCVVF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/UjhelyiBHHIRSV15,
author = {Zolt{\'{a}}n Ujhelyi and
G{\'{a}}bor Bergmann and
{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Benedek Izs{\'{o}} and
Istv{\'{a}}n R{\'{a}}th and
Zolt{\'{a}}n Szatm{\'{a}}ri and
D{\'{a}}niel Varr{\'{o}}},
title = {EMF-IncQuery: An integrated development environment for live model
queries},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {80--99},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.01.004},
doi = {10.1016/J.SCICO.2014.01.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/UjhelyiBHHIRSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BurUHV15,
author = {M{\'{a}}rton B{\'{u}}r and
Zolt{\'{a}}n Ujhelyi and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Francesco Parisi{-}Presicce and
Bernhard Westfechtel},
title = {Local Search-Based Pattern Matching Features in EMF-IncQuery},
booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015,
Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9151},
pages = {275--282},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21145-9\_18},
doi = {10.1007/978-3-319-21145-9\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BurUHV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/BergmannDHHRUV15,
author = {G{\'{a}}bor Bergmann and
Istv{\'{a}}n D{\'{a}}vid and
{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
Zolt{\'{a}}n Ujhelyi and
D{\'{a}}niel Varr{\'{o}}},
editor = {Dimitris S. Kolovos and
Manuel Wimmer},
title = {Viatra 3: {A} Reactive Model Transformation Platform},
booktitle = {Theory and Practice of Model Transformations - 8th International Conference,
ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9152},
pages = {101--110},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21155-8\_8},
doi = {10.1007/978-3-319-21155-8\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/BergmannDHHRUV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChechikDDHRSV15,
author = {Marsha Chechik and
Fabiano Dalpiaz and
Csaba Debreceni and
Jennifer Horkoff and
Istv{\'{a}}n R{\'{a}}th and
Rick Salay and
D{\'{a}}niel Varr{\'{o}}},
editor = {Beno{\^{\i}}t Combemale and
Julien Deantoni and
Jeff Gray and
Daniel Balasubramanian and
Bruno Barroca and
Sahar Kokaly and
Gergely Mezei and
Pieter Van Gorp},
title = {Property-Based Methods for Collaborative Model Development},
booktitle = {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, GEMOC+MPM@MoDELS
2015, Ottawa, Canada, September 28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1511},
pages = {1--7},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1511/paper-01.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/ChechikDDHRSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MakaiSRHV15,
author = {Jozsef Makai and
G{\'{a}}bor Sz{\'{a}}rnyas and
Istv{\'{a}}n R{\'{a}}th and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Richard F. Paige and
Jordi Cabot and
Marco Brambilla and
James H. Hill},
title = {Optimization of Incremental Queries in the Cloud},
booktitle = {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), Ottawa, Canada, September
29, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1563},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1563/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/MakaiSRHV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Varro15,
author = {D{\'{a}}niel Varr{\'{o}}},
editor = {Richard F. Paige and
Eugene Syriani and
Steffen Zschaler and
H{\"{u}}seyin Ergin},
title = {Patterns and Styles for Incremental Model Transformations},
booktitle = {Proceedings of the First Workshop on Patterns in Model Engineering,
{PAME} 2015, co-located with the 3rd International Conference on Software
Technologies: Applications and Foundations {(STAF} 2015), L'Aquila,
Italy, July 21, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1657},
pages = {41--43},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1657/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/Varro15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/KolovosRPGCLRVS15,
author = {Dimitrios S. Kolovos and
Louis M. Rose and
Richard F. Paige and
Esther Guerra and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
Juan de Lara and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Gerson Suny{\'{e}} and
Massimo Tisi},
editor = {Marco Autili and
Tom Ritter and
Andrey Sadovykh and
Massimo Tivoli},
title = {{MONDO:} Scalable Modelling and Model Management on the Cloud},
booktitle = {Proceedings of the Projects Showcase, part of the Software Technologies:
Applications and Foundations 2015 federation of conferences {(STAF}
2015), L'Aquila, Italy, July 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1400},
pages = {44--53},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1400/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/KolovosRPGCLRVS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/SzarnyasSRV15,
author = {G{\'{a}}bor Sz{\'{a}}rnyas and
Oszk{\'{a}}r Semer{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Louis M. Rose and
Tassilo Horn and
Filip Krikava},
title = {The {TTC} 2015 Train Benchmark Case for Incremental Model Validation},
booktitle = {Proceedings of the 8th Transformation Tool Contest, a part of the
Software Technologies: Applications and Foundations {(STAF} 2015)
federation of conferences, L'Aquila, Italy, July 24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1524},
pages = {129--141},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1524/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/SzarnyasSRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2015ds,
editor = {Martin Gogolla and
Henry Muccini and
D{\'{a}}niel Varr{\'{o}}},
title = {Proceedings of the Doctoral Symposium at Software Technologies: Applications
and Foundations 2015 Conference {(STAF} 2015), L'Aquila, Italy, July
20, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1499},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1499},
urn = {urn:nbn:de:0074-1499-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/2015ds.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/UjhelyiHVCSVF14,
author = {Zolt{\'{a}}n Ujhelyi and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Norbert Istvan Csisz{\'{a}}r and
G{\'{a}}bor Szoke and
L{\'{a}}szl{\'{o}} Vid{\'{a}}cs and
Rudolf Ferenc},
editor = {Serge Demeyer and
Dave W. Binkley and
Filippo Ricca},
title = {Anti-pattern detection with model queries: {A} comparison of approaches},
booktitle = {2014 Software Evolution Week - {IEEE} Conference on Software Maintenance,
Reengineering, and Reverse Engineering, {CSMR-WCRE} 2014, Antwerp,
Belgium, February 3-6, 2014},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSMR-WCRE.2014.6747181},
doi = {10.1109/CSMR-WCRE.2014.6747181},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/UjhelyiHVCSVF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AbdeenVSNDHH14,
author = {Hani Abdeen and
D{\'{a}}niel Varr{\'{o}} and
Houari A. Sahraoui and
Andr{\'{a}}s Szabolcs Nagy and
Csaba Debreceni and
{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Multi-objective optimization in rule-based design space exploration},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {289--300},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2643005},
doi = {10.1145/2642937.2643005},
timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AbdeenVSNDHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BergmannHGV14,
author = {G{\'{a}}bor Bergmann and
{\'{A}}bel Heged{\"{u}}s and
Gy{\"{o}}rgy Gerencser and
D{\'{a}}niel Varr{\'{o}}},
editor = {Richard F. Paige and
Marouane Kessentini and
Philip Langer and
Manuel Wimmer},
title = {Graph Query by Example},
booktitle = {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), Valencia, Spain, September 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1340},
pages = {17--24},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1340/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/BergmannHGV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MicskeiKHSVV14,
author = {Zolt{\'{a}}n Micskei and
Raimund{-}Andreas Konnerth and
Benedek Horv{\'{a}}th and
Oszk{\'{a}}r Semer{\'{a}}th and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
D{\'{a}}niel Varr{\'{o}}},
editor = {Francis Bordeleau and
J{\"{u}}rgen Dingel and
Sebastien Gerard and
Sebastian Voss},
title = {On Open Source Tools for Behavioral Modeling and Analysis with fUML
and Alf},
booktitle = {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, OSS4MDE@MoDELS
2014, Valencia, Spain, September 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1290},
pages = {31--41},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1290/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/MicskeiKHSVV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HerzigKCDSV14,
author = {Sebastian J. I. Herzig and
Benjamin Kruse and
Federico Ciccozzi and
Joachim Denil and
Rick Salay and
D{\'{a}}niel Varr{\'{o}}},
editor = {Daniel Balasubramanian and
Christophe Jacquet and
Pieter Van Gorp and
Sahar Kokaly and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Towards an Approach for Orchestrating Design Space Exploration Problems
to Fix Multi-Paradigm Inconsistencies},
booktitle = {Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located
with the 17th International Conference on Model Driven Engineering
Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September
30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1237},
pages = {61--66},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1237/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/HerzigKCDSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DavidRV14,
author = {Istv{\'{a}}n D{\'{a}}vid and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
title = {Streaming Model Transformations By Complex Event Processing},
booktitle = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8767},
pages = {68--83},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11653-2\_5},
doi = {10.1007/978-3-319-11653-2\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/DavidRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SzarnyasIRHBV14,
author = {G{\'{a}}bor Sz{\'{a}}rnyas and
Benedek Izs{\'{o}} and
Istv{\'{a}}n R{\'{a}}th and
D{\'{e}}nes Harmath and
G{\'{a}}bor Bergmann and
D{\'{a}}niel Varr{\'{o}}},
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
title = {IncQuery-D: {A} Distributed Incremental Model Query Framework in the
Cloud},
booktitle = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8767},
pages = {653--669},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11653-2\_40},
doi = {10.1007/978-3-319-11653-2\_40},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/SzarnyasIRHBV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/JukssVVV14,
author = {Maris Jukss and
Clark Verbrugge and
D{\'{a}}niel Varr{\'{o}} and
Hans Vangheluwe},
editor = {Beno{\^{\i}}t Combemale and
David J. Pearce and
Olivier Barais and
Jurgen J. Vinju},
title = {Dynamic Scope Discovery for Model Transformations},
booktitle = {Software Language Engineering - 7th International Conference, {SLE}
2014, V{\"{a}}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8706},
pages = {302--321},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11245-9\_17},
doi = {10.1007/978-3-319-11245-9\_17},
timestamp = {Wed, 26 May 2021 08:40:05 +0200},
biburl = {https://dblp.org/rec/conf/sle/JukssVVV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/DebreceniHHURV14,
author = {Csaba Debreceni and
{\'{A}}kos Horv{\'{a}}th and
{\'{A}}bel Heged{\"{u}}s and
Zolt{\'{a}}n Ujhelyi and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Colin Atkinson and
Erik Burger and
Thomas Goldschmidt and
Ralf H. Reussner},
title = {Query-driven incremental synchronization of view models},
booktitle = {Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and
Orthographic Software Modelling, VAO@STAF 2014, York, United Kingdom,
July 22, 2014},
pages = {31--38},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2631675.2631677},
doi = {10.1145/2631675.2631677},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/DebreceniHHURV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/IzsoSRV14,
author = {Benedek Izs{\'{o}} and
G{\'{a}}bor Sz{\'{a}}rnyas and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Dimitris S. Kolovos and
Davide Di Ruscio and
Nicholas Drivalos Matragkas and
Juan de Lara and
Istv{\'{a}}n R{\'{a}}th and
Massimo Tisi},
title = {{MONDO-SAM:} {A} Framework to Systematically Assess {MDE} Scalability},
booktitle = {Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering
co-located with the Software Technologies: Applications and Foundations
Conference, BigMDE@STAF2014, York, UK, July 24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1206},
pages = {40--43},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1206/paper\_12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/IzsoSRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmt/2014,
editor = {Davide Di Ruscio and
D{\'{a}}niel Varr{\'{o}}},
title = {Theory and Practice of Model Transformations - 7th International Conference,
ICMT@STAF 2014, York, UK, July 21-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8568},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08789-4},
doi = {10.1007/978-3-319-08789-4},
isbn = {978-3-319-08788-7},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SemerathHV13,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {Validation of Derived Features and Well-Formedness Constraints in
DSLs - By Mapping Graph Queries to an SMT-Solver},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {538--554},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_33},
doi = {10.1007/978-3-642-41533-3\_33},
timestamp = {Mon, 21 Jun 2021 12:26:18 +0200},
biburl = {https://dblp.org/rec/conf/models/SemerathHV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/KolovosRMPGCLRV13,
author = {Dimitrios S. Kolovos and
Louis M. Rose and
Nicholas Drivalos Matragkas and
Richard F. Paige and
Esther Guerra and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
Juan de Lara and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Massimo Tisi and
Jordi Cabot},
editor = {Davide Di Ruscio and
Dimitris S. Kolovos and
Nicholas Matragkas},
title = {A research roadmap towards achieving scalability in model driven engineering},
booktitle = {Proceedings of the Workshop on Scalability in Model Driven Engineering,
Budapest, Hungary, June 17, 2013},
pages = {2},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487766.2487768},
doi = {10.1145/2487766.2487768},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/KolovosRMPGCLRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/IzsoSRV13,
author = {Benedek Izs{\'{o}} and
G{\'{a}}bor Sz{\'{a}}rnyas and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Davide Di Ruscio and
Dimitris S. Kolovos and
Nicholas Matragkas},
title = {IncQuery-D: incremental graph search in the cloud},
booktitle = {Proceedings of the Workshop on Scalability in Model Driven Engineering,
Budapest, Hungary, June 17, 2013},
pages = {4},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487766.2487772},
doi = {10.1145/2487766.2487772},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/IzsoSRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2013,
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1},
doi = {10.1007/978-3-642-37057-1},
isbn = {978-3-642-37056-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HorvathV12,
author = {{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Dynamic constraint satisfaction problems over models},
journal = {Softw. Syst. Model.},
volume = {11},
number = {3},
pages = {385--408},
year = {2012},
url = {https://doi.org/10.1007/s10270-010-0185-5},
doi = {10.1007/S10270-010-0185-5},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HorvathV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BergmannRVV12,
author = {G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
Gergely Varr{\'{o}} and
D{\'{a}}niel Varr{\'{o}}},
title = {Change-driven model transformations - Change (in) the rule to rule
the change},
journal = {Softw. Syst. Model.},
volume = {11},
number = {3},
pages = {431--461},
year = {2012},
url = {https://doi.org/10.1007/s10270-011-0197-9},
doi = {10.1007/S10270-011-0197-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BergmannRVV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PaigeV12,
author = {Richard F. Paige and
D{\'{a}}niel Varr{\'{o}}},
title = {Lessons learned from building model-driven development tools},
journal = {Softw. Syst. Model.},
volume = {11},
number = {4},
pages = {527--539},
year = {2012},
url = {https://doi.org/10.1007/s10270-012-0257-9},
doi = {10.1007/S10270-012-0257-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PaigeV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/Varro12,
author = {D{\'{a}}niel Varr{\'{o}}},
editor = {Tom Mens and
Anthony Cleve and
Rudolf Ferenc},
title = {Keynote 2: {A} Bridge Over Troubled Water - Synergies between Model
Transformation and Software Maintenance Techniques},
booktitle = {16th European Conference on Software Maintenance and Reengineering,
{CSMR} 2012, Szeged, Hungary, March 27-30, 2012},
pages = {5--6},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSMR.2012.10},
doi = {10.1109/CSMR.2012.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/Varro12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/RathHV12,
author = {Istv{\'{a}}n R{\'{a}}th and
{\'{A}}bel Heged{\"{u}}s and
D{\'{a}}niel Varr{\'{o}}},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {Derived Features for {EMF} by Integrating Advanced Model Queries},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {102--117},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_10},
doi = {10.1007/978-3-642-31491-9\_10},
timestamp = {Sat, 30 Sep 2023 09:39:26 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/RathHV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BergmannRSTV12,
author = {G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
Tam{\'{a}}s Szab{\'{o}} and
Paolo Torrini and
D{\'{a}}niel Varr{\'{o}}},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Incremental Pattern Matching for the Efficient Computation of Transitive
Closure},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {386--400},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_26},
doi = {10.1007/978-3-642-33654-6\_26},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/BergmannRSTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/UjhelyiHV12,
author = {Zolt{\'{a}}n Ujhelyi and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Dynamic Backward Slicing of Model Transformations},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.80},
doi = {10.1109/ICST.2012.80},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/UjhelyiHV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DingelLVV12,
author = {Juergen Dingel and
Levi L{\'{u}}cio and
Hans Vangheluwe and
D{\'{a}}niel Varr{\'{o}}},
title = {Summary of the First Workshop on the Analysis of Model Transformations
{(AMT} 2012)},
booktitle = {Proceedings of the First Workshop on the Analysis of Model Transformations,
AMT@MODELS 2012, Innsbruck, Austria, October 2, 2012},
pages = {1--2},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2432497.2432498},
doi = {10.1145/2432497.2432498},
timestamp = {Wed, 23 Feb 2022 10:19:29 +0100},
biburl = {https://dblp.org/rec/conf/models/DingelLVV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/UjhelyiSRV12,
author = {Zolt{\'{a}}n Ujhelyi and
Tam{\'{a}}s Szab{\'{o}} and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Developing and visualizing live model queries},
booktitle = {Proceedings of the First Workshop on the Analysis of Model Transformations,
AMT@MODELS 2012, Innsbruck, Austria, October 2, 2012},
pages = {35--40},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2432497.2432505},
doi = {10.1145/2432497.2432505},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/UjhelyiSRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/IzsoSBHRV12,
author = {Benedek Izs{\'{o}} and
Zolt{\'{a}}n Szatm{\'{a}}ri and
G{\'{a}}bor Bergmann and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Mira Balaban and
Jordi Cabot and
Martin Gogolla and
Claas Wilke},
title = {Ontology driven design of {EMF} metamodels and well-formedness constraints},
booktitle = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
Austria, September 30, 2012},
pages = {37--42},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2428516.2428523},
doi = {10.1145/2428516.2428523},
timestamp = {Wed, 23 Feb 2022 13:04:32 +0100},
biburl = {https://dblp.org/rec/conf/models/IzsoSBHRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HegedusHRV12,
author = {{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {Query-Driven Soft Interconnection of {EMF} Models},
booktitle = {Model Driven Engineering Languages and Systems - 15th International
Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
pages = {134--150},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_10},
doi = {10.1007/978-3-642-33666-9\_10},
timestamp = {Sun, 25 Jul 2021 11:43:55 +0200},
biburl = {https://dblp.org/rec/conf/models/HegedusHRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/BergmannHHRUV12,
author = {G{\'{a}}bor Bergmann and
{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
Zolt{\'{a}}n Ujhelyi and
D{\'{a}}niel Varr{\'{o}}},
editor = {Carlo A. Furia and
Sebastian Nanz},
title = {Integrating Efficient Model Queries in State-of-the-Art {EMF} Tools},
booktitle = {Objects, Models, Components, Patterns - 50th International Conference,
{TOOLS} 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7304},
pages = {1--8},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30561-0\_1},
doi = {10.1007/978-3-642-30561-0\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/tools/BergmannHHRUV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agtive/2011,
editor = {Andy Sch{\"{u}}rr and
D{\'{a}}niel Varr{\'{o}} and
Gergely Varr{\'{o}}},
title = {Applications of Graph Transformations with Industrial Relevance -
4th International Symposium, {AGTIVE} 2011, Budapest, Hungary, October
4-7, 2011, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7233},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34176-2},
doi = {10.1007/978-3-642-34176-2},
isbn = {978-3-642-34175-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agtive/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/UjhelyiHV11,
author = {Zolt{\'{a}}n Ujhelyi and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Static Type Checking of Model Transformation Programs},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {38},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.38.567},
doi = {10.14279/TUJ.ECEASST.38.567},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/UjhelyiHV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GilmoreGKMTV11,
author = {Stephen Gilmore and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Philip Mayer and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
title = {Non-functional properties in the model-driven development of service-oriented
systems},
journal = {Softw. Syst. Model.},
volume = {10},
number = {3},
pages = {287--311},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0155-y},
doi = {10.1007/S10270-010-0155-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/GilmoreGKMTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BergmannMPTVY11,
author = {G{\'{a}}bor Bergmann and
Fabio Massacci and
Federica Paci and
Thein Than Tun and
D{\'{a}}niel Varr{\'{o}} and
Yijun Yu},
editor = {Selmin Nurcan},
title = {A Tool for Managing Evolving Security Requirements},
booktitle = {Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {734},
pages = {49--56},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-734/PaperDemo07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:34 +0100},
biburl = {https://dblp.org/rec/conf/caise/BergmannMPTVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BergmannMPTVY11a,
author = {G{\'{a}}bor Bergmann and
Fabio Massacci and
Federica Paci and
Thein Than Tun and
D{\'{a}}niel Varr{\'{o}} and
Yijun Yu},
editor = {Selmin Nurcan},
title = {A Tool for Managing Evolving Security Requirements},
booktitle = {{IS} Olympics: Information Systems in a Diverse World - CAiSE Forum
2011, London, UK, June 20-24, 2011, Selected Extended Papers},
series = {Lecture Notes in Business Information Processing},
volume = {107},
pages = {110--125},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29749-6\_8},
doi = {10.1007/978-3-642-29749-6\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/BergmannMPTVY11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/BergmannHRV11,
author = {G{\'{a}}bor Bergmann and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Robert B. France and
Jochen Malte K{\"{u}}ster and
Behzad Bordbar and
Richard F. Paige},
title = {Incremental Evaluation of Model Queries over {EMF} Models: {A} Tutorial
on EMF-IncQuery},
booktitle = {Modelling Foundations and Applications - 7th European Conference,
{ECMFA} 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6698},
pages = {389--390},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21470-7\_32},
doi = {10.1007/978-3-642-21470-7\_32},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/BergmannHRV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/BergmannURV11,
author = {G{\'{a}}bor Bergmann and
Zolt{\'{a}}n Ujhelyi and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Jordi Cabot and
Eelco Visser},
title = {A Graph Query Language for {EMF} Models},
booktitle = {Theory and Practice of Model Transformations - 4th International Conference,
ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6707},
pages = {167--182},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21732-6\_12},
doi = {10.1007/978-3-642-21732-6\_12},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/BergmannURV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HegedusHRV11,
author = {{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {A model-driven framework for guided design space exploration},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {173--182},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100051},
doi = {10.1109/ASE.2011.6100051},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HegedusHRV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/UjhelyiHV11,
author = {Zolt{\'{a}}n Ujhelyi and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Towards dynamic backward slicing of model transformations},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {404--407},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100084},
doi = {10.1109/ASE.2011.6100084},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/UjhelyiHV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BergmannHHRUV11,
author = {G{\'{a}}bor Bergmann and
{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
Zolt{\'{a}}n Ujhelyi and
D{\'{a}}niel Varr{\'{o}}},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Implementing efficient model validation in {EMF} tools},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {580--583},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100130},
doi = {10.1109/ASE.2011.6100130},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BergmannHHRUV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/servicewave/BergmannMPTVY11,
author = {G{\'{a}}bor Bergmann and
Fabio Massacci and
Federica Paci and
Thein Than Tun and
D{\'{a}}niel Varr{\'{o}} and
Yijun Yu},
editor = {Witold Abramowicz and
Ignacio Mart{\'{\i}}n Llorente and
Mike Surridge and
Andrea Zisman and
Julien Vayssi{\`{e}}re},
title = {SeCMER: {A} Tool to Gain Control of Security Requirements Evolution},
booktitle = {Towards a Service-Based Internet - 4th European Conference, ServiceWave
2011, Poznan, Poland, October 26-28, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6994},
pages = {321--322},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24755-2\_35},
doi = {10.1007/978-3-642-24755-2\_35},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/servicewave/BergmannMPTVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/HegedusHRBV11,
author = {{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
Mois{\'{e}}s Castelo Branco and
D{\'{a}}niel Varr{\'{o}}},
editor = {Gennaro Costagliola and
Amy J. Ko and
Allen Cypher and
Jeffrey Nichols and
Christopher Scaffidi and
Caitlin Kelleher and
Brad A. Myers},
title = {Quick fix generation for DSMLs},
booktitle = {2011 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2011, Pittsburgh, PA, USA, September 18-22, 2011},
pages = {17--24},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/VLHCC.2011.6070373},
doi = {10.1109/VLHCC.2011.6070373},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/vl/HegedusHRBV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/FosterGKMMV11,
author = {Howard Foster and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Philip Mayer and
Carlo Montangero and
D{\'{a}}niel Varr{\'{o}}},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {{UML} Extensions for Service-Oriented Systems},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {35--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_4},
doi = {10.1007/978-3-642-20401-2\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/FosterGKMMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/GonczyHV11,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
{\'{A}}bel Heged{\"{u}}s and
D{\'{a}}niel Varr{\'{o}}},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Methodologies for Model-Driven Development and Deployment: An Overview},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {541--560},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_26},
doi = {10.1007/978-3-642-20401-2\_26},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/GonczyHV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BergmannBHTRV11,
author = {G{\'{a}}bor Bergmann and
Artur Boronat and
Reiko Heckel and
Paolo Torrini and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Advances in Model Transformations by Graph Transformation: Specification,
Execution and Analysis},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {561--584},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_27},
doi = {10.1007/978-3-642-20401-2\_27},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/BergmannBHTRV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/LaraV10,
author = {Juan de Lara and
D{\'{a}}niel Varr{\'{o}}},
title = {Preface of the Fourth International Workshop on Graph-Based Tools,
GraBaTs 2010},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {32},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.32.529.537},
doi = {10.14279/TUJ.ECEASST.32.529.537},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/LaraV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HegedusHV10,
author = {{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards Guided Trajectory Exploration of Graph Transformation Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {40},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.40.583},
doi = {10.14279/TUJ.ECEASST.40.583},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HegedusHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RathOV10,
author = {Istv{\'{a}}n R{\'{a}}th and
Andr{\'{a}}s {\"{O}}kr{\"{o}}s and
D{\'{a}}niel Varr{\'{o}}},
title = {Synchronization of abstract and concrete syntax in domain-specific
modeling languages - By mapping models and live transformations},
journal = {Softw. Syst. Model.},
volume = {9},
number = {4},
pages = {453--471},
year = {2010},
url = {https://doi.org/10.1007/s10270-009-0122-7},
doi = {10.1007/S10270-009-0122-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/RathOV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HorvathBRV10,
author = {{\'{A}}kos Horv{\'{a}}th and
G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Experimental assessment of combining pattern matching strategies with
{VIATRA2}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {211--230},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0149-7},
doi = {10.1007/S10009-010-0149-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HorvathBRV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaloghBCGHMPPRVa10,
author = {Andr{\'{a}}s Balogh and
G{\'{a}}bor Bergmann and
Gy{\"{o}}rgy Csert{\'{a}}n and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n Majzik and
Andr{\'{a}}s Pataricza and
Bal{\'{a}}zs Polg{\'{a}}r and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Gergely Varr{\'{o}}},
editor = {Gregor Engels and
Claus Lewerentz and
Wilhelm Sch{\"{a}}fer and
Andy Sch{\"{u}}rr and
Bernhard Westfechtel},
title = {Workflow-Driven Tool Integration Using Model Transformations},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5765},
pages = {224--248},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17322-6\_11},
doi = {10.1007/978-3-642-17322-6\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaloghBCGHMPPRVa10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BergmannHRVBBO10,
author = {G{\'{a}}bor Bergmann and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Andr{\'{a}}s Balogh and
Zolt{\'{a}}n Balogh and
Andr{\'{a}}s {\"{O}}kr{\"{o}}s},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {Incremental Evaluation of Model Queries over {EMF} Models},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6394},
pages = {76--90},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16145-2\_6},
doi = {10.1007/978-3-642-16145-2\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/BergmannHRVBBO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HegedusBRV10,
author = {{\'{A}}bel Heged{\"{u}}s and
G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {Back-annotation of Simulation Traces with Change-Driven Model Transformations},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {145--155},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.28},
doi = {10.1109/SEFM.2010.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HegedusBRV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BergmannRV09,
author = {G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Parallelization of Graph Transformation Based on Incremental Pattern
Matching},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {18},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.18.265},
doi = {10.14279/TUJ.ECEASST.18.265},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BergmannRV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BaloghV09,
author = {Zolt{\'{a}}n Balogh and
D{\'{a}}niel Varr{\'{o}}},
title = {Model transformation by example using inductive logic programming},
journal = {Softw. Syst. Model.},
volume = {8},
number = {3},
pages = {347--364},
year = {2009},
url = {https://doi.org/10.1007/s10270-008-0092-1},
doi = {10.1007/S10270-008-0092-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BaloghV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/BergmannHRV09,
author = {G{\'{a}}bor Bergmann and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Richard F. Paige},
title = {Efficient Model Transformations by Combining Pattern Matching Strategies},
booktitle = {Theory and Practice of Model Transformations - 2nd International Conference,
ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5563},
pages = {20--34},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02408-5\_3},
doi = {10.1007/978-3-642-02408-5\_3},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/BergmannHRV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BezivinFGHTV09,
author = {Jean B{\'{e}}zivin and
Robert B. France and
Martin Gogolla and
{\O}ystein Haugen and
Gabriele Taentzer and
D{\'{a}}niel Varr{\'{o}}},
editor = {Sudipto Ghosh},
title = {Teaching Modeling: Why, When, What?},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {55--62},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_6},
doi = {10.1007/978-3-642-12261-3\_6},
timestamp = {Wed, 26 Jun 2024 17:26:37 +0200},
biburl = {https://dblp.org/rec/conf/models/BezivinFGHTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HorvathV09,
author = {{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {{CSP(M):} Constraint Satisfaction Problem over Models},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {107--121},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_9},
doi = {10.1007/978-3-642-04425-0\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/HorvathV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RathVV09,
author = {Istv{\'{a}}n R{\'{a}}th and
Gergely Varr{\'{o}} and
D{\'{a}}niel Varr{\'{o}}},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {Change-Driven Model Transformations},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {342--356},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_26},
doi = {10.1007/978-3-642-04425-0\_26},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/RathVV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/KovacsVG08,
author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
D{\'{a}}niel Varr{\'{o}} and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
title = {Formal analysis of {BPEL.} workflows with compensation by model checking},
journal = {Comput. Syst. Sci. Eng.},
volume = {23},
number = {5},
year = {2008},
timestamp = {Thu, 23 Aug 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/KovacsVG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BergmannHRV08,
author = {G{\'{a}}bor Bergmann and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {396--410},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_27},
doi = {10.1007/978-3-540-87405-8\_27},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/BergmannHRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/RathBOV08,
author = {Istv{\'{a}}n R{\'{a}}th and
G{\'{a}}bor Bergmann and
Andr{\'{a}}s {\"{O}}kr{\"{o}}s and
D{\'{a}}niel Varr{\'{o}}},
editor = {Antonio Vallecillo and
Jeff Gray and
Alfonso Pierantonio},
title = {Live Model Transformations Driven by Incremental Pattern Matching},
booktitle = {Theory and Practice of Model Transformations - 1st International Conference,
ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5063},
pages = {107--121},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69927-9\_8},
doi = {10.1007/978-3-540-69927-9\_8},
timestamp = {Mon, 21 Jun 2021 12:26:29 +0200},
biburl = {https://dblp.org/rec/conf/icmt/RathBOV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BergmannORVV08,
author = {G{\'{a}}bor Bergmann and
Andr{\'{a}}s {\"{O}}kr{\"{o}}s and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Gergely Varr{\'{o}}},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Incremental pattern matching in the viatra model transformation system},
booktitle = {Proceedings of the Third International Workshop on Graph and Model
Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008},
pages = {25--32},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1402947.1402953},
doi = {10.1145/1402947.1402953},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BergmannORVV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Lucia Acciai and
Federico Banti and
Allan Clark and
Alessandro Fantechi and
Stephen Gilmore and
Stefania Gnesi and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Alessandro Lapadula and
Philip Mayer and
Franco Mazzanti and
Rosario Pugliese and
Andreas Schroeder and
Francesco Tiezzi and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SensoriaPatterns: Augmenting Service Engineering with Formal Analysis,
Transformation and Dynamicity},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {170--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_13},
doi = {10.1007/978-3-540-88479-8\_13},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GonczyDV08,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Zsolt D{\'{e}}ri and
D{\'{a}}niel Varr{\'{o}}},
editor = {Michel R. V. Chaudron},
title = {Model Transformations for Performability Analysis of Service Configurations},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {153--166},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_17},
doi = {10.1007/978-3-642-01648-6\_17},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/GonczyDV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GonczyDV08a,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Zsolt D{\'{e}}ri and
D{\'{a}}niel Varr{\'{o}}},
editor = {Nora Koch and
Geert{-}Jan Houben and
Antonio Vallecillo},
title = {Model Driven Performability Analysis of Service Configurations with
Reliable Messaging},
booktitle = {Proceedings of the 4th International Workshop on Model-Driven Web
Engineering, MDWE@MoDELS 2008, Tolouse, France, September 30 , 2008},
series = {{CEUR} Workshop Proceedings},
volume = {389},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-389/paper05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/GonczyDV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/RathVV08,
author = {Istv{\'{a}}n R{\'{a}}th and
David Vago and
D{\'{a}}niel Varr{\'{o}}},
title = {Design-time simulation of domain-specific models by incremental pattern
matching},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2008, Herrsching am Ammersee, Germany, 15-19 September 2008,
Proceedings},
pages = {219--222},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/VLHCC.2008.4639089},
doi = {10.1109/VLHCC.2008.4639089},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/RathVV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GonczyMHVBMP09,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Istv{\'{a}}n Majzik and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Andr{\'{a}}s Balogh and
Zolt{\'{a}}n Micskei and
Andr{\'{a}}s Pataricza},
editor = {Michaela Huhn and
Hardi Hungar},
title = {Tool Support for Engineering Certifiable Software},
booktitle = {Proceedings of the First Workshop on Certification of Safety-Critical
Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary,
April 29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {4},
pages = {79--85},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.09.008},
doi = {10.1016/J.ENTCS.2009.09.008},
timestamp = {Fri, 24 Feb 2023 13:19:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GonczyMHVBMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gtvmt/2006,
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/211/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gtvmt/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HorvathVV07,
author = {{\'{A}}kos Horv{\'{a}}th and
Gergely Varr{\'{o}} and
D{\'{a}}niel Varr{\'{o}}},
title = {Generic Search Plans for Matching Advanced Graph Patterns},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {6},
year = {2007},
url = {https://doi.org/10.14279/tuj.eceasst.6.49},
doi = {10.14279/TUJ.ECEASST.6.49},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HorvathVV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VarroB07,
author = {D{\'{a}}niel Varr{\'{o}} and
Andr{\'{a}}s Balogh},
title = {The model transformation language of the {VIATRA2} framework},
journal = {Sci. Comput. Program.},
volume = {68},
number = {3},
pages = {214--234},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.05.004},
doi = {10.1016/J.SCICO.2007.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/VarroB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/VarroHV07,
author = {Gergely Varr{\'{o}} and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Recursive Graph Pattern Matching},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {456--470},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_31},
doi = {10.1007/978-3-540-89020-1\_31},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/VarroHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/VarroABBDGGGKNRW07,
author = {D{\'{a}}niel Varr{\'{o}} and
M{\'{a}}rk Asztalos and
D{\'{e}}nes Bisztray and
Artur Boronat and
Duc{-}Hanh Dang and
Rubino Gei{\ss} and
Joel Greenyer and
Pieter Van Gorp and
Ole Kniemeyer and
Anantha Narayanan and
Edgars Rencis and
Erhard Weinell},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Transformation of {UML} Models to {CSP:} {A} Case Study for Graph
Transformation Tools},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {540--565},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_36},
doi = {10.1007/978-3-540-89020-1\_36},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agtive/VarroABBDGGGKNRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isas/KoviV07,
author = {Andr{\'{a}}s K{\"{o}}vi and
D{\'{a}}niel Varr{\'{o}}},
editor = {Miroslaw Malek and
Manfred Reitenspie{\ss} and
Aad P. A. van Moorsel},
title = {An Eclipse-Based Framework for {AIS} Service Configurations},
booktitle = {Service Availability, 4th International Service Availability Symposium,
{ISAS} 2007, Durham, NH, USA, May 21-22, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4526},
pages = {110--126},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72736-1\_10},
doi = {10.1007/978-3-540-72736-1\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/isas/KoviV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GonczyHV07,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Reiko Heckel and
D{\'{a}}niel Varr{\'{o}}},
editor = {Alexandre Petrenko and
Margus Veanes and
Jan Tretmans and
Wolfgang Grieskamp},
title = {Model-Based Testing of Service Infrastructure Components},
booktitle = {Testing of Software and Communicating Systems, 19th {IFIP} {TC6/WG6.1}
International Conference, TestCom 2007, 7th International Workshop,
{FATES} 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4581},
pages = {155--170},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73066-8\_11},
doi = {10.1007/978-3-540-73066-8\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/GonczyHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/VarroB07,
author = {D{\'{a}}niel Varr{\'{o}} and
Zolt{\'{a}}n Balogh},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Automating model transformation by example using inductive logic programming},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {978--984},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244217},
doi = {10.1145/1244002.1244217},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/VarroB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KovacsVG07,
author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
D{\'{a}}niel Varr{\'{o}} and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Formal modeling of {BPEL} workflows including fault and compensation
handling},
booktitle = {Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems,
{EFTS} 2007, Dubrovnik, Croatia, September 4, 2007},
pages = {1},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316550.1316551},
doi = {10.1145/1316550.1316551},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KovacsVG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ZundorfV06,
author = {Albert Z{\"{u}}ndorf and
D{\'{a}}niel Varr{\'{o}}},
title = {Preface},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {1},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.1.73.81},
doi = {10.14279/TUJ.ECEASST.1.73.81},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ZundorfV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Varro-GyapayV06,
author = {Szilvia Varr{\'{o}}{-}Gyapay and
D{\'{a}}niel Varr{\'{o}}},
title = {Optimization in Graph Transformation Systems Using Petri Net Based
Techniques},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {2},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.2.61},
doi = {10.14279/TUJ.ECEASST.2.61},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/Varro-GyapayV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/VarroVS06,
author = {Gergely Varr{\'{o}} and
D{\'{a}}niel Varr{\'{o}} and
Andy Sch{\"{u}}rr},
title = {Incremental Graph Pattern Matching: Data Structures and Initial Experiments},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {4},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.4.12},
doi = {10.14279/TUJ.ECEASST.4.12},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/VarroVS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BaresiHTV06,
author = {Luciano Baresi and
Reiko Heckel and
Sebastian Th{\"{o}}ne and
D{\'{a}}niel Varr{\'{o}}},
title = {Style-based modeling and refinement of service-oriented architectures},
journal = {Softw. Syst. Model.},
volume = {5},
number = {2},
pages = {187--207},
year = {2006},
url = {https://doi.org/10.1007/s10270-006-0001-4},
doi = {10.1007/S10270-006-0001-4},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BaresiHTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/VarroFV06,
author = {Gergely Varr{\'{o}} and
Katalin Friedl and
D{\'{a}}niel Varr{\'{o}}},
title = {Implementing a Graph Transformation Engine in Relational Databases},
journal = {Softw. Syst. Model.},
volume = {5},
number = {3},
pages = {313--341},
year = {2006},
url = {https://doi.org/10.1007/s10270-006-0015-y},
doi = {10.1007/S10270-006-0015-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/VarroFV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/VarroVEPT06,
author = {D{\'{a}}niel Varr{\'{o}} and
Szilvia Varr{\'{o}}{-}Gyapay and
Hartmut Ehrig and
Ulrike Prange and
Gabriele Taentzer},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Termination Analysis of Model Transformations by Petri Nets},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {260--274},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_19},
doi = {10.1007/11841883\_19},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/VarroVEPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/ZundorfV06,
author = {Albert Z{\"{u}}ndorf and
D{\'{a}}niel Varr{\'{o}}},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Workshop on Graph-Based Tools},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {465--466},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_34},
doi = {10.1007/11841883\_34},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/ZundorfV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isas/KoviVN06,
author = {Andr{\'{a}}s K{\"{o}}vi and
D{\'{a}}niel Varr{\'{o}} and
Zolt{\'{a}}n N{\'{e}}meth},
editor = {Dave Penkler and
Manfred Reitenspie{\ss} and
Francis Tam},
title = {Making Legacy Services Highly Available with OpenAIS: An Experience
Report},
booktitle = {Service Availability, Third International Service Availability Symposium,
{ISAS} 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4328},
pages = {206--216},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11955498\_15},
doi = {10.1007/11955498\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/isas/KoviVN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Varro06,
author = {D{\'{a}}niel Varr{\'{o}}},
editor = {Oscar Nierstrasz and
Jon Whittle and
David Harel and
Gianna Reggio},
title = {Model Transformation by Example},
booktitle = {Model Driven Engineering Languages and Systems, 9th International
Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4199},
pages = {410--424},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880240\_29},
doi = {10.1007/11880240\_29},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/models/Varro06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BaloghV06,
author = {Andr{\'{a}}s Balogh and
D{\'{a}}niel Varr{\'{o}}},
editor = {Hisham Haddad},
title = {Advanced model transformation language constructs in the {VIATRA2}
framework},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1280--1287},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141575},
doi = {10.1145/1141277.1141575},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/BaloghV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BaloghVVP06,
author = {Andr{\'{a}}s Balogh and
Gergely Varr{\'{o}} and
D{\'{a}}niel Varr{\'{o}} and
Andr{\'{a}}s Pataricza},
editor = {Hisham Haddad},
title = {Compiling model transformations to EJB3-specific transformer plugins},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1288--1295},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141576},
doi = {10.1145/1141277.1141576},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BaloghVVP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniV08,
author = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Preface},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {1--3},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.024},
doi = {10.1016/J.ENTCS.2008.04.024},
timestamp = {Fri, 17 Feb 2023 09:34:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BruniV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GonczyKV07,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
D{\'{a}}niel Varr{\'{o}}},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Modeling and Verification of Reliable Messaging by Graph Transformation
Systems},
booktitle = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
pages = {37--50},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.015},
doi = {10.1016/J.ENTCS.2007.04.015},
timestamp = {Tue, 24 Jan 2023 11:47:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GonczyKV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DarabosPV08,
author = {Andrea Darabos and
Andr{\'{a}}s Pataricza and
D{\'{a}}niel Varr{\'{o}}},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards Testing the Implementation of Graph Transformations},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {75--85},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.031},
doi = {10.1016/J.ENTCS.2008.04.031},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DarabosPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EhrigELTVV05,
author = {Hartmut Ehrig and
Karsten Ehrig and
Juan de Lara and
Gabriele Taentzer and
D{\'{a}}niel Varr{\'{o}} and
Szilvia Varr{\'{o}}{-}Gyapay},
editor = {Maura Cerioli},
title = {Termination Criteria for Model Transformation},
booktitle = {Fundamental Approaches to Software Engineering, 8th International
Conference, {FASE} 2005, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3442},
pages = {49--63},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31984-9\_5},
doi = {10.1007/978-3-540-31984-9\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/EhrigELTVV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isas/BaloghVP05,
author = {Andr{\'{a}}s Balogh and
D{\'{a}}niel Varr{\'{o}} and
Andr{\'{a}}s Pataricza},
editor = {Miroslaw Malek and
Edgar Nett and
Neeraj Suri},
title = {Model-Based Optimization of Enterprise Application and Service Deployment},
booktitle = {Service Availability, Second International Service Availability Symposium,
{ISAS} 2005, Berlin, Germany, April 25-26, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3694},
pages = {84--98},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560333\_7},
doi = {10.1007/11560333\_7},
timestamp = {Sun, 25 Oct 2020 23:17:44 +0100},
biburl = {https://dblp.org/rec/conf/isas/BaloghVP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/VarroSV05,
author = {Gergely Varr{\'{o}} and
Andy Sch{\"{u}}rr and
D{\'{a}}niel Varr{\'{o}}},
title = {Benchmarking for Graph Transformation},
booktitle = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}},
pages = {79--88},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/VLHCC.2005.23},
doi = {10.1109/VLHCC.2005.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/VarroSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MensGVK06,
author = {Tom Mens and
Pieter Van Gorp and
D{\'{a}}niel Varr{\'{o}} and
Gabor Karsai},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Applying a Model Transformation Taxonomy to Graph Transformation Technology},
booktitle = {Proceedings of the International Workshop on Graph and Model Transformation,
GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {152},
pages = {143--159},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.022},
doi = {10.1016/J.ENTCS.2005.10.022},
timestamp = {Thu, 15 Dec 2022 15:55:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MensGVK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VarroFV06,
author = {Gergely Varr{\'{o}} and
Katalin Friedl and
D{\'{a}}niel Varr{\'{o}}},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive
Search Plans},
booktitle = {Proceedings of the International Workshop on Graph and Model Transformation,
GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {152},
pages = {191--205},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.025},
doi = {10.1016/J.ENTCS.2005.10.025},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VarroFV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/05/GrunskeGZEGV05,
author = {Lars Grunske and
Leif Geiger and
Albert Z{\"{u}}ndorf and
Niels Van Eetvelde and
Pieter Van Gorp and
D{\'{a}}niel Varr{\'{o}}},
editor = {Sami Beydeda and
Matthias Book and
Volker Gruhn},
title = {Using Graph Transformation for Practical Model-Driven Software Engineering},
booktitle = {Model-Driven Software Development},
pages = {91--117},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/3-540-28554-7\_5},
doi = {10.1007/3-540-28554-7\_5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/05/GrunskeGZEGV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EhrigETLVV05,
author = {Hartmut Ehrig and
Karsten Ehrig and
Gabriele Taentzer and
Juan de Lara and
D{\'{a}}niel Varr{\'{o}} and
Szilvia Varr{\'{o}}{-}Gyapay},
editor = {James R. Cordy and
Ralf L{\"{a}}mmel and
Andreas Winter},
title = {Termination Criteria for Model Transformation},
booktitle = {Transformation Techniques in Software Engineering, 17.-22. April 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05161},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/428},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EhrigETLVV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Varro04,
author = {D{\'{a}}niel Varr{\'{o}}},
title = {Automated formal verification of visual modeling languages by model
checking},
journal = {Softw. Syst. Model.},
volume = {3},
number = {2},
pages = {85--113},
year = {2004},
url = {https://doi.org/10.1007/s10270-003-0050-x},
doi = {10.1007/S10270-003-0050-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Varro04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RensinkSV04,
author = {Arend Rensink and
{\'{A}}kos Schmidt and
D{\'{a}}niel Varr{\'{o}}},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Model Checking Graph Transformations: {A} Comparison of Two Approaches},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {226--241},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_17},
doi = {10.1007/978-3-540-30203-2\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/RensinkSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/PapV04,
author = {Zsigmond Pap and
D{\'{a}}niel Varr{\'{o}}},
editor = {Peter Dadam and
Manfred Reichert},
title = {Static Safety Analysis of {UML} Action Semantics for Critical Systems
Development},
booktitle = {34. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
verbindet, {INFORMATIK} 2004, Ulm, Germany, September 20-24, 2004,
Band 1},
series = {{LNI}},
volume = {{P-50}},
pages = {57--61},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/28894},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/PapV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/VarroP04,
author = {D{\'{a}}niel Varr{\'{o}} and
Andr{\'{a}}s Pataricza},
editor = {Thomas Baar and
Alfred Strohmeier and
Ana M. D. Moreira and
Stephen J. Mellor},
title = {Generic and Meta-transformations for Model Transformation Engineering},
booktitle = {{\guillemotleft}UML{\guillemotright} 2004 - The Unified Modelling
Language: Modelling Languages and Applications. 7th International
Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3273},
pages = {290--304},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30187-5\_21},
doi = {10.1007/978-3-540-30187-5\_21},
timestamp = {Mon, 15 Jun 2020 17:02:11 +0200},
biburl = {https://dblp.org/rec/conf/uml/VarroP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BaresiHTV04,
author = {Luciano Baresi and
Reiko Heckel and
Sebastian Th{\"{o}}ne and
D{\'{a}}niel Varr{\'{o}}},
title = {Style-Based Refinement of Dynamic Software Architectures},
booktitle = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
2004), 12-15 June 2004, Oslo, Norway},
pages = {155--166},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/WICSA.2004.1310699},
doi = {10.1109/WICSA.2004.1310699},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/BaresiHTV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VarroV04,
author = {Gergely Varr{\'{o}} and
D{\'{a}}niel Varr{\'{o}}},
editor = {Reiko Heckel},
title = {Graph Transformation with Incremental Updates},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {71--83},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.057},
doi = {10.1016/J.ENTCS.2004.02.057},
timestamp = {Tue, 13 Dec 2022 10:50:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VarroV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GyapaySV04,
author = {Szilvia Gyapay and
{\'{A}}kos Schmidt and
D{\'{a}}niel Varr{\'{o}}},
editor = {Reiko Heckel},
title = {Joint Optimization and Reachability Analysis in Graph Transformation
Systems with Time},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {137--147},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.062},
doi = {10.1016/J.ENTCS.2004.02.062},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GyapaySV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VarroFV05,
author = {Gergely Varr{\'{o}} and
Katalin Friedl and
D{\'{a}}niel Varr{\'{o}}},
editor = {Tom Mens and
Andy Sch{\"{u}}rr and
Gabriele Taentzer},
title = {Graph Transformation in Relational Databases},
booktitle = {Proceedings of the 2nd International Workshop on Graph-Based Tools,
GraBaTs 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {1},
pages = {167--180},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.034},
doi = {10.1016/J.ENTCS.2004.12.034},
timestamp = {Mon, 12 Dec 2022 13:56:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VarroFV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GyapayVH03,
author = {Szilvia Gyapay and
D{\'{a}}niel Varr{\'{o}} and
Reiko Heckel},
title = {Graph Transformation with Time},
journal = {Fundam. Informaticae},
volume = {58},
number = {1},
pages = {1--22},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi58-1-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GyapayVH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/VarroP03,
author = {D{\'{a}}niel Varr{\'{o}} and
Andr{\'{a}}s Pataricza},
title = {{VPM:} {A} visual, precise and multilevel metamodeling framework for
describing mathematical domains and {UML} (The Mathematics of Metamodeling
is Metamodeling Mathematics)},
journal = {Softw. Syst. Model.},
volume = {2},
number = {3},
pages = {187--210},
year = {2003},
url = {https://doi.org/10.1007/s10270-003-0028-8},
doi = {10.1007/S10270-003-0028-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/VarroP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaresiHTV03,
author = {Luciano Baresi and
Reiko Heckel and
Sebastian Th{\"{o}}ne and
D{\'{a}}niel Varr{\'{o}}},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Modeling and validation of service-oriented architectures: application
vs. style},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {68--77},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940082},
doi = {10.1145/940071.940082},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BaresiHTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/SchmidtV03,
author = {{\'{A}}kos Schmidt and
D{\'{a}}niel Varr{\'{o}}},
editor = {Perdita Stevens and
Jon Whittle and
Grady Booch},
title = {CheckVML: {A} Tool for Model Checking Visual Modeling Languages},
booktitle = {{\guillemotleft}UML{\guillemotright} 2003 - The Unified Modeling Language,
Modeling Languages and Applications, 6th International Conference,
San Francisco, CA, USA, October 20-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2863},
pages = {92--95},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45221-8\_8},
doi = {10.1007/978-3-540-45221-8\_8},
timestamp = {Tue, 24 May 2022 15:28:50 +0200},
biburl = {https://dblp.org/rec/conf/uml/SchmidtV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VarroVP02,
author = {D{\'{a}}niel Varr{\'{o}} and
Gergely Varr{\'{o}} and
Andr{\'{a}}s Pataricza},
title = {Designing the automatic transformation of visual languages},
journal = {Sci. Comput. Program.},
volume = {44},
number = {2},
pages = {205--227},
year = {2002},
url = {https://doi.org/10.1016/S0167-6423(02)00039-4},
doi = {10.1016/S0167-6423(02)00039-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/VarroVP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GyapayHV02,
author = {Szilvia Gyapay and
Reiko Heckel and
D{\'{a}}niel Varr{\'{o}}},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Graph Transformation with Time: Causality and Logical Clocks},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {120--134},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_11},
doi = {10.1007/3-540-45832-8\_11},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/GyapayHV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Varro02,
author = {D{\'{a}}niel Varr{\'{o}}},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {A Formal Semantics of {UML} Statecharts by Model Transition Systems},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {378--392},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_28},
doi = {10.1007/3-540-45832-8\_28},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Varro02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CsertanHMPPV02,
author = {Gy{\"{o}}rgy Csert{\'{a}}n and
G{\'{a}}bor Huszerl and
Istv{\'{a}}n Majzik and
Zsigmond Pap and
Andr{\'{a}}s Pataricza and
D{\'{a}}niel Varr{\'{o}}},
title = {{VIATRA} - Visual Automated Transformations for Formal Verification
and Validation of {UML} Models},
booktitle = {17th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
pages = {267--270},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASE.2002.1115027},
doi = {10.1109/ASE.2002.1115027},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CsertanHMPPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/VarroP02,
author = {D{\'{a}}niel Varr{\'{o}} and
Andr{\'{a}}s Pataricza},
editor = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Heinrich Hu{\ss}mann and
Stephen Cook},
title = {Metamodeling Mathematics: {A} Precise and Visual Framework for Describing
Semantics Domains of {UML} Models},
booktitle = {{UML} 2002 - The Unified Modeling Language, 5th International Conference,
Dresden, Germany, September 30 - October 4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2460},
pages = {18--33},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45800-X\_3},
doi = {10.1007/3-540-45800-X\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/VarroP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Varro03,
author = {D{\'{a}}niel Varr{\'{o}}},
editor = {Paolo Bottoni and
Mark Minas},
title = {Towards Symbolic Analysis of Visual Modeling Languages},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {51--64},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80611-X},
doi = {10.1016/S1571-0661(04)80611-X},
timestamp = {Tue, 13 Dec 2022 10:53:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Varro03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DomokosV02,
author = {P{\'{e}}ter Domokos and
D{\'{a}}niel Varr{\'{o}}},
editor = {Tom Mens and
Andy Sch{\"{u}}rr and
Gabriele Taentzer},
title = {An Open Visualization Framework for Metamodel-Based Modeling Languages},
booktitle = {International Workshop on Graph-Based Tools, GraBaTs@ICGT 2002, Barcelona,
Spain, October 7-8, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {2},
pages = {69--78},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80531-6},
doi = {10.1016/S1571-0661(05)80531-6},
timestamp = {Tue, 06 Dec 2022 16:38:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DomokosV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 02:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
