Dr. Jan O. Ringert Software Engineering Department of Computer Science 3 RWTH Aachen University Ahornstraße 55 D-52074 Aachen ringertse-rwth.de room 4315

About me:

• Since December 2013 I spend most of my time at the School of Computer Science, Tel Aviv University, Israel (contact details in Israel). Contact me well in advance to schedule a meeting at RWTH Aachen.
• From 04/2010 to 03/2013 I held a fellowship of the DFG Research Training Group 1298 - AlgoSyn. I currently hold a fellowship of the Minerva foundation (my CV).

Research Areas

• Formal methods applied to Model-Based Software Engineering
• Semantics of modeling languages

Publications

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.


• [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.