publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

from https://cv.archives-ouvertes.fr/ciprian-teodorov.

2024

  1. Operation-based versioning as a foundation for live executable models
    Joeri Exelmans , Ciprian Teodorov, and Hans Vangheluwe
    Software and Systems Modeling, Oct 2024

2023

  1. Secured-by-design systems-on-chip: a MBSE Approach
    Raphaële Milan , Loïc Lagadec , Théotime Bollengier , Lilian Bossuet , and Ciprian Teodorov
    In Rapid System Prototyping , Sep 2023
    PDF
  2. Débogage Multivers de Modèles UML
    Matthias Pasquier , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , and Loïc Lagadec
    In AFADL , Jun 2023
  3. AnimUML: a Practical Tool for Partial Model Animation and Analysis
    Frédéric Jouault , Valentin Besnard , Matthias Brun , Théo Le Calvar , Fabien Chhel , Mickaël Clavreul , Jérome Delatour , Maxime Méré , Matthias Pasquier , and Ciprian Teodorov
    Science of Computer Programming, Jun 2023
  4. Temporal Breakpoints for Multiverse Debugging
    Matthias Pasquier , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , Luka Le Roux , and Loïc Lagadec
    In Software Language Engineering 2023 , Oct 2023
  5. Debugging Paxos in the UML Multiverse
    Matthias Pasquier , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , and Loïc Lagadec
    In MODELS-C/MoDeVVa , Oct 2023
  6. G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools
    Ciprian Teodorov
    Apr 2023
    PDF
  7. 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 , Matthias Pasquier , and Ciprian Teodorov
    In IHM/GL-IHM , Apr 2023

2022

  1. Dolmen: FPGA Swarm for Safety and Liveness Verification
    Emilien Fournier , Ciprian Teodorov, and Loïc Lagadec
    In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) , Mar 2022
  2. Practical multiverse debugging through user-defined reductions
    Matthias Pasquier , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , Luka Le Roux , and Loïc Lagadec
    In MODELS ’22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems , Oct 2022
  3. From OCL-based model static analysis to quick fixes
    Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar , Matthias Pasquier , and Ciprian Teodorov
    In 21st International Workshop on OCL and Textual Modeling / MODELS ’22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems , Oct 2022
  4. Procédé de configuration d’un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédé
    Loïc Lagadec , Ciprian Teodorov, Jean-Christophe Le Lann , and Théotime Bollengier
    Apr 2022
  5. Smart Home Model Verification with AnimUML
    Frédéric Jouault , Ciprian Teodorov, and Matthias Brun
    Jul 2022
    Poster

2021

  1. Carnac: Algorithm Variability for Fast Swarm Verification on FPGA
    Emilien Fournier , Ciprian Teodorov, and Loïc Lagadec
    In 2021 31st International Conference on Field-Programmable Logic and Applications (FPL) , Aug 2021
  2. Unified verification and monitoring of executable UML specifications. A transformation-free approach
    Valentin Besnard , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , and Philippe Dhaussy
    Software and Systems Modeling, Nov 2021
  3. Prototyping FPGA through overlays
    Theotime Bollengier , Loïc Lagadec , and Ciprian Teodorov
    In 2021 IEEE International Workshop on Rapid System Prototyping (RSP) , Oct 2021
  4. Security property modeling
    Hiba Hnaini , Luka Le Roux , Joël Champeau , and Ciprian Teodorov
    In 7th International Conference on Information Systems Security and Privacy, ICISSP 2021 , Feb 2021
    PDF
  5. 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 , and Jérôme Delatour
    In MODELS 2021 , Nov 2021

2020

  1. Designing, Animating, and Verifying Partial UML Models
    Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov, Matthias Brun , and J. Delatour
    In 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020) , Oct 2020
  2. A Domain-specific Modeling Framework for Attack Surface Modeling
    Tithnara Nicolas Sun , Bastien Drouot , Fahad R Golra , Joël Champeau , Sylvain Guerin , Luka Le Roux , Raul Mazo , Ciprian Teodorov, Lionel Van Aertryck , and Bernard L ’ Hostis
    In ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy , Feb 2020
    PDF
  3. Modular Deployment of UML Models for V&V Activities and Embedded Execution
    Valentin Besnard , Frédéric Jouault , Matthias Brun , Ciprian Teodorov, and Philippe Dhaussy
    In MoDeVVa , Oct 2020
  4. Automatic Verification of BPMN Models
    Mihal Brumbulli , Emmanuel Gaudin , and Ciprian Teodorov
    In 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020) , Jan 2020
    PDF
  5. Menhir: Generic High-Speed FPGA Model-Checker
    Émilien Fournier , Ciprian Teodorov, and Loïc Lagadec
    In 2020 23rd Euromicro Conference on Digital System Design (DSD) , Aug 2020

2019

  1. Data Management Mechanisms for Internet of Things: A position paper
    Ousmane Diallo , Philippe Dhaussy , and Ciprian Teodorov
    In CSCI 2019 , Dec 2019
  2. 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 , and Ciprian Teodorov
    In 18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels , Jun 2019
  3. A Model Checkable UML Soccer Player
    Valentin Besnard , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , and Philippe Dhaussy
    In 3rd Workshop on Model-Driven Engineering Tools , Sep 2019
  4. Partially Bounded Context-Aware Verification
    Luka Le Roux , and Ciprian Teodorov
    In 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 , Sep 2019
    PDF
  5. Early Validation Framework for Critical and Complex Process-Centric Systems
    Fahad Rafique Golra , Joël Champeau , and Ciprian Teodorov
    In 20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019) , Jun 2019
    PDF
  6. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
    Valentin Besnard , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , and Philippe Dhaussy
    In 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019 , Jun 2019
    PDF

2018

  1. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
    Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov, and Philippe Dhaussy
    In MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems , Jun 2018
  2. A Problem-Oriented Approach to Critical System Design and Diagnosis Support
    Vincent Leilde , Vincent Ribaud , Ciprian Teodorov, and Philippe Dhaussy
    In 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018) , Oct 2018
    PDF
  3. Unified LTL Verification and Embedded Execution of UML Models
    Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov, and Philippe Dhaussy
    In 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) , Oct 2018
  4. Distributed algorithm to fight the state explosion problem
    Lamia Allal , Ghalem Belalem , Philippe Dhaussy , and Ciprian Teodorov
    INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Oct 2018
  5. Domain-oriented Verification Management
    Vincent Leilde , Vincent Ribaud , Ciprian Teodorov, and Philippe Dhaussy
    In 8th International Conference on Model and Data Engineering (MEDI 2018) , Oct 2018
    PDF
  6. Using Parallel and Distributed Reachability in Model Checking
    Lamia Allal , Ghalem Belalem , Philippe Dhaussy , and Ciprian Teodorov
    In Ambient Communications and Computer Systems , Mar 2018
  7. A new dominating tree routing algorithm for efficient leader election in IoT networks
    Ahcène Bounceur , Madani Bezoui , Massinissa Lounis , Reinhardt Euler , and Ciprian Teodorov
    In 15th IEEE Annual Consumer Communications & Networking Conference (CCNC) , Jan 2018
    PDF

2017

  1. Environment-driven reachability for timed systems
    Ciprian Teodorov, Philippe Dhaussy , and Luka Le Roux
    International Journal on Software Tools for Technology Transfer, Apr 2017
  2. Asserting causal properties in High Level Synthesis
    Erwan Fabiani , Loïc Lagadec , Mohamed Ben Hammouda , and Ciprian Teodorov
    In 2017 IEEE 2nd International Verification and Security Workshop (IVSW) , Jul 2017
  3. Towards one Model Interpreter for Both Design and Deployment
    Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , David Olivier , and Ciprian Teodorov
    In 3rd International Workshop on Executable Modeling (EXE 2017) , Sep 2017
  4. Using Parallel and Distributed Reachability in Model Checking
    Lamia Allal , Ghalem Belalem , Philippe Dhaussy , and Ciprian Teodorov
    In Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017) , Sep 2017
  5. A Diagnosis Framework for Critical Systems Verification
    Vincent Leilde , Vincent Ribaud , Ciprian Teodorov, and Philippe Dhaussy
    In 15th International Conference on Software Engineering and Formal Methods, SEFM 2017 , Sep 2017
    PDF

2016

  1. Model Checking of SCADE Designed Systems
    S Heim , Xavier Dumas , E Bonnafous , Philippe Dhaussy , C Teodorov , and Lise Leroux
    In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) , Jan 2016
    PDF
  2. Proposed Algorithms to the State Explosion Problem
    Lamia Allal , Ghalem Belalem , Philippe Dhaussy , and Ciprian Teodorov
    In Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers , Jan 2016
  3. A Parallel Algorithm for the State Space Exploration
    Lamia Allal , Ghalem Belalem , Philippe Dhaussy , and Ciprian Teodorov
    Scalable Computing : Practice and Experience, Sep 2016
  4. Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis
    Ciprian Teodorov, Luka Le Roux , Zoé Drey , and Philippe Dhaussy
    Journal of Software Testing, Verification and Reliability, Aug 2016
  5. Sequential and Parallel Algorithms for the State Space Exploration”
    Lamia Allal , Ghalem Belalem , Philippe Dhaussy , and Ciprian Teodorov
    Cybernetics and Information Technologies, Sep 2016

2015

  1. A Role Language to Interpret Multi-Formalism System of Systems Models
    Jean-Philippe Schneider , Joël Champeau , Ciprian Teodorov, Eric Senn , and Loic Lagadec
    In Syscon 2015 , Apr 2015
  2. Phadeo : un environnement pour FPGA virtuel
    Sebastián Tleye , Ciprian Teodorov, Erwan Fabiani , and Loic Lagadec
    Jul 2015
    Texte issu de COMPAS’2015
    PDF
  3. KriQL: a query language for the diagnosis of transition systems
    Khaoula Es-Salhi , Siham Rim Boudaoud , Ciprian Teodorov, Zoé Drey , and Vincent Ribaud
    In 15th International Workshop on Automated Verification of Critical Systems - AVOCS’15 , Sep 2015
    PDF
  4. Context-Aware Verification of a Cruise-Control System
    Ciprian Teodorov, Luka Leroux , and Philippe Dhaussy
    In MEDI 2014 , Sep 2015
  5. Relational and graph queries over a transition system
    Siham Rim Boudaoud , Khaoula Es-Salhi , Vincent Ribaud , and Ciprian Teodorov
    In International Conference on Computer as a Tool (EUROCON 2015) , Sep 2015
    PDF
  6. Towards a Meta-Language for the Concurrency Concern in DSLs
    Julien Deantoni , Papa Issa Diallo , Ciprian Teodorov, Joël Champeau , and Benoit Combemale
    In Design, Automation and Test in Europe Conference and Exhibition (DATE) , Mar 2015
    PDF

2014

  1. 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 , and Philippe Dhaussy
    Génie logiciel : le magazine de l’ingénierie du logiciel et des systèmes, Jun 2014
  2. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
    Vincent Ribaud , Ciprian Teodorov, Zoé Drey , Luka Leroux , and Philippe Dhaussy
    In International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014 , Dec 2014
    PDF
  3. Vérification formelle de propriétés : Application de l’outil OBP au cas d’étude CCS
    Philippe Dhaussy , Luka Le Roux , and Ciprian Teodorov
    Génie logiciel : le magazine de l’ingénierie du logiciel et des systèmes, Jun 2014
  4. Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging
    Loic Lagadec , Ciprian Teodorov, Jean-Christophe Le Lann , Damien Picard , and Erwan Fabiani
    Science of Computer Programming, Mar 2014
  5. Context-aware Verification of a Landing Gear System
    Philippe Dhaussy , and Ciprian Teodorov
    In ABZ 2014 , Jun 2014
  6. Towards a Dynamic Infrastructure for Playing withSystems of Systems
    Jean-Philippe Schneider , Ciprian Teodorov, Eric Senn , and Joël Champeau
    In ECSA 2014 , Aug 2014
  7. Operational Semantics of the Model of Concurrency and Communication Language
    Julien Deantoni , Papa Issa Diallo , Joël Champeau , Benoit Combemale , and Ciprian Teodorov
    Sep 2014
    PDF

2013

  1. Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse
    Ciprian Teodorov, and Loic Lagadec
    Software: Practice and Experience, Mar 2013
    WOS

2011

  1. FPGA Physical-Design Automation using Model-Driven Engineering
    Ciprian Teodorov, Damien Picard , and Loic Lagadec
    In RECOSOC , Jun 2011
  2. Regular 2D Nasic-based Architecture and Design Space Exploration
    Ciprian Teodorov, Pritish Narayanan , Loic Lagadec , and Catherine Dezan
    In NANOARCH 2011 , Jun 2011
  3. Model-Driven Physical-Design for Future Nanoscale Architectures
    Ciprian Teodorov
    Nov 2011
    PDF
  4. FPGA SDK for Nanoscale Architectures
    Ciprian Teodorov, and Loic Lagadec
    In RECOSOC , Jun 2011
  5. MDE-based FPGA Physical Design Fast Model-Driven Prototyping with Smalltalk
    Ciprian Teodorov, and Loic Lagadec
    In IWST 2011 , Aug 2011

2009

  1. Towards a Framework for Designing Applications onto hybrid nano/CMOS fabrics
    Catherine Dezan , Ciprian Teodorov, Loïc Lagadec , Michael Leuchtenburg , Teng Wang , Pritish Narayanan , and Csaba Andras Moritz
    Microelectronics Journal, Apr 2009

2008

  1. Process System Modeling for RSoC
    Damien Picard , Bernard Pottier , and Ciprian Teodorov
    In Reconfigurable Communication-centric Systems-on-Chip workshop. , Jul 2008
  2. Rapport et bilan pour le projet VALMADEO pour l’étape 3
    Catherine Dezan , Thierry Goubier , Ciprian Teodorov, Samar Yazdani , Loïc Lagadec , Erwan Fabiani , Loïc Le Dréau , Loïc Gueguen , Christophe Jego , and Bernard Pottier
    Nov 2008
    Rapport contrat région (projet PRIR)
  3. On the Way to Design Computing Architectures with Emerging Nanoscale Technologies
    Ciprian Teodorov, Catherine Dezan , and Loïc Lagadec
    In Colloque annuel GDR-SOC-Sip , Jun 2008

2007

  1. Quick integration of high level tools in MORPHEUS: The case of SpecEdit
    Ciprian Teodorov, Joachim Knablein , and Bernard Pottier
    In AETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS’07) , Oct 2007
    Joint meeting between FP6 project MORPHEUS and AETHER http://www.alari.ch/amwas07/overview.html
  2. Modeling sensor networks as concurrent systems
    Cornelia Amariei , Ciprian Teodorov, Erwan Fabiani , and Bernard Pottier
    In Fourth International Conference on Networked Sensing Systems , Jun 2007
  3. Process Networks on Reconfigurable SoC
    Damien Picard , Bernard Pottier , and Ciprian Teodorov
    In AETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS’07) , Oct 2007
    http://www.alari.ch/amwas07/overview.html