An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. - Dominique Borrione; Menouer Boubekeur; Emil Dumitrescu; Marc Renaudin; Jean-Baptiste Rigaud; Antoine Siriani (HICSS, 2003)

Symbolic Simulation as a Simplifying Strategy for SoC Verification. - Emil Dumitrescu; Dominique Borrione (IWSOC, 2003)

Efficient Control Allocation for Fault Tolerant Embedded Systems on Small Autonomous Aircrafts. - Guillaume Ducard; Hans P. Geering; Emil Dumitrescu (IES, 2006)

A supervisor implementation approach in Discrete Controller Synthesis. - Emil Dumitrescu; Mingming Ren; Laurent Piétrac; Éric Niel (ETFA, 2008)

Sensor self-scheduling algorithm based on one-hop neighbouring knowledge and considering the sensors remaining energy. - Sajeh Zairi; Éric Niel; Belhassen Zouari; Emil Dumitrescu (ECC, 2009)

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. - Emil Dumitrescu; Alain Girault; Hervé Marchand; Éric Rutten (WODES, 2010)

Incremental discrete controller synthesis for communicating systems based on modular decomposition. - Mingming Ren; Emil Dumitrescu; Laurent Piétrac; Éric Niel (WODES, 2012)

Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy. - Sajeh Zairi; Belhassen Zouari; Éric Niel; Emil Dumitrescu (IET Wirel. Sens. Syst., 2012)

A Design Method for Synthesizing Control-Command Systems Out of Reusable Components. - Salam Hajjar; Emil Dumitrescu; Laurent Piétrac; Éric Niel (WODES, 2014)

A Design Method for WSN's Automatic Scheduling Generation. - Anis Mezni; Emil Dumitrescu; Éric Niel; Samir Ben Ahmed (MobiWac, 2016)

Automatic Generation of Wireless Sensor Networks Scheduling. - Anis Mezni; Emil Dumitrescu; Éric Niel; Samir Ben Ahmed (HPCS, 2017)

Multi-resource sharing scheduling considering uncontrollable environment. - Mahya Rahimi; Emil Dumitrescu; Éric Niel (ETFA, 2018)

Multi Criteria Automatic Generation of Optimal Routing for WSN. - Anis Mezni; Emil Dumitrescu; Éric Niel; Samir Ben Ahmed (IWCMC, 2018)

From events to complex behaviors: a formal contribution to the requirement expression in Supervisory Control Theory. - Laurent Piétrac; Emil Dumitrescu; Éric Niel (CoDIT, 2020)

Cyber Threat Assessment in Monitoring Turnout Railway Systems. - Sara Abdellaoui; Emil Dumitrescu; Cédric Escudero; Eric Zamaï (ETFA, 2023)

Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach. - Jessica Ravakambinintsoa; Emil Dumitrescu; Eric Zamaï; Denis Chalon (ETFA, 2024)

Temporal Assessment of Malicious Behaviors: Application to Turnout Field Data Monitoring. - Sara Abdellaoui; Emil Dumitrescu; Cédric Escudero; Eric Zamaï (ICCAD, 2024)

Actuator and Sensor Attacks Detection Method based on Attack Reconstruction. - Dinh Duy Kha Nguyen; Cédric Escudero; Emil Dumitrescu; Eric Zamaï (MED, 2024)

Optimal Stealthy Attack Design Using Sequential Linear Programming. - Dinh Duy Kha Nguyen; Cédric Escudero; Eric Zamaï; Emil Dumitrescu (MED, 2024)