ftsrg Goto Github PK
Name: ftsrg
Type: Organization
Bio: Critical Systems Research Group at BME
Twitter: ftsrg_bme
Location: Budapest, Hungary
Blog: https://ftsrg.mit.bme.hu
ftsrg's Projects
autoisolator
Tool for automatically generating mocks for white-box test generation
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
bigdante
Collection of code snippets related to the FTSRG course "Big Data Analysis Techniques"
blockchain-benchmarks-tpcc
TPC-C benchmark implementations for blockchain platforms
blockchain-generation
bme-modes3
Model-based Demonstrator for Smart and Safe Systems
bsc-thesis-szalontai-semantically-supported-runtime-reconfigurations-for-cps
Szalontai JenΕ szakdolgozat repo
cheat-sheets
Getting started tutorials and cheat sheets for various technologies used in our projects.
codemodel-rifle
Graph-based incremental static analysis of ECMAScript 6 source code repositories
concurrentwitness2test
Sources of the ConcurrentWitness2Test violation witness validator tool
cps-edge-demonstrator-movement-authority
Repo for the EFOP CPS edge demonstrator representing a movement authority system
cps18-temalabor
Repository for the CPS project laboratory
decps
Cyber Physical System for TAMOP project
docs.inf.mit.bme.hu
Old FTSRG GitHub Pages
document-converter-actions
GitHub Actions for building LaTeX and Markdown documents
ea-model-validator-framework
Extensible model validator framework for Enterprise Architect
effective-permission-evaluation
Evaluation of deriving effective permissions for modeling artifacts
emf2yed
Turns EMF models to yEd-compatible GraphML files
ftsrg.github.io
π΄β«β New, modern website of ftsrg
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.
graph-analyzer
Library for analyzing typed graphs.
graph-metrics
BSc thesis work of Lehel Boer
graphgen-railway-models
Generation of railway architecture models
hyperledger-fabric-mvcc-analysis
The collection of code, data and analysis artifacts related to Hyperledger Fabric MVCC analysis
ingraph
Incremental view maintenance for openCypher graph queries.
ingraph-tex-converter
ingraph-ui
ire
This repository is only kept for historical reasons, the projects was merged to the ingraph repository
java-benchmarking
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. πππ
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google β€οΈ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.