Search - LAAS-Informatique Critique Access content directly

Filter your results

808 Results
Domains : info
Image document

Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems

Pierre-Emmanuel Hladik , Félix Ingrand , Silvano Dal Zilio , Reyyan Tekin
Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Journal articles hal-03017661v4
Image document

Attaques inter-protocolaires par détournement du contrôleur Bluetooth d'un téléphone mobile

Romain Cayre , Florent Galtier
GT 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 patterns

Fang Zhao , Zhang Qiang , Xiaoan Tang , Anning Wang , Claude Baron
Artificial Intelligence Review, 2020, 53, pp.4547-4574. ⟨10.1007/s10462-019-09801-9⟩
Journal articles hal-03001147v1
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

A Fault-Tolerant Architecture for Resilient Interactive Systems

Camille Fayollas , Philippe Palanque , Jean-Charles Fabre , David Navarre , Eric Barboni , et al.
26è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
Image document

Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes

Fayollas Camille , Philippe Palanque , Jean-Charles Fabre , David Navarre , Eric Barboni , et al.
26è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
Image document

Behavioural descriptions in architecture description languages Application to AADL

Jean-Paul Bodeveix , P Dissaux , M Filali , P Farail , P Gaufillet , et al.
3rd 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 Detection

Thomas Robert , Jean-Charles Fabre , Matthieu Roy
14th 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
Image document

Towards Adaptive Fault Tolerance in Embedded Systems

Thomas Pareaud , Jean-Charles Fabre , Marc-Olivier Killijian
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers hal-02270091v1
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

Test Languages for In-the-Loop Avionics Tests

Alexandru-Robert Guduvan , Hélène Waeselynck , Virginie Wiels , Guy Durrieu , Yann Fusero , et al.
Journal 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.

Karama Kanoun , Marta Bastos Martini , Georges Moreira de Souza
IEEE Transactions on Reliability, 1990, 39 (3), pp.369-379. ⟨10.1109/24.103020⟩
Journal articles hal-02007256v1
Image document

A simulation fidelity assessment framework

Sangeeth Saagar Ponnusamy , Vincent Albert , Patrice Thebault
International Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH 2014), Aug 2014, Vienne, Austria. pp.463-471
Conference papers hal-01912540v1
Image document

A META-MODEL FOR CONSISTENT & AUTOMATIC SIMULATION MODEL SELECTION

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

Construction and stepwise refinement of dependability models

Claudia Betous-Almeida , Karama Kanoun
Performance Evaluation, 2004, 56 (1-4), pp.277-306
Journal articles hal-01980966v1
Image document

RIDS: Radio intrusion detection and diagnosis system for wireless communications in smart environment

Pierre-François Gimenez , Jonathan Roux , Eric Alata , Guillaume Auriol , Mohamed Kaâniche , et al.
ACM 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 Graphs

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy , et al.
21st 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
Image document

Embedding security metadata into wireless communication signals using Polarization Shift Keying

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

Evaluation of bus and ring communication topologies for the DELTA-4 distributed fault-tolerant architecture

Karama Kanoun , David Powell
10th IEEE Symposium on Reliable Distributed Systems, IEEE, Sep 1991, Pise, Italy. ⟨10.1109/RELDIS.1991.145415⟩
Conference papers hal-01986395v1
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

Leveraging polyhedral reductions for solving Petri net reachability problems

Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
International Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩
Journal articles hal-03973463v1
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

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

Security of embedded automotive networks: state of the art and a research proposal

Ivan Studnia , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche , et al.
SAFECOMP 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
Image document

Towards Dynamic Updates In AUTOSAR

Hélène Martorell , Jean-Charles Fabre , Matthieu Roy , Régis Valentin
SAFECOMP 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
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