Emil Dumitrescu

24 papers A 1B 1C 8Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Monitoring cyberthreats in railway systems: A hybrid framework for detecting stealthy data tampering attacks.
Reliab. Eng. Syst. Saf.
Sara Abdellaoui, Emil Dumitrescu, Cédric Escudero, Eric Zamaï
2025 C conf
A Step Towards High Frequency Physics-Informed Neural Networks.
CoDIT
José Eduardo Alves Pereira Filho, Cédric Escudero, Sara Abdellaoui, Emil Dumitrescu, Eric Zamaï
2025 — conf
Deceptive Fault Injection Attacks Against Monitoring Systems.
SysTol
Dinh Duy Kha Nguyen, Cédric Escudero, Eric Zamaï, Emil Dumitrescu
2025 C conf
Model Checking PLC Programs: Enhancing Formalization for Scalability.
CoDIT
Jessica Ravakambinintsoa, Emil Dumitrescu, Eric Zamaï, Denis Chalon
2024 — conf
Actuator and Sensor Attacks Detection Method based on Attack Reconstruction.
MED
Dinh Duy Kha Nguyen, Cédric Escudero, Emil Dumitrescu, Eric Zamaï
2024 — conf
Optimal Stealthy Attack Design Using Sequential Linear Programming.
MED
Dinh Duy Kha Nguyen, Cédric Escudero, Eric Zamaï, Emil Dumitrescu
2024 A conf
Temporal Assessment of Malicious Behaviors: Application to Turnout Field Data Monitoring.
ICCAD
Sara Abdellaoui, Emil Dumitrescu, Cédric Escudero, Eric Zamaï
2024 J jnl
Temporal assessment of malicious behaviors: application to turnout field data monitoring.
CoRR
Sara Abdellaoui, Emil Dumitrescu, Cédric Escudero, Eric Zamaï
2024 C conf
Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach.
ETFA
Jessica Ravakambinintsoa, Emil Dumitrescu, Eric Zamaï, Denis Chalon
2023 C conf
Cyber Threat Assessment in Monitoring Turnout Railway Systems.
ETFA
Sara Abdellaoui, Emil Dumitrescu, Cédric Escudero, Eric Zamaï
2020 C conf
From events to complex behaviors: a formal contribution to the requirement expression in Supervisory Control Theory.
CoDIT
Laurent Piétrac, Emil Dumitrescu, Éric Niel
2018 B conf
Multi Criteria Automatic Generation of Optimal Routing for WSN.
IWCMC
Anis Mezni, Emil Dumitrescu, Éric Niel, Samir Ben Ahmed
2018 C conf
Multi-resource sharing scheduling considering uncontrollable environment.
ETFA
Mahya Rahimi, Emil Dumitrescu, Éric Niel
2017 — conf
Automatic Generation of Wireless Sensor Networks Scheduling.
HPCS
Anis Mezni, Emil Dumitrescu, Éric Niel, Samir Ben Ahmed
2016 — conf
A Design Method for WSN's Automatic Scheduling Generation.
MobiWac
Anis Mezni, Emil Dumitrescu, Éric Niel, Samir Ben Ahmed
2014 — conf
A Design Method for Synthesizing Control-Command Systems Out of Reusable Components.
WODES
Salam Hajjar, Emil Dumitrescu, Laurent Piétrac, Éric Niel
2012 — conf
Incremental discrete controller synthesis for communicating systems based on modular decomposition.
WODES
Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Éric Niel
2012 J jnl
Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy.
IET Wirel. Sens. Syst.
Sajeh Zairi, Belhassen Zouari, Éric Niel, Emil Dumitrescu
2010 — conf
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks.
WODES
Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten
2009 — conf
Sensor self-scheduling algorithm based on one-hop neighbouring knowledge and considering the sensors remaining energy.
ECC
Sajeh Zairi, Éric Niel, Belhassen Zouari, Emil Dumitrescu
2008 C conf
A supervisor implementation approach in Discrete Controller Synthesis.
ETFA
Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel
2006 C conf
Efficient Control Allocation for Fault Tolerant Embedded Systems on Small Autonomous Aircrafts.
IES
Guillaume Ducard, Hans P. Geering, Emil Dumitrescu
2003 — conf
An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow.
HICSS
Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Siriani
2003 — conf
Symbolic Simulation as a Simplifying Strategy for SoC Verification.
IWSOC
Emil Dumitrescu, Dominique Borrione