Filter your results
- 276
- 54
- 162
- 60
- 29
- 7
- 4
- 4
- 4
- 3
- 1
- 1
- 1
- 2
- 255
- 28
- 5
- 4
- 3
- 2
- 2
- 1
- 1
- 36
- 37
- 50
- 38
- 63
- 52
- 227
- 48
- 1
- 276
- 19
- 14
- 13
- 8
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 37
- 35
- 33
- 29
- 27
- 23
- 23
- 22
- 17
- 14
- 13
- 13
- 12
- 12
- 12
- 10
- 10
- 10
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
|
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
|
||
|
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
|
||
|
Data visualization in conceptual design: developing a prototype to support decision making12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Jun 2018, Toulouse, France. pp.181-188
Conference papers
hal-02164403v1
|
||
|
A META-MODEL FOR CONSISTENT & AUTOMATIC SIMULATION MODEL SELECTIONESM 29th European Simulation and Modelling Conference, Oct 2015, Leicester, United Kingdom
Conference papers
hal-01912572v1
|
||
|
Embedding security metadata into wireless communication signals using Polarization Shift Keying2019
Preprints, Working Papers, ...
hal-01994590v1
|
||
|
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
|
||
|
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
|
||
|
Using Systems Engineering Practices for Distributed Control and Building Performance SimulationINCOSE International Symposium, 2015, 25 (1), pp.1290-1304. ⟨10.1002/j.2334-5837.2015.00130.x⟩
Journal articles
hal-01703229v1
|
||
|
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
|
||
|
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
|
||
|
A language-based intrusion detection approach for automotive embedded networksInternational Journal of Embedded Systems, 2018, 10 (1), ⟨10.1504/IJES.2018.10010488⟩
Journal articles
hal-01803432v1
|
||
|
Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), Jun 2017, Denver, United States. 7p., ⟨10.1109/DSN-W.2017.42⟩
Conference papers
hal-01707514v1
|
||
|
Loca: A Location-Oblivious Co-location Attack in Crowds2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ⟨10.1145/2971648.2971663⟩
Conference papers
hal-01372317v1
|
||
|
Bypassing IOMMU Protection against I/O Attacks7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
Conference papers
hal-01419962v1
|
||
|
Détection d'intrusion pour des réseaux embarqués automobiles : une approche orientée langageInformatique [cs]. Institut national des sciences appliquées de Toulouse, 2015. Français. ⟨NNT : 2015ISAT0048⟩
Theses
tel-02043149v2
|
||
|
Asynchronous Coordination Under Preferences and Constraints23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Conference papers
hal-01341710v1
|
||
|
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Conference papers
hal-01346080v1
|
||
|
COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS34th Digital Avionics Systems Conference (DASC), 2015, Sep 2015, PRAGUE, Czech Republic. pp.6D2-1 - 6D2-14, ⟨10.1109/DASC.2015.7311453⟩
Conference papers
hal-01275304v1
|
||
|
Symmetry reduced state classes for Time Petri nets30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩
Conference papers
hal-01275316v1
|
||
|
Towards Resilient Computing on ROS for Embedded Applications8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Conference papers
hal-01292318v1
|
||
|
Efficient and Transparent Wi-Fi Offloading for HTTP(S) POSTsIEEE Transactions on Mobile Computing, 2016, 15 (4), pp.826-839. ⟨10.1109/TMC.2015.2442237⟩
Journal articles
hal-01157922v1
|
||
|
A New Product Construction for the Diagnosability of Patterns in Time Petri Net59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩
Conference papers
hal-02989834v1
|
||
|
Remote explainability faces the bouncer problemNature Machine Intelligence, 2020, 2 (9), pp.529-539. ⟨10.1038/s42256-020-0216-z⟩
Journal articles
hal-03048809v1
|
||
|
REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genova, Italy. ⟨10.1109/EuroS&PW51379.2020.00100⟩
Conference papers
hal-02949624v1
|
||
|
Bonsai: Efficient Fast Failover Routing Using Small Arborescences2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2019, Portland, United States. pp.276-288, ⟨10.1109/DSN.2019.00039⟩
Conference papers
hal-03049100v1
|
||
|
Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic ObservationsAtmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩
Journal articles
hal-02998998v1
|