CV Accueil - Archive ouverte HAL

	Synthesizing safe control-command systems out of reusable components Salam Hajjar , Emil Dumitrescu , Laurent Pietrac , Eric Niel Control Engineering Practice, 2015, 44, pp.243-259. ⟨10.1016/j.conengprac.2015.05.006⟩ Article dans une revue hal-01202471v1
	Safe design method of embedded control systems. Case study Salam Hajjar , Emil Dumitrescu , Eric Niel Journal Européen des Systèmes Automatisés (JESA), 2013, 47, pp.403 - 421. ⟨10.3166/jesa.47.403-421⟩ Article dans une revue hal-01080095v1
	Conception sûre de systèmes de contrôle-commande matériels à base de COTS Salam Hajjar , Emil Dumitrescu , Eric Niel Journal Européen des Systèmes Automatisés (JESA), 2013, 47 (1-3), pp.93 - 107. ⟨10.3166/jesa.47.93-107⟩ Article dans une revue hal-01080214v1
	Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy Sajeh Zaïri , Belhassen Zouari , Eric Niel , Emil Dumitrescu IET Wireless Sensor Systems, 2012, 2 (1), pp.52-62. ⟨10.1049/iet-wss.2011.0074⟩ Article dans une revue hal-00685672v1
	Le modèle International de l'INSA de Lyon : au-delà de l’échange académique Jérôme Dupuy , Thalia Darnanville , Fabrice Valois , Nina Arnesen , Marie-Pierre Favre Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2011, 10, pp.1009. ⟨10.1051/j3ea/2011009⟩ Article dans une revue hal-01986032v1
	Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseurs Mingming Ren , Emil Dumitrescu , Eric Niel Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-9), pp.821-835 Article dans une revue hal-00476119v1

	Cyber Threat Assessment in Monitoring Turnout Railway Systems Sara Abdellaoui , Emil Dumitrescu , Cédric Escudero , Eric Zamaï 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, Sep 2023, Sinaia, Romania. pp.1-8, ⟨10.1109/ETFA54631.2023.10275401⟩ Communication dans un congrès hal-04308622v1
	Cybersécurité des Systèmes de Surveillance des Appareils de Voie Ferroviaires Sara Abdellaoui , Dinh Duy Kha Nguyen , Emil Dumitrescu , Cédric Escudero , Eric Zamaï Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France Communication dans un congrès hal-04465310v1
	Cybersécurité des Systèmes de Surveillance des Appareils de Voie Ferroviaires Sara Abdellaoui , Dinh Duy Kha Nguyen , Emil Dumitrescu , Cédric Escudero , Eric Zamai 14ème colloque sur la Modélisation des Systèmes Réactifs, Nov 2023, Toulouse, France Communication dans un congrès hal-04320941v1
	Contrôle par Supervision des Réseaux HVDC Reconfigurables Lucas Molina-Barros , Miguel Romero-Rodriguez , Emil Dumitrescu , Laurent Piétrac SYMPOSIUM DE GENIE ELECTRIQUE (SGE 2020), Jul 2021, Nantes, France Communication dans un congrès hal-03059144v1
	From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory Laurent Piétrac , Emil Dumitrescu 7th International Conference on Control, Decision and Information Technologies, Jun 2020, Prague, Czech Republic Communication dans un congrès hal-02958104v1
	Multi Criteria Automatic Generation of Optimal Routing for WSN Anis Mezni , Emil Dumitrescu , Eric Niel , Samir Ben Ahmed IWCMC, Jun 2018, Limassol, Cyprus. pp.747-752, ⟨10.1109/IWCMC.2018.8450311⟩ Communication dans un congrès hal-02078236v1
	Multi-resource sharing scheduling considering uncontrollable environment Mahya Rahimi , Emil Dumitrescu , Eric Niel ETFA 2018, Sep 2018, Torino, Italy. ⟨10.1109/ETFA.2018.8502611⟩ Communication dans un congrès hal-01918140v1
	Automatic Generation of Wireless Sensor Networks Scheduling Anis Mezni , Emil Dumitrescu , Eric Niel , Samir Ben Ahmed HPCS, Jul 2016, Genoa, Italy Communication dans un congrès hal-01598255v1
	A Design Method for WSN's Automatic Scheduling Generation Anis Mezni , Emil Dumitrescu , Eric Niel , Samir Ben Ahmed MobiCom, Nov 2016, Malte, Malta. pp.19-26, ⟨10.1145/2989250.2991469⟩ Communication dans un congrès hal-01598242v1
	Reliability and Safety Monitoring for more Electrical Transportation Bruno Allard , Guy Clerc , Emil Dumitrescu , Ronan German , Aurélien Lièvre APE Automotive Power Electronics, Apr 2015, Paris, France Communication dans un congrès hal-01922178v1
	Scheduling by Timed Automata under Resource Conflicts Mahya Rahimi , Eric Niel , Emil Dumitrescu MSR 2015, Nov 2015, Nancy, France Communication dans un congrès hal-01224494v1
	Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets Laurent Piétrac , Emil Dumitrescu , Eric Niel MSR 2015, Nov 2015, Nancy, France Communication dans un congrès hal-01224454v2
	A Design Method for Synthesizing Control-Command Systems out of Reusable Components Salam Hajjar , Emil Dumitrescu , Laurent Pietrac , Eric Niel IFAC IWDES, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00111⟩ Communication dans un congrès hal-01080076v1
	Safe Design Method of Embedded Control Systems based on COTS Salam Hajjar , Emil Dumitrescu , Eric Niel 2ème Conférence en IngénieriE du Logiciel, Apr 2013, NANCY, France. pp.35-45 Communication dans un congrès hal-01080089v1
	A Component-based Safe Design method for train control systems Salam Hajjar , Emil Dumitrescu , Eric Niel Embedded Real Time Software and Systems, Feb 2012, Toulouse, France Communication dans un congrès hal-01091237v1
	Incremental discrete controller synthesis for communicating systems based on modular decomposition Mingming Ren , Emil Dumitrescu , Laurent Piétrac , Eric Niel WODES'11, Oct 2012, Guadalajara, Mexico. pp.315-322, ⟨10.3182/20121003-3-MX-4033.00051⟩ Communication dans un congrès hal-00908532v1
	Multicriteria optimal reconfiguration of fault-tolerant real-time tasks Emil Dumitrescu , Alain Girault , Hervé Marchand , Eric Rutten WODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩ Communication dans un congrès inria-00510019v1
	Sensor Self-Scheduling Algorithm Based on One-Hop Neighbouring Knowledge and Considering the Sensors Remaining Energy Sajeh Zaïri , Eric Niel , Belhassen Zouari , Emil Dumitrescu ECC, Aug 2009, Budapest, Hungary. pp.WeC7.4, ⟨10.23919/ECC.2009.7075172⟩ Communication dans un congrès hal-00419678v1
	Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseurs Mingming Ren , Emil Dumitrescu , Eric Niel MSR'09, Nov 2009, Nantes, France Communication dans un congrès hal-00476113v1
	A supervisor implementation approach in Discrete Controller Synthesis Emil Dumitrescu , Mingming Ren , Laurent Piétrac , Eric Niel ETFA 2008, Sep 2008, Hambourg, Germany. pp.1433 - 1440, ⟨10.1109/ETFA.2008.4638585⟩ Communication dans un congrès hal-00375951v1
	Implémentation de superviseurs générés par synthèse de contrôleurs discrets Mingming Ren , Emil Dumitrescu , Laurent Piétrac , Eric Niel CIFA, Sep 2008, Bucarest, Roumanie. papier 365 Communication dans un congrès hal-00375942v1
	Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes Emil Dumitrescu , Alain Girault , Hervé Marchand , Eric Rutten 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86 Communication dans un congrès inria-00424279v1
	Discrete controller synthesis for dependable trajectory generation Guillaume Ducard , Emil Dumitrescu ESREL, Jun 2007, Stavanger, Norway Communication dans un congrès hal-00375538v1
	Optimal discrete controller synthesis for modeling fault-tolerant distributed systems Emil Dumitrescu , Eric Rutten , Alain Girault , Hervé Marchand 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨10.3182/20070613-3-FR-4909.00031⟩ Communication dans un congrès hal-00375564v1
	Automatic error correction based on discrete controller synthesis Mingming Ren , Emil Dumitrescu 4th IFAC Conference on Management and Control of Production and Logistics, Sep 2007, Sibiu, Romania Communication dans un congrès hal-00375504v1

	Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis Emil Dumitrescu , Alain Girault , Eric Rutten 2004 Pré-publication, Document de travail hal-00419542v1
	A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking Emil Dumitrescu 2003 Pré-publication, Document de travail hal-00419534v1

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

Emil Dumitrescu

Publications

Synthesizing safe control-command systems out of reusable components

Safe design method of embedded control systems. Case study

Conception sûre de systèmes de contrôle-commande matériels à base de COTS

Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy

Le modèle International de l'INSA de Lyon : au-delà de l’échange académique

Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseurs

Cyber Threat Assessment in Monitoring Turnout Railway Systems

Cybersécurité des Systèmes de Surveillance des Appareils de Voie Ferroviaires

Cybersécurité des Systèmes de Surveillance des Appareils de Voie Ferroviaires

Contrôle par Supervision des Réseaux HVDC Reconfigurables

From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory

Multi Criteria Automatic Generation of Optimal Routing for WSN

Multi-resource sharing scheduling considering uncontrollable environment

Automatic Generation of Wireless Sensor Networks Scheduling

A Design Method for WSN's Automatic Scheduling Generation

Reliability and Safety Monitoring for more Electrical Transportation

Scheduling by Timed Automata under Resource Conflicts

Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets

A Design Method for Synthesizing Control-Command Systems out of Reusable Components

Safe Design Method of Embedded Control Systems based on COTS

A Component-based Safe Design method for train control systems

Incremental discrete controller synthesis for communicating systems based on modular decomposition

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

Sensor Self-Scheduling Algorithm Based on One-Hop Neighbouring Knowledge and Considering the Sensors Remaining Energy

Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseurs

A supervisor implementation approach in Discrete Controller Synthesis

Implémentation de superviseurs générés par synthèse de contrôleurs discrets

Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes

Discrete controller synthesis for dependable trajectory generation

Optimal discrete controller synthesis for modeling fault-tolerant distributed systems

Automatic error correction based on discrete controller synthesis

Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis

A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking

Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems