Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

27 résultats
Page :
triés par
Image document

Model-Driven Architecture Based Security Analysis

 Saoussen Mili , Nga Thi Viet Nguyen , Rachid Chelouah
Systems Engineering, 2021, 24 (5), pp.307-321. ⟨10.1002/sys.21581⟩
Article dans une revue hal-03216460v1

Free and open source fault tree analysis tools survey

 Anis Baklouti , Nga Nguyen , Jean-Yves Choley , Faïda Mhenni , Abdelfattah Mlika
Systems Conference (SysCon), 2017 Annual IEEE International, Apr 2017, Montreal, Canada. pp.1-8, ⟨10.1109/SYSCON.2017.7934794⟩
Communication dans un congrès hal-01991781v1

Transformation-Based Approach to Security Verification for Cyber-Physical Systems

 Saoussen Mili , Nga Thi Viet Nguyen , Rachid Chelouah
IEEE Systems Journal, 2019, pp.1-12. ⟨10.1109/JSYST.2019.2923818⟩
Article dans une revue hal-02185311v1

SafeSysE: A Safety Analysis Integration In Systems Engineering Approach

 Faida Mhenni , Nga Thi Viet Nguyen , Jean-Yves Choley
IEEE Systems Journal, 2018, PP (99), pp.1-12. ⟨10.1109/JSYST.2016.2547460⟩
Article dans une revue hal-01464077v1
Image document

Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive Disorders

 Celia Sańchez-Girón Coca , Luc Perera , Mathis Boiteau , Antoine Costanza , Jérôme Grison , et al.
The IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), Jun 2023, Orlando (Florida), United States. ⟨10.1145/3580252.3589413⟩
Communication dans un congrès hal-04071711v1

AltaRica 3.0 code generation from SysML models

 Nga Thi Viet Nguyen , Faïda Mhenni , Jean-Yves Choley
Safety and Reliability – Safe Societies in a Changing World, 1, CRC Press, pp.2435-2440, 2018, ⟨10.1201/9781351174664-306⟩
Chapitre d'ouvrage hal-03254155v1
Image document

SysML safety profile for mechatronics

 Faïda Mhenni , Jean-Yves Choley , Nga Nguyen
10th France-Japan/8th Europe-Asia Congress on Mecatronics (MECATRONICS), Nov 2014, Tokyo, Japan. ⟨10.1109/MECATRONICS.2014.7018622⟩
Communication dans un congrès hal-01910896v1

Alias verification for Fortran code optimization

 Nga Thi Viet Nguyen , François Irigoin
Electronic Notes in Theoretical Computer Science, 2002, 65 (2), pp.52 - 66. ⟨10.1016/S1571-0661(04)80396-7⟩
Article dans une revue hal-01662150v1
Image document

Improved Safety Analysis Integration in a Systems Engineering Approach

 Anis Baklouti , Nga Thi Viet Nguyen , Faida Mhenni , Jean-Yves Choley , Abdelfattah Mlika
Applied Sciences, 2019, 9 (6), pp.1246. ⟨10.3390/app9061246⟩
Article dans une revue hal-02097348v1

A Study on SysML and AltaRica Models Transformation

 Nga Thi Viet Nguyen , Faïda Mhenni , Jean-Yves Choley
2020 IEEE International Systems Conference (SysCon), Aug 2020, Montreal, France. pp.1-6, ⟨10.1109/SysCon47679.2020.9275868⟩
Communication dans un congrès hal-03228924v1

Extended mechatronic systems architecture modeling with SysML for enhanced safety analysis

 Faïda Mhenni , Jean-Yves Choley , Nga Nguyen
2014 8th Annual IEEE Systems Conference (SysCon), Mar 2014, Ottawa, France. ⟨10.1109/SysCon.2014.6819284⟩
Communication dans un congrès hal-01910904v1

Flight Control System Modeling with SysML to Support Validation, Qualification and Certification

 Faida Mhenni , Jean-Yves Choley , Nga Nguyen , Christophe Frazza
IFAC-PapersOnLine, 49 (3), pp.453 - 458, 2016, 2405-8963. ⟨10.1016/j.ifacol.2016.07.076⟩
Chapitre d'ouvrage hal-01589591v1

SysML extensions for safety-critical mechatronic systems design

 Faïda Mhenni , Jean-Yves Choley , Nga Nguyen
Systems Engineering (ISSE), 2015 IEEE International Symposium on , Sep 2015, ROME, Israel. pp.242-247, ⟨10.1109/SysEng.2015.7302764⟩
Communication dans un congrès hal-01589486v1

Efficient and effective array bound checking

 Nga Thi Viet Nguyen , François Irigoin
ACM Transactions on Programming Languages and Systems (TOPLAS), 2005, 27 (3), pp.527 - 570. ⟨10.1145/1065887.1065893⟩
Article dans une revue hal-01662155v1

Dynamic Fault Tree Generation for Safety-Critical Systems Within a Systems Engineering Approach

 Anis Baklouti , Nga Thi Viet Nguyen , Faida Mhenni , Jean-Yves Choley , Abdelfattah Mlika
IEEE Systems Journal, In press, pp.1-11. ⟨10.1109/JSYST.2019.2930184⟩
Article dans une revue hal-02304081v1
Image document

Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment

 Théo Serru , Nga Nguyen , Michel Batteux , Antoine Rauzy
Electronics, 2022, Analysis and Design of Complex Embedded Systems, 12 (1), pp.77. ⟨10.3390/electronics12010077⟩
Article dans une revue hal-03919905v1
Image document

Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences

 Théo Serru , Nga Nguyen , Michel Batteux , Antoine Rauzy
ACM Transactions on Cyber-Physical Systems, 2023, 7 (3), pp.17. ⟨10.1145/3593811⟩
Article dans une revue hal-04175993v1

Topology-based Safety Analysis for Safety Critical CPS

 Jean-Yves Choley , Faïda Mhenni , Nga Nguyen , Anis Baklouti
Procedia Computer Science, 95, pp.32 - 39, 2016, 1877-0509. ⟨10.1016/j.procs.2016.09.290⟩
Chapitre d'ouvrage hal-01589595v1

HSDN-GRA: a Hybrid SDN-based Geographic Routing Protocol with Multi-agent Approach

 Lylia Alouache , Nga Thi Viet Nguyen , Makhlouf Aliouat , Rachid Chelouah
International Journal of Communication Systems, In press
Article dans une revue hal-02879941v1
Image document

Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case Study

 Théo Serru , Nguyen Nga , Batteux Michel , Antoine Rauzy , Raphaël Blaize , et al.
Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France
Communication dans un congrès hal-03875775v1

Redundancy Handling with Model-Based Systems Engineering

 Nga Nguyen , Faïda Mhenni , Jean-Yves Choley
Proceedings of the 26th European Safety and Reliability Conference, ESREL 2016, 2016, Glasgow, United Kingdom
Communication dans un congrès hal-01589557v1
Image document

Towards the Integration of Safety Analysis in a Model-Based System Engineering Approach with SysML

 Faida Mhenni , Nga Nguyen , Jean-Yves Choley
Fifth International Conference Design and Modeling of Mechanical Systems, CMSM'2013, Djerba, Tunisia, March 25-27, 2013, Mar 2013, Tunisia. pp.61-68
Communication dans un congrès hal-00952319v1

Model‐driven architecture based security analysis

 Saoussen Mili , Nga Nguyen , Rachid Chelouah
Systems Engineering, 2021, 24 (5), pp.307-321. ⟨10.1002/sys.21581⟩
Article dans une revue hal-04266245v1

Automatic fault tree generation from SysML system models

 Faïda Mhenni , Nga Nguyen , Jean-Yves Choley
2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM), Jul 2014, Besacon, France. ⟨10.1109/AIM.2014.6878163⟩
Communication dans un congrès hal-01910895v1

An integrated design methodology for safety critical systems

 Faida Mhenni , Jean-Yves Choley , Nga Nguyen
Systems Conference (SysCon), 2016 Annual IEEE , Apr 2016, ORLANDO, United States. pp.1-6, ⟨10.1109/SYSCON.2016.7490580⟩
Communication dans un congrès hal-01589515v1

Survey on IoV routing protocols: Security and network architecture

 Lylia Alouache , Nga Thi Viet Nguyen
International Journal of Communication Systems, 2018, 32 (2), ⟨10.1002/dac.3849⟩
Article dans une revue hal-03228950v1
Image document

Modeling Cyberattacks Affecting Systems' Safety with AltaRica: Achievements and Future Works

 Théo Serru , Nga Thi Viet Nguyen , Michel Batteux
SAFECOMP 2023, Position Paper, Sep 2023, Toulouse, France
Communication dans un congrès hal-04191802v1
Page :