Filtrer vos résultats
- 17
- 9
- 12
- 11
- 3
- 1
- 15
- 13
- 1
- 1
- 3
- 2
- 1
- 2
- 3
- 3
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 26
- 18
- 11
- 5
- 4
- 4
- 1
- 1
- 1
- 26
- 15
- 15
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
26 résultats
|
|
triés par
|
SafeSysE: A Safety Analysis Integration In Systems Engineering ApproachIEEE Systems Journal, 2018, PP (99), pp.1-12. ⟨10.1109/JSYST.2016.2547460⟩
Article dans une revue
hal-01464077v1
|
|||
|
Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive DisordersThe 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
|
||
Efficient and effective array bound checkingACM 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 ApproachIEEE Systems Journal, In press, pp.1-11. ⟨10.1109/JSYST.2019.2930184⟩
Article dans une revue
hal-02304081v1
|
|||
|
Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An ExperimentElectronics, 2022, Analysis and Design of Complex Embedded Systems, 12 (1), pp.77. ⟨10.3390/electronics12010077⟩
Article dans une revue
hal-03919905v1
|
||
|
Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case StudyCongrè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 EngineeringProceedings of the 26th European Safety and Reliability Conference, ESREL 2016, 2016, Glasgow, United Kingdom
Communication dans un congrès
hal-01589557v1
|
|||
|
Towards the Integration of Safety Analysis in a Model-Based System Engineering Approach with SysMLFifth 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
|
||
|
AltaRica 3.0 code generation from SysML modelsSafety and Reliability – Safe Societies in a Changing World, 1, CRC Press, pp.2435-2440, 2018, ⟨10.1201/9781351174664-306⟩
Chapitre d'ouvrage
hal-03254155v1
|
||
|
SysML safety profile for mechatronics10th 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
|
||
|
Improved Safety Analysis Integration in a Systems Engineering ApproachApplied Sciences, 2019, 9 (6), pp.1246. ⟨10.3390/app9061246⟩
Article dans une revue
hal-02097348v1
|
||
|
Alias verification for Fortran code optimizationElectronic Notes in Theoretical Computer Science, 2002, 65 (2), pp.52 - 66. ⟨10.1016/S1571-0661(04)80396-7⟩
Article dans une revue
hal-01662150v1
|
||
A Study on SysML and AltaRica Models Transformation2020 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 analysis2014 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 CertificationIFAC-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 designSystems 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
|
|||
Free and open source fault tree analysis tools surveySystems 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 SystemsIEEE Systems Journal, 2019, pp.1-12. ⟨10.1109/JSYST.2019.2923818⟩
Article dans une revue
hal-02185311v1
|
|||
|
Model-Driven Architecture Based Security AnalysisSystems Engineering, 2021, 24 (5), pp.307-321. ⟨10.1002/sys.21581⟩
Article dans une revue
hal-03216460v1
|
||
|
Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and DifferencesACM 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 CPSProcedia 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 ApproachInternational Journal of Communication Systems, In press
Article dans une revue
hal-02879941v1
|
|||
Automatic fault tree generation from SysML system models2014 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 systemsSystems 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 architectureInternational Journal of Communication Systems, 2018, 32 (2), ⟨10.1002/dac.3849⟩
Article dans une revue
hal-03228950v1
|
|||
|
Modeling Cyberattacks Affecting Systems' Safety with AltaRica: Achievements and Future WorksSAFECOMP 2023, Position Paper, Sep 2023, Toulouse, France
Communication dans un congrès
hal-04191802v1
|