All Stories

  1. Exploring Development Methods for Reactive Synthesis Specifications

    Article • ACM Transactions on Software Engineering and Methodology, May 2026, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  2. On the Comparison of Learned Classifiers

    Article • November 2025, Springer Science + Business Media

    Jan Oliver Ringert

  3. On Writing Alloy Models: Metrics and a New Dataset

    Article • June 2025, Springer Science + Business Media

    Jan Oliver Ringert

  4. Model Predictive Control for Crowd Navigation via Learning-Based Trajectory Prediction

    Article • January 2025, Scitepress

    Jan Oliver Ringert

  5. Does Every Computer Scientist Need to Know Formal Methods?

    Article • Formal Aspects of Computing, December 2024, ACM (Association for Computing Machinery)

    Markus Kuppe, Alexandra Mendes, Jan Oliver Ringert

  6. Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications

    Article • February 2024, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  7. Introducing GitHub Classroom into a Formal Methods Module

    Article • January 2024, Springer Science + Business Media

    Jan Oliver Ringert

  8. On Specifying for Trustworthiness

    Article • Communications of the ACM, December 2023, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  9. Evaluation of low-cost microcontroller-based systems for simple sensor applications

    Article • Proceedings of the Institution of Civil Engineers - Smart Infrastructure and Construction, December 2023, Emerald

    Jan Oliver Ringert

  10. Triggers for Reactive Synthesis Specifications

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  11. Anti-Patterns (Smells) in Temporal Specifications

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  12. Trustworthy Autonomous Systems Through Verifiability

    Article • Computer, February 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  13. Abstract Alloy Instances

    Article • January 2023, Springer Science + Business Media

    Jan Oliver Ringert

  14. On Implementing Open World Semantic Differencing for Class Diagrams.

    Article • The Journal of Object Technology, January 2023, AITO - Association Internationale pour les Technologies Objets

    Jan Oliver Ringert

  15. Reactive Synthesis with Spectra: A Tutorial

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  16. Spectra: a specification language for reactive systems

    Article • Software & Systems Modeling, April 2021, Springer Science + Business Media

    Jan Oliver Ringert

  17. Efficient Algorithms for Omega-Regular Energy Games

    Article • January 2021, Springer Science + Business Media

    Jan Oliver Ringert

  18. Semantic comparisons of Alloy models

    Article • October 2020, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  19. Performance heuristics for GR(1) synthesis and related algorithms

    Article • Acta Informatica, December 2019, Springer Science + Business Media

    Jan Oliver Ringert

  20. Trusted Autonomous Vehicles: an Interactive Exhibit

    Article • October 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  21. Symbolic Repairs for GR(1) Specifications

    Article • May 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  22. Innovations in Model-based Software And Systems Engineering.

    Article • The Journal of Object Technology, January 2019, AITO - Association Internationale pour les Technologies Objets

    Jan Oliver Ringert

  23. On the software engineering challenges of applying reactive synthesis to robotics

    Article • May 2018, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  24. Performance Heuristics for GR(1) Synthesis and Related Algorithms

    Article • Electronic Proceedings in Theoretical Computer Science, November 2017, Open Publishing Association

    Jan Oliver Ringert

  25. Quantitative Assume Guarantee Synthesis

    Article • Electronic Proceedings in Theoretical Computer Science, November 2017, Open Publishing Association

    Jan Oliver Ringert

  26. Component and Connector Views in Practice: An Experience Report

    Article • September 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  27. Why is My Component and Connector Views Specification Unsatisfiable?

    Article • September 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  28. A symbolic justice violations transition system for unrealizable GR(1) specifications

    Article • August 2017, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  29. Teaching agile model-driven engineering for cyber-physical systems

    Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  30. Quantitative Assume Guarantee Synthesis

    Article • January 2017, Springer Science + Business Media

    Jan Oliver Ringert

  31. Symbolic BDD and ADD Algorithms for Energy Games

    Article • Electronic Proceedings in Theoretical Computer Science, November 2016, Open Publishing Association

    Jan Oliver Ringert

  32. On well-separation of GR(1) specifications

    Article • November 2016, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  33. A framework for relating syntactic and semantic model differences

    Article • Software & Systems Modeling, August 2016, Springer Science + Business Media

    Jan Oliver Ringert

  34. Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration)

    Article • ACM SIGPLAN Notices, May 2016, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  35. Synthesizing a Lego Forklift Controller in GR(1): A Case Study

    Article • Electronic Proceedings in Theoretical Computer Science, February 2016, Open Publishing Association

    Jan Oliver Ringert

  36. Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton

    Article • January 2016, Springer Science + Business Media

    Jan Oliver Ringert

  37. Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration)

    Article • October 2015, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  38. A framework for relating syntactic and semantic model differences

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  39. Modeling robot and world interfaces for reusable tasks

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Jan Oliver Ringert

  40. GR(1) synthesis for LTL specification patterns

    Article • August 2015, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  41. Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development

    Article • July 2015, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  42. Behavioral compatibility of simulink models for product line maintenance and evolution

    Article • July 2015, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  43. Verifying component and connector models against crosscutting structural views

    Article • May 2014, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  44. Report on the International Workshop on Comparison and Versioning of Software Models (CVSM 2013) February 27, 2013, Aachen

    Article • Softwaretechnik-Trends, May 2013, Springer Science + Business Media

    Jan Oliver Ringert

  45. Synthesis of component and connector models from crosscutting structural views

    Article • January 2013, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  46. An Interim Summary on Semantic Model Differencing

    Article • Softwaretechnik-Trends, November 2012, Springer Science + Business Media

    Jan Oliver Ringert

  47. A Manifesto for Semantic Model Differencing

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  48. ADDiff

    Article • January 2011, ACM (Association for Computing Machinery)

    Jan Oliver Ringert

  49. CD2Alloy: Class Diagrams Analysis Using Alloy Revisited

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  50. CDDiff: Semantic Differencing for Class Diagrams

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  51. Modal Object Diagrams

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  52. Semantically Configurable Consistency Analysis for Class and Object Diagrams

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  53. System Model-Based Definition of Modeling Language Semantics

    Article • January 2009, Springer Science + Business Media

    Jan Oliver Ringert