Ciprian Teodorov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
12
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSE | The Design Multiverse: A Scientific Model for Design Evolution and Co-evolution. | Ciprian Teodorov, Joeri Exelmans, Salvador Martnez, Sylvain Gurin, Hans Vangheluwe |
| 2025 | SLE | Integrating Model Checking into a Live Modeling Environment. | Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe |
| 2023 | MODELS | Collaborative Live Modelling by Language-Agnostic Versioning. | Joeri Exelmans, Ciprian Teodorov, Robert Heinrich, Alexander Egyed, Hans Vangheluwe |
| 2023 | MODELS | Debugging Paxos in the UML Multiverse. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Loc Lagadec |
| 2023 | RSP | Secured-by-design systems-on-chip: a MBSE Approach. | Raphale Milan, Loc Lagadec, Thotime Bollengier, Lilian Bossuet, Ciprian Teodorov |
| 2023 | SLE | Temporal Breakpoints for Multiverse Debugging. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2022 | DATE | Dolmen: FPGA Swarm for Safety and Liveness Verification. | Emilien Fournier, Ciprian Teodorov, Loc Lagadec |
| 2022 | MODELS | From OCL-based model static analysis to quick fixes. | Frdric Jouault, Maxime Mr, Matthias Brun, Tho Le Calvar, Matthias Pasquier, Ciprian Teodorov |
| 2022 | MODELS | Practical multiverse debugging through user-defined reductions: application to UML models. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2021 | FPL | Carnac: Algorithm Variability for Fast Swarm Verification on FPGA. | Emilien Fournier, Ciprian Teodorov, Loc Lagadec |
| 2021 | ICISSP | Security Property Modeling. | Hiba Hnaini, Luka Le Roux, Jol Champeau, Ciprian Teodorov |
| 2021 | MODELS | AnimUML as a UML Modeling and Verification Teaching Tool. | Frdric Jouault, Valentin Sebille, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2021 | RSP | Prototyping FPGA through overlays. | Thotime Bollengier, Loc Lagadec, Ciprian Teodorov |
| 2020 | DSD | Menhir: Generic High-Speed FPGA Model-Checker. | Emilien Fournier, Ciprian Teodorov, Loc Lagadec |
| 2020 | ICISSP | A Domain-specific Modeling Framework for Attack Surface Modeling. | Tithnara Nicolas Sun, Bastien Drouot, Fahad Rafique Golra, Jol Champeau, Sylvain Gurin, Luka Le Roux, Ral Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L'Hostis |
| 2020 | MODELS | Modular deployment of UML models for V&V activities and embedded execution. | Valentin Besnard, Frdric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jrme Delatour |
| 2020 | MODELS | Designing, animating, and verifying partial UML Models. | Frdric Jouault, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2020 | MODELS | Operational design for advanced persistent threats. | Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux |
| 2019 | CaiSE | Early Validation Framework for Critical and Complex Process-Centric Systems. | Fahad Rafique Golra, Jol Champeau, Ciprian Teodorov |
| 2019 | MODELS | A Model Checkable UML Soccer Player. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2019 | MODELS | Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2019 | SEFM | Partially Bounded Context-Aware Verification. | Luka Le Roux, Ciprian Teodorov |
| 2018 | MEDI | A Problem-Oriented Approach to Critical System Design and Diagnosis Support. | Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2018 | MEDI | Domain-Oriented Verification Management. | Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2018 | MODELS | Unified LTL Verification and Embedded Execution of UML Models. | Valentin Besnard, Matthias Brun, Frdric Jouault, Ciprian Teodorov, Philippe Dhaussy |
| 2017 | MODELS | Towards One Model Interpreter for Both Design and Deployment. | Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frdric Jouault, David Olivier, Ciprian Teodorov |
| 2017 | SEFM | A Diagnosis Framework for Critical Systems Verification (Short Paper). | Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2016 | SLE | Object-oriented design pattern for DSL program monitoring. | Zo Drey, Ciprian Teodorov |
| 2015 | DATE | Towards a meta-language for the concurrency concern in DSLs. | Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Jol Champeau, Benot Combemale |
| 2014 | ECSA | Towards a Dynamic Infrastructure for Playing with Systems of Systems. | Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Jol Champeau |
| 2014 | MEDI | Context-Aware Verification of a Cruise-Control System. | Ciprian Teodorov, Luka Leroux, Philippe Dhaussy |