BibTeX records: Nga Nguyen 0001

download as .bib file

@article{DBLP:journals/tcps/SerruNBR23,
  author       = {Th{\'{e}}o Serru and
                  Nga Nguyen and
                  Michel Batteux and
                  Antoine Rauzy},
  title        = {Minimal Critical Sequences in Model-based Safety and Security Analyses:
                  Commonalities and Differences},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {3},
  pages        = {17:1--17:20},
  year         = {2023},
  url          = {https://doi.org/10.1145/3593811},
  doi          = {10.1145/3593811},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/SerruNBR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chase/CocaPBCGSKFNJ23,
  author       = {Celia Sanchez{-}Gir{\'{o}}n Coca and
                  Luc Perera and
                  Mathis Boiteau and
                  Antoine Costanza and
                  J{\'{e}}r{\^{o}}me Grison and
                  Emmanuel Sarnette and
                  Mich{\`{e}}le Kanhonou and
                  Fr{\'{e}}d{\'{e}}ric Fauberteau and
                  Nga Nguyen and
                  Pierre Jouvelot},
  title        = {Tala Box: an Interactive Embedded System to Accompany Patients with
                  Cognitive Disorders},
  booktitle    = {{IEEE/ACM} Conference on Connected Health: Applications, Systems and
                  Engineering Technologies, {CHASE} 2023, Orlando, FL, USA, June 21-23,
                  2023},
  pages        = {117--118},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3580252.3589413},
  doi          = {10.1145/3580252.3589413},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/chase/CocaPBCGSKFNJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/TalebGFN23a,
  author       = {Ihab Taleb and
                  Guillaume Gu{\'{e}}rard and
                  Fr{\'{e}}d{\'{e}}ric Fauberteau and
                  Nga Nguyen},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {Holonic Energy Management Systems: Towards Flexible and Resilient
                  Smart Grids},
  booktitle    = {Agents and Artificial Intelligence - 15th International Conference,
                  {ICAART} 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14546},
  pages        = {95--112},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-55326-4\_5},
  doi          = {10.1007/978-3-031-55326-4\_5},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/TalebGFN23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/TalebGFN23,
  author       = {Ihab Taleb and
                  Guillaume Gu{\'{e}}rard and
                  Fr{\'{e}}d{\'{e}}ric Fauberteau and
                  Nga Nguyen},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {A Holonic Multi-Agent Architecture For Smart Grids},
  booktitle    = {Proceedings of the 15th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
                  22-24, 2023},
  pages        = {126--134},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0011803300003393},
  doi          = {10.5220/0011803300003393},
  timestamp    = {Tue, 12 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/TalebGFN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/TalbiVLFC022,
  author       = {Adam Talbi and
                  Arthur Viens and
                  Louis{-}Cl{\'{e}}ment Leroux and
                  Morgane Fran{\c{c}}ois and
                  Mathias Caillol and
                  Nga Nguyen},
  editor       = {Paolo Mori and
                  Gabriele Lenzini and
                  Steven Furnell},
  title        = {Feature Importance and Deep Learning for Android Malware Detection},
  booktitle    = {Proceedings of the 8th International Conference on Information Systems
                  Security and Privacy, {ICISSP} 2022, Online Streaming, February 9-11,
                  2022},
  pages        = {453--462},
  publisher    = {{SCITEPRESS}},
  year         = {2022},
  url          = {https://doi.org/10.5220/0010875500003120},
  doi          = {10.5220/0010875500003120},
  timestamp    = {Tue, 06 Jun 2023 14:58:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icissp/TalbiVLFC022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/TalebGFN22,
  author       = {Ihab Taleb and
                  Guillaume Gu{\'{e}}rard and
                  Fr{\'{e}}d{\'{e}}ric Fauberteau and
                  Nga Nguyen},
  editor       = {Val{\'{e}}rie Camps},
  title        = {Mod{\'{e}}lisation Multi-Agent pour les R{\'{e}}seaux {\'{E}}nerg{\'{e}}tiques
                  Insulaires (d{\'{e}}monstration)},
  booktitle    = {{SMA} et Smart Cities - Trenti{\`{e}}mes Journ{\'{e}}es Francophones
                  sur les Syst{\`{e}}mes Multi-Agents, {JFSMA} 2022, Saint-Etienne,
                  France, June 27-29, 2022},
  pages        = {137--140},
  publisher    = {C{\'{e}}padu{\`{e}}s},
  year         = {2022},
  timestamp    = {Tue, 12 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfsma/TalebGFN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/se/MiliNC21,
  author       = {Saoussen Mili and
                  Nga Nguyen and
                  Rachid Chelouah},
  title        = {Model-driven architecture based security analysis},
  journal      = {Syst. Eng.},
  volume       = {24},
  number       = {5},
  pages        = {307--321},
  year         = {2021},
  url          = {https://doi.org/10.1002/sys.21581},
  doi          = {10.1002/SYS.21581},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/se/MiliNC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcomsys/AlouacheNAC20,
  author       = {Lylia Alouache and
                  Nga Nguyen and
                  Makhlouf Aliouat and
                  Rachid Chelouah},
  title        = {{HSDN-GRA:} {A} hybrid software-defined networking-based geographic
                  routing protocol with multi-agent approach},
  journal      = {Int. J. Commun. Syst.},
  volume       = {33},
  number       = {15},
  year         = {2020},
  url          = {https://doi.org/10.1002/dac.4521},
  doi          = {10.1002/DAC.4521},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcomsys/AlouacheNAC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/BakloutiNMCM20,
  author       = {Anis Baklouti and
                  Nga Nguyen and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Abdelfattah Mlika},
  title        = {Dynamic Fault Tree Generation for Safety-Critical Systems Within a
                  Systems Engineering Approach},
  journal      = {{IEEE} Syst. J.},
  volume       = {14},
  number       = {1},
  pages        = {1512--1522},
  year         = {2020},
  url          = {https://doi.org/10.1109/JSYST.2019.2930184},
  doi          = {10.1109/JSYST.2019.2930184},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sj/BakloutiNMCM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/0001MC20,
  author       = {Nga Nguyen and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley},
  title        = {A Study on SysML and AltaRica Models Transformation},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2020, Montreal, QC,
                  Canada, August 24 - September 20, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SysCon47679.2020.9275868},
  doi          = {10.1109/SYSCON47679.2020.9275868},
  timestamp    = {Mon, 14 Dec 2020 10:13:52 +0100},
  biburl       = {https://dblp.org/rec/conf/syscon/0001MC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcomsys/AlouacheNAC19,
  author       = {Lylia Alouache and
                  Nga Nguyen and
                  Makhlouf Aliouat and
                  Rachid Chelouah},
  title        = {Survey on IoV routing protocols: Security and network architecture},
  journal      = {Int. J. Commun. Syst.},
  volume       = {32},
  number       = {2},
  year         = {2019},
  url          = {https://doi.org/10.1002/dac.3849},
  doi          = {10.1002/DAC.3849},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcomsys/AlouacheNAC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/MiliNC19,
  author       = {Saoussen Mili and
                  Nga Nguyen and
                  Rachid Chelouah},
  title        = {Transformation-Based Approach to Security Verification for Cyber-Physical
                  Systems},
  journal      = {{IEEE} Syst. J.},
  volume       = {13},
  number       = {4},
  pages        = {3989--4000},
  year         = {2019},
  url          = {https://doi.org/10.1109/JSYST.2019.2923818},
  doi          = {10.1109/JSYST.2019.2923818},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sj/MiliNC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/MhenniNC18,
  author       = {Fa{\"{\i}}da Mhenni and
                  Nga Nguyen and
                  Jean{-}Yves Choley},
  title        = {SafeSysE: {A} Safety Analysis Integration in Systems Engineering Approach},
  journal      = {{IEEE} Syst. J.},
  volume       = {12},
  number       = {1},
  pages        = {161--172},
  year         = {2018},
  url          = {https://doi.org/10.1109/JSYST.2016.2547460},
  doi          = {10.1109/JSYST.2016.2547460},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sj/MhenniNC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iov/AlouacheNAC18,
  author       = {Lylia Alouache and
                  Nga Nguyen and
                  Makhlouf Aliouat and
                  Rachid Chelouah},
  editor       = {Andrzej M. J. Skulimowski and
                  Zhengguo Sheng and
                  Sond{\`{e}}s Khemiri{-}Kallel and
                  Christophe C{\'{e}}rin and
                  Ching{-}Hsien Hsu},
  title        = {Credit Based Incentive Approach for {V2V} Cooperation in Vehicular
                  Cloud Computing},
  booktitle    = {Internet of Vehicles. Technologies and Services Towards Smart City
                  - 5th International Conference, {IOV} 2018, Paris, France, November
                  20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11253},
  pages        = {92--105},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-05081-8\_7},
  doi          = {10.1007/978-3-030-05081-8\_7},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iov/AlouacheNAC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sds/AlouacheNAC18,
  author       = {Lylia Alouache and
                  Nga Nguyen and
                  Makhlouf Aliouat and
                  Rachid Chelouah},
  title        = {Toward a hybrid {SDN} architecture for {V2V} communication in IoV
                  environment},
  booktitle    = {Fifth International Conference on Software Defined Systems, {SDS}
                  2018, Barcelona, Spain, April 23-26, 2018},
  pages        = {93--99},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SDS.2018.8370428},
  doi          = {10.1109/SDS.2018.8370428},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sds/AlouacheNAC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MissaouiMCN18,
  author       = {Sarra Missaoui and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Nga Nguyen},
  title        = {Verification and validation of the consistency between multi-domain
                  system models},
  booktitle    = {2018 Annual {IEEE} International Systems Conference, SysCon 2018,
                  Vancouver, BC, Canada, April 23-26, 2018},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SYSCON.2018.8369561},
  doi          = {10.1109/SYSCON.2018.8369561},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MissaouiMCN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/MiliNC18,
  author       = {Saoussen Mili and
                  Nga Nguyen and
                  Rachid Chelouah},
  title        = {Attack Modeling and Verification for Connected System Security},
  booktitle    = {13th Annual Conference on System of Systems Engineering, SoSE 2018,
                  Paris, France, June 19-22, 2018},
  pages        = {157--162},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SYSOSE.2018.8428695},
  doi          = {10.1109/SYSOSE.2018.8428695},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sysose/MiliNC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/BakloutiNCMM17,
  author       = {Anis Baklouti and
                  Nga Nguyen and
                  Jean{-}Yves Choley and
                  Fa{\"{\i}}da Mhenni and
                  Abdelfattah Mlika},
  title        = {Free and open source fault tree analysis tools survey},
  booktitle    = {2017 Annual {IEEE} International Systems Conference, SysCon 2017,
                  Montreal, QC, Canada, April 24-27, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SYSCON.2017.7934794},
  doi          = {10.1109/SYSCON.2017.7934794},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/BakloutiNCMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MhenniCN16,
  author       = {Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Nga Nguyen},
  title        = {An integrated design methodology for safety critical systems},
  booktitle    = {Annual {IEEE} Systems Conference, SysCon 2016, Orlando, FL, USA, April
                  18-21, 2016},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SYSCON.2016.7490580},
  doi          = {10.1109/SYSCON.2016.7490580},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MhenniCN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/MhenniC015,
  author       = {Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Nga Nguyen},
  title        = {SysML extensions for safety-critical mechatronic systems design},
  booktitle    = {{IEEE} International Symposium on Systems Engineering, {ISSE} 2015,
                  Rome, Italy, September 28-30, 2015},
  pages        = {242--247},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SysEng.2015.7302764},
  doi          = {10.1109/SYSENG.2015.7302764},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isse2/MhenniC015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimech/MhenniNC14,
  author       = {Fa{\"{\i}}da Mhenni and
                  Nga Nguyen and
                  Jean{-}Yves Choley},
  title        = {Automatic fault tree generation from SysML system models},
  booktitle    = {{IEEE/ASME} International Conference on Advanced Intelligent Mechatronics,
                  {AIM} 2014, Besancon, France, July 8-11, 2014},
  pages        = {715--720},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/AIM.2014.6878163},
  doi          = {10.1109/AIM.2014.6878163},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimech/MhenniNC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MhenniCN14,
  author       = {Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Nga Nguyen},
  title        = {Extended mechatronic systems architecture modeling with SysML for
                  enhanced safety analysis},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2014, Proceedings,
                  Ottawa, ON, Canada, March 31 - April 3, 2014},
  pages        = {378--382},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SysCon.2014.6819284},
  doi          = {10.1109/SYSCON.2014.6819284},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MhenniCN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MhenniNKC13,
  author       = {Fa{\"{\i}}da Mhenni and
                  Nga Nguyen and
                  Hubert Kadima and
                  Jean{-}Yves Choley},
  title        = {Safety analysis integration in a SysML-based complex system design
                  process},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2013, Orlando, FL,
                  USA, April 15-18, 2013},
  pages        = {70--75},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/SysCon.2013.6549861},
  doi          = {10.1109/SYSCON.2013.6549861},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MhenniNKC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/NguyenK12,
  author       = {Nga Nguyen and
                  Hubert Kadima},
  editor       = {Nuno Pina and
                  Janusz Kacprzyk and
                  Mohammad S. Obaidat},
  title        = {SysML Parametric Models for Complex System Performance Analysis -
                  {A} Case Study},
  booktitle    = {{SIMULTECH} 2012 - Proceedings of the 2nd International Conference
                  on Simulation and Modeling Methodologies, Technologies and Applications,
                  Rome, Italy, 28 - 31 July, 2012},
  pages        = {321--327},
  publisher    = {SciTePress},
  year         = {2012},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/simultech/NguyenK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/NguyenI05,
  author       = {Thi Viet Nga Nguyen and
                  Fran{\c{c}}ois Irigoin},
  title        = {Efficient and effective array bound checking},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {27},
  number       = {3},
  pages        = {527--570},
  year         = {2005},
  url          = {https://doi.org/10.1145/1065887.1065893},
  doi          = {10.1145/1065887.1065893},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/NguyenI05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/NguyenI03,
  author       = {Thi Viet Nga Nguyen and
                  Fran{\c{c}}ois Irigoin},
  title        = {Alias Verification for Fortran Code Optimization},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {9},
  number       = {3},
  pages        = {270},
  year         = {2003},
  url          = {https://doi.org/10.3217/jucs-009-03-0270},
  doi          = {10.3217/JUCS-009-03-0270},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/NguyenI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/NguyenIAC03,
  author       = {Thi Viet Nga Nguyen and
                  Fran{\c{c}}ois Irigoin and
                  Corinne Ancourt and
                  Fabien Coelho},
  editor       = {G{\"{o}}rel Hedin},
  title        = {Automatic Detection of Uninitialized Variables},
  booktitle    = {Compiler Construction, 12th International Conference, {CC} 2003, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2622},
  pages        = {217--231},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36579-6\_16},
  doi          = {10.1007/3-540-36579-6\_16},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/NguyenIAC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rivf/NguyenI03,
  author       = {Thi Viet Nga Nguyen and
                  Fran{\c{c}}ois Irigoin},
  title        = {Advanced Program Analyses and Verifications},
  booktitle    = {Actes de la Premi{\`{e}}re Conf{\'{e}}rence Internationale RIVF'03
                  Rencontres en Informatique Vietnam-France, RIVF'03, Hanoi, Vietnam,
                  10-13 F{\'{e}}vrier, 2003},
  pages        = {77--82},
  publisher    = {Editions Suger, Paris},
  year         = {2003},
  url          = {http://www.e-ifi.org/rivf2003/proceedings/p77-82.pdf},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rivf/NguyenI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NguyenI02,
  author       = {Thi Viet Nga Nguyen and
                  Fran{\c{c}}ois Irigoin},
  editor       = {Jens Knoop and
                  Wolf Zimmermann},
  title        = {Alias verification for Fortran code optimization},
  booktitle    = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
                  Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {65},
  number       = {2},
  pages        = {52--66},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80396-7},
  doi          = {10.1016/S1571-0661(04)80396-7},
  timestamp    = {Tue, 13 Dec 2022 10:38:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NguyenI02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/AncourtN01,
  author       = {Corinne Ancourt and
                  Thi Viet Nga Nguyen},
  editor       = {John Field and
                  Gregor Snelting},
  title        = {Array resizing for scientific code debugging, maintenance and reuse},
  booktitle    = {Proceedings of the 2001 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah,
                  USA, June 18-19, 2001},
  pages        = {32--37},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/379605.379656},
  doi          = {10.1145/379605.379656},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/AncourtN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics