default search action
Jan Oliver Ringert
Person information
- affiliation: Bauhaus University, Weimar, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j11]Dhaminda B. Abeywickrama, Amel Bennaceur
, Greg Chance
On Specifying for Trustworthiness. Commun. ACM 67(1): 98-109 (2024) - [c51]Ariel Gorenstein
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. ICSE 2024: 28:1-28:12 - [c50]Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Triggers for Reactive Synthesis Specifications. Software Engineering 2024: 41-42 - [c49]Soaibuzzaman
Introducing GitHub Classroom into a Formal Methods Module. FMTea 2024: 25-42 - 2023
- [j10]Mohammad Reza Mousavi
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023) - [j9]Jan Oliver Ringert, Bernhard Rumpe
On Implementing Open World Semantic Differencing for Class Diagrams. J. Object Technol. 22(2): 1-14 (2023) - [c48]Jan Oliver Ringert
Abstract Alloy Instances. FM 2023: 364-382 - [c47]Dor Ma'ayan
Anti-Patterns (Smells) in Temporal Specifications. ICSE (NIER) 2023: 13-18 - [c46]Gal Amram, Dor Ma'ayan
Triggers for Reactive Synthesis Specifications. ICSE 2023: 729-741 - 2022
- [i28]Dhaminda B. Abeywickrama, Amel Bennaceur
On Specifying for Trustworthiness. CoRR abs/2206.11421 (2022) - 2021
- [j8]Shahar Maoz
Spectra: a specification language for reactive systems. Softw. Syst. Model. 20(5): 1553-1586 (2021) - [c45]Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Efficient Algorithms for Omega-Regular Energy Games. FM 2021: 163-181 - [c44]Shahar Maoz, Jan Oliver Ringert
Reactive Synthesis with Spectra: A Tutorial. ICSE (Companion Volume) 2021: 320-321 - 2020
- [b3]Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe
Towards an Isabelle Theory for distributed, interactive systems: The untimed case. Aachener Informatik-Berichte, Software Engineering 45, Shaker 2020, ISBN 978-3-8440-7265-5, pp. 1-260 - [j7]Elizabeth Firman, Shahar Maoz
Performance heuristics for GR(1) synthesis and related algorithms. Acta Informatica 57(1-2): 37-79 (2020) - [c43]Jan Oliver Ringert
Semantic comparisons of Alloy models. MoDELS 2020: 165-174 - [i27]Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. CoRR abs/2005.00641 (2020)
2010 – 2019
- 2019
- [c42]Shahar Maoz, Jan Oliver Ringert
Symbolic repairs for GR(1) specifications. ICSE 2019: 1016-1026 - [i26]Shahar Maoz, Jan Oliver Ringert:
Spectra: A Specification Language for Reactive Systems. CoRR abs/1904.06668 (2019) - 2018
- [j6]Shahar Maoz
A framework for relating syntactic and semantic model differences. Softw. Syst. Model. 17(3): 753-777 (2018) - [c41]Shahar Maoz
On the software engineering challenges of applying reactive synthesis to robotics. RoSE@ICSE 2018: 17-22 - [c40]Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
Component and Connector Views in Practice. Software Engineering 2018: 97-99 - 2017
- [c39]Shaull Almagor
Quantitative Assume Guarantee Synthesis. CAV (2) 2017: 353-374 - [c38]Jan Oliver Ringert
Teaching Agile Model-Driven Engineering for Cyber-Physical Systems. ICSE-SEET 2017: 127-136 - [c37]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: 10-16 - [c36]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: 24-30 - [c35]Shahar Maoz
Why is My Component and Connector Views Specification Unsatisfiable? MoDELS 2017: 134-144 - [c34]Vincent Bertram, Shahar Maoz
Component and Connector Views in Practice: An Experience Report. MoDELS 2017: 167-177 - [c33]Aviv Kuvent, Shahar Maoz
A symbolic justice violations transition system for unrealizable GR(1) specifications. ESEC/SIGSOFT FSE 2017: 362-372 - [c32]Elizabeth Firman, Shahar Maoz
Performance Heuristics for GR(1) Synthesis and Related Algorithms. SYNT@CAV 2017: 62-80 - 2016
- [c31]Robert Heim, Oliver Kautz
Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton. ECSA 2016: 175-182 - [c30]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
Consistent Extra-Functional Properties Tagging for Component and Connector Models. ModComp@MoDELS 2016: 19-24 - [c29]Shahar Maoz, Jan Oliver Ringert:
GR(1) synthesis for LTL specification patterns. Software Engineering 2016: 103-104 - [c28]Shahar Maoz
On well-separation of GR(1) specifications. SIGSOFT FSE 2016: 362-372 - [c27]Shahar Maoz
Symbolic BDD and ADD Algorithms for Energy Games. SYNT@CAV 2016: 35-54 - 2015
- [j5]Stefan Kowalewski, Jan Oliver Ringert, Bernhard Rumpe
Editorial for the Software Engineering 2013 Conference. Comput. Sci. Res. Dev. 30(3-4): 229-230 (2015) - [c26]Jan Oliver Ringert
Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration). GPCE 2015: 113-116 - [c25]Robert Heim, Pedram Mir Seyed Nazari, Jan Oliver Ringert
Modeling robot and world interfaces for reusable tasks. IROS 2015: 1793-1798 - [c24]Shahar Maoz
A framework for relating syntactic and semantic model differences. MoDELS 2015: 24-33 - [c23]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models. ModComp@MoDELS 2015: 30-35 - [c22]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Verifying Component and Connector Models against Crosscutting Structural Views. Software Engineering & Management 2015: 110-111 - [c21]Shahar Maoz
GR(1) synthesis for LTL specification patterns. ESEC/SIGSOFT FSE 2015: 96-106 - [c20]Bernhard Rumpe
Behavioral compatibility of simulink models for product line maintenance and evolution. SPLC 2015: 141-150 - [c19]Shahar Maoz
Synthesizing a Lego Forklift Controller in GR(1): A Case Study. SYNT 2015: 58-72 - [i25]Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems. CoRR abs/1505.00904 (2015) - [i24]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton. CoRR abs/1509.04505 (2015) - [i23]Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart:
Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution. CoRR abs/1511.05358 (2015) - [i22]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development. CoRR abs/1511.05364 (2015) - [i21]Jan Oliver Ringert, Bernhard Rumpe
Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models. CoRR abs/1511.05365 (2015) - 2014
- [b2]Jan Oliver Ringert, Bernhard Rumpe
MontiArcAutomaton: Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton. Aachener Informatik-Berichte, Software Engineering 20, Shaker 2014, ISBN 978-3-8440-3299-4, pp. 1-83 - [b1]Jan Oliver Ringert:
Analysis and synthesis of interactive component and connector systems. RWTH Aachen University, Germany, Aachener Informatik-Berichte, Software Engineering 19, Shaker 2014, ISBN 978-3-8440-3120-1, pp. 1-450 - [j4]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) - [c18]Jan Oliver Ringert:
Analysis and Synthesis of Interactive Component and Connector Systems. Joint Workshop of the German Research Training Groups in Computer Science 2014: 48 - [c17]Shahar Maoz
Verifying component and connector models against crosscutting structural views. ICSE 2014: 95-105 - [c16]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
Multi-Platform Generative Development ofComponent & Connector Systems using Model and Code Libraries. ModComp@MoDELS 2014: 26-35 - [c15]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Synthesis of Component and Connector Models from Crosscutting Structural Views. Software Engineering 2014: 63-64 - [c14]Pit Pietsch, Udo Kelter, Jan Oliver Ringert:
International Workshop on Comparision and Versioning of Software Models (CVSM 2014). Software Engineering 2014: 209 - [c13]Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe, Andreas Wortmann:
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems. MORSE@STAF 2014: 66-77 - [i20]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Verifying Component and Connector Models against Crosscutting Structural Views. CoRR abs/1406.7136 (2014) - [i19]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems. CoRR abs/1408.5690 (2014) - [i18]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata. CoRR abs/1408.5692 (2014) - [i17]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Synthesis of Component and Connector Models from Crosscutting Structural Views. CoRR abs/1408.5696 (2014) - [i16]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Interim Summary on Semantic Model Differencing. CoRR abs/1409.0384 (2014) - [i15]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems. CoRR abs/1409.0394 (2014) - [i14]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Summarizing Semantic Model Differences. CoRR abs/1409.2307 (2014) - [i13]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems. CoRR abs/1409.2310 (2014) - [i12]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Semantically Configurable Consistency Analysis for Class and Object Diagrams. CoRR abs/1409.2313 (2014) - [i11]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. CoRR abs/1409.2314 (2014) - [i10]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
ADDiff: Semantic Differencing for Activity Diagrams. CoRR abs/1409.2352 (2014) - [i9]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Modal Object Diagrams. CoRR abs/1409.2353 (2014) - [i8]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CDDiff: Semantic Differencing for Class Diagrams. CoRR abs/1409.2355 (2014) - [i7]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Operational Semantics for Activity Diagrams using SMV. CoRR abs/1409.2356 (2014) - [i6]Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
Towards Architectural Programming of Embedded Systems. CoRR abs/1409.2375 (2014) - [i5]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 abs/1409.2388 (2014) - [i4]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
A Manifesto for Semantic Model Differencing. CoRR abs/1409.2485 (2014) - [i3]Arne Haber, Jan Oliver Ringert, Bernhard Rumpe:
MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems. CoRR abs/1409.6578 (2014) - [i2]Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe:
System Model-Based Definition of Modeling Language Semantics. CoRR abs/1409.6589 (2014) - [i1]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
Multi-Platform Generative Development of Component & Connector Systems using Model and Code Libraries. CoRR abs/1412.2962 (2014) - 2013
- [j3]Udo Kelter, Pit Pietsch, Jan Oliver Ringert:
Bericht und Beiträge vom internationalen Workshop Comparison and Versioning of Software Models (CVSM 2013) 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) - [c12]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata. MBEES 2013: 30-43 - [c11]Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems. Software Engineering (Workshops) 2013: 155-170 - [c10]Pit Pietsch, Udo Kelter, Jan Oliver Ringert:
International Workshop on Comparison and Versioning of Software Models (CVSM 2013). Software Engineering 2013: 377 - [c9]Shahar Maoz
Synthesis of component and connector models from crosscutting structural views. ESEC/SIGSOFT FSE 2013: 444-454 - 2012
- [j2]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Interim Summary on Semantic Model Differencing. Softwaretechnik-Trends 32(4) (2012) - 2011
- [j1]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): 29-53 (2011) - [c8]Shahar Maoz, Jan Oliver Ringert
CDDiff: Semantic Differencing for Class Diagrams. ECOOP 2011: 230-254 - [c7]Shahar Maoz, Jan Oliver Ringert
Modal Object Diagrams. ECOOP 2011: 281-305 - [c6]Shahar Maoz, Jan Oliver Ringert
Semantically Configurable Consistency Analysis for Class and Object Diagrams. MoDELS 2011: 153-167 - [c5]Shahar Maoz, Jan Oliver Ringert
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. MoDELS 2011: 592-607 - [c4]Shahar Maoz
ADDiff: semantic differencing for activity diagrams. SIGSOFT FSE 2011: 179-189 - 2010
- [c3]Arne Haber, Jan Oliver Ringert, Bernhard Rumpe:
Towards Architectural Programming of Embedded Systems. MBEES 2010: 13-22 - [c2]Shahar Maoz, Jan Oliver Ringert
A Manifesto for Semantic Model Differencing. MoDELS (Workshops) 2010: 194-203
2000 – 2009
- 2009
- [c1]Hans Grönniger, Jan Oliver Ringert
System Model-Based Definition of Modeling Language Semantics. FMOODS/FORTE 2009: 152-166
Coauthor Index
[j9] [b3] [c40] [c38] [c37] [c36] [c34] [c31] [c30] [j5] [c26] [c25] [c23] [c22] [c20] [i25] [i24] [i23] [i22] [i21] [b2] [c17] [c16] [c15] [c13] [i20] [i19] [i18] [i17] [i16] [i15] [i14] [i13] [i12] [i11] [i10] [i9] [i8] [i7] [i6] [i5] [i4] [i3] [i2] [i1] [c12] [c11] [c9] [j2] [j1] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: