Array resizing for scientific code debugging, maintenance and reuse. - Corinne Ancourt; Thi Viet Nga Nguyen (PASTE, 2001)

Automatic Detection of Uninitialized Variables. - Thi Viet Nga Nguyen; François Irigoin; Corinne Ancourt; Fabien Coelho (CC, 2003)

Advanced Program Analyses and Verifications. - Thi Viet Nga Nguyen; François Irigoin (RIVF, 2003)

Alias Verification for Fortran Code Optimization. - Thi Viet Nga Nguyen; François Irigoin (J. Univers. Comput. Sci., 2003)

Efficient and effective array bound checking. - Thi Viet Nga Nguyen; François Irigoin (ACM Trans. Program. Lang. Syst., 2005)

SysML Parametric Models for Complex System Performance Analysis - A Case Study. - Nga Nguyen 001; Hubert Kadima (SIMULTECH, 2012)

Safety analysis integration in a SysML-based complex system design process. - Faïda Mhenni; Nga Nguyen 001; Hubert Kadima; Jean-Yves Choley (SysCon, 2013)

Automatic fault tree generation from SysML system models. - Faïda Mhenni; Nga Nguyen 001; Jean-Yves Choley (AIM, 2014)

Extended mechatronic systems architecture modeling with SysML for enhanced safety analysis. - Faïda Mhenni; Jean-Yves Choley; Nga Nguyen 001 (SysCon, 2014)

SysML extensions for safety-critical mechatronic systems design. - Faïda Mhenni; Jean-Yves Choley; Nga Nguyen 001 (ISSE, 2015)

An integrated design methodology for safety critical systems. - Faïda Mhenni; Jean-Yves Choley; Nga Nguyen 001 (SysCon, 2016)

Free and open source fault tree analysis tools survey. - Anis Baklouti; Nga Nguyen 001; Jean-Yves Choley; Faïda Mhenni; Abdelfattah Mlika (SysCon, 2017)

Credit Based Incentive Approach for V2V Cooperation in Vehicular Cloud Computing. - Lylia Alouache; Nga Nguyen 001; Makhlouf Aliouat; Rachid Chelouah (IOV, 2018)

Toward a hybrid SDN architecture for V2V communication in IoV environment. - Lylia Alouache; Nga Nguyen 001; Makhlouf Aliouat; Rachid Chelouah (SDS, 2018)

Verification and validation of the consistency between multi-domain system models. - Sarra Missaoui; Faïda Mhenni; Jean-Yves Choley; Nga Nguyen 001 (SysCon, 2018)

Attack Modeling and Verification for Connected System Security. - Saoussen Mili; Nga Nguyen 001; Rachid Chelouah (SoSE, 2018)

SafeSysE: A Safety Analysis Integration in Systems Engineering Approach. - Faïda Mhenni; Nga Nguyen 001; Jean-Yves Choley (IEEE Syst. J., 2018)

Survey on IoV routing protocols: Security and network architecture. - Lylia Alouache; Nga Nguyen 001; Makhlouf Aliouat; Rachid Chelouah (Int. J. Commun. Syst., 2019)

Transformation-Based Approach to Security Verification for Cyber-Physical Systems. - Saoussen Mili; Nga Nguyen 001; Rachid Chelouah (IEEE Syst. J., 2019)

A Study on SysML and AltaRica Models Transformation. - Nga Nguyen 001; Faïda Mhenni; Jean-Yves Choley (SysCon, 2020)

HSDN-GRA: A hybrid software-defined networking-based geographic routing protocol with multi-agent approach. - Lylia Alouache; Nga Nguyen 001; Makhlouf Aliouat; Rachid Chelouah (Int. J. Commun. Syst., 2020)

Dynamic Fault Tree Generation for Safety-Critical Systems Within a Systems Engineering Approach. - Anis Baklouti; Nga Nguyen 001; Faïda Mhenni; Jean-Yves Choley; Abdelfattah Mlika (IEEE Syst. J., 2020)

Model-driven architecture based security analysis. - Saoussen Mili; Nga Nguyen 001; Rachid Chelouah (Syst. Eng., 2021)

Feature Importance and Deep Learning for Android Malware Detection. - Adam Talbi; Arthur Viens; Louis-Clément Leroux; Morgane François; Mathias Caillol; Nga Nguyen 001 (ICISSP, 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 001 (JFSMA, 2022)

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 001; Pierre Jouvelot (CHASE, 2023)

A Holonic Multi-Agent Architecture For Smart Grids. - Ihab Taleb; Guillaume Guérard; Frédéric Fauberteau; Nga Nguyen 001 (ICAART (1), 2023)

Holonic Energy Management Systems: Towards Flexible and Resilient Smart Grids. - Ihab Taleb; Guillaume Guérard; Frédéric Fauberteau; Nga Nguyen 001 (ICAART (Revised Selected Paper), 2023)

Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences. - Théo Serru; Nga Nguyen 001; Michel Batteux; Antoine Rauzy (ACM Trans. Cyber Phys. Syst., 2023)

Relevance of Imaged-Based Representation for Android Malware Detection. - Foucauld Estignard; Adrien Djebar; Hugo Deduit; Sourav Rai; Adam Talbi; Christophe Rodrigues; Nga Nguyen 001 (CRiSIS, 2024)

Detecting Obfuscated Android Malware Through Categorized Smali N-Gram Instructions and Ensemble Learning. - Adam Talbi; Christophe Rodrigues; Nga Nguyen 001 (CRiSIS, 2024)