ftsrg/mondo-codemodel ftsrg/mondo-codemodel

  • This repository has been archived on 14/Sep/2022
  • Stars
    star
    1
  • Language
    Java
  • License
    Eclipse Public Li...
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ftsrg/mondo-codemodel
github

ftsrg

Reviews

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

Repository Details

Repository for the "Code Model" case study in MONDO

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

BME-MODES3

Model-based Demonstrator for Smart and Safe Systems
C++
16
star
10

trainbenchmark

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

graph-analyzer

Library for analyzing typed graphs.
Java
6
star
12

templates

Public appearance guidelines and logos
TeX
4
star
13

graph-metrics

BSc thesis work of Lehel Boer
Java
3
star
14

mondo-collab-framework

MONDO Collaboration Framework (WP4)
Java
3
star
15

semantifyr

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

ttc16-cra-viatra-dse

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

zkWF

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

paper-ttc15-java-refactoring

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

thesis-works

Thesis works in @ftsrg
TeX
2
star
20

sigmod2014-pc-top-solutions

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

docs.inf.mit.bme.hu

Old FTSRG GitHub Pages
CSS
2
star
22

mondo-sam

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

publication-pages

Github repository for publication pages
2
star
24

ftsrg.github.io

🔴⚫⭕ New, modern website of ftsrg
TypeScript
2
star
25

viewmodel

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

java-benchmarking

Java
1
star
27

ingraph-tex-converter

Python
1
star
28

trainbenchmark-ttc

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

effective-permission-evaluation

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

document-converter-actions

GitHub Actions for building LaTeX and Markdown documents
Dockerfile
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