fbpx

Nga Nguyen

De Vinci Research Center


Nga Nguyen

Nga Nguyen is Associate Professor in Computer Science at ESILV and member of the Digital Group. Her research interests include software verification, safety and security of embedded systems.

nga.nguyen@devinci.fr

Publications


Journal Articles

Ihab Taleb; Guillaume Guérard; Frédéric Fauberteau; Nga Nguyen

Holonic Energy Management Systems: Towards Flexible and Resilient Smart Grids Journal Article

In: Agents and Artificial Intelligence, vol. 14546, pp. 95-112, 2024.

Abstract | Links | BibTeX

Théo Serru; Nga Nguyen; Michel Batteux; Antoine Rauzy

Minimal Critical Sequences in Model-Based Safety and Security Analyses: Commonalities and Differences Journal Article

In: ACM Transactions on Cyber-Physical Systems, vol. 7, no. 3, pp. 1-20, 2023.

Abstract | Links | BibTeX

Ihab Taleb; Guillaume Guérard; Frédéric Fauberteau; Nga Nguyen

Holonic Energy Management Systems: Towards Flexible and Resilient Smart Grids Journal Article

In: 2023.

Links | BibTeX

Théo Serru; Nga Nguyen; Michel Batteux; Antoine Rauzy

Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment Journal Article

In: Electronics, vol. 12, no. 1, pp. 77, 2022.

Abstract | Links | BibTeX

Ihab Taleb; Guillaume Guérard; Nga Nguyen; Frédéric Fauberteau

A Flexible Deep Learning Method for Energy Forecasting Journal Article

In: Energies, vol. 15, no. 11, pp. 3926, 2022.

Links | BibTeX

Saoussen Mili; Nga Nguyen; Rachid Chelouah

Model-Driven Architecture Based Security Analysis Journal Article

In: Systems Engineering, vol. 24, no. 5, pp. 307-321, 2021.

Abstract | Links | BibTeX

Lylia Alouache; Nga Nguyen; Makhlouf Aliouat; Rachid Chelouah

HSDN-GRA: a hybrid SDN-based geographic routing protocol with multi-agent approach Journal Article

In: International Journal Of Communication Systems, vol. 33, no. 15, pp. 1-xx, 2020.

Abstract | Links | BibTeX

Anis Baklouti; Nga Nguyen; Faïda Mhenni; Jean-Yves Choley; Abdelfattah Mlika

Dynamic fault tree generation for safety critical systems within a systems engineering approach Journal Article

In: Ieee Systems Journal, vol. 14, no. 1, pp. 1512 - 1522, 2020.

Abstract | Links | BibTeX

Saoussen Mili; Nga Nguyen; Rachid Chelouah

Transformation-based approach to security verification for cyber-physical systems Journal Article

In: Ieee Systems Journal, vol. 13, no. 4, pp. 3989-4000, 2019.

Abstract | Links | BibTeX

Nga Nguyen; Faïda Mhenni; Jean-Yves Choley; Abdelfattah Mlika

Improved safety analysis integration in systems engineering approach. Journal Article

In: vol. 9, no. 6, pp. 1-18, 2019.

Abstract | Links | BibTeX

Lylia Alouache; Nga Nguyen; Makhlouf Aliouat; Rachid Chelouah

Survey on IoV routing protocols: Security and network architecture Journal Article

In: International Journal Of Communication Systems, vol. 32, no. 2, pp. 1-21, 2019.

Abstract | Links | BibTeX

Faïda Mhenni; Nga Nguyen; Jean-Yves Choley

SafeSysE: A safety analysis integration in systems engineering approach Journal Article

In: Ieee Systems Journal, vol. 12, no. 1, pp. 161-172, 2018.

Abstract | Links | BibTeX

Conferences

Nga Nguyen

Organisation et bilan du cours Securing Embedded Software à l'ESILV Conference

Rendez-vous de la recherche et de l'enseignement de la sécurité des systèmes d'information, Eppe-Sauvage, 2024.

Abstract | Links | BibTeX

Théo Serru; Nga Nguyen; Michel Batteux

Modeling Cyberattacks Affecting Systems' Safety with AltaRica: Achievements and Future Works, Position Paper Conference

Position Paper, 42nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2023.

Abstract | Links | BibTeX

Théo Serru; Nga Nguyen; Michel Batteux; Antoine Rauzy; Raphaël Blaize; Laurent Sagaspe; Emmanuel Arbaretier

Discussions About Model Based Security for Cyber Physical Systems Conference

Congrès de maîtrise des risques et de sûreté de fonctionnement, Paris, France, 2022.

Abstract | Links | BibTeX

Ihab Taleb; Guillaume Guérard; Frédéric Fauberteau; Nga Nguyen

A Holonic Smart Grid Model for Isolated Areas Conference

European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, PhD Forum, Grenoble, France, 2022.

Abstract | Links | BibTeX

Book Sections

Lylia Alouache; Nga Nguyen; Makhlouf Aliouat; Rachid Chelouah

New robust protocol for IoV communications Book Section

In: Szoniecky, Imad Saleh; Mehdi Ammi; Samuel (Ed.): Challenges of the Internet of Things : Technology, Use, Ethics, vol. 1, pp. 137-163, Wiley Data and Cybersecurity, France, 2018, ISBN: 9781119549758.

Abstract | Links | BibTeX

Lylia Alouache; Nga Nguyen; Makhlouf Aliouat; Rachid Chelouah

Importance des stratégies de routage dans la gestion des systèmes de transport intelligent Book Section

In: Didier Nappi-Choulet Desponds, Ingrid (Ed.): Territoires intelligents : un modèle si smart, vol. 2018, pp. 87-100, Editions de l'Aube, France, 2018, ISBN: 978-2-8159-3002-4.

Abstract | Links | BibTeX

Proceedings Articles

Sa?chez-Girón Coca Celia; Luc Perera; Mathis Boiteau; Antoine Costanza; Jérôme Grison; Sarnette Emmanuel; Michèle Kanhonou; Frédéric Fauberteau; Nga Nguyen; Jouvelot Pierre

Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive Disorders Proceedings Article

In: IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies, Orlando (Florida), United States, 2023, ISBN: 979-8-4007-0102-3.

Abstract | Links | BibTeX

Alexis Raynaud; Théo Serru; Nga Nguyen

Attack Scenarios Generation Algorithm Based on Discrete Event System Formalism Proceedings Article

In: Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (DeCPS 2023), Lisbon, Portugal, 2023.

Abstract | Links | BibTeX

Ihab Taleb; Guillaume Guérard; Frédéric Fauberteau; Nga Nguyen

A holonic multi-agent architecture for smart grids Proceedings Article

In: International Conference on Agents and Artificial Intelligence, Lisbon, Portugal, 2023, ISBN: 978-989-758-547-0.

Abstract | Links | BibTeX

Ihab Taleb; Guillaume Guérard; Frédéric Fauberteau; Nga Nguyen

A holonic multi-agent architecture for smart grids Proceedings Article

In: 15th International Conference on Agents and Artificial Intelligence, Lisbon, Portugal, 2023.

Abstract | Links | BibTeX

Guillaume Guérard; Ihab Taleb; Frédéric Fauberteau; Nga Nguyen

Modélisation Multi-Agent pour les Réseaux Energétique Insulaires Proceedings Article

In: Journées Francophones sur les Systèmes Multi-Agents, Saint-Etienne, France, 2022.

Links | BibTeX

Adam Talbi; Arthur Viens; Louis-Clément Leroux; Morgane François; Mathias Caillol; Nga Nguyen

Feature Importance And Deep Learning For Android Malware Detection Proceedings Article

In: International Conference on Information Systems Security and Privacy, Vienna, Austria, 2022.

Abstract | Links | BibTeX

Nga Nguyen

RobAFIS: Lessons Learned from a Robotic Systems Engineering Challenge Proceedings Article

In: 2021 International Symposium on Systems Engineering Proceedings, Vienna, Austria, 2021.

Links | BibTeX

Nga Nguyen; Faïda Mhenni; Jean-Yves Choley

A study on SysML and AltaRica models transformation Proceedings Article

In: IEEE International Systems Conference, Montreal, Canada, 2020, ISBN: 978-1-7281-5366-7.

Abstract | Links | BibTeX

Lylia Alouache; Nga Nguyen; Makhlouf Aliouat; Rachid Chelouah

Credit based incentive approach for V2V cooperation in vehicular cloud computing Proceedings Article

In: 5th International Conference Internet of Vehicles Lecture Notes in Computer Science book series (LNISA,volume 11253), Paris, France, 2018, ISBN: 978-3-030-05080-1.

Abstract | Links | BibTeX

Nga Nguyen; Faïda Mhenni; Jean-Yves Choley

AltaRica 3.0 code generation from SysML models Proceedings Article

In: 28th European Safety and Reliability Conference Safety and Reliability - Safe Societies in a Changing World, Tronheim, Norway, 2018, ISBN: 9781351174664.

Abstract | Links | BibTeX

Saoussen Mili; Nga Nguyen; Rachid Chelouah

Attack modeling and verification for connected system security Proceedings Article

In: 2018 13th Annual Conference on System of Systems Engineering (SoSE), Paris, France, 2018, ISBN: 978-1-5386-4877-3.

Abstract | Links | BibTeX

Fa¨?da Mhenni; Mhenni Fa¨?da; Jean-Yves Choley; Nga Nguyen

Verification and validation of the consistency between multi-domain system models Proceedings Article

In: IEEE International Systems Conference, Vancouver, Canada, 2018, ISBN: 2472-9647.

Abstract | Links | BibTeX

Lylia Alouache; Nga Nguyen; Rachid Chelouah

Toward a hybrid SDN architecture for V2V communication in IoV environment Proceedings Article

In: 2018 Fifth International Conference on Software Defined Systems (SDS), Barcelona, Spain, 2018, ISBN: 978-1-5386-5901-4.

Abstract | Links | BibTeX

Miscellaneous

Nga Nguyen; Saoussen Mili; Rachid Chelouah

Modélisation et validation des systèmes embarqués communicants Miscellaneous

Embedded SEC, 2018.

Links | BibTeX




    No posts by this author.


Contact us
Apply now

    Need information ?

    Contact us and we will help you