Dániel Varró mainly focuses on Graph rewriting, Model transformation, Theoretical computer science, Programming language and Metamodeling. His Graph rewriting study incorporates themes from Model checking, Algorithm, Architectural style and Artificial intelligence. His Theoretical computer science research is multidisciplinary, incorporating perspectives in Graph, Software development, Petri net and Extension.
His work on Abstract semantic graph as part of general Graph research is often related to Model transformation language, thus linking different fields of science. His work on Specification language as part of general Programming language study is frequently connected to Object Query Language, RDF query language and Web query classification, therefore bridging the gap between diverse disciplines of science and establishing a new relationship between them. His work deals with themes such as Operational semantics, Unified Modeling Language, Software architecture, Formal verification and Abstract state machines, which intersect with Metamodeling.
His main research concerns Theoretical computer science, Graph rewriting, Model transformation, Programming language and Graph. His Theoretical computer science research is multidisciplinary, incorporating elements of Artificial intelligence, Pattern matching, Graph, Solver and Null graph. His study in Graph rewriting is interdisciplinary in nature, drawing from both Algorithm, Model checking, Petri net and Abstract state machines.
His Graph study integrates concerns from other disciplines, such as Scalability, SQL, Distributed computing and Data mining. His research in the fields of NoSQL overlaps with other disciplines such as Benchmarking. His study explores the link between Distributed computing and topics such as Complex event processing that cross with problems in Background process and Class.
Dániel Varró mostly deals with Graph, Distributed computing, Scalability, Theoretical computer science and Programming language. His studies deal with areas such as Test suite, Digital subscriber line and Metamodeling as well as Graph. As a member of one scientific family, he mostly works in the field of Distributed computing, focusing on Worst-case execution time and, on occasion, Data analysis, Graph pattern matching and Resource allocation.
The various areas that Dániel Varró examines in his Scalability study include Middleware, Data Distribution Service, Access control and Benchmark. Dániel Varró applies his multidisciplinary studies on Theoretical computer science and Gesture recognition in his research. As part of his studies on Programming language, Dániel Varró often connects relevant subjects like Code generation.
His primary areas of study are Graph, Distributed computing, Scalability, Metamodeling and Cyber-physical system. His Graph research is classified as research in Programming language. Dániel Varró studied Scalability and Graph database that intersect with Software tool and Fault injection.
The Metamodeling study combines topics in areas such as Theoretical computer science, Relational database, Data mining, Validation rule and Benchmark. His Theoretical computer science study combines topics from a wide range of disciplines, such as Software, Solver, Design space exploration and Graph. His Digital subscriber line research integrates issues from Machine learning, Test suite, Software testing, Artificial intelligence and Iterative and incremental development.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
The model transformation language of the VIATRA2 framework
Dániel Varró;András Balogh.
Science of Computer Programming (2007)
Leveraging Applications of Formal Methods, Verification and Validation
Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti.
Springer-Verlag GmbH (2008)
VIATRA - visual automated transformations for formal verification and validation of UML models
G. Csertan;G. Huszerl;I. Majzik;Z. Pap.
automated software engineering (2002)
Designing the automatic transformation of visual languages
Dániel Varró;Gergely Varró;András Pataricza.
Science of Computer Programming (2002)
Modeling and validation of service-oriented architectures: application vs. style
Luciano Baresi;Reiko Heckel;Sebastian Thöne;Dániel Varró.
foundations of software engineering (2003)
Model transformation by graph transformation: A comparative study
Gabriele Taentzer;Karsten Ehrig;Esther Guerra;Juan de Lara.
Model transformation by example
Lecture Notes in Computer Science (2006)
Generic and Meta-transformations for Model Transformation Engineering
Dániel Varró;András Pataricza.
Lecture Notes in Computer Science (2004)
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)
Dániel Varró;András Pataricza.
Software and Systems Modeling (2003)
Advanced model transformation language constructs in the VIATRA2 framework
András Balogh;Dániel Varró.
acm symposium on applied computing (2006)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: