Ciprian Teodorov

Full Professor
75
Documents
Affiliations actuelles
  • École Nationale Supérieure de Techniques Avancées (ENSTA)
  • Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S)

Publications

Publications

Operation-based versioning as a foundation for live executable models

Joeri Exelmans , Ciprian Teodorov , Hans Vangheluwe

Software and Systems Modeling, 2024, 23 (5), ⟨10.1007/s10270-024-01212-x⟩

Article dans une revue hal-04745337v1

AnimUML: a Practical Tool for Partial Model Animation and Analysis

Frédéric Jouault , Valentin Besnard , Matthias Brun , Théo Le Calvar , Fabien Chhel et al.

Science of Computer Programming, 2023, pp.103050. ⟨10.1016/j.scico.2023.103050⟩

Article dans une revue hal-04234580v1

Unified verification and monitoring of executable UML specifications. A transformation-free approach

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy

Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩

Article dans une revue hal-03463358v1

Distributed algorithm to fight the state explosion problem

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov

International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩

Article dans une revue hal-01716143v1

Environment-driven reachability for timed systems

Ciprian Teodorov , Philippe Dhaussy , Luka Le Roux

International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩

Article dans une revue hal-01373335v1

A Parallel Algorithm for the State Space Exploration

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov

Scalable Computing : Practice and Experience, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩

Article dans une revue hal-01373317v1

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis

Ciprian Teodorov , Luka Le Roux , Zoé Drey , Philippe Dhaussy

Journal of Software Testing, Verification and Reliability, 2016, ⟨10.1002/stvr.1611⟩

Article dans une revue istex hal-01373287v1

Sequential and Parallel Algorithms for the State Space Exploration

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov

Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩

Article dans une revue hal-01373327v1

Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS

Philippe Dhaussy , Luka Le Roux , Ciprian Teodorov

Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109

Article dans une revue hal-01006676v1

Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging

Loic Lagadec , Ciprian Teodorov , Jean-Christophe Le Lann , Damien Picard , Erwan Fabiani

Science of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩

Article dans une revue istex hal-00998533v1

Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD

Frédéric Jouault , Ciprian Teodorov , Jérôme Delatour , Luka Le Roux , Philippe Dhaussy

Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109

Article dans une revue hal-01006656v1

Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse

Ciprian Teodorov , Loic Lagadec

Software: Practice and Experience, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩

Article dans une revue istex hal-00782814v1

Towards a Framework for Designing Applications onto hybrid nano/CMOS fabrics

Catherine Dezan , Ciprian Teodorov , Loïc Lagadec , Michael Leuchtenburg , Teng Wang et al.

Microelectronics Journal, 2009, 40 (4-5), pp.656-664. ⟨10.1016/j.mejo.2008.07.072⟩

Article dans une revue istex hal-00379170v1
Deposit thumbnail

The Design Multiverse: A Scientific Model for Design Evolution and Co-evolution

Ciprian Teodorov , Joeri Exelmans , Salvador Martinez , Sylvain Guérin , Hans Vangheluwe

International Conference on Software Engineering, NIER Track, Apr 2026, Rio de Janeiro (Brazil), France. ⟨10.1145/3786582.3786830⟩

Communication dans un congrès hal-05503862v1

Integrating Model Checking into a Live Modeling Environment

Joeri Exelmans , Ciprian Teodorov , Hans Vangheluwe

SLE '25: 18th ACM SIGPLAN International Conference on Software Language Engineering, Jun 2025, Koblenz, Germany. pp.128-133, ⟨10.1145/3732771.3742718⟩

Communication dans un congrès hal-05267247v1

Secure by design Systems on Chip

Loïc Lagadec , Théotime Bollengier , Pascal Cotret , Ciprian Teodorov

Cyber on Board, Naval-Group, May 2025, Hyères, France, France

Communication dans un congrès hal-05077279v1

Temporal Breakpoints for Multiverse Debugging

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux et al.

Software Language Engineering 2023, Oct 2023, Lisbonne, Portugal

Communication dans un congrès hal-04234632v1
Deposit thumbnail

Secured-by-design systems-on-chip: a MBSE Approach

Raphaële Milan , Loïc Lagadec , Théotime Bollengier , Lilian Bossuet , Ciprian Teodorov

Rapid System Prototyping, Sep 2023, Hambourg, Germany. ⟨10.1145/3625223.3649277⟩

Communication dans un congrès hal-04373771v1

Débogage Multivers de Modèles UML

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Loïc Lagadec

AFADL, Jun 2023, Rennes, France

Communication dans un congrès hal-04234535v1

Debugging Paxos in the UML Multiverse

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Loïc Lagadec

MODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden

Communication dans un congrès hal-04234688v1

Génération de correctifs pour les modèles partiels d'AnimUML

Mickaël Clavreul , Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar et al.

IHM/GL-IHM, 2023, Troyes, France

Communication dans un congrès hal-04234501v1

Dolmen: FPGA Swarm for Safety and Liveness Verification

Emilien Fournier , Ciprian Teodorov , Loïc Lagadec

2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩

Communication dans un congrès hal-03708237v1
Deposit thumbnail

Smart Home Model Verification with AnimUML

Frédéric Jouault , Ciprian Teodorov , Matthias Brun

STAF 2022 Workshop MESS’22: International workshop on MDE for Smart IoT Systems, Jul 2022, Nantes, France

Communication dans un congrès hal-04234889v1

From OCL-based model static analysis to quick fixes

Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar , Matthias Pasquier et al.

21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩

Communication dans un congrès hal-03937212v1
Deposit thumbnail

Practical multiverse debugging through user-defined reductions

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux et al.

MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩

Communication dans un congrès hal-03891589v1

Prototyping FPGA through overlays

Theotime Bollengier , Loïc Lagadec , Ciprian Teodorov

2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩

Communication dans un congrès hal-03761788v1

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA

Emilien Fournier , Ciprian Teodorov , Loïc Lagadec

2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩

Communication dans un congrès hal-03550389v1
Deposit thumbnail

Security property modeling

Hiba Hnaini , Luka Le Roux , Joël Champeau , Ciprian Teodorov

7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩

Communication dans un congrès hal-03188864v1

AnimUML as a UML Modeling and Verification Teaching Tool

Frédéric Jouault , Valentin Sebille , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov et al.

MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619

Communication dans un congrès hal-03408698v1

Modular Deployment of UML Models for V&V Activities and Embedded Execution

Valentin Besnard , Frédéric Jouault , Matthias Brun , Ciprian Teodorov , Philippe Dhaussy

MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩

Communication dans un congrès hal-02929122v1
Deposit thumbnail

A Domain-specific Modeling Framework for Attack Surface Modeling

Tithnara Nicolas Sun , Bastien Drouot , Fahad R Golra , Joël Champeau , Sylvain Guerin et al.

ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩

Communication dans un congrès hal-02502387v1

Designing, Animating, and Verifying Partial UML Models

Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun et al.

23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩

Communication dans un congrès hal-02931876v1
Deposit thumbnail

Automatic Verification of BPMN Models

Mihal Brumbulli , Emmanuel Gaudin , Ciprian Teodorov

10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France

Communication dans un congrès hal-02441878v1

Menhir: Generic High-Speed FPGA Model-Checker

Émilien Fournier , Ciprian Teodorov , Loïc Lagadec

2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩

Communication dans un congrès hal-03028409v1

Data Management Mechanisms for Internet of Things: A position paper

Ousmane Diallo , Philippe Dhaussy , Ciprian Teodorov

CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩

Communication dans un congrès hal-02515160v1
Deposit thumbnail

Partially Bounded Context-Aware Verification

Luka Le Roux , Ciprian Teodorov

17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩

Communication dans un congrès hal-02434620v1

A Model Checkable UML Soccer Player

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy

3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany

Communication dans un congrès hal-02375996v1

EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML

Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , Ciprian Teodorov

18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104

Communication dans un congrès hal-02375948v1
Deposit thumbnail

Early Validation Framework for Critical and Complex Process-Centric Systems

Fahad Rafique Golra , Joël Champeau , Ciprian Teodorov

20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩

Communication dans un congrès hal-02149584v1
Deposit thumbnail

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy

22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩

Communication dans un congrès hal-02433749v1

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy

MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France

Communication dans un congrès hal-01802247v1

Unified LTL Verification and Embedded Execution of UML Models

Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy

21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark

Communication dans un congrès hal-01887948v1
Deposit thumbnail

A Problem-Oriented Approach to Critical System Design and Diagnosis Support

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy

1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco

Communication dans un congrès hal-01933792v1
Deposit thumbnail

Domain-oriented Verification Management

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy

8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39

Communication dans un congrès hal-01933794v1

Using Parallel and Distributed Reachability in Model Checking

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov

Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩

Communication dans un congrès hal-01780556v1
Deposit thumbnail

A new dominating tree routing algorithm for efficient leader election in IoT networks

Ahcène Bounceur , Madani Bezoui , Massinissa Lounis , Reinhardt Euler , Ciprian Teodorov

15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩

Communication dans un congrès hal-01804280v1

Towards one Model Interpreter for Both Design and Deployment

Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , David Olivier et al.

3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States

Communication dans un congrès hal-01585318v1

Asserting causal properties in High Level Synthesis

Erwan Fabiani , Loïc Lagadec , Mohamed Ben Hammouda , Ciprian Teodorov

2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece

Communication dans un congrès hal-01623030v1
Deposit thumbnail

A Diagnosis Framework for Critical Systems Verification

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy

15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6

Communication dans un congrès hal-01559688v1
Deposit thumbnail

Model Checking of SCADE Designed Systems

S Heim , Xavier Dumas , E Bonnafous , Philippe Dhaussy , C Teodorov et al.

8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France

Communication dans un congrès hal-01289454v1

A Role Language to Interpret Multi-Formalism System of Systems Models

Jean-Philippe Schneider , Joël Champeau , Ciprian Teodorov , Eric Senn , Loic Lagadec

Syscon 2015, IEEE, Apr 2015, Vancouver, Canada

Communication dans un congrès hal-01156518v1
Deposit thumbnail

KriQL: a query language for the diagnosis of transition systems

Khaoula Es-Salhi , Siham Rim Boudaoud , Ciprian Teodorov , Zoé Drey , Vincent Ribaud

15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165

Communication dans un congrès hal-01203649v1

Context-Aware Verification of a Cruise-Control System

Ciprian Teodorov , Luka Leroux , Philippe Dhaussy

MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩

Communication dans un congrès hal-01203701v1
Deposit thumbnail

Relational and graph queries over a transition system

Siham Rim Boudaoud , Khaoula Es-Salhi , Vincent Ribaud , Ciprian Teodorov

International Conference on Computer as a Tool (EUROCON 2015), Sep 2015, Salamanque, Spain. pp.1-6, ⟨10.1109/EUROCON.2015.7313738⟩

Communication dans un congrès hal-01203662v1
Deposit thumbnail

Towards a Meta-Language for the Concurrency Concern in DSLs

Julien Deantoni , Papa Issa Diallo , Ciprian Teodorov , Joël Champeau , Benoit Combemale

Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France

Communication dans un congrès hal-01087442v1

Context-aware Veri cation of a Landing Gear System

Philippe Dhaussy , Ciprian Teodorov

ABZ 2014, Jun 2014, Toulouse, France. pp.52-65

Communication dans un congrès hal-01006697v1
Deposit thumbnail

Techniques and Challenges for Trace Processing from a Model-Checking Perspective

Vincent Ribaud , Ciprian Teodorov , Zoé Drey , Luka Leroux , Philippe Dhaussy

International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States

Communication dans un congrès hal-01119571v1

Towards a Dynamic Infrastructure for Playing withSystems of Systems

Jean-Philippe Schneider , Ciprian Teodorov , Eric Senn , Joël Champeau

ECSA 2014, Aug 2014, Vienne, Austria

Communication dans un congrès hal-01090362v1

Regular 2D Nasic-based Architecture and Design Space Exploration

Ciprian Teodorov , Pritish Narayanan , Loic Lagadec , Catherine Dezan

NANOARCH 2011, Jun 2011, San Diego, United States. pp.70-77

Communication dans un congrès hal-00598850v1

FPGA Physical-Design Automation using Model-Driven Engineering

Ciprian Teodorov , Damien Picard , Loic Lagadec

RECOSOC, Jun 2011, Montpellier, France. pp.1-6

Communication dans un congrès hal-00598838v1

FPGA SDK for Nanoscale Architectures

Ciprian Teodorov , Loic Lagadec

RECOSOC, Jun 2011, Montpellier, France. pp.1-8

Communication dans un congrès hal-00598837v1

MDE-based FPGA Physical Design Fast Model-Driven Prototyping with Smalltalk

Ciprian Teodorov , Loic Lagadec

IWST 2011, Aug 2011, Edinburgh, United Kingdom. pp.1-13

Communication dans un congrès hal-00620820v1

Process System Modeling for RSoC

Damien Picard , Bernard Pottier , Ciprian Teodorov

Reconfigurable Communication-centric Systems-on-Chip workshop., Jul 2008, Barcelone, Spain. Session 6: Mapping and Programming Models

Communication dans un congrès hal-00491586v1

On the Way to Design Computing Architectures with Emerging Nanoscale Technologies

Ciprian Teodorov , Catherine Dezan , Loïc Lagadec

Colloque annuel GDR-SOC-Sip, Jun 2008, Paris, France

Communication dans un congrès hal-00380878v1

Quick integration of high level tools in MORPHEUS: The case of SpecEdit

Ciprian Teodorov , Joachim Knablein , Bernard Pottier

AETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France

Communication dans un congrès hal-00491577v1

Modeling sensor networks as concurrent systems

Cornelia Amariei , Ciprian Teodorov , Erwan Fabiani , Bernard Pottier

Fourth International Conference on Networked Sensing Systems, Jun 2007, Braunschweig, Germany. pp.296

Communication dans un congrès hal-00170104v1

Process Networks on Reconfigurable SoC

Damien Picard , Bernard Pottier , Ciprian Teodorov

AETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France

Communication dans un congrès hal-00491576v1

Using Parallel and Distributed Reachability in Model Checking

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov

Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩

Chapitre d'ouvrage hal-02515020v1

Proposed Algorithms to the State Explosion Problem

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov

Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩

Chapitre d'ouvrage hal-02515359v1
Deposit thumbnail

Model-Driven Physical-Design for Future Nanoscale Architectures

Ciprian Teodorov

Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English. ⟨NNT : ⟩

Thèse tel-02515931v1