Home

Oszkár Semeráth edited this page Apr 7, 2016 · 37 revisions
Clone this wiki locally

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

EMF-IncQuery

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

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

Train Benchmark

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

Other

Realtime gesture recognition with Jnect and Esper

VIATRA CEP