| 2025 | CoDIT | A Step Towards High Frequency Physics-Informed Neural Networks. | Jos Eduardo Alves Pereira Filho, Cdric Escudero, Sara Abdellaoui, Emil Dumitrescu, Eric Zama |
| 2025 | CoDIT | Model Checking PLC Programs: Enhancing Formalization for Scalability. | Jessica Ravakambinintsoa, Emil Dumitrescu, Eric Zama, Denis Chalon |
| 2024 | ETFA | Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach. | Jessica Ravakambinintsoa, Emil Dumitrescu, Eric Zama, Denis Chalon |
| 2023 | ETFA | Cyber Threat Assessment in Monitoring Turnout Railway Systems. | Sara Abdellaoui, Emil Dumitrescu, Cdric Escudero, Eric Zama |
| 2020 | CoDIT | From events to complex behaviors: a formal contribution to the requirement expression in Supervisory Control Theory. | Laurent Pitrac, Emil Dumitrescu, ric Niel |
| 2018 | ETFA | Multi-resource sharing scheduling considering uncontrollable environment. | Mahya Rahimi, Emil Dumitrescu, ric Niel |
| 2018 | IWCMC | Multi Criteria Automatic Generation of Optimal Routing for WSN. | Anis Mezni, Emil Dumitrescu, ric Niel, Samir Ben Ahmed |
| 2008 | ETFA | A supervisor implementation approach in Discrete Controller Synthesis. | Emil Dumitrescu, Mingming Ren, Laurent Pitrac, ric Niel |