There are no reviews yet. Be the first to send feedback to the community and the maintainers!
cheat-sheets
Getting started tutorials and cheat sheets for various technologies used in our projects.thesis-template-latex
Thesis template for LaTeX documents.theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithmsingraph
Incremental view maintenance for openCypher graph queries.gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systemsseviz
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generationcodemodel-rifle
Graph-based incremental static analysis of ECMAScript 6 source code repositoriesgazer
An LLVM-based formal verification frontend for C programs.trainbenchmark
The Train Benchmark framework for evaluating incremental model validation performancegraph-analyzer
Library for analyzing typed graphs.templates
Public appearance guidelines and logosgraph-metrics
BSc thesis work of Lehel Boermondo-collab-framework
MONDO Collaboration Framework (WP4)semantifyr
A framework to support the declarative definition of engineering model semanticsttc16-cra-viatra-dse
Solution for the TTC 2016 Class Responsibility Assignment casezkWF
Privacy-Preserving method for Business Process Tracking on Blockchainpaper-ttc15-java-refactoring
Paper for the TTC 2015 Java Refactoring casethesis-works
Thesis works in @ftsrgsigmod2014-pc-top-solutions
Revived versions of the top solutions of the SIGMOD 2014 Programming Contestdocs.inf.mit.bme.hu
Old FTSRG GitHub Pagesmondo-sam
MONDO-SAM: a lightweight benchmark workflow enginepublication-pages
Github repository for publication pagesftsrg.github.io
๐ดโซโญ New, modern website of ftsrgviewmodel
ViewModel: Incremental view model synchronization using partial modelsjava-benchmarking
ingraph-tex-converter
trainbenchmark-ttc
(Deprecated.) Framework for the TTC 2015 Train Benchmark caseeffective-permission-evaluation
Evaluation of deriving effective permissions for modeling artifactsdocument-converter-actions
GitHub Actions for building LaTeX and Markdown documentsmondo-codemodel
Repository for the "Code Model" case study in MONDOgraphgen-railway-models
Generation of railway architecture modelspaper-ttc15-trainbenchmark-eiq
Paper for the TTC 2015 Train Benchmark casemondo-utils
Utility classes for the applications in the MONDO projectemf2yed
Turns EMF models to yEd-compatible GraphML filesmondo-mondix
zkp-audit-zokrates
Sample audit programs and input generator tool for the article Privacy-Preserving Noninteractive Compliance Audits of Blockchain Ledgers with Zero-Knowledge ProofsLove Open Source and this site? Check out how you can help us