Pinned Repositories
blockchain-benchmarks-tpcc
TPC-C benchmark implementations for blockchain platforms
cheat-sheets
Getting started tutorials and cheat sheets for various technologies used in our projects.
codemodel-rifle
Graph-based incremental static analysis of ECMAScript 6 source code repositories
gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
gazer
An LLVM-based formal verification frontend for C programs.
ingraph
Incremental view maintenance for openCypher graph queries.
seviz
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
thesis-template-latex
Thesis template for LaTeX documents.
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
trainbenchmark
The Train Benchmark framework for evaluating incremental model validation performance
ftsrg's Repositories
ftsrg/cheat-sheets
Getting started tutorials and cheat sheets for various technologies used in our projects.
ftsrg/ingraph
Incremental view maintenance for openCypher graph queries.
ftsrg/codemodel-rifle
Graph-based incremental static analysis of ECMAScript 6 source code repositories
ftsrg/BME-MODES3
Model-based Demonstrator for Smart and Safe Systems
ftsrg/graph-analyzer
Library for analyzing typed graphs.
ftsrg/graph-metrics
BSc thesis work of Lehel Boer
ftsrg/mondo-collab-framework
MONDO Collaboration Framework (WP4)
ftsrg/docs.inf.mit.bme.hu
Old FTSRG GitHub Pages
ftsrg/mondo-sam
MONDO-SAM: a lightweight benchmark workflow engine
ftsrg/paper-ttc15-java-refactoring
Paper for the TTC 2015 Java Refactoring case
ftsrg/ttc16-cra-viatra-dse
Solution for the TTC 2016 Class Responsibility Assignment case
ftsrg/effective-permission-evaluation
Evaluation of deriving effective permissions for modeling artifacts
ftsrg/emf2yed
Turns EMF models to yEd-compatible GraphML files
ftsrg/ingraph-tex-converter
ftsrg/mondo-mondix
ftsrg/paper-ttc15-trainbenchmark-eiq
Paper for the TTC 2015 Train Benchmark case
ftsrg/trainbenchmark-ttc
(Deprecated.) Framework for the TTC 2015 Train Benchmark case
ftsrg/viewmodel
ViewModel: Incremental view model synchronization using partial models
ftsrg/ire
This repository is only kept for historical reasons, the projects was merged to the ingraph repository
ftsrg/modes3-smartcity
ftsrg/CPS18-temalabor
Repository for the CPS project laboratory
ftsrg/ingraph-ui
ftsrg/model-metrics
Statistical analysis of MDE models
ftsrg/mondo-collab-mergespaceexploration
ftsrg/mondo-sam-reporting
Reporting tools for the MONDO-SAM framework
ftsrg/requirements-integration
ftsrg/theta-jani-interchange
JANI (http://www.jani-spec.org/) serialization and deserialization using Jackson
ftsrg/trainbenchmark-docs
Train Benchmark documentation
ftsrg/trainbenchmark-sosym
Supplementary material for the SOSYM Train Benchmark paper
ftsrg/ttc14-eiq
Solution for the 2014 Transformation Tool Contest