Pinned Repositories
awesome-manifesto
awesome list of manifestos in software engineering field
BCAS
Contains the dataset for the Brazilian Championship A-Series
BDMPathfinder
A tool for analysing attack paths in BDMP (Boolean logic Driven Markov Processes) models.
cyberactive
A front-end to STIX models
czekster.github.io
Home page of Ricardo M. Czekster
Decisor
Download Decisor software (using Analytic Hierarchy Process - AHP)
dra-model-2024
Comments about published paper on IoT Journal 2024
GTAexpress
Kronecker descriptor solver for Markovian based formalisms.
intro-to-perf-eval
Supporting files for the pre-print on Introduction to Performance Evaluation
markov
Materials for book: "Markov Chains for programmers"
czekster's Repositories
czekster/markov
Materials for book: "Markov Chains for programmers"
czekster/Decisor
Download Decisor software (using Analytic Hierarchy Process - AHP)
czekster/cyberactive
A front-end to STIX models
czekster/BCAS
Contains the dataset for the Brazilian Championship A-Series
czekster/GTAexpress
Kronecker descriptor solver for Markovian based formalisms.
czekster/awesome-manifesto
awesome list of manifestos in software engineering field
czekster/BDMPathfinder
A tool for analysing attack paths in BDMP (Boolean logic Driven Markov Processes) models.
czekster/czekster.github.io
Home page of Ricardo M. Czekster
czekster/dra-model-2024
Comments about published paper on IoT Journal 2024
czekster/intro-to-perf-eval
Supporting files for the pre-print on Introduction to Performance Evaluation
czekster/mojo
The Mojo Programming Language
czekster/myFNCS
Files and a script to quickly run a basic FNCS application
czekster/N-terminal-sequence-pattern-finder
NTSPF: N-terminal Sequence Pattern Finder
czekster/PASM-analysis
Practical Applications of Stochastic Modelling (PASM) workshop series analysis
czekster/MoKMaSD-and-DataMod
Analysis of Symposia series for MoKMaSD and DataMod from 2012 to 2021
czekster/PowerME
Simple Power Model Explorer, to ease multiple scenario modelling of energy based systems.
czekster/SLR-miot
Datasets for the SLR in MIoT paper
czekster/SootUp
A new version of Soot with a completely overhauled architecture
czekster/SPY2.150
Reproducibility results for paper DOI: 10.1002-SPY2.150
czekster/TaaC-AI
AI-driven Threat modeling-as-a-Code (TaaC)
czekster/vprocess_v0.1
An implementation for vProcess - more info on https://dx.doi.org/10.13140/RG.2.2.29133.90081
czekster/www-community
OWASP Community Pages are a place where OWASP can accept community contributions for security-related content.