Skip to content
@ftsrg

ftsrg

Critical Systems Research Group at BME
README.md

Welcome at ftsrg

Developing new methods and tools to help engineers create more reliable systems

🚀 This organization hosts software and tutorials developed by the

📜 Our name, ftsrg, comes from the original name of the research group: Fault Tolerant Systems Research Group

🎯 Other organizations for the research group:

  • ftsrg-edu: educational and course materials
  • ftsrg-cs: Critical Systems Laboratory (VIMIMB11) course
  • ftsrg-rete: Systems Modeling (VIMIAD03) course
  • ftsrg-softeng: Software Engineering (VIMIAB04) course
  • Refinery: Refinery tool for reasoning about graphs with partial modeling

Pinned Loading

  1. gamma gamma Public

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

    Xtend 31 27

  2. theta theta Public

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

    Java 52 45

  3. blockchain-benchmarks-tpcc blockchain-benchmarks-tpcc Public

    TPC-C benchmark implementations for blockchain platforms

    Java

  4. trainbenchmark trainbenchmark Public

    The Train Benchmark framework for evaluating incremental model validation performance

    Java 12 19

  5. cheat-sheets cheat-sheets Public

    Getting started tutorials and cheat sheets for various technologies used in our projects.

    Visual Basic 79 20

  6. thesis-template-latex thesis-template-latex Public

    Thesis template for LaTeX documents.

    TeX 71 44

Repositories

Showing 10 of 76 repositories
  • gamma Public

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

    ftsrg/gamma’s past year of commit activity
    Xtend 31 27 7 2 Updated Apr 3, 2025
  • theta Public

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

    ftsrg/theta’s past year of commit activity
    Java 52 Apache-2.0 45 33 (2 issues need help) 5 Updated Apr 3, 2025
  • .github Public
    ftsrg/.github’s past year of commit activity
    0 0 0 0 Updated Apr 3, 2025
  • ftsrg.github.io Public

    🔴⚫⭕ New, modern website of ftsrg

    ftsrg/ftsrg.github.io’s past year of commit activity
    TypeScript 2 AGPL-3.0 1 5 1 Updated Apr 1, 2025
  • semantifyr Public

    A framework to support the declarative definition of engineering model semantics

    ftsrg/semantifyr’s past year of commit activity
    Kotlin 4 EPL-2.0 1 24 6 Updated Mar 31, 2025
  • sme4dd-fabric-template Public

    Fabric chaincode development template for the SME4DD project.

    ftsrg/sme4dd-fabric-template’s past year of commit activity
    TypeScript 1 Apache-2.0 14 0 0 Updated Mar 27, 2025
  • chc2c Public

    CHC -> C transformation with a Python project

    ftsrg/chc2c’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Mar 16, 2025
  • zkWF Public

    Privacy-Preserving method for Business Process Tracking on Blockchain

    ftsrg/zkWF’s past year of commit activity
    Go 5 1 0 0 Updated Feb 27, 2025
  • stochastic-gamma Public
    ftsrg/stochastic-gamma’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 13, 2025
  • isse-formal-methods-sysmlv2 Public

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

    ftsrg/isse-formal-methods-sysmlv2’s past year of commit activity
    0 0 0 0 Updated Feb 10, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…