Skip to content
Oszkár Semeráth edited this page Mar 18, 2021 · 45 revisions

VIATRA2

From BPEL to SAL And Back, a Tool Demo on Back Annotation with VIATRA2

Incremental Pattern Matching for the Efficient Computation of Transitive Closure

Model driven framework for Design Space Exploration

Quick fix for DSMLs

Slicing of Model Transformations

Visualization of Traceability Models

Incremental View Model Synchronization Using Partial Models

EMF-IncQuery and Viatra Query

Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models

Diversity of Graph Models and Graph Generators in Mutation Testing

Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models

Incremental Backward Change Propagation of View Models by Logic Solvers

Extended Program Query Evaluation

Graph patterns from OCL: a performance evaluation

Benchmarking query technologies in EMF based model-validation scenarios

Program Query Evaluation

Validation of Derived Features and Well-Formedness Constraints in DSLs

A Demonstration of the EMF-IncQuery Development Environment

Query-driven soft interconnection of EMF models (MODELS12)

Query-driven incremental synchronization of view models (VAO 2012)

Using queries for derived features (ECMFA12)

[ASE 2011 : Incremental Evaluation of Model Queries over EMF Models: a Tutorial on EMF-IncQuery] (https://github.com/FTSRG/publication-pages/wiki/ASE-2011--Incremental-Evaluation-of-Model-Queries-over-EMF-Models,-a-Tutorial-on-EMF-IncQuery)

[ECMFA2011: Incremental Evaluation of Model Queries over EMF Models: a Tutorial on EMF-IncQuery] (https://github.com/FTSRG/publication-pages/wiki/ECMFA2011--Incremental-Evaluation-of-Model-Queries-over-EMF-Models,-a-Tutorial-on-EMF-IncQuery)

Benchmarking query technologies in model-driven scenarios

MODELS2010: Incremental Model Queries over EMF Models

Benchmarking query technologies in EMF based model-validation scenarios

A Benchmark Evaluation of Metrics for Graph Query Performance Prediction

Efficient Instance-level Model Validation by Incremental Query Techniques

IncQuery-D Incremental Graph Search in the Cloud

Evaluation of EMF Diff/Merge and EMF Compare

The Train Benchmark: cross-technology performance evaluation of continuous model queries

Other

Realtime gesture recognition with Jnect and Esper

VIATRA CEP

Clone this wiki locally