Pinned Repositories
blockchain-benchmarks-tpcc
TPC-C benchmark implementations for blockchain platforms
cheat-sheets
Getting started tutorials and cheat sheets for various technologies used in our projects.
gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
gazer
An LLVM-based formal verification frontend for C programs.
ingraph
Incremental view maintenance for openCypher graph queries.
semantifyr
A framework to support the declarative definition of engineering model semantics
seviz
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
thesis-template-latex
Thesis template for LaTeX documents.
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
zkWF
Privacy-Preserving method for Business Process Tracking on Blockchain
ftsrg's Repositories
ftsrg/thesis-template-latex
Thesis template for LaTeX documents.
ftsrg/theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
ftsrg/gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
ftsrg/trainbenchmark
The Train Benchmark framework for evaluating incremental model validation performance
ftsrg/zkWF
Privacy-Preserving method for Business Process Tracking on Blockchain
ftsrg/semantifyr
A framework to support the declarative definition of engineering model semantics
ftsrg/templates
Public appearance guidelines and logos
ftsrg/ftsrg.github.io
🔴⚫⭕ New, modern website of ftsrg
ftsrg/publication-pages
Github repository for publication pages
ftsrg/thesis-works
Thesis works in @ftsrg
ftsrg/chc2c
CHC -> C transformation with a Python project
ftsrg/document-converter-actions
GitHub Actions for building LaTeX and Markdown documents
ftsrg/ea-model-validator-framework
Extensible model validator framework for Enterprise Architect
ftsrg/graphgen-railway-models
Generation of railway architecture models
ftsrg/hyperledger-fabric-mvcc-analysis
The collection of code, data and analysis artifacts related to Hyperledger Fabric MVCC analysis
ftsrg/refinery
Refinery: an efficient graph solver for generating well-formed models
ftsrg/sme4dd-fabric-template
Fabric chaincode development template for the SME4DD project.
ftsrg/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
ftsrg/blockchain-benchmarks-tpcc
TPC-C benchmark implementations for blockchain platforms
ftsrg/blockchain-generation
ftsrg/.github
ftsrg/ConcurrentWitness2Test
Sources of the ConcurrentWitness2Test violation witness validator tool
ftsrg/isse-formal-methods-sysmlv2
SysML v2 models used in journal paper on formally verifying SysML v2 models (invited to ISSE)
ftsrg/LF-Decentralized-Trust-labs.github.io
LFDT Labs
ftsrg/sme4dd-eth-lab1
Repository for the SME4DD Ethereum course lab 1
ftsrg/sme4dd-eth-lab2
Repository for the SME4DD Ethereum course lab 2
ftsrg/sme4dd-eth-lab3
Starting repository for the third lab in the ‘Blockchain Technology for SMEs – Ethereum Edition’ course delivered by BME in the SME4DD project.
ftsrg/StoATT
Stochastic Analysis through Tensor Trains
ftsrg/stochastic-gamma
ftsrg/viatra-archive
A historic archive early development of VIATRA, from the pre-Eclipse era.