Emil DUMITRESCU

Salam Hajjar, Emil Dumitrescu, Laurent Pietrac, Eric Niel. Synthesizing safe control-command systems out of reusable components. Control Engineering Practice, Elsevier, 2015, 44, pp.243-259. ⟨10.1016/j.conengprac.2015.05.006⟩. ⟨hal-01202471⟩

Salam Hajjar, Emil Dumitrescu, Eric Niel. Conception sûre de systèmes de contrôle-commande matériels à base de COTS. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2013, 45 (1-3), pp.93-107. ⟨10.3166/jesa.47.93-107⟩. ⟨hal-00908529⟩

Salam Hajjar, Emil Dumitrescu, Eric Niel. Safe design method of embedded control systems. Case study. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2013, 47, pp.403 - 421. ⟨10.3166/jesa.47.403-421⟩. ⟨hal-01080095⟩

Salam Hajjar, Emil Dumitrescu, Eric Niel. Conception sûre de systèmes de contrôle-commande matériels à base de COTS. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2013, 47, pp.93 - 107. ⟨10.3166/jesa.47.93-107⟩. ⟨hal-01080214⟩

Sajeh Zaïri, Belhassen Zouari, Eric Niel, Emil Dumitrescu. Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy. IET Wireless Sensor Systems, IET, 2012, 2 (1), pp.52-62. ⟨10.1049/iet-wss.2011.0074⟩. ⟨hal-00685672⟩

Jérôme Dupuy, Thalia Darnanville, Fabrice Valois, Nina Arnesen, Marie-Pierre Favre, et al.. Le modèle International de l'INSA de Lyon : au-delà de l’échange académique. Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, EDP Sciences, 2011, 10, pp.1009. ⟨10.1051/j3ea/2011009⟩. ⟨hal-01986032⟩

Mingming Ren, Emil Dumitrescu, Eric Niel. Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseurs. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43 (7-9), pp.821-835. ⟨hal-00476119⟩

Lucas Molina-Barros, Miguel Romero-Rodriguez, Emil Dumitrescu, Laurent Piétrac. Contrôle par Supervision des Réseaux HVDC Reconfigurables. SYMPOSIUM DE GENIE ELECTRIQUE (SGE 2020), Jul 2021, Nantes, France. ⟨hal-03059144⟩

Laurent Piétrac, Emil Dumitrescu. From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory. 7th International Conference on Control, Decision and Information Technologies, Jun 2020, Prague, Czech Republic. ⟨hal-02958104⟩

Mahya Rahimi, Emil Dumitrescu, Eric Niel. Multi-resource sharing scheduling considering uncontrollable environment. ETFA 2018, Sep 2018, Torino, Italy. ⟨10.1109/ETFA.2018.8502611⟩. ⟨hal-01918140⟩

Anis Mezni, Emil Dumitrescu, Eric Niel, Samir Ben Ahmed. Multi Criteria Automatic Generation of Optimal Routing for WSN. IWCMC, Jun 2018, Limassol, Cyprus. pp.747-752, ⟨10.1109/IWCMC.2018.8450311⟩. ⟨hal-02078236⟩

Anis Mezni, Emil Dumitrescu, Eric Niel, Samir Ben Ahmed. A Design Method for WSN's Automatic Scheduling Generation. MobiCom, Nov 2016, Malte, Malta. pp.19-26, ⟨10.1145/2989250.2991469⟩. ⟨hal-01598242⟩

Anis Mezni, Emil Dumitrescu, Eric Niel, Samir Ben Ahmed. Automatic Generation of Wireless Sensor Networks Scheduling. HPCS, Jul 2016, Genoa, Italy. ⟨hal-01598255⟩

Bruno Allard, Guy Clerc, Emil Dumitrescu, Ronan German, Aurélien Lièvre, et al.. Reliability and Safety Monitoring for more Electrical Transportation. APE Automotive Power Electronics, Apr 2015, Paris, France. ⟨hal-01922178⟩

Laurent Piétrac, Emil Dumitrescu, Eric Niel. Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets. MSR 2015, Nov 2015, Nancy, France. ⟨hal-01224454v2⟩

Mahya Rahimi, Eric Niel, Emil Dumitrescu. Scheduling by Timed Automata under Resource Conflicts. MSR 2015, Nov 2015, Nancy, France. ⟨hal-01224494⟩

Salam Hajjar, Emil Dumitrescu, Laurent Pietrac, Eric Niel. A Design Method for Synthesizing Control-Command Systems out of Reusable Components. IFAC IWDES, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00111⟩. ⟨hal-01080076⟩

Salam Hajjar, Emil Dumitrescu, Eric Niel. Safe Design Method of Embedded Control Systems based on COTS. CIEL, Apr 2013, Nancy, France. pp.35-45. ⟨hal-00811615⟩

Salam Hajjar, Emil Dumitrescu, Eric Niel. Safe Design Method of Embedded Control Systems based on COTS. 2ème Conférence en IngénieriE du Logiciel, Apr 2013, NANCY, France. pp.35-45. ⟨hal-01080089⟩

Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Eric Niel. Incremental discrete controller synthesis for communicating systems based on modular decomposition. WODES'11, Oct 2012, Guadalajara, Mexico. pp.315-322, ⟨10.3182/20121003-3-MX-4033.00051⟩. ⟨hal-00908532⟩

Salam Hajjar, Emil Dumitrescu, Eric Niel. A Component-based Safe Design method for train control systems. Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. ⟨hal-01091237⟩

Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. WODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩. ⟨inria-00510019⟩

Sajeh Zaïri, Eric Niel, Belhassen Zouari, Emil Dumitrescu. Sensor Self-Scheduling Algorithm Based on One-Hop Neighbouring Knowledge and Considering the Sensors Remaining Energy. ECC, Aug 2009, Budapest, Hungary. pp.WeC7.4, ⟨10.23919/ECC.2009.7075172⟩. ⟨hal-00419678⟩

Mingming Ren, Emil Dumitrescu, Eric Niel. Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseurs. MSR'09, Nov 2009, Nantes, France. ⟨hal-00476113⟩

Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Eric Niel. Implémentation de superviseurs générés par synthèse de contrôleurs discrets. CIFA, Sep 2008, Bucarest, Roumanie. papier 365. ⟨hal-00375942⟩

Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Eric Niel. A supervisor implementation approach in Discrete Controller Synthesis. ETFA 2008, Sep 2008, Hambourg, Germany. pp.1433 - 1440, ⟨10.1109/ETFA.2008.4638585⟩. ⟨hal-00375951⟩

Mingming Ren, Emil Dumitrescu. Automatic error correction based on discrete controller synthesis. 4th IFAC Conference on Management and Control of Production and Logistics, Sep 2007, Sibiu, Romania. ⟨hal-00375504⟩

Guillaume Ducard, Emil Dumitrescu. Discrete controller synthesis for dependable trajectory generation. ESREL, Jun 2007, Stavanger, Norway. ⟨hal-00375538⟩

Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes. 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86. ⟨inria-00424279⟩

Emil Dumitrescu, Eric Rutten, Alain Girault, Hervé Marchand. Optimal discrete controller synthesis for modeling fault-tolerant distributed systems. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨hal-00375564⟩

Emil Dumitrescu, Alain Girault, Eric Rutten. Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis. 2004. ⟨hal-00419542⟩

Emil Dumitrescu. A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking. 2003. ⟨hal-00419534⟩

Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. [Research Report] RR-6137, INRIA. 2007, pp.35. ⟨inria-00134550v2⟩