Pinned Repositories
bdd-security
BDD Automated Security Tests for Web Applications
blog
Just another minimalist Jekyll theme which designed for technical writing blog.
Certyflie
DO178_Case_Study
Case study for using MathWorks tools on a DO-178 project
ESS7_project
gauntlt
a ruggedization framework that embodies the principle "be mean to your code"
HorizontalCAS
mittn
Mittn: Security test tool runner for test automation in CI
OAAM
Open Avionics Architecture Model
VIRTTAC
umutdurak's Repositories
umutdurak/Certyflie
umutdurak/ESS7_project
umutdurak/VIRTTAC
umutdurak/bdd-security
BDD Automated Security Tests for Web Applications
umutdurak/blog
Just another minimalist Jekyll theme which designed for technical writing blog.
umutdurak/DO178_Case_Study
Case study for using MathWorks tools on a DO-178 project
umutdurak/gauntlt
a ruggedization framework that embodies the principle "be mean to your code"
umutdurak/HorizontalCAS
umutdurak/mittn
Mittn: Security test tool runner for test automation in CI
umutdurak/OAAM
Open Avionics Architecture Model
umutdurak/pok
POK kernel. Safe and secure for safety-critical systems.
umutdurak/nix-config
My Nix Config Files
umutdurak/ptII
Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
umutdurak/resume
My Resume
umutdurak/umut-academic
umutdurak/umutdurak.github.io
umutdurak/VerticalCAS