Methodology and intermediate layer for the automatic creation of ontology instances stored in relational databases.
A threat model-based approach to security testing.
Automatic generation of compiler backends.
Grammatical and context-sensitive error correction using a statistical machine translation framework.
JavAdaptor - Flexible runtime updates of Java applications.