default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNga Nguyen 0001
Person information
- affiliation: Paris Seine University, École Internationale des Sciences du Traitement de l'information (EISTI), Quartz Laboratory, Cergy, France
Other persons with the same name
- Nga Nguyen — disambiguation page
- Nga Nguyen 0002 — B2T Concept, Spain
- Nga Nguyen 0003
![[0000-0002-0879-0006]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-0879-0006")
(aka: Nga Nguyen Thu, Nguyen Thu Nga) — Hanoi University of Science and Technology, Vietnam
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j9]Théo Serru, Nga Nguyen, Michel Batteux, Antoine Rauzy:
Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences. ACM Trans. Cyber Phys. Syst. 7(3): 17:1-17:20 (2023)- 2021
- [j8]Saoussen Mili, Nga Nguyen, Rachid Chelouah:
Model-driven architecture based security analysis. Syst. Eng. 24(5): 307-321 (2021) - 2020
- [j7]Lylia Alouache, Nga Nguyen, Makhlouf Aliouat, Rachid Chelouah:
HSDN-GRA: A hybrid software-defined networking-based geographic routing protocol with multi-agent approach. Int. J. Commun. Syst. 33(15) (2020) - [j6]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. IEEE Syst. J. 14(1): 1512-1522 (2020) - 2019
- [j5]Lylia Alouache, Nga Nguyen, Makhlouf Aliouat, Rachid Chelouah:
Survey on IoV routing protocols: Security and network architecture. Int. J. Commun. Syst. 32(2) (2019) - [j4]Saoussen Mili, Nga Nguyen, Rachid Chelouah:
Transformation-Based Approach to Security Verification for Cyber-Physical Systems. IEEE Syst. J. 13(4): 3989-4000 (2019) - 2018
- [j3]Faïda Mhenni, Nga Nguyen, Jean-Yves Choley:
SafeSysE: A Safety Analysis Integration in Systems Engineering Approach. IEEE Syst. J. 12(1): 161-172 (2018) - 2005
- [j2]Thi Viet Nga Nguyen, François Irigoin:
Efficient and effective array bound checking. ACM Trans. Program. Lang. Syst. 27(3): 527-570 (2005) - 2003
- [j1]Thi Viet Nga Nguyen, François Irigoin:
Alias Verification for Fortran Code Optimization. J. Univers. Comput. Sci. 9(3): 270- (2003)
Conference and Workshop Papers
- 2023
- [c21]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:
Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive Disorders. CHASE 2023: 117-118 - [c20]Ihab Taleb, Guillaume Guérard, Frédéric Fauberteau, Nga Nguyen:
Holonic Energy Management Systems: Towards Flexible and Resilient Smart Grids. ICAART (Revised Selected Paper) 2023: 95-112 - [c19]Ihab Taleb, Guillaume Guérard, Frédéric Fauberteau, Nga Nguyen:
A Holonic Multi-Agent Architecture For Smart Grids. ICAART (1) 2023: 126-134 - 2022
- [c18]Adam Talbi, Arthur Viens, Louis-Clément Leroux, Morgane François, Mathias Caillol, Nga Nguyen:
Feature Importance and Deep Learning for Android Malware Detection. ICISSP 2022: 453-462 - [c17]Ihab Taleb, Guillaume Guérard, Frédéric Fauberteau, Nga Nguyen:
Modélisation Multi-Agent pour les Réseaux Énergétiques Insulaires (démonstration). JFSMA 2022: 137-140 - 2020
- [c16]Nga Nguyen, Faïda Mhenni, Jean-Yves Choley:
A Study on SysML and AltaRica Models Transformation. SysCon 2020: 1-6 - 2018
- [c15]Lylia Alouache, Nga Nguyen, Makhlouf Aliouat, Rachid Chelouah:
Credit Based Incentive Approach for V2V Cooperation in Vehicular Cloud Computing. IOV 2018: 92-105 - [c14]Lylia Alouache, Nga Nguyen, Makhlouf Aliouat, Rachid Chelouah:
Toward a hybrid SDN architecture for V2V communication in IoV environment. SDS 2018: 93-99 - [c13]Sarra Missaoui, Faïda Mhenni, Jean-Yves Choley, Nga Nguyen:
Verification and validation of the consistency between multi-domain system models. SysCon 2018: 1-7 - [c12]Saoussen Mili, Nga Nguyen, Rachid Chelouah:
Attack Modeling and Verification for Connected System Security. SoSE 2018: 157-162 - 2017
- [c11]Anis Baklouti, Nga Nguyen, Jean-Yves Choley, Faïda Mhenni, Abdelfattah Mlika:
Free and open source fault tree analysis tools survey. SysCon 2017: 1-8 - 2016
- [c10]Faïda Mhenni, Jean-Yves Choley, Nga Nguyen:
An integrated design methodology for safety critical systems. SysCon 2016: 1-6 - 2015
- [c9]Faïda Mhenni, Jean-Yves Choley, Nga Nguyen:
SysML extensions for safety-critical mechatronic systems design. ISSE 2015: 242-247 - 2014
- [c8]Faïda Mhenni, Nga Nguyen, Jean-Yves Choley:
Automatic fault tree generation from SysML system models. AIM 2014: 715-720 - [c7]Faïda Mhenni, Jean-Yves Choley, Nga Nguyen:
Extended mechatronic systems architecture modeling with SysML for enhanced safety analysis. SysCon 2014: 378-382 - 2013
- [c6]Faïda Mhenni, Nga Nguyen, Hubert Kadima, Jean-Yves Choley:
Safety analysis integration in a SysML-based complex system design process. SysCon 2013: 70-75 - 2012
- [c5]Nga Nguyen, Hubert Kadima:
SysML Parametric Models for Complex System Performance Analysis - A Case Study. SIMULTECH 2012: 321-327 - 2003
- [c4]Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho:
Automatic Detection of Uninitialized Variables. CC 2003: 217-231 - [c3]Thi Viet Nga Nguyen, François Irigoin:
Advanced Program Analyses and Verifications. RIVF 2003: 77-82 - 2002
- [c2]Thi Viet Nga Nguyen, François Irigoin:
Alias verification for Fortran code optimization. COCV@ETAPS 2002: 52-66 - 2001
- [c1]Corinne Ancourt, Thi Viet Nga Nguyen:
Array resizing for scientific code debugging, maintenance and reuse. PASTE 2001: 32-37
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
