Jan Oliver Ringert

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 32

Top Venues

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

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
On Specifying for Trustworthiness. Commun. ACM 67 (1) (2024)
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. ICSE (2024)
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. Software Engineering (2024)
Jan Oliver Ringert, Bernhard Rumpe, Max Stachon
On Implementing Open World Semantic Differencing for Class Diagrams. J. Object Technol. 22 (2) (2023)
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert
Anti-Patterns (Smells) in Temporal Specifications. ICSE (NIER) (2023)
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. ICSE (2023)
Jan Oliver Ringert, Allison Sullivan
Abstract Alloy Instances. FM (2023)
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
On Specifying for Trustworthiness. CoRR (2022)
Shahar Maoz, Jan Oliver Ringert
Spectra: a specification language for reactive systems. Softw. Syst. Model. 20 (5) (2021)
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Efficient Algorithms for Omega-Regular Energy Games. FM (2021)
Shahar Maoz, Jan Oliver Ringert
Reactive Synthesis with Spectra: A Tutorial. ICSE (Companion Volume) (2021)
Jan Oliver Ringert, Syed Waqee Wali
Semantic comparisons of Alloy models. MoDELS (2020)
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Performance heuristics for GR(1) synthesis and related algorithms. Acta Informatica 57 (1-2) (2020)
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. CoRR (2020)
Shahar Maoz, Jan Oliver Ringert, Rafi Shalom
Symbolic repairs for GR(1) specifications. ICSE (2019)
Shahar Maoz, Jan Oliver Ringert
Spectra: A Specification Language for Reactive Systems. CoRR (2019)
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
Component and Connector Views in Practice. Software Engineering (2018)
Shahar Maoz, Jan Oliver Ringert
On the software engineering challenges of applying reactive synthesis to robotics. RoSE@ICSE (2018)
Shahar Maoz, Jan Oliver Ringert
A framework for relating syntactic and semantic model differences. Softw. Syst. Model. 17 (3) (2018)
Arvid Butting, Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description. MoDELS (Satellite Events) (2017)
Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models. MoDELS (Satellite Events) (2017)
Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert
A symbolic justice violations transition system for unrealizable GR(1) specifications. ESEC/SIGSOFT FSE (2017)
Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner
Quantitative Assume Guarantee Synthesis. CAV (2) (2017)
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Performance Heuristics for GR(1) Synthesis and Related Algorithms. SYNT@CAV (2017)
Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom
Why is My Component and Connector Views Specification Unsatisfiable? MoDELS (2017)
Jan Oliver Ringert, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann
Teaching Agile Model-Driven Engineering for Cyber-Physical Systems. ICSE-SEET (2017)
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
Component and Connector Views in Practice: An Experience Report. MoDELS (2017)
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Symbolic BDD and ADD Algorithms for Energy Games. SYNT@CAV (2016)
Shahar Maoz, Jan Oliver Ringert
On well-separation of GR(1) specifications. SIGSOFT FSE (2016)
Shahar Maoz, Jan Oliver Ringert
GR(1) synthesis for LTL specification patterns. Software Engineering (2016)
Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton. ECSA (2016)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
Consistent Extra-Functional Properties Tagging for Component and Connector Models. ModComp@MoDELS (2016)
Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart
Behavioral compatibility of simulink models for product line maintenance and evolution. SPLC (2015)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Verifying Component and Connector Models against Crosscutting Structural Views. Software Engineering & Management (2015)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models. ModComp@MoDELS (2015)
Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart
Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution. CoRR (2015)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development. CoRR (2015)
Shahar Maoz, Jan Oliver Ringert
A framework for relating syntactic and semantic model differences. MoDELS (2015)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton. CoRR (2015)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models. CoRR (2015)
Stefan Kowalewski, Jan Oliver Ringert, Bernhard Rumpe
Editorial for the Software Engineering 2013 Conference. Comput. Sci. Res. Dev. 30 (3-4) (2015)
Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe, Andreas Wortmann
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems. CoRR (2015)
Robert Heim, Pedram Mir Seyed Nazari, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Modeling robot and world interfaces for reusable tasks. IROS (2015)
Shahar Maoz, Jan Oliver Ringert
Synthesizing a Lego Forklift Controller in GR(1): A Case Study. SYNT (2015)
Shahar Maoz, Jan Oliver Ringert
GR(1) synthesis for LTL specification patterns. ESEC/SIGSOFT FSE (2015)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration). GPCE (2015)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
ADDiff: Semantic Differencing for Activity Diagrams. CoRR (2014)
Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe, Andreas Wortmann
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems. MORSE@STAF (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
An Interim Summary on Semantic Model Differencing. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
An Operational Semantics for Activity Diagrams using SMV. CoRR (2014)
Udo Kelter, Pit Pietsch, Jan Oliver Ringert
Report on the International Workshop on Comparison and Versioning of Software Models (CVSM 2014). Softwaretechnik-Trends 34 (2) (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Modal Object Diagrams. CoRR (2014)
Pit Pietsch, Udo Kelter, Jan Oliver Ringert
International Workshop on Comparision and Versioning of Software Models (CVSM 2014). Software Engineering (2014)
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
Towards Architectural Programming of Embedded Systems. CoRR (2014)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Multi-Platform Generative Development ofComponent & Connector Systems using Model and Code Libraries. ModComp@MoDELS (2014)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Synthesis of Component and Connector Models from Crosscutting Structural Views. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Verifying Component and Connector Models against Crosscutting Structural Views. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
A Manifesto for Semantic Model Differencing. CoRR (2014)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Semantically Configurable Consistency Analysis for Class and Object Diagrams. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Summarizing Semantic Model Differences. CoRR (2014)
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems. CoRR (2014)
Markus Look, Antonio Navarro Pérez, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems. CoRR (2014)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Verifying component and connector models against crosscutting structural views. ICSE (2014)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
CDDiff: Semantic Differencing for Class Diagrams. CoRR (2014)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Multi-Platform Generative Development of Component & Connector Systems using Model and Code Libraries. CoRR (2014)
Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe
System Model-Based Definition of Modeling Language Semantics. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Synthesis of Component and Connector Models from Crosscutting Structural Views. Software Engineering (2014)
Jan Oliver Ringert
Analysis and Synthesis of Interactive Component and Connector Systems. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Synthesis of component and connector models from crosscutting structural views. ESEC/SIGSOFT FSE (2013)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata. MBEES (2013)
Udo Kelter, Pit Pietsch, Jan Oliver Ringert
vom 27. Februar 2013 (anläßlich der Multikonferenz Software Engineering (SE 2013), 26. Februar - 1. März 2013 in Aachen). Softwaretechnik-Trends 33 (2) (2013)
Pit Pietsch, Udo Kelter, Jan Oliver Ringert
International Workshop on Comparison and Versioning of Software Models (CVSM 2013). Software Engineering (2013)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems. Software Engineering (Workshops) (2013)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
An Interim Summary on Semantic Model Differencing. Softwaretechnik-Trends 32 (4) (2012)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
ADDiff: semantic differencing for activity diagrams. SIGSOFT FSE (2011)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
CDDiff: Semantic Differencing for Class Diagrams. ECOOP (2011)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Modal Object Diagrams. ECOOP (2011)
Jan Oliver Ringert, Bernhard Rumpe
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing. Int. J. Softw. Informatics 5 (1-2) (2011)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. MoDELS (2011)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Semantically Configurable Consistency Analysis for Class and Object Diagrams. MoDELS (2011)
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
Towards Architectural Programming of Embedded Systems. MBEES (2010)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
A Manifesto for Semantic Model Differencing. MoDELS (Workshops) (2010)
Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe
System Model-Based Definition of Modeling Language Semantics. FMOODS/FORTE (2009)

Jan Oliver Ringert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Oliver Ringert