Ciprian Teodorov

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 35

Top Topics

Space Exploration

Relational Graph

Top Venues

MoDELS (Companion)

Publications

Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov
AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 232 (2024)
Joeri Exelmans, Ciprian Teodorov, Robert Heinrich, Alexander Egyed, Hans Vangheluwe
Collaborative Live Modelling by Language-Agnostic Versioning. MoDELS (Companion) (2023)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
Debugging Paxos in the UML Multiverse. MoDELS (Companion) (2023)
Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet, Ciprian Teodorov
Secured-by-design systems-on-chip: a MBSE Approach. RSP (2023)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Temporal Breakpoints for Multiverse Debugging. SLE (2023)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Practical multiverse debugging through user-defined reductions: application to UML models. MoDELS (2022)
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
Dolmen: FPGA Swarm for Safety and Liveness Verification. DATE (2022)
Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
From OCL-based model static analysis to quick fixes. MoDELS (Companion) (2022)
Frédéric Jouault, Ciprian Teodorov, Matthias Brun
Smart Home Model Verification with AnimUML (Poster). STAF Workshops (2022)
Théotime Bollengier, Loïc Lagadec, Ciprian Teodorov
Prototyping FPGA through overlays. RSP (2021)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. 20 (6) (2021)
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
Carnac: Algorithm Variability for Fast Swarm Verification on FPGA. FPL (2021)
Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov
Security Property Modeling. ICISSP (2021)
Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
AnimUML as a UML Modeling and Verification Teaching Tool. MoDELS (Companion) (2021)
Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux
Operational design for advanced persistent threats. MoDELS (Companion) (2020)
Tithnara Nicolas Sun, Bastien Drouot, Fahad Rafique Golra, Joël Champeau, Sylvain Guérin, Luka Le Roux, Raúl Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L'Hostis
A Domain-specific Modeling Framework for Attack Surface Modeling. ICISSP (2020)
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
Menhir: Generic High-Speed FPGA Model-Checker. DSD (2020)
Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
Designing, animating, and verifying partial UML Models. MoDELS (2020)
Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour
Modular deployment of UML models for V&V activities and embedded execution. MoDELS (Companion) (2020)
Luka Le Roux, Ciprian Teodorov
Partially Bounded Context-Aware Verification. SEFM (2019)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
A Model Checkable UML Soccer Player. MoDELS (Companion) (2019)
Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov
Early Validation Framework for Critical and Complex Process-Centric Systems. BPMDS/EMMSAD@CAiSE (2019)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. MoDELS (2019)
Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
A Problem-Oriented Approach to Critical System Design and Diagnosis Support. MEDI Workshops (2018)
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. STAF Workshops (2018)
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
Unified LTL Verification and Embedded Execution of UML Models. MoDELS (2018)
Ahcène Bounceur, Madani Bezoui, Massinissa Lounis, Reinhardt Euler, Ciprian Teodorov
A new dominating tree routing algorithm for efficient leader election in IoT networks. CCNC (2018)
Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
Domain-Oriented Verification Management. MEDI (2018)
Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov
Asserting causal properties in High Level Synthesis. IVSW (2017)
Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov
Towards One Model Interpreter for Both Design and Deployment. MoDELS (Satellite Events) (2017)
Ciprian Teodorov, Philippe Dhaussy, Luka Leroux
Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
A Diagnosis Framework for Critical Systems Verification (Short Paper). SEFM (2017)
Zoé Drey, Ciprian Teodorov
Object-oriented design pattern for DSL program monitoring. SLE (2016)
Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. Softw. Test. Verification Reliab. 26 (7) (2016)
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
A Parallel Algorithm for the State Space Exploration. Scalable Comput. Pract. Exp. 17 (2) (2016)
Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec
A role language to interpret multi-formalism System of systems models. SysCon (2015)
Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoît Combemale
Towards a meta-language for the concurrency concern in DSLs. DATE (2015)
Siham Rim Boudaoud, Khaoula Es-Salhi, Vincent Ribaud, Ciprian Teodorov
Relational and graph queries over a transition system. EUROCON (2015)
Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau
Towards a Dynamic Infrastructure for Playing with Systems of Systems. ECSA Workshops (2014)
Philippe Dhaussy, Ciprian Teodorov
Context-Aware Verification of a Landing Gear System. ABZ (Case Study) (2014)
Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani
Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging. Sci. Comput. Program. 96 (2014)
Ciprian Teodorov, Loïc Lagadec
Virtual prototyping of R2D NASIC based FPGA. NANOARCH (2014)
Ciprian Teodorov, Luka Leroux, Philippe Dhaussy
Context-Aware Verification of a Cruise-Control System. MEDI (2014)
Ciprian Teodorov, Loïc Lagadec
Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse. Softw. Pract. Exp. 44 (4) (2014)
Ciprian Teodorov, Damien Picard, Loïc Lagadec
FPGA physical-design automation using Model-Driven Engineering. ReCoSoC (2011)
Ciprian Teodorov, Loïc Lagadec
FPGA SDK for nanoscale architectures. ReCoSoC (2011)
Ciprian Teodorov, Pritish Narayanan, Loïc Lagadec, Catherine Dezan
Regular 2D NASIC-based architecture and design space exploration. NANOARCH (2011)
Ciprian Teodorov, Loïc Lagadec
MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk. IWST (2011)
Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz
Towards a framework for designing applications onto hybrid nano/CMOS fabrics. Microelectron. J. 40 (4-5) (2009)