2023
Journal articles
- titre
- AnimUML: a Practical Tool for Partial Model Animation and Analysis
- auteur
- 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, Ciprian Teodorov
- article
- Science of Computer Programming, 2023, pp.103050. ⟨10.1016/j.scico.2023.103050⟩
- Accès au bibtex
-
Conference papers
- titre
- Temporal Breakpoints for Multiverse Debugging
- auteur
- Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
- article
- Software Language Engineering 2023, Oct 2023, Lisbonne, Portugal
- Accès au bibtex
-
- titre
- Debugging Paxos in the UML Multiverse
- auteur
- Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
- article
- MODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden
- Accès au bibtex
-
- titre
- Secured-by-design systems-on-chip: a MBSE Approach
- auteur
- Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet, Ciprian Teodorov
- article
- Rapid System Prototyping, Sep 2023, Hambourg, Germany
- Accès au texte intégral et bibtex
-
- titre
- Débogage Multivers de Modèles UML
- auteur
- Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
- article
- AFADL, Jun 2023, Rennes, France
- Accès au bibtex
-
- titre
- Génération de correctifs pour les modèles partiels d'AnimUML
- auteur
- Mickaël Clavreul, Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
- article
- IHM/GL-IHM, 2023, Troyes, France
- Accès au bibtex
-
Habilitation à diriger des recherches
- titre
- G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools
- auteur
- Ciprian Teodorov
- article
- Software Engineering [cs.SE]. Université de Bretagne Occidentale (UBO), Brest, 2023
- Accès au texte intégral et bibtex
-
2022
Conference papers
- titre
- Practical multiverse debugging through user-defined reductions
- auteur
- Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
- article
- 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⟩
- Accès au bibtex
-
- titre
- From OCL-based model static analysis to quick fixes
- auteur
- Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
- article
- 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⟩
- Accès au bibtex
-
- titre
- Dolmen: FPGA Swarm for Safety and Liveness Verification
- auteur
- Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
- article
- 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
- Accès au bibtex
-
Patents
- titre
- Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédé
- auteur
- Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Théotime Bollengier
- article
- France, N° de brevet: FR3115134. 2022
- Accès au bibtex
-
Poster communications
- titre
- Smart Home Model Verification with AnimUML
- auteur
- Frédéric Jouault, Ciprian Teodorov, Matthias Brun
- article
- STAF/MeSS, Jul 2022, Nantes, France
- Accès au bibtex
-
2021
Journal articles
- titre
- Unified verification and monitoring of executable UML specifications. A transformation-free approach
- auteur
- Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
- article
- Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
- Accès au bibtex
-
Conference papers
- titre
- AnimUML as a UML Modeling and Verification Teaching Tool
- auteur
- Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
- article
- MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
- Accès au bibtex
-
- titre
- Prototyping FPGA through overlays
- auteur
- Theotime Bollengier, Loïc Lagadec, Ciprian Teodorov
- article
- 2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩
- Accès au bibtex
-
- titre
- Carnac: Algorithm Variability for Fast Swarm Verification on FPGA
- auteur
- Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
- article
- 2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩
- Accès au bibtex
-
- titre
- Security property modeling
- auteur
- Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov
- article
- 7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
- Accès au texte intégral et bibtex
-
2020
Conference papers
- titre
- Modular Deployment of UML Models for V&V Activities and Embedded Execution
- auteur
- Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy
- article
- MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
- Accès au bibtex
-
- titre
- Designing, Animating, and Verifying Partial UML Models
- auteur
- Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, J. Delatour
- article
- 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
- Accès au bibtex
-
- titre
- Menhir: Generic High-Speed FPGA Model-Checker
- auteur
- Émilien Fournier, Ciprian Teodorov, Loïc Lagadec
- article
- 2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
- Accès au bibtex
-
- titre
- A Domain-specific Modeling Framework for Attack Surface Modeling
- auteur
- Tithnara Nicolas Sun, Bastien Drouot, Fahad R Golra, Joël Champeau, Sylvain Guerin, Luka Le Roux, Raul Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L ' Hostis
- article
- ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatic Verification of BPMN Models
- auteur
- Mihal Brumbulli, Emmanuel Gaudin, Ciprian Teodorov
- article
- 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
- Accès au texte intégral et bibtex
-
2019
Conference papers
- titre
- Data Management Mechanisms for Internet of Things: A position paper
- auteur
- Ousmane Diallo, Philippe Dhaussy, Ciprian Teodorov
- article
- CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
- Accès au bibtex
-
- titre
- Partially Bounded Context-Aware Verification
- auteur
- Luka Le Roux, Ciprian Teodorov
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- A Model Checkable UML Soccer Player
- auteur
- Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
- article
- 3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
- Accès au bibtex
-
- titre
- EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML
- auteur
- Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, Ciprian Teodorov
- article
- 18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104
- Accès au bibtex
-
- titre
- Early Validation Framework for Critical and Complex Process-Centric Systems
- auteur
- Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
- auteur
- Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- Distributed algorithm to fight the state explosion problem
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
- Accès au bibtex
-
Conference papers
- titre
- A Problem-Oriented Approach to Critical System Design and Diagnosis Support
- auteur
- Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
- article
- 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
- Accès au texte intégral et bibtex
-
- titre
- Domain-oriented Verification Management
- auteur
- Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
- article
- 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
- Accès au texte intégral et bibtex
-
- titre
- Unified LTL Verification and Embedded Execution of UML Models
- auteur
- Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
- article
- 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
- Accès au bibtex
-
- titre
- Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
- auteur
- Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
- article
- MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
- Accès au bibtex
-
- titre
- A new dominating tree routing algorithm for efficient leader election in IoT networks
- auteur
- Ahcène Bounceur, Madani Bezoui, Massinissa Lounis, Reinhardt Euler, Ciprian Teodorov
- article
- 15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Using Parallel and Distributed Reachability in Model Checking
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
- Accès au bibtex
-
2017
Journal articles
- titre
- Environment-driven reachability for timed systems
- auteur
- Ciprian Teodorov, Philippe Dhaussy, Luka Le Roux
- article
- International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
- Accès au bibtex
-
Conference papers
- titre
- Towards one Model Interpreter for Both Design and Deployment
- auteur
- Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov
- article
- 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
- Accès au bibtex
-
- titre
- A Diagnosis Framework for Critical Systems Verification
- auteur
- Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
- article
- 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
- Accès au texte intégral et bibtex
-
- titre
- Using Parallel and Distributed Reachability in Model Checking
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- 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⟩
- Accès au bibtex
-
- titre
- Asserting causal properties in High Level Synthesis
- auteur
- Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov
- article
- 2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
- Accès au bibtex
-
2016
Journal articles
- titre
- Sequential and Parallel Algorithms for the State Space Exploration
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩
- Accès au bibtex
-
- titre
- A Parallel Algorithm for the State Space Exploration
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- Scalable Computing : Practice and Experience, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
- Accès au bibtex
-
- titre
- Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis
- auteur
- Ciprian Teodorov, Luka Le Roux, Zoé Drey, Philippe Dhaussy
- article
- Journal of Software Testing, Verification and Reliability, 2016, ⟨10.1002/stvr.1611⟩
- Accès au bibtex
-
Conference papers
- titre
- Model Checking of SCADE Designed Systems
- auteur
- S Heim, Xavier Dumas, E Bonnafous, Philippe Dhaussy, C Teodorov, Lise Leroux
- article
- 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Proposed Algorithms to the State Explosion Problem
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- 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⟩
- Accès au bibtex
-
2015
Conference papers
- titre
- Context-Aware Verification of a Cruise-Control System
- auteur
- Ciprian Teodorov, Luka Leroux, Philippe Dhaussy
- article
- MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩
- Accès au bibtex
-
- titre
- Relational and graph queries over a transition system
- auteur
- Siham Rim Boudaoud, Khaoula Es-Salhi, Vincent Ribaud, Ciprian Teodorov
- article
- International Conference on Computer as a Tool (EUROCON 2015), Sep 2015, Salamanque, Spain. pp.1-6, ⟨10.1109/EUROCON.2015.7313738⟩
- Accès au texte intégral et bibtex
-
- titre
- KriQL: a query language for the diagnosis of transition systems
- auteur
- Khaoula Es-Salhi, Siham Rim Boudaoud, Ciprian Teodorov, Zoé Drey, Vincent Ribaud
- article
- 15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
- Accès au texte intégral et bibtex
-
- titre
- A Role Language to Interpret Multi-Formalism System of Systems Models
- auteur
- Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec
- article
- Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
- Accès au bibtex
-
- titre
- Towards a Meta-Language for the Concurrency Concern in DSLs
- auteur
- Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale
- article
- Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Phadeo : un environnement pour FPGA virtuel
- auteur
- Sebastián Tleye, Ciprian Teodorov, Erwan Fabiani, Loic Lagadec
- article
- 2015
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS
- auteur
- Philippe Dhaussy, Luka Le Roux, Ciprian Teodorov
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
- Accès au bibtex
-
- titre
- Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD
- auteur
- Frédéric Jouault, Ciprian Teodorov, Jérôme Delatour, Luka Le Roux, Philippe Dhaussy
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
- Accès au bibtex
-
- titre
- Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging
- auteur
- Loic Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani
- article
- Science of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
- Accès au bibtex
-
Conference papers
- titre
- Techniques and Challenges for Trace Processing from a Model-Checking Perspective
- auteur
- Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy
- article
- International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
- Accès au texte intégral et bibtex
-
- titre
- Towards a Dynamic Infrastructure for Playing withSystems of Systems
- auteur
- Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau
- article
- ECSA 2014, Aug 2014, Vienne, Austria
- Accès au bibtex
-
- titre
- Context-aware Veri cation of a Landing Gear System
- auteur
- Philippe Dhaussy, Ciprian Teodorov
- article
- ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
- Accès au bibtex
-
Reports
- titre
- Operational Semantics of the Model of Concurrency and Communication Language
- auteur
- Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov
- article
- [Research Report] RR-8584, INRIA. 2014, pp.23
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse
- auteur
- Ciprian Teodorov, Loic Lagadec
- article
- Software: Practice and Experience, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩
- Accès au bibtex
-
2011
Conference papers
- titre
- MDE-based FPGA Physical Design Fast Model-Driven Prototyping with Smalltalk
- auteur
- Ciprian Teodorov, Loic Lagadec
- article
- IWST 2011, Aug 2011, Edinburgh, United Kingdom. pp.1-13
- Accès au bibtex
-
- titre
- FPGA Physical-Design Automation using Model-Driven Engineering
- auteur
- Ciprian Teodorov, Damien Picard, Loic Lagadec
- article
- RECOSOC, Jun 2011, Montpellier, France. pp.1-6
- Accès au bibtex
-
- titre
- FPGA SDK for Nanoscale Architectures
- auteur
- Ciprian Teodorov, Loic Lagadec
- article
- RECOSOC, Jun 2011, Montpellier, France. pp.1-8
- Accès au bibtex
-
- titre
- Regular 2D Nasic-based Architecture and Design Space Exploration
- auteur
- Ciprian Teodorov, Pritish Narayanan, Loic Lagadec, Catherine Dezan
- article
- NANOARCH 2011, Jun 2011, San Diego, United States. pp.70-77
- Accès au bibtex
-
Theses
- titre
- Model-Driven Physical-Design for Future Nanoscale Architectures
- auteur
- Ciprian Teodorov
- article
- Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- Towards a Framework for Designing Applications onto hybrid nano/CMOS fabrics
- auteur
- Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz
- article
- Microelectronics Journal, 2009, 40 (4-5), pp.656-664. ⟨10.1016/j.mejo.2008.07.072⟩
- Accès au bibtex
-
2008
Conference papers
- titre
- Process System Modeling for RSoC
- auteur
- Damien Picard, Bernard Pottier, Ciprian Teodorov
- article
- Reconfigurable Communication-centric Systems-on-Chip workshop., Jul 2008, Barcelone, Spain. Session 6: Mapping and Programming Models
- Accès au bibtex
-
- titre
- On the Way to Design Computing Architectures with Emerging Nanoscale Technologies
- auteur
- Ciprian Teodorov, Catherine Dezan, Loïc Lagadec
- article
- Colloque annuel GDR-SOC-Sip, Jun 2008, Paris, France
- Accès au bibtex
-
Other publications
- titre
- Rapport et bilan pour le projet VALMADEO pour l'étape 3
- auteur
- Catherine Dezan, Thierry Goubier, Ciprian Teodorov, Samar Yazdani, Loïc Lagadec, Erwan Fabiani, Loïc Le Dréau, Loïc Gueguen, Christophe Jego, Bernard Pottier
- article
- 2008
- Accès au bibtex
-
2007
Conference papers
- titre
- Quick integration of high level tools in MORPHEUS: The case of SpecEdit
- auteur
- Ciprian Teodorov, Joachim Knablein, Bernard Pottier
- article
- AETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France
- Accès au bibtex
-
- titre
- Process Networks on Reconfigurable SoC
- auteur
- Damien Picard, Bernard Pottier, Ciprian Teodorov
- article
- AETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France
- Accès au bibtex
-
- titre
- Modeling sensor networks as concurrent systems
- auteur
- Cornelia Amariei, Ciprian Teodorov, Erwan Fabiani, Bernard Pottier
- article
- Fourth International Conference on Networked Sensing Systems, Jun 2007, Braunschweig, Germany. pp.296
- Accès au bibtex
-