Filter your results
- 690
- 116
- 2
- 475
- 151
- 88
- 21
- 19
- 16
- 9
- 8
- 6
- 5
- 4
- 3
- 1
- 1
- 1
- 9
- 1
- 1
- 808
- 22
- 8
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 47
- 39
- 38
- 25
- 22
- 22
- 21
- 19
- 36
- 43
- 43
- 46
- 50
- 40
- 65
- 58
- 73
- 44
- 43
- 29
- 23
- 31
- 21
- 14
- 13
- 16
- 12
- 11
- 6
- 8
- 6
- 9
- 2
- 1
- 9
- 1
- 6
- 5
- 6
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 650
- 157
- 1
- 805
- 66
- 43
- 37
- 21
- 12
- 12
- 11
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 118
- 116
- 82
- 78
- 75
- 71
- 60
- 56
- 50
- 48
- 43
- 39
- 35
- 32
- 28
- 24
- 23
- 22
- 21
- 21
- 20
- 19
- 18
- 18
- 15
- 15
- 14
- 14
- 13
- 12
- 12
- 12
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
|
Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time SystemsJournal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Journal articles
hal-03017661v4
|
||
|
Attaques inter-protocolaires par détournement du contrôleur Bluetooth d'un téléphone mobileGT Sécurité des Systèmes, Logiciels et Réseaux, May 2021, En ligne, France
Conference papers
hal-03221148v1
|
||
An implicit opinion analysis model based on feature-based implicit opinion patternsArtificial Intelligence Review, 2020, 53, pp.4547-4574. ⟨10.1007/s10462-019-09801-9⟩
Journal articles
hal-03001147v1
|
|||
|
Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling ConceptsRTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
Conference papers
hal-03167058v1
|
||
|
A Fault-Tolerant Architecture for Resilient Interactive Systems26ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d'Interaction Homme-Machine; Université Lille 1; INRIA Lille - Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩
Conference papers
hal-03263716v1
|
||
|
Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014), Association Francophone d'Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Conference papers
hal-01090399v1
|
||
|
Behavioural descriptions in architecture description languages Application to AADL3rd European Congress on Embedded Real Time Software (ERTS 2006), Jan 2006, Toulouse, France
Conference papers
hal-02270356v1
|
||
On-line Monitoring of Real Time Applications for Early Error Detection14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩
Conference papers
hal-02315089v1
|
|||
|
Towards Adaptive Fault Tolerance in Embedded SystemsEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers
hal-02270091v1
|
||
|
Addressing scalable, optimal and secure communications over LoRa networks: challenges and research directionsInternet Technology Letters, 2018, 1 (4), pp.e54. ⟨10.1002/itl2.54⟩
Journal articles
hal-02063758v1
|
||
Test Languages for In-the-Loop Avionics TestsJournal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Journal articles
hal-01953487v1
|
|||
Software reliability evaluation of the TROPICO-R switching system.IEEE Transactions on Reliability, 1990, 39 (3), pp.369-379. ⟨10.1109/24.103020⟩
Journal articles
hal-02007256v1
|
|||
|
A simulation fidelity assessment frameworkInternational Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH 2014), Aug 2014, Vienne, Austria. pp.463-471
Conference papers
hal-01912540v1
|
||
|
A META-MODEL FOR CONSISTENT & AUTOMATIC SIMULATION MODEL SELECTIONESM 29th European Simulation and Modelling Conference, Oct 2015, Leicester, United Kingdom
Conference papers
hal-01912572v1
|
||
|
Construction and stepwise refinement of dependability modelsPerformance Evaluation, 2004, 56 (1-4), pp.277-306
Journal articles
hal-01980966v1
|
||
|
RIDS: Radio intrusion detection and diagnosis system for wireless communications in smart environmentACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.Article No.: 24. ⟨10.1145/3441458⟩
Journal articles
hal-03123925v1
|
||
Synchronous t-Resilient Consensus in Arbitrary Graphs21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
Conference papers
hal-02433524v1
|
|||
|
Embedding security metadata into wireless communication signals using Polarization Shift Keying2019
Preprints, Working Papers, ...
hal-01994590v1
|
||
|
Evaluation of bus and ring communication topologies for the DELTA-4 distributed fault-tolerant architecture10th IEEE Symposium on Reliable Distributed Systems, IEEE, Sep 1991, Pise, Italy. ⟨10.1109/RELDIS.1991.145415⟩
Conference papers
hal-01986395v1
|
||
|
Mirage: towards a Metasploit-like framework for IoT2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
Conference papers
hal-02346074v1
|
||
|
Confidence Assessment Framework for Safety ArgumentsInternational Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p
Conference papers
hal-01533221v1
|
||
|
A Model for Safety Case Confidence Assessment34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩
Conference papers
hal-01228861v1
|
||
|
Leveraging polyhedral reductions for solving Petri net reachability problemsInternational Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩
Journal articles
hal-03973463v1
|
||
|
Safety monitoring for autonomous systems : interactive elicitation of safety rulesPerformance [cs.PF]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30220⟩
Theses
tel-02098246v2
|
||
|
Monitoring et détection d'anomalie par apprentissage dans les infrastructures virtualiséesAutre [cs.OH]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0043⟩
Theses
tel-01445648v2
|
||
|
Test de systèmes ubiquitaires avec prise en compte explicite de la mobilitéInformatique mobile. Université Paul Sabatier - Toulouse III, 2015. Français. ⟨NNT : 2015TOU30161⟩
Theses
tel-01261593v2
|
||
|
Security of embedded automotive networks: state of the art and a research proposalSAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Conference papers
hal-00848234v1
|
||
|
Towards Dynamic Updates In AUTOSARSAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Conference papers
hal-00848361v1
|
||
|
Anomaly Detection in Cloud ApplicationsMachine Learning [cs.LG]. 2016
Master thesis
hal-01406168v1
|
||
|
Assessment of E-learning Systems: A Systems Engineering Approach SystemInternational Journal of Computer Science and Software Engineering, 2017, 6 (8), pp.173-179
Journal articles
hal-01704393v1
|