Nga Nguyen
Nga Nguyen
Associate Professor, ESILV, ETIS Laboratory
Verified email at - Homepage
Cited by
Cited by
Automatic fault tree generation from SysML system models
F Mhenni, N Nguyen, JY Choley
2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics …, 2014
Safesyse: A safety analysis integration in systems engineering approach
F Mhenni, N Nguyen, JY Choley
IEEE Systems Journal 12 (1), 161-172, 2016
Efficient and effective array bound checking
TVN Nguyen, F Irigoin
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (3), 527-570, 2005
Toward a Hybrid SDN Architecture for V2V Communication in IoV Environment
L Alouache, N Nguyen, M Aliouat, R Chelouah
5th International Conference on Software Defined Systems, 2018
Safety analysis integration in a SysML-based complex system design process
F Mhenni, N Nguyen, H Kadima, JY Choley
2013 IEEE International Systems Conference (SysCon), 70-75, 2013
Survey on IoV Routing Protocols: Security and Network Architecture
L Alouache, N Nguyen, M Aliouat, R Chelouah
International Journal of Communication Systems, 2018
SysML and safety analysis for mechatronic systems
JY Choley, A Rivière, N Nguyen, H Kadima
2012 9th France-Japan & 7th Europe-Asia Congress on Mechatronics …, 2012
New robust protocol for {IoV} communications, Challenges of the Internet of Things : Technology, Use, Ethics
L Alouache, N Nguyen, M Aliouat, R Chelouah
ISTE / Wiley 7, 137-161, 2018
SysML extensions for safety-critical mechatronic systems design
F Mhenni, JY Choley, N Nguyen
2015 IEEE International Symposium on Systems Engineering (ISSE), 242-247, 2015
Topology-Based Safety Analysis for Safety Critical Cyber-Physical Systems
JY Choley, F Mhenni, N Nguyen, A Baklouti
Procedia Computer Science, Complex Adaptive Systems Conference, Los Angeles …, 2016
Improved Safety Analysis Integration in Systems Engineering Approach
A Baklouti, N Nguyen, F Mhenni, JY Choley, A Mlika
Applied Sciences 9 (6), 2019
Automatic detection of uninitialized variables
TVN Nguyen, F Irigoin, C Ancourt, F Coelho
International Conference on Compiler Construction, 217-231, 2003
Extended mechatronic systems architecture modeling with SysML for enhanced safety analysis
F Mhenni, JY Choley, N Nguyen
2014 IEEE International Systems Conference Proceedings, 378-382, 2014
Efficient and effective software verifications for scientific applications using static analyses and code instrumentation
TVN Nguyen
PhD thesis, École des mines de Paris, 2002
Towards the integration of safety analysis in a model-based system engineering approach with SysML
F Mhenni, N Nguyen, JY Choley
Design and Modeling of Mechanical Systems, 61-68, 2013
Efficient intraprocedural array bound checking
NTV Nguyen, F Irigoin, C Ancourt, R Keryell
In Second International Workshop on Automated Program Analysis, Testing and …, 2001
Array resizing for scientific code debugging, maintenance and reuse
C Ancourt, TVN Nguyen
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2001
Redundancy Handling with Model-Based Systems Engineering
N Nguyen, F Mhenni, JY Choley
26th European Safety and Reliability Conference, 2016
Flight Control System Modeling with SysML to Support Validation, Qualification and Certification
F Mhenni, JY Choley, N Nguyen, C Frazza
14th IFAC Symposium on Control in Transportation Systems, 2016
SysML safety profile for mechatronics
F Mhenni, JY Choley, N Nguyen
2014 10th France-Japan/8th Europe-Asia Congress on Mecatronics …, 2014
The system can't perform the operation now. Try again later.
Articles 1–20