Jan Oliver Ringert

100 papers A* 5A 9B 6C 9Journal 41Unranked 27
YearRankTypeTitle / Venue / Authors
2025 J jnl
Does Every Computer Scientist Need to Know Formal Methods?
Formal Aspects Comput.
Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan
2025 A* conf
Evolution-Aware Heuristics for GR(1) Realizability Checking.
ASE
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert
2025 C conf
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.
Software Engineering
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert
2025 — conf
Model Predictive Control for Crowd Navigation via Learning-Based Trajectory Prediction.
ICINCO (2)
Mohamed Parvez Aslam, Bojan Derajic, Mohamed-Khalil Bouzidi, Sebastian Bernhard, Jan Oliver Ringert
2025 J jnl
Model Predictive Control for Crowd Navigation via Learning-Based Trajectory Prediction.
CoRR
Mohamed Parvez Aslam, Bojan Derajic, Mohamed-Khalil Bouzidi, Sebastian Bernhard, Jan Oliver Ringert
2025 C conf
On Writing Alloy Models: Metrics and a New Dataset.
ABZ
Soaibuzzaman, Salar Kalantari, Jan Oliver Ringert
2025 B conf
On the Comparison of Learned Classifiers.
SEFM
Soaibuzzaman, Jenny Döring, Srinivasulu Kasi, Jan Oliver Ringert
2024 — conf
Introducing GitHub Classroom into a Formal Methods Module.
FMTea
Soaibuzzaman, Jan Oliver Ringert
2024 A* conf
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.
ICSE
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert
2024 J jnl
On Specifying for Trustworthiness.
Commun. ACM
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
2024 C conf
Triggers for Reactive Synthesis Specifications.
Software Engineering
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2023 B conf
Abstract Alloy Instances.
FM
Jan Oliver Ringert, Allison Sullivan
2023 — conf
Anti-Patterns (Smells) in Temporal Specifications.
ICSE (NIER)
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert
2023 J jnl
On Implementing Open World Semantic Differencing for Class Diagrams.
J. Object Technol.
Jan Oliver Ringert, Bernhard Rumpe, Max Stachon
2023 A* conf
Triggers for Reactive Synthesis Specifications.
ICSE
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2023 J jnl
Trustworthy Autonomous Systems Through Verifiability.
Computer
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock
2022 J jnl
On Specifying for Trustworthiness.
CoRR
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
2021 B conf
Efficient Algorithms for Omega-Regular Energy Games.
FM
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2021 — conf
Reactive Synthesis with Spectra: A Tutorial.
ICSE (Companion Volume)
Shahar Maoz, Jan Oliver Ringert
2021 J jnl
Spectra: a specification language for reactive systems.
Softw. Syst. Model.
Shahar Maoz, Jan Oliver Ringert
2020 J jnl
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games.
CoRR
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2020 J jnl
Performance heuristics for GR(1) synthesis and related algorithms.
Acta Informatica
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
2020 A conf
Semantic comparisons of Alloy models.
MoDELS
Jan Oliver Ringert, Syed Waqee Wali
2020 — book
Towards an Isabelle Theory for distributed, interactive systems: The untimed case.
Towards an Isabelle Theory for distributed, interactive systems
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla
2019 J jnl
Spectra: A Specification Language for Reactive Systems.
CoRR
Shahar Maoz, Jan Oliver Ringert
2019 A* conf
Symbolic repairs for GR(1) specifications.
ICSE
Shahar Maoz, Jan Oliver Ringert, Rafi Shalom
2018 J jnl
A framework for relating syntactic and semantic model differences.
Softw. Syst. Model.
Shahar Maoz, Jan Oliver Ringert
2018 C conf
Component and Connector Views in Practice.
Software Engineering
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2018 — conf
On the software engineering challenges of applying reactive synthesis to robotics.
RoSE@ICSE
Shahar Maoz, Jan Oliver Ringert
2017 — conf
A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description.
MoDELS (Satellite Events)
Arvid Butting, Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2017 — conf
A symbolic justice violations transition system for unrealizable GR(1) specifications.
ESEC/SIGSOFT FSE
Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert
2017 A conf
Component and Connector Views in Practice: An Experience Report.
MoDELS
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2017 — conf
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.
MoDELS (Satellite Events)
Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2017 — conf
Performance Heuristics for GR(1) Synthesis and Related Algorithms.
SYNT@CAV
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
2017 — conf
Quantitative Assume Guarantee Synthesis.
CAV (2)
Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner
2017 — conf
Teaching Agile Model-Driven Engineering for Cyber-Physical Systems.
ICSE-SEET
Jan Oliver Ringert, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann
2017 A conf
Why is My Component and Connector Views Specification Unsatisfiable?
MoDELS
Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom
2016 — conf
Consistent Extra-Functional Properties Tagging for Component and Connector Models.
ModComp@MoDELS
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2016 C conf
GR(1) synthesis for LTL specification patterns.
Software Engineering
Shahar Maoz, Jan Oliver Ringert
2016 — conf
On well-separation of GR(1) specifications.
SIGSOFT FSE
Shahar Maoz, Jan Oliver Ringert
2016 B conf
Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton.
ECSA
Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2016 — conf
Symbolic BDD and ADD Algorithms for Energy Games.
SYNT@CAV
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2015 A conf
A framework for relating syntactic and semantic model differences.
MoDELS
Shahar Maoz, Jan Oliver Ringert
2015 J jnl
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton.
CoRR
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2015 J jnl
Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution.
CoRR
Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart
2015 B conf
Behavioral compatibility of simulink models for product line maintenance and evolution.
SPLC
Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart
2015 J jnl
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems.
CoRR
Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe, Andreas Wortmann
2015 B conf
Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration).
GPCE
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2015 J jnl
Editorial for the Software Engineering 2013 Conference.
Comput. Sci. Res. Dev.
Stefan Kowalewski, Jan Oliver Ringert, Bernhard Rumpe
2015 — conf
GR(1) synthesis for LTL specification patterns.
ESEC/SIGSOFT FSE
Shahar Maoz, Jan Oliver Ringert
2015 A conf
Modeling robot and world interfaces for reusable tasks.
IROS
Robert Heim, Pedram Mir Seyed Nazari, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2015 — conf
Synthesizing a Lego Forklift Controller in GR(1): A Case Study.
SYNT
Shahar Maoz, Jan Oliver Ringert
2015 J jnl
Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development.
CoRR
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2015 — conf
Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models.
ModComp@MoDELS
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2015 J jnl
Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models.
CoRR
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2015 — conf
Verifying Component and Connector Models against Crosscutting Structural Views.
Software Engineering & Management
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata.
CoRR
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 J jnl
A Manifesto for Semantic Model Differencing.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems.
CoRR
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 J jnl
ADDiff: Semantic Differencing for Activity Diagrams.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
An Interim Summary on Semantic Model Differencing.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
An Operational Semantics for Activity Diagrams using SMV.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 — conf
Analysis and Synthesis of Interactive Component and Connector Systems.
Joint Workshop of the German Research Training Groups in Computer Science
Jan Oliver Ringert
2014 — —
Analysis and synthesis of interactive component and connector systems.
Jan Oliver Ringert
2014 J jnl
Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems.
CoRR
Markus Look, Antonio Navarro Pérez, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 J jnl
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
CDDiff: Semantic Differencing for Class Diagrams.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 — conf
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems.
MORSE@STAF
Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe, Andreas Wortmann
2014 J jnl
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems.
CoRR
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 C conf
International Workshop on Comparision and Versioning of Software Models (CVSM 2014).
Software Engineering
Pit Pietsch, Udo Kelter, Jan Oliver Ringert
2014 J jnl
Modal Object Diagrams.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems.
CoRR
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
2014 — book
MontiArcAutomaton: Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton.
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 J jnl
MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems.
CoRR
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 J jnl
Multi-Platform Generative Development of Component & Connector Systems using Model and Code Libraries.
CoRR
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 — conf
Multi-Platform Generative Development ofComponent & Connector Systems using Model and Code Libraries.
ModComp@MoDELS
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 J jnl
Report on the International Workshop on Comparison and Versioning of Software Models (CVSM 2014).
Softwaretechnik-Trends
Udo Kelter, Pit Pietsch, Jan Oliver Ringert
2014 J jnl
Semantically Configurable Consistency Analysis for Class and Object Diagrams.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
Summarizing Semantic Model Differences.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 C conf
Synthesis of Component and Connector Models from Crosscutting Structural Views.
Software Engineering
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
Synthesis of Component and Connector Models from Crosscutting Structural Views.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
System Model-Based Definition of Modeling Language Semantics.
CoRR
Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
Towards Architectural Programming of Embedded Systems.
CoRR
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
Verifying Component and Connector Models against Crosscutting Structural Views.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 A* conf
Verifying component and connector models against crosscutting structural views.
ICSE
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2013 — conf
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata.
MBEES
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2013 J jnl
Bericht und Beiträge vom internationalen Workshop
Softwaretechnik-Trends
Udo Kelter, Pit Pietsch, Jan Oliver Ringert
2013 C conf
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems.
Software Engineering (Workshops)
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2013 C conf
International Workshop on Comparison and Versioning of Software Models (CVSM 2013).
Software Engineering
Pit Pietsch, Udo Kelter, Jan Oliver Ringert
2013 — conf
Synthesis of component and connector models from crosscutting structural views.
ESEC/SIGSOFT FSE
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2012 J jnl
An Interim Summary on Semantic Model Differencing.
Softwaretechnik-Trends
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 J jnl
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing.
Int. J. Softw. Informatics
Jan Oliver Ringert, Bernhard Rumpe
2011 — conf
ADDiff: semantic differencing for activity diagrams.
SIGSOFT FSE
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 A conf
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.
MoDELS
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 A conf
CDDiff: Semantic Differencing for Class Diagrams.
ECOOP
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 A conf
Modal Object Diagrams.
ECOOP
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 A conf
Semantically Configurable Consistency Analysis for Class and Object Diagrams.
MoDELS
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2010 — conf
A Manifesto for Semantic Model Differencing.
MoDELS (Workshops)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2010 — conf
Towards Architectural Programming of Embedded Systems.
MBEES
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
2009 — conf
System Model-Based Definition of Modeling Language Semantics.
FMOODS/FORTE
Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe