Towards a framework for designing applications onto hybrid nano/CMOS fabrics. - Catherine Dezan; Ciprian Teodorov; Loïc Lagadec; Michael Leuchtenburg; Teng Wang; Pritish Narayanan; Csaba Andras Moritz (Microelectron. J., 2009)

MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk. - Ciprian Teodorov; Loïc Lagadec (IWST, 2011)

Regular 2D NASIC-based architecture and design space exploration. - Ciprian Teodorov; Pritish Narayanan; Loïc Lagadec; Catherine Dezan (NANOARCH, 2011)

FPGA SDK for nanoscale architectures. - Ciprian Teodorov; Loïc Lagadec (ReCoSoC, 2011)

FPGA physical-design automation using Model-Driven Engineering. - Ciprian Teodorov; Damien Picard; Loïc Lagadec (ReCoSoC, 2011)

Model-Driven Physical-Design for Future Nanoscale Architectures. (Synthèse physique dirigée par les modèles pour les architectures nanométriques du futur). - Ciprian Teodorov (2011)

Context-Aware Verification of a Landing Gear System. - Philippe Dhaussy; Ciprian Teodorov (ABZ (Case Study), 2014)

Towards a Dynamic Infrastructure for Playing with Systems of Systems. - Jean-Philippe Schneider; Ciprian Teodorov; Eric Senn; Joël Champeau (ECSA Workshops, 2014)

Context-Aware Verification of a Cruise-Control System. - Ciprian Teodorov; Luka Leroux; Philippe Dhaussy (MEDI, 2014)

Virtual prototyping of R2D NASIC based FPGA. - Ciprian Teodorov; Loïc Lagadec (NANOARCH, 2014)

Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging. - Loïc Lagadec; Ciprian Teodorov; Jean-Christophe Le Lann; Damien Picard; Erwan Fabiani (Sci. Comput. Program., 2014)

Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse. - Ciprian Teodorov; Loïc Lagadec (Softw. Pract. Exp., 2014)

Towards a meta-language for the concurrency concern in DSLs. - Julien Deantoni; Papa Issa Diallo; Ciprian Teodorov; Joël Champeau; Benoît Combemale (DATE, 2015)

Relational and graph queries over a transition system. - Siham Rim Boudaoud; Khaoula Es-Salhi; Vincent Ribaud; Ciprian Teodorov (EUROCON, 2015)

A role language to interpret multi-formalism System of systems models. - Jean-Philippe Schneider; Joël Champeau; Ciprian Teodorov; Eric Senn; Loïc Lagadec (SysCon, 2015)

Object-oriented design pattern for DSL program monitoring. - Zoé Drey; Ciprian Teodorov (SLE, 2016)

A Parallel Algorithm for the State Space Exploration. - Lamia Allal; Ghalem Belalem; Philippe Dhaussy; Ciprian Teodorov (Scalable Comput. Pract. Exp., 2016)

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. - Ciprian Teodorov; Luka Leroux; Zoé Drey; Philippe Dhaussy (Softw. Test. Verification Reliab., 2016)

Asserting causal properties in High Level Synthesis. - Erwan Fabiani; Loïc Lagadec; Mohamed Ben Hammouda; Ciprian Teodorov (IVSW, 2017)

Towards One Model Interpreter for Both Design and Deployment. - Valentin Besnard; Matthias Brun 001; Philippe Dhaussy; Frédéric Jouault; David Olivier; Ciprian Teodorov (MoDELS (Satellite Events), 2017)

A Diagnosis Framework for Critical Systems Verification (Short Paper). - Vincent Leildé; Vincent Ribaud; Ciprian Teodorov; Philippe Dhaussy (SEFM, 2017)

Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system. - Ciprian Teodorov; Philippe Dhaussy; Luka Leroux (Int. J. Softw. Tools Technol. Transf., 2017)

A new dominating tree routing algorithm for efficient leader election in IoT networks. - Ahcène Bounceur; Madani Bezoui; Massinissa Lounis; Reinhardt Euler; Ciprian Teodorov (CCNC, 2018)

A Problem-Oriented Approach to Critical System Design and Diagnosis Support. - Vincent Leildé; Vincent Ribaud; Ciprian Teodorov; Philippe Dhaussy (MEDI Workshops, 2018)

Domain-Oriented Verification Management. - Vincent Leildé; Vincent Ribaud; Ciprian Teodorov; Philippe Dhaussy (MEDI, 2018)

Unified LTL Verification and Embedded Execution of UML Models. - Valentin Besnard; Matthias Brun 001; Frédéric Jouault; Ciprian Teodorov; Philippe Dhaussy (MoDELS, 2018)

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. - Valentin Besnard; Matthias Brun 001; Frédéric Jouault; Ciprian Teodorov; Philippe Dhaussy (STAF Workshops, 2018)

Early Validation Framework for Critical and Complex Process-Centric Systems. - Fahad Rafique Golra; Joël Champeau; Ciprian Teodorov (BPMDS/EMMSAD@CAiSE, 2019)

A Model Checkable UML Soccer Player. - Valentin Besnard; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Philippe Dhaussy (MoDELS (Companion), 2019)

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. - Valentin Besnard; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Philippe Dhaussy (MoDELS, 2019)

Partially Bounded Context-Aware Verification. - Luka Le Roux; Ciprian Teodorov (SEFM, 2019)

Menhir: Generic High-Speed FPGA Model-Checker. - Emilien Fournier; Ciprian Teodorov; Loïc Lagadec (DSD, 2020)

A Domain-specific Modeling Framework for Attack Surface Modeling. - 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 (ICISSP, 2020)

Modular deployment of UML models for V&V activities and embedded execution. - Valentin Besnard; Frédéric Jouault; Matthias Brun 001; Ciprian Teodorov; Philippe Dhaussy; Jérôme Delatour (MoDELS (Companion), 2020)

Designing, animating, and verifying partial UML Models. - Frédéric Jouault; Valentin Besnard; Théo Le Calvar; Ciprian Teodorov; Matthias Brun 001; Jérôme Delatour (MoDELS, 2020)

Operational design for advanced persistent threats. - Tithnara Nicolas Sun; Ciprian Teodorov; Luka Le Roux (MoDELS (Companion), 2020)

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA. - Emilien Fournier; Ciprian Teodorov; Loïc Lagadec (FPL, 2021)

Security Property Modeling. - Hiba Hnaini; Luka Le Roux; Joël Champeau; Ciprian Teodorov (ICISSP, 2021)

AnimUML as a UML Modeling and Verification Teaching Tool. - Frédéric Jouault; Valentin Sebille; Valentin Besnard; Théo Le Calvar; Ciprian Teodorov; Matthias Brun 001; Jérôme Delatour (MoDELS (Companion), 2021)

Prototyping FPGA through overlays. - Théotime Bollengier; Loïc Lagadec; Ciprian Teodorov (RSP, 2021)

Unified verification and monitoring of executable UML specifications. - Valentin Besnard; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Philippe Dhaussy (Softw. Syst. Model., 2021)

Dolmen: FPGA Swarm for Safety and Liveness Verification. - Emilien Fournier; Ciprian Teodorov; Loïc Lagadec (DATE, 2022)

From OCL-based model static analysis to quick fixes. - Frédéric Jouault; Maxime Méré; Matthias Brun 001; Théo Le Calvar; Matthias Pasquier; Ciprian Teodorov (MoDELS (Companion), 2022)

Practical multiverse debugging through user-defined reductions: application to UML models. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Luka Le Roux; Loïc Lagadec (MoDELS, 2022)

Smart Home Model Verification with AnimUML (Poster). - Frédéric Jouault; Ciprian Teodorov; Matthias Brun 001 (STAF Workshops, 2022)

G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools. (G∀min∃ : Exploration de la frontière entre les langages de spécification exécutables et les outils d'analyse du comportement). - Ciprian Teodorov (2023)

Collaborative Live Modelling by Language-Agnostic Versioning. - Joeri Exelmans; Ciprian Teodorov; Robert Heinrich; Alexander Egyed; Hans Vangheluwe (MoDELS (Companion), 2023)

Debugging Paxos in the UML Multiverse. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Loïc Lagadec (MoDELS (Companion), 2023)

Secured-by-design systems-on-chip: a MBSE Approach. - Raphaële Milan; Loïc Lagadec; Théotime Bollengier; Lilian Bossuet; Ciprian Teodorov (RSP, 2023)

Temporal Breakpoints for Multiverse Debugging. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Luka Le Roux; Loïc Lagadec (SLE, 2023)

AnimUML: A practical tool for partial model animation and analysis. - Frédéric Jouault; Valentin Besnard; Matthias Brun 001; Théo Le Calvar; Fabien Chhel; Mickael Clavreul; Jérôme Delatour; Maxime Méré; Matthias Pasquier; Ciprian Teodorov (Sci. Comput. Program., 2024)

Integrating Model Checking into a Live Modeling Environment. - Joeri Exelmans; Ciprian Teodorov; Hans Vangheluwe (SLE, 2025)

Operation-based versioning as a foundation for live executable models. - Joeri Exelmans; Ciprian Teodorov; Hans Vangheluwe (Softw. Syst. Model., 2025)