Jan Oliver Ringert -

Registered user since Mon 2 Nov 2015

Name:Jan Oliver Ringert

Country:Germany

Affiliation:Bauhaus-University Weimar

Personal website:http://ringert.blogspot.com/

GitHub:https://github.com/jringert

Research interests:Model-Based Software Engineering

Contributions

ICSE 2023	Author of Anti-Patterns in Temporal Specifications within the NIER - New Ideas and Emerging Results-track Author of Triggers for Reactive Synthesis Specifications within the Technical Track-track
ASE 2022	Committee Member in Program Committee within the Research Papers-track
ASE 2021	Committee Member in Program Committee within the Tool Demonstrations-track
MODELS 2021	Author of Spectra: A Specification Language for Reactive Systems within the Technical Papers-track
ICSE 2021	Author of Reactive Synthesis with Spectra: A Tutorial within the TB - Technical Briefings-track
MODELS 2020	Committee Member in Program Committee within the Tutorials-track Author of Semantic Comparisons of Alloy Models within the Posters-track Author of Semantic Comparisons of Alloy Models within the Technical Track-track
ICSE 2019	Author of Symbolic Repairs for GR(1) Specifications within the Technical Track-track
SLE 2018	Committee Member in Program Committee within the SLE 2018-track
* ICSE 2018 *	Committee Member in Demonstrations Program Committee within the DEMO - Demonstrations -track Session Chair of Model-driven development (part of DEMO - Demonstrations )
SLE 2017	Committee Member in Program Committee within the SLE-track
ECOOP 2016	Committee Member in Artifact Evaluation Committee within the Artifacts-track
GPCE 2015	Author of Composing Code Generators for C&C ADLs With Application-Specific Behavior Languages (Tool Demonstration) within the GPCE-track