Emil Dumitrescu

Publications

Article dans une revue (7)

Monitoring cyberthreats in railway systems: A hybrid framework for detecting stealthy data tampering attacks Sara Abdellaoui,Emil Dumitrescu,Cédric Escudero,Eric Zamai Reliability Engineering and System Safety, 2025, 266, Part B, pp.111747. ⟨10.1016/j.ress.2025.111747⟩ Article dans une revue hal-05287304v1
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 istex 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, 2013, 47, pp.403 - 421. ⟨10.3166/jesa.47.403-421⟩ Article dans une revue istex 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, 2013, 47 (1-3), pp.93 - 107. ⟨10.3166/jesa.47.93-107⟩ Article dans une revue istex 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 Favreet al. 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, 2009, 43 (7-9), pp.821-835 Article dans une revue hal-00476119v1

Communication dans un congrès (30)

Temporal assessment of malicious turnout behaviors Sara Abdellaoui,Emil Dumitrescu,Cédric Escudero,Eric Zamaï 2ème congrès annuel de la SAGIP, Lyon, France, May 2024, Lyon, France Communication dans un congrès hal-04609902v1
Optimal Stealthy Attack Design Using Sequential Linear Programming Dinh Duy Kha Nguyen,Cédric Escudero,Eric Zamaï,Emil Dumitrescu 2024 32nd Mediterranean Conference on Control and Automation (MED), Jun 2024, Chania - Crete, France. pp.744-751, ⟨10.1109/MED61351.2024.10566203⟩ Communication dans un congrès hal-04929775v1
Temporal assessment of malicious behaviors: application to turnout field data monitoring Sara Abdellaoui,Emil Dumitrescu,Cédric Escudero,Eric Zamaï 8th International Conference on Control, Automation and Diagnosis (ICCAD 2024), May 2024, Paris, France. ⟨10.1109/ICCAD60883.2024.10553981⟩ Communication dans un congrès hal-04608183v1
Actuator and Sensor Attacks Detection Method based on Attack Reconstruction Dinh Duy Kha Nguyen,Eric Zamaï,Emil Dumitrescu,Cédric Escudero 2024 32nd Mediterranean Conference on Control and Automation (MED), Jun 2024, Chania - Crete, France. pp.736-743, ⟨10.1109/MED61351.2024.10566177⟩ Communication dans un congrès hal-04929773v1
Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach Jessica Ravakambinintsoa,Emil Dumitrescu,Eric Zamaï,Denis Chalon 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2024, Padova, France. pp.01-04, ⟨10.1109/ETFA61755.2024.10710942⟩ Communication dans un congrès hal-04929766v1
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ï 14ème colloque sur la Modélisation des Systèmes Réactifs, Nov 2023, Toulouse, France Communication dans un congrès hal-04320941v1
Cyber Threat Assessment in Monitoring Turnout Railway Systems Sara Abdellaoui,Emil Dumitrescu,Cédric Escudero,Eric Zamaï IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023), IEEE, Sep 2023, Sinaia, Romania. ⟨10.1109/ETFA54631.2023.10275401⟩ Communication dans un congrès hal-04308622v1
Malicious Origin of Deadlocks in Flexible Manufacturing Systems Amaury Beaudet,Eric Zamaï,Emil Dumitrescu,Cédric Escudero 16th IFAC Workshop on Discrete Event Systems WODES 2022, Sep 2022, Prague, Czech Republic. pp.100-107, ⟨10.1016/j.ifacol.2022.10.330⟩ Communication dans un congrès hal-04113393v1
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-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
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
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èvreet al. APE Automotive Power Electronics, Apr 2015, Paris, France Communication dans un congrès hal-01922178v1
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
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
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
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
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
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
Discrete controller synthesis for dependable trajectory generation Guillaume Ducard,Emil Dumitrescu ESREL, Jun 2007, Stavanger, Norway Communication dans un congrès hal-00375538v1
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
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
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

Pré-publication, Document de travail (2)

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

Rapport (1)

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 (rapport de recherche) inria-00134550v2