Emil Dumitrescu
Publications
Publications
|
|
Model checking PLC programs: enhancing formalization for scalability2025 11th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2025, Split, France. pp.473-478, ⟨10.1109/CoDIT66093.2025.11321720⟩ |
|
|
Temporal assessment of malicious turnout behaviors2ème congrès annuel de la SAGIP, Lyon, France, May 2024, Lyon, France |
|
|
Temporal assessment of malicious behaviors: application to turnout field data monitoring8th International Conference on Control, Automation and Diagnosis (ICCAD 2024), May 2024, Paris, France. ⟨10.1109/ICCAD60883.2024.10553981⟩ |
Optimal Stealthy Attack Design Using Sequential Linear Programming2024 32nd Mediterranean Conference on Control and Automation (MED), Jun 2024, Chania - Crete, France. pp.744-751, ⟨10.1109/MED61351.2024.10566203⟩ |
|
Actuator and Sensor Attacks Detection Method based on Attack Reconstruction2024 32nd Mediterranean Conference on Control and Automation (MED), Jun 2024, Chania - Crete, France. pp.736-743, ⟨10.1109/MED61351.2024.10566177⟩ |
|
Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2024, Padova, France. pp.01-04, ⟨10.1109/ETFA61755.2024.10710942⟩ |
|
|
|
Cybersécurité des Systèmes de Surveillance des Appareils de Voie Ferroviaires14ème colloque sur la Modélisation des Systèmes Réactifs, Nov 2023, Toulouse, France |
|
|
Cyber Threat Assessment in Monitoring Turnout Railway SystemsIEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023), IEEE, Sep 2023, Sinaia, Romania. ⟨10.1109/ETFA54631.2023.10275401⟩ |
|
|
Malicious Origin of Deadlocks in Flexible Manufacturing Systems16th IFAC Workshop on Discrete Event Systems WODES 2022, Sep 2022, Prague, Czech Republic. pp.100-107, ⟨10.1016/j.ifacol.2022.10.330⟩ |
|
|
Contrôle par Supervision des Réseaux HVDC ReconfigurablesSYMPOSIUM DE GENIE ELECTRIQUE (SGE 2020), Jul 2021, Nantes, France |
From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory7th International Conference on Control, Decision and Information Technologies, Jun 2020, Prague, Czech Republic |
|
|
|
Multi-resource sharing scheduling considering uncontrollable environmentETFA 2018, Sep 2018, Torino, Italy. ⟨10.1109/ETFA.2018.8502611⟩ |
Multi Criteria Automatic Generation of Optimal Routing for WSNIWCMC, Jun 2018, Limassol, Cyprus. pp.747-752, ⟨10.1109/IWCMC.2018.8450311⟩ |
|
Automatic Generation of Wireless Sensor Networks SchedulingHPCS, Jul 2016, Genoa, Italy |
|
A Design Method for WSN's Automatic Scheduling GenerationMobiCom, Nov 2016, Malte, Malta. pp.19-26, ⟨10.1145/2989250.2991469⟩ |
|
Reliability and Safety Monitoring for more Electrical TransportationAPE Automotive Power Electronics, Apr 2015, Paris, France |
|
|
|
Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discretsMSR 2015, Nov 2015, Nancy, France |
Scheduling by Timed Automata under Resource ConflictsMSR 2015, Nov 2015, Nancy, France |
|
|
|
A Design Method for Synthesizing Control-Command Systems out of Reusable ComponentsIFAC IWDES, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00111⟩ |
|
|
Safe Design Method of Embedded Control Systems based on COTS2ème Conférence en IngénieriE du Logiciel, Apr 2013, NANCY, France. pp.35-45 |
Incremental discrete controller synthesis for communicating systems based on modular decompositionWODES'11, Oct 2012, Guadalajara, Mexico. pp.315-322, ⟨10.3182/20121003-3-MX-4033.00051⟩ |
|
|
|
A Component-based Safe Design method for train control systemsEmbedded Real Time Software and Systems, Feb 2012, Toulouse, France |
|
|
Multicriteria optimal reconfiguration of fault-tolerant real-time tasksWODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩ |
Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseursMSR'09, Nov 2009, Nantes, France |
|
Sensor Self-Scheduling Algorithm Based on One-Hop Neighbouring Knowledge and Considering the Sensors Remaining EnergyECC, Aug 2009, Budapest, Hungary. pp.WeC7.4, ⟨10.23919/ECC.2009.7075172⟩ |
|
A supervisor implementation approach in Discrete Controller SynthesisETFA 2008, Sep 2008, Hambourg, Germany. pp.1433 - 1440, ⟨10.1109/ETFA.2008.4638585⟩ |
|
Implémentation de superviseurs générés par synthèse de contrôleurs discretsCIFA, Sep 2008, Bucarest, Roumanie. papier 365 |
|
Discrete controller synthesis for dependable trajectory generationESREL, Jun 2007, Stavanger, Norway |
|
Automatic error correction based on discrete controller synthesis4th IFAC Conference on Management and Control of Production and Logistics, Sep 2007, Sibiu, Romania |
|
|
|
Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86 |
|
|
Optimal discrete controller synthesis for modeling fault-tolerant distributed systems1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨10.3182/20070613-3-FR-4909.00031⟩ |
|
|
Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis2004 |
|
|
A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking2003 |
|
|
Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems[Research Report] RR-6137, INRIA. 2007, pp.35 |