Accéder directement au contenu
CT

Ciprian Teodorov

Full Professor
71
Documents
Affiliations actuelles
  • 1067623
  • 301846

Publications

AnimUML: a Practical Tool for Partial Model Animation and Analysis

Frédéric Jouault , Valentin Besnard , Matthias Brun , Théo Le Calvar , Fabien Chhel
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
INDERSCIENCE 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

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

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 hal-01373287v1

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 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 hal-00998533v1

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 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 hal-00782814v1

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

Catherine Dezan , Ciprian Teodorov , Loïc Lagadec , Michael Leuchtenburg , Teng Wang
Microelectronics Journal, 2009, 40 (4-5), pp.656-664. ⟨10.1016/j.mejo.2008.07.072⟩
Article dans une revue hal-00379170v1

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

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

Temporal Breakpoints for Multiverse Debugging

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux
Software Language Engineering 2023, Oct 2023, Lisbonne, Portugal
Communication dans un congrès hal-04234632v1
Image document

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
Communication dans un congrès hal-04373771v1

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
IHM/GL-IHM, 2023, Troyes, France
Communication dans un congrès hal-04234501v1

From OCL-based model static analysis to quick fixes

Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar , Matthias Pasquier
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

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

Practical multiverse debugging through user-defined reductions

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux
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
Image document

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

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

AnimUML as a UML Modeling and Verification Teaching Tool

Frédéric Jouault , Valentin Sebille , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov
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
Image document

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

Designing, Animating, and Verifying Partial UML Models

Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun
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
Image document

A Domain-specific Modeling Framework for Attack Surface Modeling

Tithnara Nicolas Sun , Bastien Drouot , Fahad R Golra , Joël Champeau , Sylvain Guerin
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
Image document

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

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

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Communication dans un congrès hal-01585318v1

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

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
Image document

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
Image document

Model Checking of SCADE Designed Systems

S Heim , Xavier Dumas , E Bonnafous , Philippe Dhaussy , C Teodorov
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès hal-01289454v1
Image document

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
Image document

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

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
Image document

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
Image document

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

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

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

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

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

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
Image document

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