joeseibel

Pinned Repositories

AASPE
A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform from AADL models.
Language:Java16 13 18
budgeting
Language:Java0 2 20
codegen-demo
Language:C0 3 01
fire
Language:Java00
sudoku-solver
Attempts to solve puzzles using logical solutions only
Language:Java20
vocab-quizzer
Biblical Hebrew Vocab Quizzer using Java Swing
Language:Java00
xtend-examples
Code examples in the Xtend Programming Language
Language:Xtend0 2 00
examples
Examples and case-study that use OSATE
Language:Java56 37 1167
osate2
Open Source AADL2 Tool Environment
Language:Java40 10 2k8
smaccm
Language:Java33 29 10324

joeseibel's Repositories

joeseibel/sudoku-solver
Attempts to solve puzzles using logical solutions only
Language:Java20
joeseibel/budgeting
Language:Java0 2 20
joeseibel/codegen-demo
Language:C0 3 01
joeseibel/fire
Language:Java00
joeseibel/vocab-quizzer
Biblical Hebrew Vocab Quizzer using Java Swing
Language:Java00
joeseibel/xtend-examples
Code examples in the Xtend Programming Language
Language:Xtend0 2 00