Jan Oliver Ringert -

Registered user since Mon 2 Nov 2015

Name:Jan Oliver Ringert

Country:United Kingdom

Affiliation:King's College London

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

GitHub:https://github.com/jringert

Research interests:Model-Based Software Engineering

Contributions

MODELS 2021	Author of Spectra: A Specification Language for Reactive Systems within the Technical Papers-track
ASE 2021	Committee Member in Program Committee within the Tool Demonstrations-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 2021	Author of Reactive Synthesis with Spectra: A Tutorial within the TB - Technical Briefings-track
SLE 2018	Committee Member in Program Committee within the SLE 2018-track
ICSE 2019	Author of Symbolic Repairs for GR(1) Specifications within the Technical Track-track
SLE 2017	Committee Member in Program Committee within the SLE-track
* ICSE 2018 *	Committee Member in Demonstrations Program Committee within the DEMO - Demonstrations -track Session Chair of Model-driven development (part of DEMO - Demonstrations )
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