kityansiu

Principal Engineer at GE Aerospace Research

GE Aerospace ResearchNiskayuna, NY

Pinned Repositories

ge-high-assurance.github.io
0 2 10
RACK
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
Language:Python19 11 5336
RACK-Turnstile-Example
00
RITE
DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)
Language:Python3 6 791
safety-analysis
A model-based framework for modeling, visualizing, and analyzing the safety of system architectures
Language:OCaml3 4 02
SOTERIA
An automated way to synthesize safety-informed architectures
Language:OCaml4 3 00
VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Language:Java40 10 2414
hello-world
my first github repository
Language:OCaml00