Publications HAL

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
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
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
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
https://hal.science/hal-04373771/file/RSP_2023.pdf 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
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
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
https://hal.science/tel-04066483/file/HDR_Teodorov.pdf 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
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
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
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
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
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
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
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
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
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
https://ensta-bretagne.hal.science/hal-03188864/file/103882.pdf 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
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
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
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
https://hal.science/hal-02502387/file/2020_A%20Domain-specific%20Modeling%20Framework%20for%20Attack%20Surface%20Modeling_ICISSP.pdf 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
https://hal.science/hal-02441878/file/20200129_paper.pdf 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
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
https://hal.science/hal-02434620/file/LeRoux2019.pdf 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
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
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
https://ensta-bretagne.hal.science/hal-02149584/file/Golra2019.pdf 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
https://hal.science/hal-02433749/file/besnard2019.pdf 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
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
https://hal.science/hal-01933792/file/detect_2018.pdf 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
https://hal.science/hal-01933794/file/medi_2018.pdf 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
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
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
https://ensta-bretagne.hal.science/hal-01804280/file/dominating.pdf 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
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
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
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
https://hal.science/hal-01559688/file/SEFM_2017_paper_73.pdf 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
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
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
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
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
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
https://hal.science/hal-01289454/file/paper_9.pdf 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
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
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
https://hal.science/hal-01203662/file/RelationalAndGraphQueriesOverATransitionSystem.pdf 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
https://hal.science/hal-01203649/file/KriQL_%20a%20query%20language%20for%20labelled%20transition%20systems.pdf 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
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
https://inria.hal.science/hal-01087442/file/date2015_moccml.pdf 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
https://hal.univ-brest.fr/hal-01179474/file/compas2015.pdf 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
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
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
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
https://hal.science/hal-01119571/file/Techniques%20and%20Challenges%20for%20Trace%20Processing%20from%20a%20Model-checking%20Perspective.pdf 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
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
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
https://inria.hal.science/hal-01060601/file/RR-8584.pdf 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
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
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
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
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
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
https://hal.science/tel-02515931/file/manuscript-teodorov_FINAL.pdf 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
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
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
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
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
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
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
BibTex