Search - LAAS-Informatique Critique Access content directly

Filter your results

276 Results
Deposit type : Fulltext
Image document

Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts

Jean Ibarz , Michaël Lauer , Matthieu Roy , Jean-Charles Fabre , Olivier Flébus
RTNS 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
Image document

Addressing scalable, optimal and secure communications over LoRa networks: challenges and research directions

Nicola Accettura , Eric Alata , Pascal Berthou , Daniela Dragomirescu , Thierry Monteil
Internet Technology Letters, 2018, 1 (4), pp.e54. ⟨10.1002/itl2.54⟩
Journal articles hal-02063758v1
Image document

Data visualization in conceptual design: developing a prototype to support decision making

Xin Yi , Claude Baron , Rob A. Vingerhoeds , Alessandro Bertoni , Philippe Esteban
12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Jun 2018, Toulouse, France. pp.181-188
Conference papers hal-02164403v1
Image document


Sangeeth Saagar Ponnusamy , Vincent Albert , Patrice Thebault
ESM 29th European Simulation and Modelling Conference, Oct 2015, Leicester, United Kingdom
Conference papers hal-01912572v1
Image document

Embedding security metadata into wireless communication signals using Polarization Shift Keying

Angelo Monti , Eric Alata , Daniela Dragomirescu
Preprints, Working Papers, ... hal-01994590v1
Image document

Mirage: towards a Metasploit-like framework for IoT

Romain Cayre , Vincent Nicomette , Guillaume Auriol , Eric Alata , Mohamed Kaâniche , et al.
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
Conference papers hal-02346074v1
Image document

Confidence Assessment Framework for Safety Arguments

Rui Wang , Jérémie Guiochet , Gilles Motet
International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p
Conference papers hal-01533221v1
Image document

A Model for Safety Case Confidence Assessment

Jérémie Guiochet , Quynh Anh Do Hoang , Mohamed Kaâniche
34th 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
Image document

Safety monitoring for autonomous systems : interactive elicitation of safety rules

Lola Masson
Performance [cs.PF]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30220⟩
Theses tel-02098246v2
Image document

Monitoring et détection d'anomalie par apprentissage dans les infrastructures virtualisées

Carla Sauvanaud
Autre [cs.OH]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0043⟩
Theses tel-01445648v2
Image document

Using Systems Engineering Practices for Distributed Control and Building Performance Simulation

Azzedine Yahiaoui , Abd-El-Kader Sahraoui
INCOSE International Symposium, 2015, 25 (1), pp.1290-1304. ⟨10.1002/j.2334-5837.2015.00130.x⟩
Journal articles hal-01703229v1
Image document

Test de systèmes ubiquitaires avec prise en compte explicite de la mobilité

Pierre André
Informatique mobile. Université Paul Sabatier - Toulouse III, 2015. Français. ⟨NNT : 2015TOU30161⟩
Theses tel-01261593v2
Image document

Anomaly Detection in Cloud Applications

Javier Alcaraz , Mohamed Kaâniche , Carla Sauvanaud
Machine Learning [cs.LG]. 2016
Master thesis hal-01406168v1
Image document

Assessment of E-learning Systems: A Systems Engineering Approach System

Aula Al-Shagran , Abd-El-Kader Sahraoui
International Journal of Computer Science and Software Engineering, 2017, 6 (8), pp.173-179
Journal articles hal-01704393v1
Image document

A language-based intrusion detection approach for automotive embedded networks

Ivan Studnia , Eric Alata , Vincent Nicomette , Mohamed Kaâniche , Youssef Laarouchi
International Journal of Embedded Systems, 2018, 10 (1), ⟨10.1504/IJES.2018.10010488⟩
Journal articles hal-01803432v1
Image document

Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems

Matthieu Amy , Jean-Charles Fabre , Michaël Lauer
2017 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
Image document

Loca: A Location-Oblivious Co-location Attack in Crowds

Roberto Pasqua , Matthieu Roy , Gilles Trédan
2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ⟨10.1145/2971648.2971663⟩
Conference papers hal-01372317v1
Image document

Bypassing IOMMU Protection against I/O Attacks

Benoît Morgan , Eric Alata , Vincent Nicomette , Mohamed Kaâniche
7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
Conference papers hal-01419962v1
Image document

Détection d'intrusion pour des réseaux embarqués automobiles : une approche orientée langage

Ivan Studnia
Informatique [cs]. Institut national des sciences appliquées de Toulouse, 2015. Français. ⟨NNT : 2015ISAT0048⟩
Theses tel-02043149v2
Image document

Asynchronous Coordination Under Preferences and Constraints

Armando Castañeda , Pierre Fraigniaud , Eli Gafni , Sergio Rajsbaum , Matthieu Roy
23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Conference papers hal-01341710v1
Image document

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots

Mohammed Foughali , Bernard Berthomieu , Silvano Dal Zilio , Félix Ingrand , Anthony Mallet
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Conference papers hal-01346080v1
Image document


Amira Zammali , Agnan de Bonneval , Yves Crouzet , Pascal Izzo , Jean-Maxime Massimi
34th 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
Image document

Symmetry reduced state classes for Time Petri nets

Pierre-Alain Bourdil , Bernard Berthomieu , Silvano Dal Zilio , François Vernadat
30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩
Conference papers hal-01275316v1
Image document

Towards Resilient Computing on ROS for Embedded Applications

Jean-Charles Fabre , Michaël Lauer , Matthieu Roy , Matthieu Amy , William Excoffon , et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Conference papers hal-01292318v1
Image document

Efficient and Transparent Wi-Fi Offloading for HTTP(S) POSTs

Kévin Huguenin , Erwan Le Merrer , Nicolas Le Scouarnec , Gilles Straub
IEEE Transactions on Mobile Computing, 2016, 15 (4), pp.826-839. ⟨10.1109/TMC.2015.2442237⟩
Journal articles hal-01157922v1
Image document

A New Product Construction for the Diagnosability of Patterns in Time Petri Net

Éric Lubat , Silvano Dal Zilio , Didier Le Botlan , Yannick Pencolé , Audine Subias
59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩
Conference papers hal-02989834v1
Image document

Remote explainability faces the bouncer problem

Erwan Le Merrer , Gilles Trédan
Nature Machine Intelligence, 2020, 2 (9), pp.529-539. ⟨10.1038/s42256-020-0216-z⟩
Journal articles hal-03048809v1
Image document

REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection

Yuxiao Mao , Vincent Migliore , Vincent Nicomette
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genova, Italy. ⟨10.1109/EuroS&PW51379.2020.00100⟩
Conference papers hal-02949624v1
Image document

Bonsai: Efficient Fast Failover Routing Using Small Arborescences

Klaus-Tycho Foerster , Andrzej Kamisiński , Yvonne-Anne Pignolet , Stefan Schmid , Gilles Trédan
2019 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
Image document

Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic Observations

Christophe Bertero , Jean-François Léon , Gilles Trédan , Matthieu Roy , Alexandre Armengaud
Atmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩
Journal articles hal-02998998v1