| 2025 | ICINCO | Model Predictive Control for Crowd Navigation via Learning-Based Trajectory Prediction. | Mohamed Parvez Aslam, Bojan Derajic, Mohamed-Khalil Bouzidi, Sebastian Bernhard, Jan Oliver Ringert |
| 2025 | SEFM | On the Comparison of Learned Classifiers. | Soaibuzzaman, Jenny Dring, Srinivasulu Kasi, Jan Oliver Ringert |
| 2024 | ICSE | Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. | Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert |
| 2023 | FM | Abstract Alloy Instances. | Jan Oliver Ringert, Allison Sullivan |
| 2023 | ICSE | Triggers for Reactive Synthesis Specifications. | Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
| 2023 | ICSE | Anti-Patterns (Smells) in Temporal Specifications. | Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert |
| 2021 | FM | Efficient Algorithms for Omega-Regular Energy Games. | Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
| 2021 | ICSE | Reactive Synthesis with Spectra: A Tutorial. | Shahar Maoz, Jan Oliver Ringert |
| 2020 | MODELS | Semantic comparisons of Alloy models. | Jan Oliver Ringert, Syed Waqee Wali |
| 2019 | ICSE | Symbolic repairs for GR(1) specifications. | Shahar Maoz, Jan Oliver Ringert, Rafi Shalom |
| 2018 | ICSE | On the software engineering challenges of applying reactive synthesis to robotics. | Shahar Maoz, Jan Oliver Ringert |
| 2017 | CAV | Quantitative Assume Guarantee Synthesis. | Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner |
| 2017 | ICSE | Teaching Agile Model-Driven Engineering for Cyber-Physical Systems. | Jan Oliver Ringert, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann |
| 2017 | MODELS | Component and Connector Views in Practice: An Experience Report. | Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern |
| 2017 | MODELS | A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description. | Arvid Butting, Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann |
| 2017 | MODELS | OCL Framework to Verify Extra-Functional Properties in Component and Connector Models. | Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern |
| 2017 | MODELS | Why is My Component and Connector Views Specification Unsatisfiable? | Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom |
| 2016 | ECSA | Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton. | Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann |
| 2016 | MODELS | Consistent Extra-Functional Properties Tagging for Component and Connector Models. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern |
| 2015 | GPCE | Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration). | Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann |
| 2015 | IROS | Modeling robot and world interfaces for reusable tasks. | Robert Heim, Pedram Mir Seyed Nazari, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann |
| 2015 | MODELS | A framework for relating syntactic and semantic model differences. | Shahar Maoz, Jan Oliver Ringert |
| 2015 | MODELS | Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models. | Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann |
| 2015 | SPLC | Behavioral compatibility of simulink models for product line maintenance and evolution. | Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart |
| 2014 | ICSE | Verifying component and connector models against crosscutting structural views. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2014 | MODELS | Multi-Platform Generative Development ofComponent & Connector Systems using Model and Code Libraries. | Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann |
| 2011 | ECOOP | CDDiff: Semantic Differencing for Class Diagrams. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2011 | ECOOP | Modal Object Diagrams. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2011 | MODELS | Semantically Configurable Consistency Analysis for Class and Object Diagrams. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2011 | MODELS | CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2010 | MODELS | A Manifesto for Semantic Model Differencing. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2009 | FORTE | System Model-Based Definition of Modeling Language Semantics. | Hans Grnniger, Jan Oliver Ringert, Bernhard Rumpe |