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 | 22 | 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 | 16 | 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 | 15 | 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 | 15 | 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 | 15 | 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 | 14 | 2011 |
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 | 12 | 2017 |
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 | 12 | 2009 |
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 | 10 | 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 |
Context-aware verification of a cruise-control system C Teodorov, L Leroux, P Dhaussy International Conference on Model and Data Engineering, 53-64, 2014 | 8 | 2014 |
Operational Semantics of the Model of Concurrency and Communication Language J Deantoni, PI Diallo, J Champeau, B Combemale, C Teodorov INRIA, 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 |
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 | 7 | 2017 |
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 |
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 | 6* | 2019 |
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 |
Automatic Verification of BPMN Models M Brumbulli, E Gaudin, C Teodorov 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), 2020 | 5 | 2020 |
Model‐driven physical‐design automation for FPGAs: fast prototyping and legacy reuse C Teodorov, L Lagadec Software: Practice and Experience 44 (4), 455-482, 2014 | 5 | 2014 |
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 | 4 | 2018 |