All Stories

  1. 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

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

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

    Jan Oliver Ringert

  3. Introducing GitHub Classroom into a Formal Methods Module

    Article • January 2024, Springer Science + Business Media

    Jan Oliver Ringert

  4. 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

  5. Trustworthy Autonomous Systems Through Verifiability

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

    Jan Oliver Ringert

  6. Abstract Alloy Instances

    Article • January 2023, Springer Science + Business Media

    Jan Oliver Ringert

  7. Reactive Synthesis with Spectra: A Tutorial

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

    Jan Oliver Ringert

  8. Spectra: a specification language for reactive systems

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

    Jan Oliver Ringert

  9. Efficient Algorithms for Omega-Regular Energy Games

    Article • January 2021, Springer Science + Business Media

    Jan Oliver Ringert

  10. Semantic comparisons of Alloy models

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

    Jan Oliver Ringert

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

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

    Jan Oliver Ringert

  12. Trusted Autonomous Vehicles: an Interactive Exhibit

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

    Jan Oliver Ringert

  13. Symbolic Repairs for GR(1) Specifications

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

    Jan Oliver Ringert

  14. 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

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

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

    Jan Oliver Ringert

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

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

    Jan Oliver Ringert

  17. Quantitative Assume Guarantee Synthesis

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

    Jan Oliver Ringert

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

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

    Jan Oliver Ringert

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

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

    Jan Oliver Ringert

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

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

    Jan Oliver Ringert

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

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

    Jan Oliver Ringert

  22. Quantitative Assume Guarantee Synthesis

    Article • January 2017, Springer Science + Business Media

    Jan Oliver Ringert

  23. Symbolic BDD and ADD Algorithms for Energy Games

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

    Jan Oliver Ringert

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

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

    Jan Oliver Ringert

  25. A framework for relating syntactic and semantic model differences

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

    Jan Oliver Ringert

  26. 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

  27. 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

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

    Article • January 2016, Springer Science + Business Media

    Jan Oliver Ringert

  29. 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

  30. A framework for relating syntactic and semantic model differences

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

    Jan Oliver Ringert

  31. Modeling robot and world interfaces for reusable tasks

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

    Jan Oliver Ringert

  32. GR(1) synthesis for LTL specification patterns

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

    Jan Oliver Ringert

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

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

    Jan Oliver Ringert

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

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

    Jan Oliver Ringert

  35. Verifying component and connector models against crosscutting structural views

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

    Jan Oliver Ringert

  36. 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

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

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

    Jan Oliver Ringert

  38. An Interim Summary on Semantic Model Differencing

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

    Jan Oliver Ringert

  39. A Manifesto for Semantic Model Differencing

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  40. ADDiff

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

    Jan Oliver Ringert

  41. CD2Alloy: Class Diagrams Analysis Using Alloy Revisited

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  42. CDDiff: Semantic Differencing for Class Diagrams

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  43. Modal Object Diagrams

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  44. Semantically Configurable Consistency Analysis for Class and Object Diagrams

    Article • January 2011, Springer Science + Business Media

    Jan Oliver Ringert

  45. System Model-Based Definition of Modeling Language Semantics

    Article • January 2009, Springer Science + Business Media

    Jan Oliver Ringert