Publications

My publications are listed on DBLP, Google Scholar and below.

2024

• Soaibuzzaman, J.O. Ringert. Introducing GitHub Classroom into a Formal Methods Module. Formal Methods Teaching. FMTea 2024. LNCS, vol 14939. Springer (2024)
  
• M. Broy, A. Brucker, A. Fantechi, M. Gleirscher, K. Havelund, M.A. Kuppe, A. Mendes, A. Platzer, J.O. Ringert, A. Sullivan. Does Every Computer Scientist Need to Know Formal Methods?. Form. Asp. Comput. Just Accepted (June 2024)
  
• A. Gorenstein, S. Maoz, J. O. Ringert. Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. ICSE 2024: 28:1-28:12
  
• D. B. Abeywickrama, A. Bennaceur, G. Chance, Y. Demiris, A. Kordoni, M. Levine, L. Moffat, L. Moreau, M. R. Mousavi, B. Nuseibeh, S. Ramamoorthy, J. O. Ringert, J. Wilson, S. Windsor, K. Eder. On Specifying for Trustworthiness. Commun. ACM 67(1): 98-109 (2024)
  
• M.R. Mousavi, A. Cavalcanti, M. Fisher, L. Dennis, R. Hierons, E. Law, R. Richardson, J.O. Ringert, I. Tyukin, J. Woodcock. Trustworthy autonomous systems through verifiability. Commun. ACM 67(1): 98-109 (2024)
  

2023

• G. Amram, D. Ma’ayan, S. Maoz, O. Pistiner, J.O. Ringert: Triggers for Reactive Synthesis Specifications. ICSE'23. IEEE 2023.
  
• J.O. Ringert, B. Rumpe, M. Stachon: On Implementing Open World Semantic Differencing for Class Diagrams. Journal of Object Technology, Volume 22, no. 2 2023.
  
• D. Ma’ayan, S. Maoz, J.O. Ringert: Anti-Patterns (Smells) in Temporal Specifications. ICSE'23 (New Ideas Track). IEEE 2023.
  
• J.O. Ringert, A. Sullivan: Abstract Alloy Instances. FM 2023: 364-382 [💻code]
  
• M.R. Mousavi, A. Cavalcanti, M. Fisher, L. Dennis, R. Hierons, E. Law, R. Richardson, J.O. Ringert, I. Tyukin, J. Woodcock. Trustworthy autonomous systems through verifiability. Computer 56(2): 40-47 (2023)
  

2022

• D.B. Abeywickrama, A. Bennaceur, G. Chance, Y. Demiris, A. Kordoni, M. Levine, L. Moffat, L. Moreau, M.R. Mousavi, B. Nuseibeh, S. Ramamoorthy, J.O. Ringert, J. Wilson, S. Windsor, K. Eder: On Specifying for Trustworthiness. CoRR abs/2206.11421 (2022)
  

2021 

• [AMPR21] G. Amram, S. Maoz, O. Pistiner, J.O. Ringert: Efficient Algorithms for Omega-Regular Energy Games. FM 2021: 163-181
• [MR21b] S. Maoz, J. O. Ringert. Reactive Synthesis with Spectra: A Tutorial. ICSE'21 Companion (technical briefing). IEEE 2021 [project website; 📼playlist;💻example code]
• [MR21a] S. Maoz, J. O. Ringert. Spectra: a specification language for reactive systems. SoSym. Springer 2021 [project website]

 2020 

• [RW20] J. O. Ringert, S. Waqee Wali. Semantic Comparisons of Alloy Models. ACM/IEEE MoDELS'20 (Foundations Track). 2020 Received 🏆Best Paper Award and 🏆ACM Distinguished Paper Award [📼talk;💻code]
• [FMR20] E. Firman, S. Maoz, J. O. Ringert. Performance heuristics for GR(1) synthesis and related algorithms. Acta Informatica. Springer 2020 [project website]
• [AMPR20] G. Amram, S. Maoz, O. Pistiner, J.O. Ringert. Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. arXiv preprint arXiv:2005.00641 (2020).
• [BKR+20] J.C. Bürger, H. Kausch, D. Raco, J.O. Ringert, B. Rumpe, S. Stüber, M. Wiartalla. Towards an Isabelle Theory for distributed, interactive systems - the untimed case. RWTH Aachen University, Technical Report. AIB-2020-02. 2020

 2019

[ADD+19] H. L. S. Araujo, C.D.N. Damasceno, R. Dimitrova, G. Kefalidou, M. Mehtarizadeh, M.R. Mousavi, J. Onime, J.O. Ringert, and J.M. Rojas. Trusted Autonomous Vehicles: an Interactive Exhibit. Proc. of DSCI. IEEE, 2019. 

[MRS19] S. Maoz, J. O. Ringert, R. Shalom: Symbolic repairs for GR(1) specifications. ICSE 2019 [project website]

[HMR+19] K. Hölldobler, J. Michael, J. O. Ringert, B. Rumpe, and A. Wortmann. Innovations in Model-based Software And Systems Engineering, The Journal of Object Technology, 18, pages 1-60, July, 2019. 

[MR19] S. Maoz, J. O. Ringert: Spectra: A Specification Language for Reactive Systems. CoRR abs/1904.06668. 2019

 2018

• [MR18a] S. Maoz, J. O. Ringert: On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics. RoSE@ICSE 2018
• [MR18b] S. Maoz, J. O. Ringert: A Framework for Relating Syntactic and Semantic Model Differences. SoSym 2018.
• [BMR+18] V. Bertram, S. Maoz, J. O. Ringert, B. Rumpe, M. von Wenckstern: Abstract of Component and Connector Views in Practice: An Experience Report (extended abstract).  Software Engineering. pp. 97-99. LNI. 2018.

2017

• [BHR+17] A. Butting, R. Heim, O. Kautz, J. O. Ringert, B. Rumpe, A. Wortmann: A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description. MODELS (Satellite Events) 2017: 10-16
• [MMR+17] S. Maoz, F. Mehlan, J. O. Ringert, B. Rumpe, M. von Wenckstern: OCL Framework to Verify Extra-Functional Properties in Component and Connector Models. MODELS (Satellite Events) 2017: 24-30
• [MRS17] S. Maoz, N. Pomerantz, J. O. Ringert, R. Shalom: Why Is My Component and Connector Views Specification Unsatisfiable?. MoDELS'17 (Foundations Track). 2017.
• [BMR+17] V. Bertram, S. Maoz, J. O. Ringert, B. Rumpe, M. von Wenckstern: Component and Connector Views in Practice: An Experience Report. MoDELS'17 (Practice and Innovation Track). 2017.
• [KMR17] A. Kuvent, S. Maoz, J. O. Ringert: A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications. ESEC/FSE'17. pp.362-372. ACM. 2017.
• [AKRV17] S. Almagor, O. Kupferman, J. O. Ringert, Y. Velner: Quantitative Assume Guarantee Synthesis. CAV 2017, pp.353-374. LNCS 10427, Springer. 2017.
• [FMR17] E. Firman, S. Maoz, J. O. Ringert: Performance Heuristics for GR(1) Synthesis and Related Algorithms. To Appear at SYNT'17 workshop at CAV. 2017.
• [RRSW17] J. O. Ringert, B. Rumpe, C. Schulze, A. Wortmann: Teaching Agile Model-Driven Engineering for Cyber-Physical Systems. ICSE: Software Engineering Education and Training Track. pp.127--136. IEEE. 2017.

2016

• [MR16] S. Maoz, J. O. Ringert: On Well-Separation of GR(1) Specifications. Proc. of FSE 2016, pp.362-372, ACM, 2016.
• [HKR+16] R. Heim, O. Kautz, J. O. Ringert, B. Rumpe, A. Wortmann: Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton. ECSA 2016: p. 175-182. 2016.
• [MRRvW16] S. Maoz, J. O. Ringert, B. Rumpe, M. von Wenckstern: Consistent Extra-Functional Properties Tagging for Component and Connector Models. ModComp 2016: 3rd Workshop on Interplay of Model-Driven and Component-Based Software Engineering and (with MoDELS'16).
• [MPR16] S. Maoz, O. Pistiner, J. O. Ringert: Symbolic BDD and ADD Algorithms for Energy Games. SYNT 2016: 5th Workshop on Synthesis (with CAV'16).
• [RRW16] J. O. Ringert, B. Rumpe, A. Wortmann: Model-Based Specification of Component Behavior with Controlled Underspecification. Modellbasierte Entwicklung eingebetteter Systeme (MBEES’16), pp. 1–12. GI, 2016.
• [MR16] S. Maoz, J. O. Ringert: GR(1) Synthesis for LTL Specification Patterns (extended abstract). In: Software Engineering 2016, GI-Edition Lecture Notes in Informatics, P-252, pp.103-104, 2016.

2015

• [RRRW15] J. O. Ringert, A. Roth, B. Rumpe, A. Wortmann: Language and Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems. Journal of Software Engineering for Robotics (JOSER), Vol. 6, No. 1, 2015.
• [RRW15b] J. O. Ringert, B. Rumpe, A. Wortmann: Composing Code Generators for C&C ADLs with Application-Specific Behavior Languages (Tool Demonstration). In: Conference on Generative Programming: Concepts and Experiences (GPCE’15), pp. 113–116, ACM, 2015.
• [MR15c] S. Maoz and J. O. Ringert. A Framework for Relating Syntactic and Semantic Model Differences. Proc. ACM/IEEE MoDELS'15, 2015. Received 🏆Best Foundation Paper Award
• [MR15b] S. Maoz and J. O. Ringert. GR(1) Synthesis for LTL Specification Patterns. Proc. of ESEC/FSE 2015, pp.96-106, ACM, 2015.
• [RRW15b] J. O. Ringert, B. Rumpe, A. Wortmann. Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models. Proc. 2nd International Workshop on Model-Driven Engineering for Component-Based Systems (ModComp 2015), Ottawa, Canada, 2015. To appear.
• [RRW15a] J. O. Ringert, B. Rumpe, A. Wortmann. Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development. Proc. Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software Engineering, pp.41-47, 2015.
• [HMR+15] R. Heim, P. Mir Seyed Nazari, J. O. Ringert, B. Rumpe, A. Wortmann. Modeling Robot and World Interfaces for Reusable Tasks. Proc. Intelligent Robots and Systems Conference (IROS’15), pp. 1793–1798. IEEE, 2015.
• [MR15a] S. Maoz and J. O. Ringert. Synthesizing a Lego Forklift Controller in GR(1): A Case Study. SYNT 2015: 4th Workshop on Synthesis (with CAV'15). To appear.
• [MRR+15] P. Manhart, J. O. Ringert, B. Rumpe, C. Schulze, M. von Wenckstern. Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution. Proc. of SPLC'15, pp.141-150, ACM, 2015.
• [MRR15] S. Maoz, J. O. Ringert, B. Rumpe: Verifying Component and Connector Models against Crosscutting Structural Views (extended abstract). In: Softwareengineering & Management 2015, GI-Edition Lecture Notes in Informatics, P-239, pp.110-111, 2015.

2014

• [RRW14a] J. O. Ringert, B. Rumpe, A. Wortmann: Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton. Shaker Verlag, ISBN 978-3-8440-3120-1. Aachener Informatik-Berichte, Software Engineering, Band 20, 2014.
• [RRRW14] J. O. Ringert, A. Roth, B. Rumpe, A. Wortmann: Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems. In: Proceedings of the1st International Workshop on Model-Driven Robot Software Engineering (MORSE 2014), York, Great Britain, Volume 1319 of CEUR Workshop Proceedings, 2014.
• [Rin14] J. O. Ringert. Analysis and Synthesis of Interactive Component and Connector Systems. Shaker Verlag, ISBN 978-3-8440-3120-1. Aachener Informatik-Berichte, Software Engineering Band 19. 2014.
• [RRW14] J.O. Ringert, B. Rumpe, A. Wortmann. Multi-Platform Generative Development of Component & Connector Systems using Model and Code Libraries In: Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Systems (ModComp 2014), Valencia, Spain, Volume 1281 of CEUR Workshop Proceedings, Eds.: F. Ciccozzi, M. Tivoli, J. Carlson, CEUR-WS.org, 2014.
• [KPR14] U. Kelter, P. Pietsch, J. O. Ringert. Report on the International Workshop on Comparison and Versioning of Software Models (CVSM 2014) In: Softwaretechnik-Trends, Volume 34, Issue 2, 2014.
• [MRR14] S. Maoz, J. O. Ringert, B. Rumpe: Synthesis of Component and Connector Models from Crosscutting Structural Views (extended abstract) In: Software Engineering 2014, LNI 227, pages 63–64. GI, Köllen Druck+Verlag GmbH, Bonn, 2014.
• [PKR14] P. Pietsch, U. Kelter, J. O. Ringert: International Workshop on Comparison and Versioning of Software Models (CVSM 2014) In: Software Engineering 2014, LNI 227, page 209. GI, Köllen Druck+Verlag GmbH, Bonn, 2014.
• [MRR14] S. Maoz, J.O. Ringert, and B. Rumpe Verifying Component and Connector Models Against Crosscutting Structural Views In: Proceedings 36th International Conference on Software Engineering (ICSE'14), ACM, 2014.

2013

• [LPR+13] M. Look, A. Navarro Perez, J. O. Ringert, B. Rumpe, A. Wortmann. Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems. In: GEMOC Workshop 2013 - International Workshop on The Globalization of Modeling Languages, Miami, Florida (USA), 2013.
• [MRR13] S. Maoz, J. O. Ringert, B. Rumpe. Synthesis of Component and Connector Models from Crosscutting Structural Views. In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), ACM, 2013.
• [KPR13] U. Kelter, P. Pietsch, J. O. Ringert. Bericht und Beiträge vom internationalen Workshop Comparison and Versioning of Software Models (CVSM 2013). In: Softwaretechnik-Trends, Volume 33, Issue 2, 2013.
• [RRW13c] Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann. MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems. In: Workshops and Tutorials Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA), May 6-10, 2013, Karlsruhe, Germany.
• [RRW13b] J. O. Ringert, Bernhard Rumpe, Andreas Wortmann. A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata. In H. Giese, M. Huhn, J. Philipps, and B. Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme. Pages 30-43, 2013
• [RRW13a] J. O. Ringert, B. Rumpe, A. Wortmann. From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems. In: Software Engineering 2013 Workshopband, LNI, pages 155–170. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
• [PKR13a] P. Pietsch, U. Kelter, J. O. Ringert. International Workshop on Comparison and Versioning of Software Models (CVSM 2013). In: Software Engineering 2013, LNI, pages 155–170. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.

2012

• [MRR12] S. Maoz, J. O. Ringert, B. Rumpe. An Interim Summary on Semantic Model Differencing. In: Softwaretechnik-Trends, Volume 32, Issue 4. November, 2012.
• [RRW12] J. O. Ringert, B. Rumpe, A. Wortmann. A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems. In: Modelling and Quality in Requirements Engineering, December, 2012, pp. 133-146.
• [HRR12] A. Haber, J. O. Ringert, B. Rumpe. MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems. RWTH Aachen University, Technical Report. AIB-2012-03. February 2012.

2011

• [MRR11f] S. Maoz, J. O. Ringert, B. Rumpe. Semantically Configurable Consistency Analysis for Class and Object Diagrams. In: Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 153-167, LNCS 6981, 2011. Received 🏆Best Paper Award and 🏆ACM Distinguished Paper Award
• [MRR11e] S. Maoz, J. O. Ringert, B. Rumpe. CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. In: Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 592-607, LNCS 6981, 2011.
• [MRR11d] S. Maoz, J. O. Ringert, B. Rumpe. ADDiff: Semantic Differencing for Activity Diagrams. In: Proc. Euro. Soft. Eng. Conf. and SIGSOFT Symp. on the Foundations of Soft. Eng. (ESEC/FSE'11), pp. 179-189, ACM, 2011.
• [MRR11c] S. Maoz, J. O. Ringert, B. Rumpe. Modal Object Diagrams. In: Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP'11), LNCS 6813, pp. 281-305, Springer, 2011.
• [MRR11b] S. Maoz, J. O. Ringert, B. Rumpe. CDDiff: Semantic Differencing for Class Diagrams. In: Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP'11), LNCS 6813, pp. 230-254, Springer, 2011.
• [MRR11a] S. Maoz, J. O. Ringert, B. Rumpe. An Operational Semantics for Activity Diagrams using SMV. RWTH Aachen University, Technical Report. AIB-2011-07. July 2011.
• [RR11] J. O. Ringert, B. Rumpe. A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing. International Journal of Software and Informatics, Volume 5, Issue 1-2 (2011), Part I, pp. 29-53. July 2011.

2010

• [MRR10] S. Maoz, J. O. Ringert, B. Rumpe. A Manifesto for Semantic Model Differencing. Proc. Int. Workshop on Models and Evolution (ME'10). co-located with MoDELS'10
• [HRR10] A. Haber, J. O. Ringert, B. Rumpe. Towards Architectural Programming of Embedded Systems. Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI. Informatik-Bericht 2010-01, Institut für Software Systems Engineering, TU Braunschweig, 2010

2009

• [GRR09] H. Grönniger, J. O. Ringert, B. Rumpe. System Model-Based Definition of Modeling Language Semantics. Proc. of FMOODS/FORTE 2009, LNCS 5522. Lisbon, Portugal, 2009.