Nombre de documents

31

CV


Article dans une revue10 documents

  • 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>
  • 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, Philippe Dhaussy, Luka Le Roux. Environment-driven reachability for timed systems. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 18 (84), pp.1-17. <10.1007/s10009-015-0401-2>. <hal-01373335>
  • 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>
  • 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>
  • 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>
  • Ciprian Teodorov, Loïc Lagadec. Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse. International Journal on Software - Practice and Experience, 2013, <10.1002/spe.2190>. <hal-01373392>
  • 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>

Communication dans un congrès18 documents

  • 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. Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), <http://www.erts2016.org/>. <hal-01289454>
  • Ciprian Teodorov, Luka Leroux, Philippe Dhaussy. Context-Aware Verification of a Cruise-Control System. MEDI 2014, Sep 2015, Larnaca, Cyprus. Springer, 8748, pp.53-64, 2015, Model and Data Engineering. <10.1007/978-3-319-11587-0_7>. <hal-01203701>
  • Siham Rim Boudaoud, Khaoula Es-Salhi, Vincent Ribaud, Ciprian Teodorov. Relational and graph queries over a transition system. EUROCON 2015, Sep 2015, Salamanca, Spain. 2015. <hal-01203662>
  • 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. IEEE proceedings of Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015. <hal-01087442>
  • Jean-Philippe Schneider, Joel Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec. A Role Language to Interpret Multi-Formalism System of Systems Models. Syscon 2015, Apr 2015, Vancouver, Canada. 2015, <http://ieeesyscon.org/>. <hal-01156518>
  • Khaoula Es-Salhi, Siham Rim Boudaoud, Ciprian Teodorov, Zoé Drey, Vincent Ribaud. KriQL: a query language for the diagnosis of transition systems. AVOCS'14, Sep 2014, Enschede, Netherlands. 70, 2014, Electronic Communications of the EASST. <hal-01203649>
  • Philippe Dhaussy, Ciprian Teodorov. Context-aware Veri cation of a Landing Gear System. Springer. ABZ 2014, Jun 2014, Toulouse, France. pp.52-65, 2014. <hal-01006697>
  • 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>
  • Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective. CISSE 2014, Dec 2014, Bridgeport, United States. 2014. <hal-01119571>
  • Ciprian Teodorov, Loic Lagadec. FPGA SDK for Nanoscale Architectures. RECOSOC, Jun 2011, Montpellier, France. pp.1-8, 2011. <hal-00598837>
  • Ciprian Teodorov, Damien Picard, Loic Lagadec. FPGA Physical-Design Automation using Model-Driven Engineering. RECOSOC, Jun 2011, Montpellier, France. pp.1-6, 2011. <hal-00598838>
  • 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, 2011. <hal-00598850>
  • 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, 2011. <hal-00620820>
  • 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. J.M. Moreno and G. Sassatelli. Reconfigurable Communication-centric Systems-on-Chip workshop., Jul 2008, Barcelone, Spain. Session 6: Mapping and Programming Models, 2008. <hal-00491586>
  • 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>
  • 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, 2007, ISBN : 1-4244-1231-5. <hal-00170104>

Autre publication1 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. Rapport contrat région (projet PRIR). 2008. <hal-00487350>

Pré-publication, Document de travail1 document

  • Sebastián Tleye, Ciprian Teodorov, Erwan Fabiani, Loic Lagadec. Phadeo : un environnement pour FPGA virtuel. Texte issu de COMPAS'2015. 2015. <hal-01179474>

Rapport1 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>