A Robotics Environment for Software Engineering Courses. - Stephan Goebel; Ruben Jubeh; Simon-Lennert Raesch (AAAI, 2011)

Using Graph Transformation for Puzzle Game Level Generation and Validation. - David Priemer; Tobias George; Marcel Hahn; Lennert Raesch; Albert Zündorf (ICGT, 2016)

The SDMLib Solution to the Class Responsibility Assignment Case for TTC2016. - Christoph Eickhoff; Lennert Raesch; Albert Zündorf (TTC@STAF, 2016)

The EMFeR Solution to the TTC 2018 Software Mapping Case. - Christoph Eickhoff; Simon-Lennert Raesch; Albert Zündorf (TTC@STAF, 2018)

EMFeR: Model Checking for Object Oriented (EMF) Models. - Christoph Eickhoff; Martin Lange; Simon-Lennert Raesch; Albert Zündorf (MODELSWARD, 2019)