Researcher, ENSTA Bretagne, Brest, France
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
Context-aware verification of a landing gear system
P Dhaussy, C Teodorov
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
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
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
Operational semantics of the model of concurrency and communication language
J Deantoni, PI Diallo, J Champeau, B Combemale, C Teodorov
INRIA, 2014
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
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
Automatic verification of BPMN models
M Brumbulli, E Gaudin, C Teodorov
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), 2020
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
Context-aware verification of a cruise-control system
C Teodorov, L Leroux, P Dhaussy
International Conference on Model and Data Engineering, 53-64, 2014
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
Fpga physical-design automation using model-driven engineering
C Teodorov, D Picard, L Lagadec
6th International Workshop on Reconfigurable Communication-Centric Systems …, 2011
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
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
A domain-specific modeling framework for attack surface modeling
T Sun, B Drouot, F Golra, J Champeau, S Guerin, L Le Roux, R Mazo, ...
ICISSP 2020: 6th International Conference on Information Systems Security …, 2020
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
The system can't perform the operation now. Try again later.
Articles 1–20