Repositories list

• theta

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

  researchtoolabstraction+ 1model-checking

  Java

  •

  Apache License 2.0

  •43•49•52•2•Updated Nov 12, 2024Nov 12, 2024

• semantifyr

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

  Kotlin

  •

  Eclipse Public License 2.0

  •0•3•17•5•Updated Nov 12, 2024Nov 12, 2024

• gamma

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

  researchtooleclipse+ 5statechartcompositioncode-generationmodel-transformationsformal-verification

  Xtend

  •25•30•8•2•Updated Nov 11, 2024Nov 11, 2024

• zkWF

  Public
  Privacy-Preserving method for Business Process Tracking on Blockchain

  ethereumblockchainzero-knowledge-proof

  Kotlin

  •

  Apache License 2.0

  •0•5•0•0•Updated Nov 10, 2024Nov 10, 2024

• ConcurrentWitness2Test

  Public
  Sources of the ConcurrentWitness2Test violation witness validator tool

  SWIG

  •

  Apache License 2.0

  •0•0•1•0•Updated Nov 10, 2024Nov 10, 2024

• templates

  Public
  Public appearance guidelines and logos

  TeX

  •7•4•1•1•Updated Oct 18, 2024Oct 18, 2024

• ftsrg.github.io

  Public
  🔴⚫⭕ New, modern website of ftsrg

  sasstypescriptbootstrap4+ 4i18nextreactreactjsgatsbyjs

  TypeScript

  •

  GNU Affero General Public License v3.0

  •1•2•5•1•Updated Sep 30, 2024Sep 30, 2024

• thesis-template-latex

  Public
  Thesis template for LaTeX documents.

  education

  TeX

  •43•69•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

• stochastic-gamma

  Public
  HTML

  •0•0•0•0•Updated Jun 7, 2024Jun 7, 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

• sme4dd-fabric-template

  Public
  Fabric chaincode development template for the SME4DD project.

  TypeScript

  •

  Apache License 2.0

  •12•0•0•0•Updated May 2, 2024May 2, 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

  •0•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•0•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

  sqlresearchrdf+ 5emfgraphsincrementalmodel-driven-developmentbenchmark

  Java

  •

  Eclipse Public License 1.0

  •19•12•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

  •20•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

• gazer

  Public
  An LLVM-based formal verification frontend for C programs.

  researchtoolllvm+ 1model-checking

  C++

  •5•24•28•8•Updated Oct 29, 2021Oct 29, 2021

• cps-edge-demonstrator-movement-authority

  Public
  Repo for the EFOP CPS edge demonstrator representing a movement authority system

  0•0•0•0•Updated Oct 12, 2021Oct 12, 2021

• publication-pages

  Public
  Github repository for publication pages

  1•2•0•0•Updated Jun 2, 2021Jun 2, 2021

• sv-comp

  Public
  Information to reproduce results from SV-COMP

  Apache License 2.0

  •50•0•0•0•Updated Oct 13, 2020Oct 13, 2020

• benchexec

  Public
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

  Python

  •

  Apache License 2.0

  •198•0•0•0•Updated Oct 12, 2020Oct 12, 2020

• bsc-thesis-szalontai-semantically-supported-runtime-reconfigurations-for-cps

  Public
  Szalontai Jenő szakdolgozat repo

  Java

  •0•0•0•0•Updated Oct 8, 2020Oct 8, 2020

• ttc2018liveContest

  Public
  The repository for the TTC 2018 Live Contest

  Java

  •

  MIT License

  •15•2•0•0•Updated Aug 28, 2020Aug 28, 2020

• sigmod2014-pc-top-solutions

  Public archive
  Revived versions of the top solutions of the SIGMOD 2014 Programming Contest

  C++

  •0•2•0•0•Updated Jun 15, 2020Jun 15, 2020

• autoisolator

  Public archive
  Tool for automatically generating mocks for white-box test generation

  testingresearch

  HTML

  •0•0•0•0•Updated May 12, 2020May 12, 2020