Suivre
Ciprian Teodorov
Ciprian Teodorov
Professor, ENSTA Bretagne, Brest, France
Adresse e-mail validée de ensta-bretagne.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
292018
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
262015
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
232018
Environment-driven reachability for timed systems: Safety verification of an aircraft landing gear system
C Teodorov, P Dhaussy, L Le Roux
International Journal on Software Tools for Technology Transfer 19, 229-245, 2017
222017
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
202016
Designing, animating, and verifying partial UML Models
F Jouault, V Besnard, TL Calvar, C Teodorov, M Brun, J Delatour
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
192020
Automatic verification of BPMN models
M Brumbulli, E Gaudin, C Teodorov
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), 2020
192020
Context-aware verification of a landing gear system
P Dhaussy, C Teodorov
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th …, 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
Unified verification and monitoring of executable UML specifications: a transformation-free approach
V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy
Software and Systems Modeling 20 (6), 1825-1855, 2021
132021
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
13*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
132017
Operational semantics of the model of concurrency and communication language
J Deantoni, PI Diallo, J Champeau, B Combemale, C Teodorov
INRIA, 2014
132014
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: le magazine de l'ingénierie du logiciel et des systèmes 109, xx, 2014
132014
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
132009
Context-aware verification of a cruise-control system
C Teodorov, L Leroux, P Dhaussy
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca …, 2014
102014
Fpga physical-design automation using model-driven engineering
C Teodorov, D Picard, L Lagadec
6th International Workshop on Reconfigurable Communication-Centric Systems …, 2011
102011
Embedded UML model execution to bridge the gap between design and runtime
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
92018
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
92014
Data management mechanisms for IoT: Architecture, challenges and solutions
B Diène, O Diallo, JJPC Rodrigues, ELHM Ndoye, C Teodorov
2020 5th International Conference on Smart and Sustainable Technologies …, 2020
82020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20