SergeyStaroletov
Teacher * Research enthusiast * Developer of complex software systems
localhostCapital of the World
Pinned Repositories
Automotive-CAN-Data
Control-Theory-Prove-KeYmaera
Samples of PD and PID controllers to prove with KeYmaera tool
CoreMLSwiftDemo
Just a help to my student with a hackathon task
FloatArithInIntegers
floating point operations implemented in software way using only integers
Fuzzy-Cruise-Control
kohmar-firewall
Anomaly Detection System for network traffic in real-time using Markov chains and Kohonen SOM
LinuxKernelAnalysis
Linux Kernel Analysis using Levenshtein Distance and JGit
PromelaSamples
Some notable and complex Promela examples (in progress)
SPIN-probabilistic
spin fork + ideas of probabilistic programming
VeHaContest2023
SergeyStaroletov's Repositories
SergeyStaroletov/FloatArithInIntegers
floating point operations implemented in software way using only integers
SergeyStaroletov/PromelaSamples
Some notable and complex Promela examples (in progress)
SergeyStaroletov/Automotive-CAN-Data
SergeyStaroletov/Control-Theory-Prove-KeYmaera
Samples of PD and PID controllers to prove with KeYmaera tool
SergeyStaroletov/CoreMLSwiftDemo
Just a help to my student with a hackathon task
SergeyStaroletov/Fuzzy-Cruise-Control
SergeyStaroletov/kohmar-firewall
Anomaly Detection System for network traffic in real-time using Markov chains and Kohonen SOM
SergeyStaroletov/LinuxKernelAnalysis
Linux Kernel Analysis using Levenshtein Distance and JGit
SergeyStaroletov/SPIN-probabilistic
spin fork + ideas of probabilistic programming
SergeyStaroletov/VeHaContest2023
SergeyStaroletov/ABSModel
SergeyStaroletov/Ardupilot-SPI-CAN
SergeyStaroletov/can-analysis-qt
SergeyStaroletov/CAN-Anomaly-Detector
SergeyStaroletov/can-bottle-controller-case
SergeyStaroletov/candump2
SergeyStaroletov/Co-modeling-Ardupilot
SergeyStaroletov/deepverification
SergeyStaroletov/EDTL
Event-driven temporal logic for control software, test implementation
SergeyStaroletov/EMC-star
SergeyStaroletov/NaiveHTM
SergeyStaroletov/PoET-Promela
SergeyStaroletov/POK-Promela-model
SergeyStaroletov/post_test
poST language core, based on Xtext framework, addition for testing
SergeyStaroletov/poST_to_Promela_compiler_dev
SergeyStaroletov/sawtooth-poet
SergeyStaroletov/TEMPOR-CNL-WIP
SergeyStaroletov/Tesla-CAN-packets-generator
SergeyStaroletov/TestingDVBT2
Kaffeine with a specially added dialog to test DVB-T2 networks
SergeyStaroletov/VisualHTM