Papers
16
Total Citations
265
H-Index
10
About
Jan Oliver Ringert’s research lies at the intersection of model-driven engineering, reactive synthesis, and robotics software engineering, with a focus on creating correct-by-construction systems. His major contributions include pioneering work on synthesizing controllers from GR(1) specifications—a fragment of linear temporal logic—where he developed performance heuristics and tools to diagnose unrealizable specifications, as seen in his 2017 paper on symbolic justice violations (33 citations). Ringert also advanced model-driven development for robotics, co-creating the MontiArcAutomaton language for modeling architecture and behavior, which enables reusable, platform-independent robotic applications. His 2015 paper on language and code generator composition for robotics (38 citations) demonstrates how to generate executable code from domain-specific models, while his case study on synthesizing a Lego forklift controller (32 citations) showcases practical applications of reactive synthesis. With over 200 total citations, Ringert’s work has significantly impacted how engineers approach the design of reliable, reusable robotic systems, bridging formal methods and practical software engineering challenges.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Synthesizing a Lego Forklift Controller in GR(1): A Case Study32 citations · 2016
- 4Performance heuristics for GR(1) synthesis and related algorithms26 citations · 2019
- 5Modeling robot and world interfaces for reusable tasks20 citations · 2015
- 6
- 7
- 8Synthesizing a Lego Forklift Controller in GR(1): A Case Study17 citations · 2016
- 9
- 10MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems10 citations · 2014