Ciprian TEODOROV
Ciprian TEODOROV
Researcher, ENSTA Bretagne, Brest, France
Adresse e-mail validée de teodorov.ro - Page d'accueil
Titre
Citée par
Citée par
Année
Towards a meta-language for the concurrency concern in DSLs
J Deantoni, IP Diallo, C Teodorov, J Champeau, B Combemale
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 313-316, 2015
222015
A new dominating tree routing algorithm for efficient leader election in IoT networks
A Bounceur, M Bezoui, M Lounis, R Euler, C Teodorov
2018 15th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2018
182018
Unified LTL verification and embedded execution of UML models
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
172018
Past‐Free [ze] reachability analysis: reaching further with DAG‐directed exhaustive state‐space analysis
C Teodorov, L Le Roux, Z Drey, P Dhaussy
Software Testing, Verification and Reliability 26 (7), 516-542, 2016
152016
Context-aware verification of a landing gear system
P Dhaussy, C Teodorov
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
152014
Regular 2d nasic-based architecture and design space exploration
C Teodorov, P Narayanan, L Lagadec, C Dezan
2011 IEEE/ACM International Symposium on Nanoscale Architectures, 70-77, 2011
142011
Environment-driven reachability for timed systems
C Teodorov, P Dhaussy, L Le Roux
International Journal on Software Tools for Technology Transfer 19 (2), 229-245, 2017
122017
Towards a framework for designing applications onto hybrid nano/CMOS fabrics
C Dezan, C Teodorov, L Lagadec, M Leuchtenburg, T Wang, ...
Microelectronics journal 40 (4-5), 656-664, 2009
122009
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD
F Jouault, C Teodorov, J Delatour, L Le Roux, P Dhaussy
Génie logiciel 109, xx, 2014
112014
Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging
L Lagadec, C Teodorov, JC Le Lann, D Picard, E Fabiani
Science of Computer Programming 96, 156-174, 2014
82014
Context-aware verification of a cruise-control system
C Teodorov, L Leroux, P Dhaussy
International Conference on Model and Data Engineering, 53-64, 2014
82014
Operational Semantics of the Model of Concurrency and Communication Language
J Deantoni, PI Diallo, J Champeau, B Combemale, C Teodorov
INRIA, 2014
82014
Fpga physical-design automation using model-driven engineering
C Teodorov, D Picard, L Lagadec
6th International Workshop on Reconfigurable Communication-Centric Systems …, 2011
82011
Verifying and Monitoring UML Models with Observer Automata
V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy
IEEE / ACM 22nd International Conference on Model Driven Engineering …, 2019
7*2019
Towards One Model Interpreter for Both Design and Deployment.
V Besnard, M Brun, P Dhaussy, F Jouault, D Olivier, C Teodorov
MODELS (Satellite Events), 102-108, 2017
72017
Modeling sensor networks as concurrent systems
C Amariei, C Teodorov, E Fabiani, B Pottier
2007 Fourth International Conference on Networked Sensing Systems, 296-296, 2007
72007
Sequential and parallel algorithms for the state space exploration
L Allal, G Belalem, P Dhaussy, C Teodorov
Cybernetics and Information Technologies 16 (1), 3-18, 2016
62016
Automatic Verification of BPMN Models
M Brumbulli, E Gaudin, C Teodorov
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), 2020
52020
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Federation of International Conferences on Software Technologies …, 2018
52018
A role language to interpret multi-formalism system of systems models
JP Schneider, J Champeau, C Teodorov, E Senn, L Lagadec
2015 Annual IEEE Systems Conference (SysCon) Proceedings, 200-205, 2015
52015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20