andreaskatis
Hi there! I am a Computer Scientist for KBR, Inc at NASA Ames Research Center. My main line of work is in the application of Formal Methods in Software.
NASA Ames Research Center
Pinned Repositories
andreaskatis.github.io
Config files for my GitHub profile.
ASE2017FixpointSynthesis
cgc-server
cgc-synthesized-fuzzers
CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
Coq
Formalizations and Theorem proofs
ejs-compiled-loader
EJS loader for webpack (without frontend dependencies)
fuzzersynthesis
jkind-1
JKind - a Java implementation of the KIND model checker
synthesis-benchmarks
Benchmarks for Synthesis algorithms in JKind
andreaskatis's Repositories
andreaskatis/jkind-1
JKind - a Java implementation of the KIND model checker
andreaskatis/synthesis-benchmarks
Benchmarks for Synthesis algorithms in JKind
andreaskatis/cgc-synthesized-fuzzers
andreaskatis/SMTLib2C
A simple tool for translating Skolem functions in SMT-Lib 2.0 to C implementations
andreaskatis/fuzzersynthesis
andreaskatis/CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
andreaskatis/andreaskatis.github.io
Config files for my GitHub profile.
andreaskatis/ASE2017FixpointSynthesis
andreaskatis/cgc-server
andreaskatis/Coq
Formalizations and Theorem proofs
andreaskatis/ejs-compiled-loader
EJS loader for webpack (without frontend dependencies)
andreaskatis/FormaliSESynthesis
andreaskatis/InductiveSynthesis
andreaskatis/osate2-core
Open Source AADL2 Tool Environment
andreaskatis/papers
Source from published papers
andreaskatis/smaccm
andreaskatis/SYNTECH-benchmarks
Collection of assume-guarantee contracts from the SYNTECH project
andreaskatis/temp