Automatic fault tree generation from SysML system models F Mhenni, N Nguyen, JY Choley 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics …, 2014 | 106 | 2014 |
SafeSysE: A safety analysis integration in systems engineering approach F Mhenni, N Nguyen, JY Choley IEEE Systems Journal 12 (1), 161-172, 2016 | 73 | 2016 |
Survey on IoV routing protocols: Security and network architecture L Alouache, N Nguyen, M Aliouat, R Chelouah International Journal of Communication Systems 32 (2), e3849, 2019 | 55 | 2019 |
Efficient and effective array bound checking TVN Nguyen, F Irigoin ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (3), 527-570, 2005 | 48 | 2005 |
Toward a hybrid SDN architecture for V2V communication in IoV environment L Alouache, N Nguyen, M Aliouat, R Chelouah 2018 fifth international conference on software defined systems (SDS), 93-99, 2018 | 42 | 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 | 32 | 2013 |
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 | 32 | 2012 |
Improved safety analysis integration in a systems engineering approach A Baklouti, N Nguyen, F Mhenni, JY Choley, A Mlika Applied Sciences 9 (6), 1246, 2019 | 29 | 2019 |
Topology-based safety analysis for safety critical CPS JY Choley, F Mhenni, N Nguyen, A Baklouti Procedia computer science 95, 32-39, 2016 | 23 | 2016 |
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 | 22 | 2015 |
Flight control system modeling with sysml to support validation, qualification and certification F Mhenni, JY Choley, N Nguyen, C Frazza IFAC-PapersOnLine 49 (3), 453-458, 2016 | 19 | 2016 |
Transformation-based approach to security verification for cyber-physical systems S Mili, N Nguyen, R Chelouah IEEE Systems Journal 13 (4), 3989-4000, 2019 | 16 | 2019 |
Automatic detection of uninitialized variables TVN Nguyen, F Irigoin, C Ancourt, F Coelho Compiler Construction: 12th International Conference, CC 2003 Held as Part …, 2003 | 15 | 2003 |
A flexible deep learning method for energy forecasting I Taleb, G Guerard, F Fauberteau, N Nguyen Energies 15 (11), 3926, 2022 | 14 | 2022 |
Efficient intraprocedural array bound checking NTV Nguyen, F Irigoin, C Ancourt, R Keryell In Second International Workshop on Automated Program Analysis, Testing and …, 2001 | 14 | 2001 |
Free and open source fault tree analysis tools survey A Baklouti, N Nguyen, JY Choley, F Mhenni, A Mlika 2017 Annual IEEE International Systems Conference (SysCon), 1-8, 2017 | 13 | 2017 |
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 | 13 | 2014 |
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: Proceedings of the Fifth …, 2013 | 13 | 2013 |
Redundancy handling with model-based systems engineering N Nguyen, F Mhenni, JY Choley 26th European Safety and Reliability Conference (ESREL), 2016 | 12 | 2016 |
Dynamic fault tree generation for safety-critical systems within a systems engineering approach A Baklouti, N Nguyen, F Mhenni, JY Choley, A Mlika IEEE Systems Journal 14 (1), 1512-1522, 2019 | 11 | 2019 |