Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy S Zairi, B Zouari, E Niel, E Dumitrescu IET Wireless Sensor Systems 2 (1), 52-62, 2012 | 78 | 2012 |
An approach to the introduction of formal validation in an asynchronous circuit design flow D Borrione, M Boubekeur, E Dumitrescu, M Renaudin, JB Rigaud, ... 36th Annual Hawaii International Conference on System Sciences, 2003 …, 2003 | 26 | 2003 |
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks E Dumitrescu, A Girault, H Marchand, É Rutten IFAC Proceedings Volumes 43 (12), 356-363, 2010 | 25 | 2010 |
Optimal discrete controller synthesis for modeling fault-tolerant distributed systems E Dumitrescu, A Girault, H Marchand, E Rutten IFAC Proceedings Volumes 40 (6), 169-174, 2007 | 23 | 2007 |
Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis E Dumitrescu, A Girault, E Rutten IFAC Proceedings Volumes 37 (18), 285-290, 2004 | 16 | 2004 |
A supervisor implementation approach in discrete controller synthesis E Dumitrescu, M Ren, L Pietrac, E Niel 2008 IEEE International Conference on Emerging Technologies and Factory …, 2008 | 15 | 2008 |
Multicriteria optimal discrete controller synthesis for fault-tolerant tasks E Dumitrescu, A Girault, H Marchand, E Rutten Workshop on Discrete Event Systems, 356-363, 2010 | 14 | 2010 |
Efficient control allocation for fault tolerant embedded systems on small autonomous aircrafts G Ducard, HP Geering, E Dumitrescu 2006 International Symposium on Industrial Embedded Systems, 1-10, 2006 | 14 | 2006 |
Safe design method of embedded control systems. case study S Hajjar, E Dumitrescu, E Niel Journal Européen des Systèmes Automatisés (JESA) 47, 403-421, 2013 | 6 | 2013 |
A component-based safe design method for train control systems S Hajjar, E Dumitrescu, E Niel Embedded Real Time Software and Systems, 2012 | 6 | 2012 |
Symbolic simulation as a simplifying strategy for SoC verification with symbolic model checking E Dumitrescu, D Borrione Proceedings of the Proc. IWSOC2003, Calgary, Canada, 2003 | 5 | 2003 |
A design method for wsn's automatic scheduling generation A Mezni, E Dumitrescu, E Niel, S Ben Ahmed Proceedings of the 14th ACM International Symposium on Mobility Management …, 2016 | 4 | 2016 |
Synthesizing safe control-command systems out of reusable components S Hajjar, E Dumitrescu, L Pietrac, E Niel Control Engineering Practice 44, 243-259, 2015 | 4 | 2015 |
A design method for synthesizing control-command systems out of reusable components S Hajjar, E Dumitrescu, L Pietrac, N Eric IFAC Proceedings Volumes 47 (2), 60-65, 2014 | 3 | 2014 |
Safe design method of embedded control systems based on cots S Hajjar, E Dumitrescu, E Niel 2ème Conférence en IngénieriE du Logiciel, 35-45, 2013 | 3 | 2013 |
Automatic error correction based on discrete controller synthesis E Dumitrescu, M Ren IFAC Proceedings Volumes 40 (18), 677-681, 2007 | 3 | 2007 |
Multi criteria automatic generation of optimal routing for WSN A Mezni, E Dumitrescu, E Niel, SB Ahmed 2018 14th International Wireless Communications & Mobile Computing …, 2018 | 2 | 2018 |
Symbolic simulation as a simplifying strategy for SoC verification E Dumitrescu, D Borrione The 3rd IEEE International Workshop on System-on-Chip for Real-Time …, 2003 | 2 | 2003 |
Introducing formal validation in an asynchronous circuit design flow D Borrione, M Boubekeur, E Dumitrescu, M Renaudin The Fourth International Workshop on Designing Correct Circuits, Grenoble …, 2002 | 2 | 2002 |
Malicious Origin of Deadlocks in Flexible Manufacturing Systems A Beaudet, É Zamaï, C Escudero, E Dumitrescu IFAC-PapersOnLine 55 (28), 100-107, 2022 | 1 | 2022 |