Nga Nguyen

According to our database, Nga Nguyen authored at least 29 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences.

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

ACM Trans. Cyber Phys. Syst., July, 2023

Holonic Energy Management Systems: Towards Flexible and Resilient Smart Grids.

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

Proceedings of the Agents and Artificial Intelligence - 15th International Conference, 2023

A Holonic Multi-Agent Architecture For Smart Grids.

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

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

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

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

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2023

2022

Modélisation Multi-Agent pour les Réseaux Énergétiques Insulaires (démonstration).

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

Proceedings of the SMA et Smart Cities, 2022

Feature Importance and Deep Learning for Android Malware Detection.

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

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

2021

Model-driven architecture based security analysis.

Saoussen Mili, Nga Nguyen, Rachid Chelouah

Syst. Eng., 2021

2020

Dynamic Fault Tree Generation for Safety-Critical Systems Within a Systems Engineering Approach.

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

IEEE Syst. J., 2020

HSDN-GRA: A hybrid software-defined networking-based geographic routing protocol with multi-agent approach.

Lylia Alouache, Nga Nguyen, Makhlouf Aliouat, Rachid Chelouah

Int. J. Commun. Syst., 2020

A Study on SysML and AltaRica Models Transformation.

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

Proceedings of the IEEE International Systems Conference, 2020

2019

Transformation-Based Approach to Security Verification for Cyber-Physical Systems.

Saoussen Mili, Nga Nguyen, Rachid Chelouah

IEEE Syst. J., 2019

Survey on IoV routing protocols: Security and network architecture.

Lylia Alouache, Nga Nguyen, Makhlouf Aliouat, Rachid Chelouah

Int. J. Commun. Syst., 2019

2018

SafeSysE: A Safety Analysis Integration in Systems Engineering Approach.

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

IEEE Syst. J., 2018

Attack Modeling and Verification for Connected System Security.

Saoussen Mili, Nga Nguyen, Rachid Chelouah

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

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

Sarra Missaoui, Faïda Mhenni, Jean-Yves Choley, Nga Nguyen

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

Toward a hybrid SDN architecture for V2V communication in IoV environment.

Lylia Alouache, Nga Nguyen, Makhlouf Aliouat, Rachid Chelouah

Proceedings of the Fifth International Conference on Software Defined Systems, 2018

Credit Based Incentive Approach for V2V Cooperation in Vehicular Cloud Computing.

Lylia Alouache, Nga Nguyen, Makhlouf Aliouat, Rachid Chelouah

Proceedings of the Internet of Vehicles. Technologies and Services Towards Smart City, 2018

2017

Free and open source fault tree analysis tools survey.

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

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

2016

An integrated design methodology for safety critical systems.

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

Proceedings of the Annual IEEE Systems Conference, 2016

2015

SysML extensions for safety-critical mechatronic systems design.

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

Proceedings of the IEEE International Symposium on Systems Engineering, 2015

2014

Extended mechatronic systems architecture modeling with SysML for enhanced safety analysis.

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

Proceedings of the IEEE International Systems Conference, 2014

Automatic fault tree generation from SysML system models.

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

Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2014

2013

Safety analysis integration in a SysML-based complex system design process.

Faïda Mhenni, Nga Nguyen, Hubert Kadima, Jean-Yves Choley

Proceedings of the IEEE International Systems Conference, 2013

2012

SysML Parametric Models for Complex System Performance Analysis - A Case Study.

Nga Nguyen, Hubert Kadima

Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

2005

Efficient and effective array bound checking.

Thi Viet Nga Nguyen, François Irigoin

ACM Trans. Program. Lang. Syst., 2005

2003

Advanced Program Analyses and Verifications.

Thi Viet Nga Nguyen, François Irigoin

Proceedings of the Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, 2003

Automatic Detection of Uninitialized Variables.

Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Alias verification for Fortran code optimization.

Thi Viet Nga Nguyen, François Irigoin

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

2001

Array resizing for scientific code debugging, maintenance and reuse.

Corinne Ancourt, Thi Viet Nga Nguyen

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001