- AsmGofer
- An extension of the functional programming system Gofer for executing Abstract State Machines. The site contains documentation and several examples.
- Jbook
- Java-book about the semantics of Java and the Java Virtual Machine.
- Production Cell
- Well-known case study in the literature. The site contains an Abstract State Machine semantics for the case study and provides precompiled C++ code generated by a compiler from Abstract State Machines to C++.
- Publications
- List of publications.
- About
- Some information about Dr. Joachim Schmid.