Skip to Main content
Number of documents

53

CV


Journal articles10 documents

  • Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Distributed algorithm to fight the state explosion problem. INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩. ⟨hal-01716143⟩
  • Ciprian Teodorov, Philippe Dhaussy, Luka Le Roux. Environment-driven reachability for timed systems. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩. ⟨hal-01373335⟩
  • Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. A Parallel Algorithm for the State Space Exploration. Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩. ⟨hal-01373317⟩
  • Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Sequential and Parallel Algorithms for the State Space Exploration". Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩. ⟨hal-01373327⟩
  • Ciprian Teodorov, Luka Le Roux, Zoé Drey, Philippe Dhaussy. Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2016, ⟨10.1002/stvr.1611⟩. ⟨hal-01373287⟩
  • Loic Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani. Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging. Science of Computer Programming, Elsevier, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩. ⟨hal-00998533⟩
  • Philippe Dhaussy, Luka Le Roux, Ciprian Teodorov. Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS. Génie logiciel, C & S, 2014, 109. ⟨hal-01006676⟩
  • Frédéric Jouault, Ciprian Teodorov, Jérôme Delatour, Luka Le Roux, Philippe Dhaussy. Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD. Génie logiciel, C & S, 2014, 109. ⟨hal-01006656⟩
  • Ciprian Teodorov, Loic Lagadec. Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse. Software: Practice and Experience, Wiley, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩. ⟨hal-00782814⟩
  • Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, et al.. Towards a Framework for Designing Applications onto hybrid nano/CMOS fabrics. Microelectronics Journal, Elsevier, 2009, 40 (4-5), pp.656-664. ⟨10.1016/j.mejo.2008.07.072⟩. ⟨hal-00379170⟩

Conference papers37 documents

  • Mihal Brumbulli, Emmanuel Gaudin, Ciprian Teodorov. Automatic Verification of BPMN Models. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02441878⟩
  • Tithnara Sun, Bastien Drouot, Fahad Golra, Joël Champeau, Sylvain Guerin, et al.. A Domain-specific Modeling Framework for Attack Surface Modeling. ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩. ⟨hal-02502387⟩
  • Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, et al.. Designing, Animating, and Verifying Partial UML Models. 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. ⟨hal-02931876⟩
  • Valentin Besnard, Frédéric Jouault, Matthias Brun, C Teodorov, Philippe Dhaussy. Modular Deployment of UML Models for V&V Activities and Embedded Execution. MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩. ⟨hal-02929122⟩
  • Luka Le Roux, Ciprian Teodorov. Partially Bounded Context-Aware Verification. 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⟩. ⟨hal-02434620⟩
  • Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. 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⟩. ⟨hal-02433749⟩
  • Ousmane Diallo, Philippe Dhaussy, Ciprian Teodorov. Data Management Mechanisms for Internet of Things: A position paper. CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩. ⟨hal-02515160⟩
  • Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov. Early Validation Framework for Critical and Complex Process-Centric Systems. 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⟩. ⟨hal-02149584⟩
  • Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. A Model Checkable UML Soccer Player. 3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany. ⟨hal-02375996⟩
  • Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, Ciprian Teodorov. EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML. 18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104. ⟨hal-02375948⟩
  • Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France. ⟨hal-01802247⟩
  • Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support. 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco. ⟨hal-01933792⟩
  • Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. Domain-oriented Verification Management. 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39. ⟨hal-01933794⟩
  • Ahcène Bounceur, Madani Bezoui, Massinissa Lounis, Reinhardt Euler, Ciprian Teodorov. A new dominating tree routing algorithm for efficient leader election in IoT networks. 15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩. ⟨hal-01804280⟩
  • Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models. 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark. ⟨hal-01887948⟩
  • Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. A Diagnosis Framework for Critical Systems Verification. 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6. ⟨hal-01559688⟩
  • Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking. 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⟩. ⟨hal-01780556⟩
  • Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, et al.. Towards one Model Interpreter for Both Design and Deployment. 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States. ⟨hal-01585318⟩
  • Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov. Asserting causal properties in High Level Synthesis. 2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece. ⟨hal-01623030⟩
  • S Heim, Xavier Dumas, E Bonnafous, Philippe Dhaussy, C Teodorov, et al.. Model Checking of SCADE Designed Systems. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01289454⟩
  • Ciprian Teodorov, Luka Leroux, Philippe Dhaussy. Context-Aware Verification of a Cruise-Control System. MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩. ⟨hal-01203701⟩
  • Khaoula Es-Salhi, Siham Rim Boudaoud, Ciprian Teodorov, Zoé Drey, Vincent Ribaud. KriQL: a query language for the diagnosis of transition systems. 15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165. ⟨hal-01203649⟩
  • Siham Rim Boudaoud, Khaoula Es-Salhi, Vincent Ribaud, Ciprian Teodorov. Relational and graph queries over a transition system. International Conference on Computer as a Tool (EUROCON 2015), Sep 2015, Salamanque, Spain. pp.1-6, ⟨10.1109/EUROCON.2015.7313738⟩. ⟨hal-01203662⟩
  • Jean-Philippe Schneider, Joel Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec, et al.. A Role Language to Interpret Multi-Formalism System of Systems Models. Syscon 2015, IEEE, Apr 2015, Vancouver, Canada. ⟨hal-01156518⟩
  • Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs. Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France. ⟨hal-01087442⟩
  • Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective. International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States. ⟨hal-01119571⟩
  • Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau. Towards a Dynamic Infrastructure for Playing withSystems of Systems. ECSA 2014, Aug 2014, Vienne, Austria. ⟨hal-01090362⟩
  • Philippe Dhaussy, Ciprian Teodorov. Context-aware Veri cation of a Landing Gear System. ABZ 2014, Jun 2014, Toulouse, France. pp.52-65. ⟨hal-01006697⟩
  • Ciprian Teodorov, Loic Lagadec. MDE-based FPGA Physical Design Fast Model-Driven Prototyping with Smalltalk. IWST 2011, Aug 2011, Edinburgh, United Kingdom. pp.1-13. ⟨hal-00620820⟩
  • Ciprian Teodorov, Damien Picard, Loic Lagadec. FPGA Physical-Design Automation using Model-Driven Engineering. RECOSOC, Jun 2011, Montpellier, France. pp.1-6. ⟨hal-00598838⟩
  • Ciprian Teodorov, Loic Lagadec. FPGA SDK for Nanoscale Architectures. RECOSOC, Jun 2011, Montpellier, France. pp.1-8. ⟨hal-00598837⟩
  • Ciprian Teodorov, Pritish Narayanan, Loic Lagadec, Catherine Dezan. Regular 2D Nasic-based Architecture and Design Space Exploration. NANOARCH 2011, Jun 2011, San Diego, United States. pp.70-77. ⟨hal-00598850⟩
  • Ciprian Teodorov, Catherine Dezan, Loïc Lagadec. On the Way to Design Computing Architectures with Emerging Nanoscale Technologies. Colloque annuel GDR-SOC-Sip, Jun 2008, Paris, France. ⟨hal-00380878⟩
  • Damien Picard, Bernard Pottier, Ciprian Teodorov. Process System Modeling for RSoC. Reconfigurable Communication-centric Systems-on-Chip workshop., Jul 2008, Barcelone, Spain. Session 6: Mapping and Programming Models. ⟨hal-00491586⟩
  • Cornelia Amariei, Ciprian Teodorov, Erwan Fabiani, Bernard Pottier. Modeling sensor networks as concurrent systems. Fourth International Conference on Networked Sensing Systems, Jun 2007, Braunschweig, Germany. pp.296. ⟨hal-00170104⟩
  • Damien Picard, Bernard Pottier, Ciprian Teodorov. Process Networks on Reconfigurable SoC. AETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France. ⟨hal-00491576⟩
  • Ciprian Teodorov, Joachim Knablein, Bernard Pottier. Quick integration of high level tools in MORPHEUS: The case of SpecEdit. AETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France. ⟨hal-00491577⟩

Book sections2 documents

  • Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking. Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩. ⟨hal-02515020⟩
  • Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Proposed Algorithms to the State Explosion Problem. 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⟩. ⟨hal-02515359⟩

Other publications1 document

  • Catherine Dezan, Thierry Goubier, Ciprian Teodorov, Samar Yazdani, Loïc Lagadec, et al.. Rapport et bilan pour le projet VALMADEO pour l'étape 3. 2008. ⟨hal-00487350⟩

Preprints, Working Papers, ...1 document

  • Sebastián Tleye, Ciprian Teodorov, Erwan Fabiani, Loic Lagadec. Phadeo : un environnement pour FPGA virtuel. 2015. ⟨hal-01179474⟩

Reports1 document

  • Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language. [Research Report] RR-8584, INRIA. 2014, pp.23. ⟨hal-01060601v2⟩

Theses1 document

  • Ciprian Teodorov. Model-Driven Physical-Design for Future Nanoscale Architectures. Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English. ⟨tel-02515931⟩