![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Dániel Varró
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j53]Aren A. Babikian
, Oszkár Semeráth
, Dániel Varró
:
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. IEEE Trans. Software Eng. 50(1): 48-68 (2024) - 2023
- [j52]Shiva Nejati, Dániel Varró:
Guest editorial for the special section on MODELS 2021. Softw. Syst. Model. 22(5): 1393-1396 (2023) - [j51]Faizan Khan
, Istvan David
, Dániel Varró
, Shane McIntosh
:
Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study. IEEE Trans. Software Eng. 49(4): 2006-2019 (2023) - 2022
- [j50]Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy
, Dániel Varró
:
Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21(5): 1763-1787 (2022) - [j49]Sebastian Pilarski
, Slawomir Pilarski, Dániel Varró
:
Delayed Reward Bernoulli Bandits: Optimal Policy and Predictive Meta-Algorithm PARDI. IEEE Trans. Artif. Intell. 3(2): 152-163 (2022) - [j48]Kristóf Marussy
, Oszkár Semeráth
, Dániel Varró
:
Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Trans. Software Eng. 48(5): 1610-1629 (2022) - [j47]Faizan Khan
, Boqi Chen
, Dániel Varró
, Shane McIntosh
:
An Empirical Study of Type-Related Defects in Python Projects. IEEE Trans. Software Eng. 48(8): 3145-3158 (2022) - 2021
- [j46]Sebastian Pilarski
, Martin Staniszewski, Matthew Bryan, Frederic Villeneuve, Dániel Varró
:
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime. Softw. Syst. Model. 20(3): 685-709 (2021) - [j45]Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy
, Gábor Szárnyas, Dániel Varró
:
Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. 20(5): 1713-1734 (2021) - [j44]Sebastian Pilarski
, Slawomir Pilarski, Dániel Varró
:
Optimal Policy for Bernoulli Bandits: Computation and Algorithm Gauge. IEEE Trans. Artif. Intell. 2(1): 2-17 (2021) - [j43]Márton Búr
, Kristóf Marussy
, Brett H. Meyer, Dániel Varró
:
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. ACM Trans. Embed. Comput. Syst. 20(6): 107:1-107:36 (2021) - 2020
- [j42]Kristóf Marussy
, Oszkár Semeráth, Aren A. Babikian, Dániel Varró
:
A Specification Language for Consistent Model Generation based on Partial Models. J. Object Technol. 19(3): 3:1-22 (2020) - [j41]Gunter Mussbacher, Benoît Combemale, Jörg Kienzle, Silvia Abrahão
, Hyacinth Ali, Nelly Bencomo, Márton Búr, Loli Burgueño, Gregor Engels, Pierre Jeanjean, Jean-Marc Jézéquel
, Thomas Kühn, Sébastien Mosser
, Houari A. Sahraoui, Eugene Syriani, Dániel Varró
, Martin Weyssow:
Opportunities in intelligent modeling assistance. Softw. Syst. Model. 19(5): 1045-1053 (2020) - [j40]Bence Graics
, Vince Molnár
, András Vörös, István Majzik, Dániel Varró
:
Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. 19(6): 1483-1517 (2020) - [j39]Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró
:
Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transf. 22(1): 57-78 (2020) - [j38]Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró
:
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 22(1): 79-102 (2020) - 2019
- [j37]Csaba Debreceni
, Gábor Bergmann, István Ráth, Dániel Varró
:
Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations. Softw. Syst. Model. 18(3): 1737-1769 (2019) - [j36]Csaba Debreceni
, Gábor Bergmann, István Ráth, Dániel Varró:
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations. Softw. Syst. Model. 18(3): 1771 (2019) - [j35]Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Dániel Varró
:
Survey and classification of model transformation tools. Softw. Syst. Model. 18(4): 2361-2397 (2019) - 2018
- [j34]Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
:
Secure Views for Collaborative Modeling. IEEE Softw. 35(6): 32-38 (2018) - [j33]István Dávid, István Ráth, Dániel Varró
:
Foundations for Streaming Model Transformations by Complex Event Processing. Softw. Syst. Model. 17(1): 135-162 (2018) - [j32]Gábor Szárnyas
, Benedek Izsó, István Ráth
, Dániel Varró
:
The Train Benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. 17(4): 1365-1393 (2018) - 2017
- [j31]Oszkár Semeráth
, Dániel Varró
:
Evaluating Well-Formedness Constraints on Incomplete Models. Acta Cybern. 23(2): 687-713 (2017) - [j30]Gábor Szárnyas, János Maginecz, Dániel Varró:
Evaluation of Optimization Strategies for Incremental Graph Queries. Period. Polytech. Electr. Eng. Comput. Sci. 61(2): 175-192 (2017) - [j29]Oszkár Semeráth
, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró
:
Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. 16(2): 357-392 (2017) - 2016
- [j28]Dániel Varró
, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
:
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(3): 609-629 (2016) - [j27]Ábel Hegedüs
, Ákos Horváth, István Ráth
, Rodrigo Rizzi Starr, Dániel Varró
:
Query-driven soft traceability links for models. Softw. Syst. Model. 15(3): 733-756 (2016) - 2015
- [j26]Ábel Hegedüs
, Ákos Horváth, Dániel Varró
:
A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22(3): 399-436 (2015) - [j25]Zoltán Ujhelyi
, Gábor Szoke, Ákos Horváth, Norbert Istvan Csiszár, László Vidács, Dániel Varró
, Rudolf Ferenc
:
Performance comparison of query-based techniques for anti-pattern detection. Inf. Softw. Technol. 65: 147-165 (2015) - [j24]Zoltán Ujhelyi
, Gábor Bergmann
, Ábel Hegedüs
, Ákos Horváth, Benedek Izsó, István Ráth
, Zoltán Szatmári, Dániel Varró
:
EMF-IncQuery: An integrated development environment for live model queries. Sci. Comput. Program. 98: 80-99 (2015) - 2012
- [j23]Ákos Horváth, Dániel Varró
:
Dynamic constraint satisfaction problems over models. Softw. Syst. Model. 11(3): 385-408 (2012) - [j22]Gábor Bergmann
, István Ráth
, Gergely Varró, Dániel Varró
:
Change-driven model transformations - Change (in) the rule to rule the change. Softw. Syst. Model. 11(3): 431-461 (2012) - [j21]Richard F. Paige, Dániel Varró
:
Lessons learned from building model-driven development tools. Softw. Syst. Model. 11(4): 527-539 (2012) - 2011
- [j20]Zoltán Ujhelyi, Ákos Horváth, Dániel Varró:
Static Type Checking of Model Transformation Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011) - [j19]Stephen Gilmore, László Gönczy, Nora Koch
, Philip Mayer, Mirco Tribastone
, Dániel Varró
:
Non-functional properties in the model-driven development of service-oriented systems. Softw. Syst. Model. 10(3): 287-311 (2011) - 2010
- [j18]Juan de Lara, Dániel Varró:
Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010) - [j17]Ábel Hegedüs, Ákos Horváth, Dániel Varró:
Towards Guided Trajectory Exploration of Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010) - [j16]István Ráth
, András Ökrös, Dániel Varró
:
Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations. Softw. Syst. Model. 9(4): 453-471 (2010) - [j15]Ákos Horváth, Gábor Bergmann
, István Ráth
, Dániel Varró
:
Experimental assessment of combining pattern matching strategies with VIATRA2. Int. J. Softw. Tools Technol. Transf. 12(3-4): 211-230 (2010) - 2009
- [j14]Gábor Bergmann, István Ráth, Dániel Varró:
Parallelization of Graph Transformation Based on Incremental Pattern Matching. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j13]Zoltán Balogh, Dániel Varró
:
Model transformation by example using inductive logic programming. Softw. Syst. Model. 8(3): 347-364 (2009) - 2008
- [j12]Máté Kovács, Dániel Varró, László Gönczy:
Formal analysis of BPEL. workflows with compensation by model checking. Comput. Syst. Sci. Eng. 23(5) (2008) - 2007
- [j11]Ákos Horváth, Gergely Varró, Dániel Varró:
Generic Search Plans for Matching Advanced Graph Patterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [j10]Dániel Varró
, András Balogh:
The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3): 214-234 (2007) - 2006
- [j9]Albert Zündorf, Dániel Varró:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006) - [j8]Szilvia Varró-Gyapay, Dániel Varró:
Optimization in Graph Transformation Systems Using Petri Net Based Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [j7]Gergely Varró, Dániel Varró, Andy Schürr:
Incremental Graph Pattern Matching: Data Structures and Initial Experiments. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j6]Luciano Baresi
, Reiko Heckel, Sebastian Thöne, Dániel Varró
:
Style-based modeling and refinement of service-oriented architectures. Softw. Syst. Model. 5(2): 187-207 (2006) - [j5]Gergely Varró, Katalin Friedl, Dániel Varró
:
Implementing a Graph Transformation Engine in Relational Databases. Softw. Syst. Model. 5(3): 313-341 (2006) - 2004
- [j4]Dániel Varró:
Automated formal verification of visual modeling languages by model checking. Softw. Syst. Model. 3(2): 85-113 (2004) - 2003
- [j3]Szilvia Gyapay, Dániel Varró, Reiko Heckel:
Graph Transformation with Time. Fundam. Informaticae 58(1): 1-22 (2003) - [j2]Dániel Varró, András Pataricza:
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics). Softw. Syst. Model. 2(3): 187-210 (2003) - 2002
- [j1]Dániel Varró
, Gergely Varró, András Pataricza
:
Designing the automatic transformation of visual languages. Sci. Comput. Program. 44(2): 205-227 (2002)
Conference and Workshop Papers
- 2024
- [c129]Kristóf Marussy
, Attila Ficsor
, Oszkár Semeráth
, Dániel Varró
:
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. ICSE Companion 2024: 64-68 - [c128]Yiran Wang
, José Antonio Hernández López
, Ulf Nilsson
, Dániel Varró
:
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks. SIGSOFT FSE Companion 2024: 497-501 - 2023
- [c127]Sebastian Pilarski, Aman Sidhu, Dániel Varró:
A Simulation Environment for Reducing Food Waste via Reinforcement Learning. ANNSIM 2023: 332-344 - [c126]Fozail Ahmad, Maruthi Rangappa, Neeraj Katiyar, Martin Staniszewski, Dániel Varró:
Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs. ICSE-SEIP 2023: 384-395 - [c125]Kua Chen, Yujing Yang, Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró:
Automated Domain Modeling with Large Language Models: A Comparative Study. MODELS 2023: 162-172 - [c124]Boqi Chen, Fandi Yi, Dániel Varró:
Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. MoDELS (Companion) 2023: 588-596 - [c123]Boqi Chen, Kua Chen, Shabnam Hassani, Yujing Yang, Daniel Amyot
, Lysanne Lessard, Gunter Mussbacher, Mehrdad Sabetzadeh, Dániel Varró:
On the Use of GPT-4 for Creating Goal Models: An Exploratory Study. REW 2023: 262-271 - 2022
- [c122]Boqi Chen
, Kristóf Marussy
, Sebastian Pilarski
, Oszkár Semeráth
, Dániel Varró
:
Consistent Scene Graph Generation by Constraint Optimization. ASE 2022: 25:1-25:13 - [c121]Máté Földiák
, Kristóf Marussy, Dániel Varró, István Majzik:
System architecture synthesis for performability by logic solvers. MoDELS 2022: 43-54 - 2020
- [c120]Aren A. Babikian
, Oszkár Semeráth
, Dániel Varró
:
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. FASE 2020: 441-461 - [c119]Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkár Semeráth, Dániel Varró
:
Automated video game world map synthesis by model-based techniques. MoDELS (Companion) 2020: 4:1-4:5 - [c118]Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy
, Dániel Varró
:
Automated generation of consistent models with structural and attribute constraints. MoDELS 2020: 187-199 - 2019
- [c117]Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski
, Dániel Varró
:
Viatra solver: a framework for the automated generation of consistent domain-specific models. ICSE (Companion Volume) 2019: 43-46 - [c116]István Majzik, Oszkár Semeráth, Csaba Hajdu
, Kristóf Marussy
, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró
:
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS 2019: 89-94 - [c115]Sebastian Pilarski
, Martin Staniszewski, Frederic Villeneuve, Dániel Varró
:
On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design. MoDELS (Companion) 2019: 170-174 - [c114]Márton Búr, Dániel Varró
:
Towards WCET Estimation of Graph Queries@Run.time. MoDELS 2019: 233-238 - [c113]Márton Búr, Dániel Varró
:
Evaluation of Distributed Query-Based Monitoring over Data Distribution Service. WF-IoT 2019: 674-679 - 2018
- [c112]Dániel Varró
, Oszkár Semeráth
, Gábor Szárnyas
, Ákos Horváth
:
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. Graph Transformation, Specifications, and Nets 2018: 285-312 - [c111]Márton Búr
, Gábor S. Szilágyi, András Vörös
, Dániel Varró
:
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. FASE 2018: 111-128 - [c110]Oszkár Semeráth
, Dániel Varró
:
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. FASE 2018: 227-245 - [c109]Vince Molnár
, Bence Graics
, András Vörös, István Majzik, Dániel Varró
:
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. ICSE (Companion Volume) 2018: 113-116 - [c108]Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró
:
A graph solver for the automated generation of consistent domain-specific models. ICSE 2018: 969-980 - [c107]Ábel Hegedüs, Gábor Bergmann, Csaba Debreceni, Ákos Horváth, Péter Lunk, Ákos Menyhért, István Papp, Dániel Varró
, Tomas Vileiniskis, István Ráth:
Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories. MoDELS (Companion) 2018: 27-31 - [c106]Kristóf Marussy
, Oszkár Semeráth, Dániel Varró
:
Incremental View Model Synchronization Using Partial Models. MoDELS 2018: 323-333 - [c105]András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth
, Zsolt Mázló, Dániel Varró
:
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. NFM 2018: 460-467 - [c104]Ankica Barisic
, Csaba Debreceni, Dániel Varró, Vasco Amaral, Miguel Goulão
:
Evaluating the efficiency of using a search-based automated model merge technique. VL/HCC 2018: 193-197 - 2017
- [c103]József Marton
, Gábor Szárnyas, Dániel Varró
:
Formalising openCypher Graph Queries in Relational Algebra. ADBIS 2017: 182-196 - [c102]Oszkár Semeráth
, Dániel Varró
:
Graph Constraint Evaluation over Partial Models by Constraint Rewriting. ICMT 2017: 138-154 - [c101]Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró:
Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling. MoDELS (Satellite Events) 2017: 135-144 - [c100]Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
:
Property-Based Locking in Collaborative Modeling. MoDELS 2017: 199-209 - [c99]Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, Dániel Varró
:
The MONDO collaboration framework: secure collaborative modeling over existing version control systems. ESEC/SIGSOFT FSE 2017: 984-988 - 2016
- [c98]Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró:
Change Propagation of View Models by Logic Synthesis using SAT solvers. Bx@ETAPS 2016: 40-44 - [c97]Oszkár Semeráth
, András Vörös
, Dániel Varró
:
Iterative and Incremental Model Generation by Logic Solvers. FASE 2016: 87-103 - [c96]Csaba Debreceni, István Ráth, Dániel Varró
, Xabier De Carlos
, Xabier Mendialdua
, Salvador Trujillo:
Automated Model Merge by Design Space Exploration. FASE 2016: 104-121 - [c95]Zoltán Ujhelyi
, Gábor Bergmann, Dániel Varró
:
Rete Network Slicing for Model Queries. ICGT 2016: 137-152 - [c94]Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró:
Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules. COMMitMDE@MoDELS 2016: 17-26 - [c93]Gábor Szárnyas, Zsolt Kovári, Ágnes Salánki, Dániel Varró:
Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics. MoDELS 2016: 87-94 - [c92]Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró:
Incremental backward change propagation of view models by logic solvers. MoDELS 2016: 306-316 - [c91]Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró:
Query-based access control for secure collaborative modeling using bidirectional transformations. MoDELS 2016: 351-361 - [c90]Dániel Varró
:
Incremental Queries and Transformations: From Concepts to Industrial Applications. SOFSEM 2016: 51-59 - [c89]Dimitrios S. Kolovos, Antonio García-Domínguez, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi:
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Doctoral Symposium / Showcase 2016: 55-64 - 2015
- [c88]Márton Búr, Zoltán Ujhelyi
, Ákos Horváth, Dániel Varró
:
Local Search-Based Pattern Matching Features in EMF-IncQuery. ICGT 2015: 275-282 - [c87]Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
, Dániel Varró
:
Viatra 3: A Reactive Model Transformation Platform. ICMT 2015: 101-110 - [c86]Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró:
Property-Based Methods for Collaborative Model Development. GEMOC+MPM@MoDELS 2015: 1-7 - [c85]Jozsef Makai, Gábor Szárnyas, István Ráth, Ákos Horváth, Dániel Varró:
Optimization of Incremental Queries in the Cloud. CloudMDE@MoDELS 2015: 1-6 - [c84]Dániel Varró:
Patterns and Styles for Incremental Model Transformations. PAME@STAF 2015: 41-43 - [c83]Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi:
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Projects Showcase 2015: 44-53 - [c82]Gábor Szárnyas, Oszkár Semeráth, István Ráth, Dániel Varró:
The TTC 2015 Train Benchmark Case for Incremental Model Validation. TTC@STAF 2015: 129-141 - 2014
- [c81]Zoltán Ujhelyi
, Ákos Horváth, Dániel Varró
, Norbert Istvan Csiszár, Gábor Szoke, László Vidács, Rudolf Ferenc
:
Anti-pattern detection with model queries: A comparison of approaches. CSMR-WCRE 2014: 293-302 - [c80]Hani Abdeen, Dániel Varró
, Houari A. Sahraoui, András Szabolcs Nagy, Csaba Debreceni, Ábel Hegedüs
, Ákos Horváth:
Multi-objective optimization in rule-based design space exploration. ASE 2014: 289-300 - [c79]Gábor Bergmann, Ábel Hegedüs, György Gerencser, Dániel Varró:
Graph Query by Example. CMSEBA@MoDELS 2014: 17-24 - [c78]Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth
, Oszkár Semeráth, András Vörös, Dániel Varró:
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS 2014: 31-41 - [c77]Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Dániel Varró:
Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies. MPM@MoDELS 2014: 61-66 - [c76]István Dávid, István Ráth, Dániel Varró:
Streaming Model Transformations By Complex Event Processing. MoDELS 2014: 68-83 - [c75]Gábor Szárnyas
, Benedek Izsó, István Ráth, Dénes Harmath, Gábor Bergmann, Dániel Varró:
IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud. MoDELS 2014: 653-669 - [c74]Maris Jukss, Clark Verbrugge, Dániel Varró, Hans Vangheluwe
:
Dynamic Scope Discovery for Model Transformations. SLE 2014: 302-321 - [c73]Csaba Debreceni, Ákos Horváth, Ábel Hegedüs
, Zoltán Ujhelyi
, István Ráth
, Dániel Varró
:
Query-driven incremental synchronization of view models. VAO@STAF 2014: 31-38 - [c72]Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró:
MONDO-SAM: A Framework to Systematically Assess MDE Scalability. BigMDE@STAF 2014: 40-43 - 2013
- [c71]Oszkár Semeráth
, Ákos Horváth, Dániel Varró
:
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. MoDELS 2013: 538-554 - [c70]Dimitrios S. Kolovos
, Louis M. Rose, Nicholas Drivalos Matragkas, Richard F. Paige, Esther Guerra
, Jesús Sánchez Cuadrado
, Juan de Lara, István Ráth
, Dániel Varró
, Massimo Tisi, Jordi Cabot
:
A research roadmap towards achieving scalability in model driven engineering. BigMDE@STAF 2013: 2 - [c69]Benedek Izsó, Gábor Szárnyas, István Ráth
, Dániel Varró
:
IncQuery-D: incremental graph search in the cloud. BigMDE@STAF 2013: 4 - 2012
- [c68]Dániel Varró:
Keynote 2: A Bridge Over Troubled Water - Synergies between Model Transformation and Software Maintenance Techniques. CSMR 2012: 5-6 - [c67]István Ráth
, Ábel Hegedüs
, Dániel Varró
:
Derived Features for EMF by Integrating Advanced Model Queries. ECMFA 2012: 102-117 - [c66]Gábor Bergmann
, István Ráth
, Tamás Szabó, Paolo Torrini, Dániel Varró
:
Incremental Pattern Matching for the Efficient Computation of Transitive Closure. ICGT 2012: 386-400 - [c65]Zoltán Ujhelyi
, Ákos Horváth, Dániel Varró
:
Dynamic Backward Slicing of Model Transformations. ICST 2012: 1-10 - [c64]Juergen Dingel, Levi Lúcio, Hans Vangheluwe
, Dániel Varró
:
Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). AMT@MoDELS 2012: 1-2 - [c63]Zoltán Ujhelyi
, Tamás Szabó, István Ráth
, Dániel Varró
:
Developing and visualizing live model queries. AMT@MoDELS 2012: 35-40 - [c62]Benedek Izsó, Zoltán Szatmári, Gábor Bergmann
, Ákos Horváth, István Ráth
, Dániel Varró
:
Ontology driven design of EMF metamodels and well-formedness constraints. OCL@MoDELS 2012: 37-42 - [c61]Ábel Hegedüs
, Ákos Horváth, István Ráth
, Dániel Varró
:
Query-Driven Soft Interconnection of EMF Models. MoDELS 2012: 134-150 - [c60]Gábor Bergmann
, Ábel Hegedüs
, Ákos Horváth, István Ráth
, Zoltán Ujhelyi
, Dániel Varró
:
Integrating Efficient Model Queries in State-of-the-Art EMF Tools. TOOLS (50) 2012: 1-8 - 2011
- [c59]Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu:
A Tool for Managing Evolving Security Requirements. CAiSE Forum 2011: 49-56 - [c58]Gábor Bergmann
, Fabio Massacci
, Federica Paci
, Thein Than Tun, Dániel Varró
, Yijun Yu:
A Tool for Managing Evolving Security Requirements. CAiSE Forum (Selected Papers) 2011: 110-125 - [c57]Gábor Bergmann
, Ákos Horváth, István Ráth
, Dániel Varró
:
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. ECMFA 2011: 389-390 - [c56]Gábor Bergmann
, Zoltán Ujhelyi
, István Ráth
, Dániel Varró
:
A Graph Query Language for EMF Models. ICMT@TOOLS 2011: 167-182 - [c55]Ábel Hegedüs
, Ákos Horváth, István Ráth
, Dániel Varró
:
A model-driven framework for guided design space exploration. ASE 2011: 173-182 - [c54]Zoltán Ujhelyi
, Ákos Horváth, Dániel Varró
:
Towards dynamic backward slicing of model transformations. ASE 2011: 404-407 - [c53]Gábor Bergmann
, Ábel Hegedüs
, Ákos Horváth, István Ráth
, Zoltán Ujhelyi
, Dániel Varró
:
Implementing efficient model validation in EMF tools. ASE 2011: 580-583 - [c52]Gábor Bergmann
, Fabio Massacci
, Federica Paci
, Thein Than Tun, Dániel Varró
, Yijun Yu
:
SeCMER: A Tool to Gain Control of Security Requirements Evolution. ServiceWave 2011: 321-322 - [c51]Ábel Hegedüs
, Ákos Horváth, István Ráth
, Moisés Castelo Branco, Dániel Varró
:
Quick fix generation for DSMLs. VL/HCC 2011: 17-24 - 2010
- [c50]András Balogh, Gábor Bergmann
, György Csertán, László Gönczy, Ákos Horváth, István Majzik
, András Pataricza
, Balázs Polgár
, István Ráth
, Dániel Varró
, Gergely Varró:
Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering 2010: 224-248 - [c49]Gábor Bergmann
, Ákos Horváth, István Ráth
, Dániel Varró
, András Balogh, Zoltán Balogh, András Ökrös:
Incremental Evaluation of Model Queries over EMF Models. MoDELS (1) 2010: 76-90 - [c48]Ábel Hegedüs
, Gábor Bergmann
, István Ráth
, Dániel Varró
:
Back-annotation of Simulation Traces with Change-Driven Model Transformations. SEFM 2010: 145-155 - 2009
- [c47]Gábor Bergmann
, Ákos Horváth, István Ráth
, Dániel Varró
:
Efficient Model Transformations by Combining Pattern Matching Strategies. ICMT@TOOLS 2009: 20-34 - [c46]Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró
:
Teaching Modeling: Why, When, What? MoDELS (Workshops) 2009: 55-62 - [c45]Ákos Horváth, Dániel Varró
:
CSP(M): Constraint Satisfaction Problem over Models. MoDELS 2009: 107-121 - [c44]István Ráth
, Gergely Varró, Dániel Varró
:
Change-Driven Model Transformations. MoDELS 2009: 342-356 - 2008
- [c43]Gábor Bergmann
, Ákos Horváth, István Ráth
, Dániel Varró
:
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. ICGT 2008: 396-410 - [c42]István Ráth
, Gábor Bergmann
, András Ökrös, Dániel Varró
:
Live Model Transformations Driven by Incremental Pattern Matching. ICMT@TOOLS 2008: 107-121 - [c41]Gábor Bergmann
, András Ökrös, István Ráth
, Dániel Varró
, Gergely Varró:
Incremental pattern matching in the viatra model transformation system. GRaMoT@ICSE 2008: 25-32 - [c40]Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch
, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190 - [c39]László Gönczy, Zsolt Déri, Dániel Varró
:
Model Transformations for Performability Analysis of Service Configurations. MoDELS (Workshops) 2008: 153-166 - [c38]László Gönczy, Zsolt Déri, Dániel Varró:
Model Driven Performability Analysis of Service Configurations with Reliable Messaging. MDWE@MoDELS 2008 - [c37]István Ráth
, David Vago, Dániel Varró
:
Design-time simulation of domain-specific models by incremental pattern matching. VL/HCC 2008: 219-222 - [c36]László Gönczy, István Majzik
, Ákos Horváth, Dániel Varró
, András Balogh, Zoltán Micskei
, András Pataricza
:
Tool Support for Engineering Certifiable Software. SafeCert@ETAPS 2008: 79-85 - 2007
- [c35]Gergely Varró, Ákos Horváth, Dániel Varró:
Recursive Graph Pattern Matching. AGTIVE 2007: 456-470 - [c34]Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp
, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell:
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. AGTIVE 2007: 540-565 - [c33]András Kövi, Dániel Varró:
An Eclipse-Based Framework for AIS Service Configurations. ISAS 2007: 110-126 - [c32]László Gönczy, Reiko Heckel, Dániel Varró:
Model-Based Testing of Service Infrastructure Components. TestCom/FATES 2007: 155-170 - [c31]Dániel Varró
, Zoltán Balogh:
Automating model transformation by example using inductive logic programming. SAC 2007: 978-984 - [c30]Máté Kovács, Dániel Varró
, László Gönczy:
Formal modeling of BPEL workflows including fault and compensation handling. EFTS 2007: 1 - 2006
- [c29]Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange
, Gabriele Taentzer:
Termination Analysis of Model Transformations by Petri Nets. ICGT 2006: 260-274 - [c28]Albert Zündorf, Dániel Varró:
Workshop on Graph-Based Tools. ICGT 2006: 465-466 - [c27]András Kövi, Dániel Varró
, Zoltán Németh:
Making Legacy Services Highly Available with OpenAIS: An Experience Report. ISAS 2006: 206-216 - [c26]Dániel Varró:
Model Transformation by Example. MoDELS 2006: 410-424 - [c25]András Balogh, Dániel Varró:
Advanced model transformation language constructs in the VIATRA2 framework. SAC 2006: 1280-1287 - [c24]András Balogh, Gergely Varró, Dániel Varró, András Pataricza:
Compiling model transformations to EJB3-specific transformer plugins. SAC 2006: 1288-1295 - [c23]Roberto Bruni
, Dániel Varró
:
Preface. GT-VMT@ETAPS 2006: 1-3 - [c22]László Gönczy, Máté Kovács, Dániel Varró
:
Modeling and Verification of Reliable Messaging by Graph Transformation Systems. GT-VC@CONCUR 2006: 37-50 - [c21]Andrea Darabos, András Pataricza
, Dániel Varró
:
Towards Testing the Implementation of Graph Transformations. GT-VMT@ETAPS 2006: 75-85 - 2005
- [c20]Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation. FASE 2005: 49-63 - [c19]András Balogh, Dániel Varró
, András Pataricza
:
Model-Based Optimization of Enterprise Application and Service Deployment. ISAS 2005: 84-98 - [c18]Gergely Varró, Andy Schürr, Dániel Varró
:
Benchmarking for Graph Transformation. VL/HCC 2005: 79-88 - [c17]Tom Mens
, Pieter Van Gorp
, Dániel Varró
, Gabor Karsai:
Applying a Model Transformation Taxonomy to Graph Transformation Technology. GRaMoT@GPCE 2005: 143-159 - [c16]Gergely Varró, Katalin Friedl, Dániel Varró
:
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans. GRaMoT@GPCE 2005: 191-205 - 2004
- [c15]Arend Rensink, Ákos Schmidt, Dániel Varró:
Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT 2004: 226-241 - [c14]Zsigmond Pap, Dániel Varró:
Static Safety Analysis of UML Action Semantics for Critical Systems Development. GI Jahrestagung (1) 2004: 57-61 - [c13]Dániel Varró, András Pataricza:
Generic and Meta-transformations for Model Transformation Engineering. UML 2004: 290-304 - [c12]Luciano Baresi
, Reiko Heckel, Sebastian Thöne, Dániel Varró
:
Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166 - [c11]Gergely Varró, Dániel Varró
:
Graph Transformation with Incremental Updates. GT-VMT@ETAPS 2004: 71-83 - [c10]Szilvia Gyapay, Ákos Schmidt, Dániel Varró
:
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. GT-VMT@ETAPS 2004: 137-147 - [c9]Gergely Varró, Katalin Friedl, Dániel Varró
:
Graph Transformation in Relational Databases. GraBaTs 2004: 167-180 - 2003
- [c8]Luciano Baresi
, Reiko Heckel, Sebastian Thöne, Dániel Varró
:
Modeling and validation of service-oriented architectures: application vs. style. ESEC / SIGSOFT FSE 2003: 68-77 - [c7]Ákos Schmidt, Dániel Varró:
CheckVML: A Tool for Model Checking Visual Modeling Languages. UML 2003: 92-95 - 2002
- [c6]Szilvia Gyapay, Reiko Heckel, Dániel Varró:
Graph Transformation with Time: Causality and Logical Clocks. ICGT 2002: 120-134 - [c5]Dániel Varró:
A Formal Semantics of UML Statecharts by Model Transition Systems. ICGT 2002: 378-392 - [c4]György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró:
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE 2002: 267-270 - [c3]Dániel Varró, András Pataricza:
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. UML 2002: 18-33 - [c2]Dániel Varró
:
Towards Symbolic Analysis of Visual Modeling Languages. GT-VMT@ICGT 2002: 51-64 - [c1]Péter Domokos, Dániel Varró
:
An Open Visualization Framework for Metamodel-Based Modeling Languages. GraBaTs 2002: 69-78
Parts in Books or Collections
- 2021
- [p5]Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró
:
Continual Model-Based Analysis. Composing Model-Based Analysis Tools 2021: 97-127 - 2011
- [p4]Howard Foster, László Gönczy, Nora Koch
, Philip Mayer, Carlo Montangero, Dániel Varró
:
UML Extensions for Service-Oriented Systems. Results of the SENSORIA Project 2011: 35-60 - [p3]László Gönczy, Ábel Hegedüs
, Dániel Varró
:
Methodologies for Model-Driven Development and Deployment: An Overview. Results of the SENSORIA Project 2011: 541-560 - [p2]Gábor Bergmann
, Artur Boronat
, Reiko Heckel, Paolo Torrini, István Ráth
, Dániel Varró
:
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. Results of the SENSORIA Project 2011: 561-584 - 2005
- [p1]Lars Grunske
, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp
, Dániel Varró
:
Using Graph Transformation for Practical Model-Driven Software Engineering. Model-Driven Software Development 2005: 91-117
Editorship
- 2019
- [e8]Marsha Chechik, Daniel Strüber, Dániel Varró:
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019. ACM 2019, ISBN 978-1-7281-2231-1 [contents] - 2016
- [e7]Tijs van der Storm, Emilie Balland, Dániel Varró:
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016. ACM 2016, ISBN 978-1-4503-4447-0 [contents] - [e6]Paolo Milazzo, Dániel Varró, Manuel Wimmer:
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9946, Springer 2016, ISBN 978-3-319-50229-8 [contents] - 2015
- [e5]Martin Gogolla, Henry Muccini, Dániel Varró:
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015. CEUR Workshop Proceedings 1499, CEUR-WS.org 2015 [contents] - 2014
- [e4]Davide Di Ruscio, Dániel Varró:
Theory and Practice of Model Transformations - 7th International Conference, ICMT@STAF 2014, York, UK, July 21-22, 2014. Proceedings. Lecture Notes in Computer Science 8568, Springer 2014, ISBN 978-3-319-08788-7 [contents] - 2013
- [e3]Vittorio Cortellessa, Dániel Varró:
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. Lecture Notes in Computer Science 7793, Springer 2013, ISBN 978-3-642-37056-4 [contents] - 2012
- [e2]Andy Schürr, Dániel Varró, Gergely Varró:
Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science 7233, Springer 2012, ISBN 978-3-642-34175-5 [contents] - 2008
- [e1]Roberto Bruni, Dániel Varró:
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006. Electronic Notes in Theoretical Computer Science 211, Elsevier 2008 [contents]
Informal and Other Publications
- 2024
- [i10]José Antonio Hernández López, Boqi Chen, Tushar Sharma, Dániel Varró:
On Inter-dataset Code Duplication and Data Leakage in Large Language Models. CoRR abs/2401.07930 (2024) - [i9]Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró:
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation. CoRR abs/2405.08645 (2024) - [i8]Mootez Saad, José Antonio Hernández López, Boqi Chen, Dániel Varró, Tushar Sharma:
ALPINE: An adaptive language-agnostic pruning method for language models for code. CoRR abs/2407.04147 (2024) - 2023
- [i7]Boqi Chen, Kua Chen, Yujing Yang, Afshin Amini, Bharat Saxena, Cecilia Chávez-García, Majid Babaei, Amir Feizpour, Dániel Varró:
Towards Improving the Explainability of Text-based Information Retrieval with Knowledge Graphs. CoRR abs/2301.06974 (2023) - [i6]Aren A. Babikian, Oszkár Semeráth, Dániel Varró:
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. CoRR abs/2307.07826 (2023) - [i5]Boqi Chen, Fandi Yi, Dániel Varró:
Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction. CoRR abs/2309.01715 (2023) - 2021
- [i4]Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró:
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation. CoRR abs/2102.03116 (2021) - 2018
- [i3]Gábor Szárnyas, József Marton, János Maginecz, Dániel Varró:
Reducing Property Graph Queries to Relational Algebra for Incremental View Maintenance. CoRR abs/1806.07344 (2018) - 2017
- [i2]József Marton, Gábor Szárnyas, Dániel Varró:
Formalising opencypher Graph Queries in Relational Algebra. CoRR abs/1705.02844 (2017) - 2005
- [i1]Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation. Transformation Techniques in Software Engineering 2005
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-13 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint