Repositories list

• theta

  Public
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

  researchtoolabstraction+ 1model-checking

  Java

  •

  Apache License 2.0

  •46•56•41•9•Updated Oct 30, 2025Oct 30, 2025

• isse-formal-methods-sysmlv2

  Public
  SysML v2 models used in journal paper on formally verifying SysML v2 models (invited to ISSE)

  0•0•0•0•Updated Oct 29, 2025Oct 29, 2025

• semantifyr

  Public
  A framework to support the declarative definition of engineering model semantics

  Kotlin

  •

  Eclipse Public License 2.0

  •3•4•27•7•Updated Oct 27, 2025Oct 27, 2025

• gamma

  Public
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

  researchtooleclipse+ 5statechartcompositioncode-generationmodel-transformationsformal-verification

  Xtend

  •27•33•10•4•Updated Oct 26, 2025Oct 26, 2025

• ftsrg.github.io

  Public
  🔴⚫⭕ New, modern website of ftsrg

  reactsasstypescript+ 4reactjsbootstrap4i18nextgatsbyjs

  TypeScript

  •

  GNU Affero General Public License v3.0

  •1•2•3•1•Updated Oct 22, 2025Oct 22, 2025

• ConcurrentWitness2Test

  Public
  Sources of the ConcurrentWitness2Test violation witness validator tool

  SWIG

  •

  Apache License 2.0

  •0•0•1•0•Updated Oct 21, 2025Oct 21, 2025

• LF-Decentralized-Trust-labs.github.io

  Public
  LFDT Labs

  HTML

  •

  Apache License 2.0

  •239•0•0•0•Updated Sep 11, 2025Sep 11, 2025

• viatra-archive

  Public archive
  A historic archive early development of VIATRA, from the pre-Eclipse era.

  emfeclipsemodeling+ 3transformationsviatraincquery

  Java

  •0•0•0•0•Updated Aug 28, 2025Aug 28, 2025

• publication-pages

  Public
  Github repository for publication pages

  1•2•0•0•Updated Aug 23, 2025Aug 23, 2025

• templates

  Public
  Public appearance guidelines and logos

  TeX

  •7•4•1•1•Updated Aug 11, 2025Aug 11, 2025

• zkWF

  Public
  Privacy-Preserving method for Business Process Tracking on Blockchain

  ethereumblockchainzero-knowledge-proof

  Go

  •

  Apache License 2.0

  •2•7•0•0•Updated Jul 29, 2025Jul 29, 2025

• sme4dd-fabric-template

  Public
  Fabric chaincode development template for the SME4DD project.

  TypeScript

  •

  Apache License 2.0

  •14•1•0•1•Updated Jul 1, 2025Jul 1, 2025

• .github

  Public
  0•0•0•0•Updated Jun 17, 2025Jun 17, 2025

• chc2c

  Public
  CHC -> C transformation with a Python project

  Python

  •

  Apache License 2.0

  •1•1•0•0•Updated May 27, 2025May 27, 2025

• sme4dd-eth-lab3

  Public template
  Starting repository for the third lab in the ‘Blockchain Technology for SMEs – Ethereum Edition’ course delivered by BME in the SME4DD project.

  Shell

  •0•0•0•0•Updated Apr 10, 2025Apr 10, 2025

• stochastic-gamma

  Public
  HTML

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• sme4dd-eth-lab2

  Public template
  Repository for the SME4DD Ethereum course lab 2

  TypeScript

  •

  GNU Affero General Public License v3.0

  •0•0•0•0•Updated Nov 21, 2024Nov 21, 2024

• sme4dd-eth-lab1

  Public template
  Repository for the SME4DD Ethereum course lab 1

  TypeScript

  •

  GNU Affero General Public License v3.0

  •0•0•0•0•Updated Nov 13, 2024Nov 13, 2024

• thesis-template-latex

  Public
  Thesis template for LaTeX documents.

  education

  TeX

  •45•71•0•0•Updated Sep 9, 2024Sep 9, 2024

• blockchain-generation

  Public
  Jupyter Notebook

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Jul 31, 2024Jul 31, 2024

• blockchain-benchmarks-tpcc

  Public
  TPC-C benchmark implementations for blockchain platforms

  Java

  •

  Apache License 2.0

  •0•0•2•0•Updated Jun 4, 2024Jun 4, 2024

• hyperledger-fabric-mvcc-analysis

  Public
  The collection of code, data and analysis artifacts related to Hyperledger Fabric MVCC analysis

  Java

  •

  Apache License 2.0

  •1•1•0•0•Updated Dec 1, 2023Dec 1, 2023

• ea-model-validator-framework

  Public
  Extensible model validator framework for Enterprise Architect

  frameworkvalidationmodel+ 3extensibleenterprise-architectenterprise-architect-addin

  C#

  •

  Apache License 2.0

  •0•1•0•0•Updated Sep 25, 2023Sep 25, 2023

• zkp-audit-zokrates

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

  blockchainauditzero-knowledge-proofs

  TypeScript

  •

  Apache License 2.0

  •0•1•0•0•Updated May 12, 2023May 12, 2023

• document-converter-actions

  Public
  GitHub Actions for building LaTeX and Markdown documents

  Dockerfile

  •1•1•0•0•Updated Mar 26, 2023Mar 26, 2023

• trainbenchmark

  Public
  The Train Benchmark framework for evaluating incremental model validation performance

  benchmarksqlresearch+ 5rdfemfgraphsincrementalmodel-driven-development

  Java

  •

  Eclipse Public License 1.0

  •19•13•26•0•Updated Nov 1, 2022Nov 1, 2022

• refinery

  Public
  Refinery: an efficient graph solver for generating well-formed models

  Java

  •

  Eclipse Public License 2.0

  •24•1•0•0•Updated Jun 10, 2022Jun 10, 2022

• thesis-works

  Public
  Thesis works in @ftsrg

  education

  TeX

  •2•2•0•0•Updated Jun 9, 2022Jun 9, 2022

• graphgen-railway-models

  Public
  Generation of railway architecture models

  researchgeneratorgraph

  Java

  •

  Eclipse Public License 1.0

  •0•1•0•0•Updated Apr 12, 2022Apr 12, 2022

• StoATT

  Public
  Stochastic Analysis through Tensor Trains

  Kotlin

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 10, 2021Nov 10, 2021