Jan Oliver Ringert
YOU?
Author Swipe
View article: Exploring Development Methods for Reactive Synthesis Specifications
Exploring Development Methods for Reactive Synthesis Specifications Open
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. Despite significant research progress in the past decades, reactive synthesis is still in early-stage o…
View article: Model Predictive Control for Crowd Navigation via Learning-Based Trajectory Prediction
Model Predictive Control for Crowd Navigation via Learning-Based Trajectory Prediction Open
Safe navigation in pedestrian-rich environments remains a key challenge for autonomous robots. This work evaluates the integration of a deep learning-based Social-Implicit (SI) pedestrian trajectory predictor within a Model Predictive Cont…
View article: Does Every Computer Scientist Need to Know Formal Methods?
Does Every Computer Scientist Need to Know Formal Methods? Open
We focus on the integration of Formal Methods as mandatory theme in any Computer Science University curriculum. In particular, when considering the ACM Curriculum for Computer Science, the inclusion of Formal Methods as a mandatory Knowled…
View article: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications Open
Non-well-separation (NWS) is a known quality issue in specifications for reactive synthesis. The problem of NWS occurs when the synthesized system can avoid satisfying its guarantees by preventing the environment from being able to satisfy…
View article: Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications Open
Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
View article: Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications Open
Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
View article: Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications Open
Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
View article: On Specifying for Trustworthiness
On Specifying for Trustworthiness Open
As autonomous systems increasingly become part of our lives, it is crucial to foster trust between humans and these systems, to ensure positive outcomes and mitigate harmful ones.
View article: Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications Open
Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
View article: Evaluation of low-cost microcontroller-based systems for simple sensor applications
Evaluation of low-cost microcontroller-based systems for simple sensor applications Open
Single-board computers, such as Raspberry Pi, have enabled a wide variety of monitoring applications. Microcontroller development boards offer a similar functionality but at a lower cost. Still, they are not widely used, because they are s…
View article: Triggers for Reactive Synthesis Specifications
Triggers for Reactive Synthesis Specifications Open
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. Two of the main challenges in bringing reactive synthesis to practice are its very high worst-case comp…
View article: Anti-Patterns (Smells) in Temporal Specifications
Anti-Patterns (Smells) in Temporal Specifications Open
Temporal specifications are essential inputs for verification and synthesis. Despite their importance, temporal specifications are challenging to write, which might limit their use by software engineers. To this day, almost no quality attr…
View article: Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications Open
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
View article: Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications Open
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
View article: Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications Open
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
View article: Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications Open
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications
View article: On Implementing Open World Semantic Differencing for Class Diagrams.
On Implementing Open World Semantic Differencing for Class Diagrams. Open
Semantic difference analyses support engineers in understanding model-changes on the semantic level and thereby assist change management in Model Driven Development (MDD).A semantic differencing operator for Class Diagrams (CDs) compares t…
View article: On Specifying for Trustworthiness
On Specifying for Trustworthiness Open
As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first need to specify what is required for an AS to be considered t…
View article: Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games Open
$ω$-regular energy games, which are weighted two-player turn-based games with the quantitative objective to keep the energy levels non-negative, have been used in the context of verification and synthesis. The logic of modal $μ$-calculus, …
View article: Symbolic Repairs for GR(1) Specifications
Symbolic Repairs for GR(1) Specifications Open
ICSE'19 paper
View article: Innovations in Model-based Software And Systems Engineering.
Innovations in Model-based Software And Systems Engineering. Open
Engineering software and software intensive systems has become increasingly complex over the last decades. In the ongoing digitalization of all aspects of our lives in almost every domain, including, e.g., mechanical engineering, electrica…
View article: On the software engineering challenges of applying reactive synthesis to robotics
On the software engineering challenges of applying reactive synthesis to robotics Open
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. This short paper discusses the software engineering challenges in applying reactive synthesis to roboti…
View article: Performance Heuristics for GR(1) Synthesis and Related Algorithms
Performance Heuristics for GR(1) Synthesis and Related Algorithms Open
Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this workshop paper we present and evaluate a list of heuristics to potentially reduce running times for GR(1) synthesis and related algori…
View article: Component and Connector Views in Practice: An Experience Report
Component and Connector Views in Practice: An Experience Report Open
Component and Connector (C&C) view specifications, with corresponding verification and synthesis techniques, have been recently suggested as a means for formal yet intuitive structural specification of C&C models. In this paper we report o…