Jan Oliver Ringert

According to our database, Jan Oliver Ringert authored at least 68 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

On Specifying for Trustworthiness.

Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder

Commun. ACM, January, 2024

Triggers for Reactive Synthesis Specifications.

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

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

Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Trustworthy Autonomous Systems Through Verifiability.

Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock

Computer, February, 2023

On Implementing Open World Semantic Differencing for Class Diagrams.

Jan Oliver Ringert, Bernhard Rumpe, Max Stachon

J. Object Technol., 2023

Anti-Patterns (Smells) in Temporal Specifications.

Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Abstract Alloy Instances.

Jan Oliver Ringert, Allison Sullivan

Proceedings of the Formal Methods - 25th International Symposium, 2023

2021

Spectra: a specification language for reactive systems.

Shahar Maoz, Jan Oliver Ringert

Softw. Syst. Model., 2021

Reactive Synthesis with Spectra: A Tutorial.

Shahar Maoz, Jan Oliver Ringert

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Efficient Algorithms for Omega-Regular Energy Games.

Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Towards an Isabelle Theory for distributed, interactive systems: The untimed case.

Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla

Aachener Informatik-Berichte, Software Engineering 45, Shaker, ISBN: 978-3-8440-7265-5, 2020

Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games.

Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

CoRR, 2020

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

Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert

Acta Informatica, 2020

Semantic comparisons of Alloy models.

Jan Oliver Ringert, Syed Waqee Wali

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Symbolic repairs for GR(1) specifications.

Shahar Maoz, Jan Oliver Ringert, Rafi Shalom

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

A framework for relating syntactic and semantic model differences.

Shahar Maoz, Jan Oliver Ringert

Softw. Syst. Model., 2018

Component and Connector Views in Practice.

Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the Software Engineering und Software Management 2018, 2018

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

Shahar Maoz, Jan Oliver Ringert

Proceedings of the 1st International Workshop on Robotics Software Engineering, 2018

2017

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

Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Why is My Component and Connector Views Specification Unsatisfiable?

Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.

Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description.

Arvid Butting, Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Component and Connector Views in Practice: An Experience Report.

Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Teaching Agile Model-Driven Engineering for Cyber-Physical Systems.

Jan Oliver Ringert, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training Track, 2017

Quantitative Assume Guarantee Synthesis.

Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Symbolic BDD and ADD Algorithms for Energy Games.

Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

On well-separation of GR(1) specifications.

Shahar Maoz, Jan Oliver Ringert

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

GR(1) synthesis for LTL specification patterns.

Shahar Maoz, Jan Oliver Ringert

Proceedings of the Software Engineering 2016, 2016

Consistent Extra-Functional Properties Tagging for Component and Connector Models.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton.

Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Proceedings of the Software Architecture - 10th European Conference, 2016

2015

Editorial for the Software Engineering 2013 Conference.

Stefan Kowalewski, Jan Oliver Ringert, Bernhard Rumpe

Comput. Sci. Res. Dev., 2015

Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

CoRR, 2015

Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

CoRR, 2015

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

Shahar Maoz, Jan Oliver Ringert

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

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

Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart

Proceedings of the 19th International Conference on Software Product Line, 2015

Verifying Component and Connector Models against Crosscutting Structural Views.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Proceedings of the 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

Modeling robot and world interfaces for reusable tasks.

Robert Heim, Pedram Mir Seyed Nazari, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

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

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2014

Analysis and synthesis of interactive component and connector systems.

Jan Oliver Ringert

PhD thesis, 2014

Report on the International Workshop on Comparison and Versioning of Software Models (CVSM 2014).

Udo Kelter, Pit Pietsch, Jan Oliver Ringert

Softwaretechnik-Trends, 2014

Multi-Platform Generative Development of Component & Connector Systems using Model and Code Libraries.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

CoRR, 2014

MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

CoRR, 2014

A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

CoRR, 2014

An Operational Semantics for Activity Diagrams using SMV.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

CoRR, 2014

Summarizing Semantic Model Differences.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

CoRR, 2014

Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems.

Markus Look, Antonio Navarro Pérez, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

CoRR, 2014

MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems.

Arne Haber, Jan Oliver Ringert, Bernhard Rumpe

CoRR, 2014

Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems.

Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe, Andreas Wortmann

Proceedings of the 1st International Workshop on Model-Driven Robot Software Engineering co-located with International Conference on Software Technologies: Applications and Foundations, 2014

International Workshop on Comparision and Versioning of Software Models (CVSM 2014).

Pit Pietsch, Udo Kelter, Jan Oliver Ringert

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Synthesis of Component and Connector Models from Crosscutting Structural Views.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Multi-Platform Generative Development ofComponent & Connector Systems using Model and Code Libraries.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Analysis and Synthesis of Interactive Component and Connector Systems.

Jan Oliver Ringert

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

MontiArcAutomaton: Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Aachener Informatik-Berichte, Software Engineering 20, Shaker, ISBN: 978-3-8440-3299-4, 2014

2013

Bericht und Beiträge vom internationalen Workshop <i> Comparison and Versioning of Software Models (CVSM 2013)</i> vom 27. Februar 2013 (anläßlich der Multikonferenz Software Engineering (SE 2013), 26. Februar - 1. März 2013 in Aachen).

Udo Kelter, Pit Pietsch, Jan Oliver Ringert

Softwaretechnik-Trends, 2013

From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

International Workshop on Comparison and Versioning of Software Models (CVSM 2013).

Pit Pietsch, Udo Kelter, Jan Oliver Ringert

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata.

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

2012

An Interim Summary on Semantic Model Differencing.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Softwaretechnik-Trends, 2012

2011

A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing.

Jan Oliver Ringert, Bernhard Rumpe

Int. J. Softw. Informatics, 2011

ADDiff: semantic differencing for activity diagrams.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Semantically Configurable Consistency Analysis for Class and Object Diagrams.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Modal Object Diagrams.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

CDDiff: Semantic Differencing for Class Diagrams.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

A Manifesto for Semantic Model Differencing.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the Models in Software Engineering, 2010

Towards Architectural Programming of Embedded Systems.

Arne Haber, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

2009

System Model-Based Definition of Modeling Language Semantics.

Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe

Proceedings of the Formal Techniques for Distributed Systems, 2009