Ciprian Teodorov -

Registered user since Tue 23 Aug 2016

Name:Ciprian Teodorov

Country:France

Affiliation:ENSTA | Institut Polytechnique de Paris, Lab-STICC, UMR 6285, Brest, France

Personal website: https://teodorov.github.io/

Contributions

2026

ICSE

Author of The Design Multiverse: A Scientific Model for Design Evolution and Co-evolution within the New Ideas and Emerging Results (NIER)-track

2025

SLE

Author of Integrating Model Checking into a Live Modeling Environment within the SLE 2025-track

2023

SLE

Author of Temporal Breakpoints for Multiverse Debugging within the SLE 2023-track

2022

MODELS

Author of Practical Multiverse Debugging through User-defined Reductions: Application to UML Models within the Technical Track-track

2021

MODELS

Author of AnimUML as a UML Modeling and Verification Teaching Tool within the Technical Papers-track

2020

MODELS

Author of Designing, Animating, and Verifying Partial UML Models within the Technical Track-track

2016

SLE

Author of Object-Oriented Design Pattern for DSL Program Monitoring within the SLE-track