Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "VIATRA2/ResearchPapers"
< VIATRA2
(→Publications of VIATRA2 team members by author) |
|||
Line 53: | Line 53: | ||
* András Balogh: [http://www.inf.mit.bme.hu/en/biblio/author/116 publications] [http://mycite.omikk.bme.hu/search/slist.php?lang=1&kozid=BME-JMUN25 more publications] | * András Balogh: [http://www.inf.mit.bme.hu/en/biblio/author/116 publications] [http://mycite.omikk.bme.hu/search/slist.php?lang=1&kozid=BME-JMUN25 more publications] | ||
* Gábor Bergmann: [http://www.inf.mit.bme.hu/en/biblio/author/5 publications] [http://mycite.omikk.bme.hu/search/slist.php?inited=1&co_on=1&ty_on=1&la_on=&if_on=1&st_on=&url_on=1&cite_type=2&orderby=-7&Scientific=1&top10=&lang=1&location=bme&debug=&stn=1&AuthorID=10005039&DocumentID= more publications] | * Gábor Bergmann: [http://www.inf.mit.bme.hu/en/biblio/author/5 publications] [http://mycite.omikk.bme.hu/search/slist.php?inited=1&co_on=1&ty_on=1&la_on=&if_on=1&st_on=&url_on=1&cite_type=2&orderby=-7&Scientific=1&top10=&lang=1&location=bme&debug=&stn=1&AuthorID=10005039&DocumentID= more publications] | ||
− | * Ábel Hegedüs: [publications] [home page] | + | * Ábel Hegedüs: [http://www.inf.mit.bme.hu/en/biblio/author/4 publications] [http://mit.bme.hu/~hegedusa/publist.html home page] |
− | * Ákos Horváth: [publications | + | * Ákos Horváth: [http://www.inf.mit.bme.hu/en/biblio/author/212 publications] |
− | * István Ráth: [publications] [home page] | + | * István Ráth: [http://www.inf.mit.bme.hu/en/biblio/author/215 publications] [http://mit.bme.hu/~rath home page] |
− | * Zoltán Ujhelyi: [publications] [home page] | + | * Zoltán Ujhelyi: [http://www.inf.mit.bme.hu/en/biblio/author/1 publications] [http://mit.bme.hu/~ujhelyiz/pub/publist.html home page] |
− | * Gergely Varró: [publications] [home page] | + | * Gergely Varró: [http://www.inf.mit.bme.hu/en/biblio/author/22 publications] [http://cs.bme.hu/~gervarro/publication/index.html.en home page] |
Revision as of 17:35, 18 September 2010
This page gives a summary of the most important research papers published on VIATRA2.
Contents
Foundations
The approach
- Csertán-Huszerl-Majzik-Pap-Pataricza-Varró: VIATRA :Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE02
- Varró-Pataricza: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics). SOSYM03
Transformation language
- Balogh-Varró: Advanced model transformation language constructs in the VIATRA2 framework. SAC2006
- Varró-Balogh: The model transformation language of the VIATRA2 framework. SCP2007
Research topics
Local search-based pattern matching
- Horváth-Varró-Varró: Generic search plans for matching advanced graph patterns. GTVMT07
- Varró-Horváth-Varró: Recursive Graph Pattern Matching With Magic Sets and Global Search Plans. AGTIVE07
Incremental pattern matching
- Varró-Varró-Schürr: Incremental Graph Pattern Matching: Data Structures and Initial Experiments. Gramot06
- Bergmann-Ökrös-Ráth-Varró-Varró: Incremental pattern matching in the VIATRA model transformation system. Gramot08
- Bergmann-Ráth-Varró: Parallelization of graph transformation based on incremental pattern matching GTVMT09
- Bergmann-Horváth-Ráth-Varró-Balogh-Balogh-Ökrös: Incremental evaluation of queries over EMF models. MODELS10
Hybrid pattern matching
- Bergmann-Horváth-Ráth-Varró: Efficient Model Transformations by Combining Pattern Matching Strategies. ICMT2009
Event-driven transformations
- Ráth-Bergmann-Ökrös-Varró: Live model transformations driven by incremental pattern matching. ICMT2008
- Ráth-Varró-Varró: Change-driven model transformations. MODELS09
Constraint satisfaction over models
- Horváth-Varró: CSP(M): constraint satisfaction problems over models. MODELS09
Applications in domain-specific modeling languages
- Ráth-Vágó-Varró: Design-time simulation of domain-specific models by incremental pattern matching. VLHCC08
- Ráth-Ökrös-Varró: Synchronization of abstract and concrete syntax in domain-specific modeling languages. SOSYM09
Model transformation by example
- Varró: Model transformation by example. MODELS06
- Balogh-Varró: Model transformation by example using inductive logic programming. SOSYM08
Benchmarking
- Varró-Schürr-Varró: Benchmarking for graph transformation. VLHCC05
- Bergmann-Horváth-Ráth-Varró: A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. ICGT2008
- Horváth-Bergmann-Ráth-Varró: Experimental assessment of combining pattern matching strategies with VIATRA2. STTT09
Publications of VIATRA2 team members by author
For a more detailed and complete list of publications, visit the publication pages of team members.
- Dániel Varró: publications more publications
- András Balogh: publications more publications
- Gábor Bergmann: publications more publications
- Ábel Hegedüs: publications home page
- Ákos Horváth: publications
- István Ráth: publications home page
- Zoltán Ujhelyi: publications home page
- Gergely Varró: publications home page