| 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 | 24 | 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 | 22 | 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 | 19 | 2018 |
| 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 | 17 | 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 | 16 | 2014 |
| 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 | 15 | 2017 |
| 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 | 14 | 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 | 13 | 2009 |
| Operational semantics of the model of concurrency and communication language J Deantoni, PI Diallo, J Champeau, B Combemale, C Teodorov INRIA, 2014 | 12 | 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 | 12 | 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 | 11* | 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 | 10 | 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 | 9 | 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 | 9 | 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 | 8 | 2014 |
| Fpga physical-design automation using model-driven engineering C Teodorov, D Picard, L Lagadec 6th International Workshop on Reconfigurable Communication-Centric Systems …, 2011 | 8 | 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 | 7 | 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 | 6 | 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 | 6 | 2018 |
| 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 | 6 | 2016 |
loic lagadecENSTA Bretagne, UMR 6285Verified email at ensta-bretagne.fr
