• Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    C++
  • Created about 9 years ago
  • Updated over 5 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Model-based Demonstrator for Smart and Safe Systems

More Repositories

1

cheat-sheets

Getting started tutorials and cheat sheets for various technologies used in our projects.
Visual Basic
79
star
2

thesis-template-latex

Thesis template for LaTeX documents.
TeX
68
star
3

theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Java
49
star
4

ingraph

Incremental view maintenance for openCypher graph queries.
Scala
48
star
5

gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Xtend
30
star
6

seviz

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
C#
20
star
7

codemodel-rifle

Graph-based incremental static analysis of ECMAScript 6 source code repositories
Java
19
star
8

gazer

An LLVM-based formal verification frontend for C programs.
C++
18
star
9

trainbenchmark

The Train Benchmark framework for evaluating incremental model validation performance
Java
11
star
10

graph-analyzer

Library for analyzing typed graphs.
Java
6
star
11

templates

Public appearance guidelines and logos
TeX
4
star
12

graph-metrics

BSc thesis work of Lehel Boer
Java
3
star
13

mondo-collab-framework

MONDO Collaboration Framework (WP4)
Java
3
star
14

semantifyr

A framework to support the declarative definition of engineering model semantics
Kotlin
3
star
15

ttc16-cra-viatra-dse

Solution for the TTC 2016 Class Responsibility Assignment case
Java
2
star
16

zkWF

Privacy-Preserving method for Business Process Tracking on Blockchain
Kotlin
2
star
17

paper-ttc15-java-refactoring

Paper for the TTC 2015 Java Refactoring case
TeX
2
star
18

thesis-works

Thesis works in @ftsrg
TeX
2
star
19

sigmod2014-pc-top-solutions

Revived versions of the top solutions of the SIGMOD 2014 Programming Contest
C++
2
star
20

docs.inf.mit.bme.hu

Old FTSRG GitHub Pages
CSS
2
star
21

mondo-sam

MONDO-SAM: a lightweight benchmark workflow engine
R
2
star
22

publication-pages

Github repository for publication pages
2
star
23

ftsrg.github.io

๐Ÿ”ดโšซโญ• New, modern website of ftsrg
TypeScript
2
star
24

viewmodel

ViewModel: Incremental view model synchronization using partial models
Java
1
star
25

java-benchmarking

Java
1
star
26

ingraph-tex-converter

Python
1
star
27

trainbenchmark-ttc

(Deprecated.) Framework for the TTC 2015 Train Benchmark case
Java
1
star
28

effective-permission-evaluation

Evaluation of deriving effective permissions for modeling artifacts
Java
1
star
29

document-converter-actions

GitHub Actions for building LaTeX and Markdown documents
Dockerfile
1
star
30

mondo-codemodel

Repository for the "Code Model" case study in MONDO
Java
1
star
31

graphgen-railway-models

Generation of railway architecture models
Java
1
star
32

paper-ttc15-trainbenchmark-eiq

Paper for the TTC 2015 Train Benchmark case
TeX
1
star
33

mondo-utils

Utility classes for the applications in the MONDO project
Java
1
star
34

emf2yed

Turns EMF models to yEd-compatible GraphML files
Xtend
1
star
35

mondo-mondix

HTML
1
star
36

zkp-audit-zokrates

Sample audit programs and input generator tool for the article Privacy-Preserving Noninteractive Compliance Audits of Blockchain Ledgers with Zero-Knowledge Proofs
TypeScript
1
star