Simon-Lennert Raesch

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 2

Top Topics

Automated Verification

Reactive Systems

Temporal Properties

Top Venues

Publications

Christoph Eickhoff, Martin Lange, Simon-Lennert Raesch, Albert Zündorf
EMFeR: Model Checking for Object Oriented (EMF) Models. MODELSWARD (2019)
Christoph Eickhoff, Simon-Lennert Raesch, Albert Zündorf
The EMFeR Solution to the TTC 2018 Software Mapping Case. TTC@STAF (2018)
Stephan Goebel, Ruben Jubeh, Simon-Lennert Raesch
A Robotics Environment for Software Engineering Courses. AAAI (2011)