Publications HAL du labo/EPI LAAS-TSF

2023

Article dans une revue

titre
Modeling Rabbit-Holes on YouTube
auteur
Erwan Le Merrer, Gilles Trédan, Ali Yesilkanat
article
Social Network Analysis and Mining, 2023, 13 (1), pp.100. ⟨10.1007/s13278-023-01105-9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03620039/file/main-snam-final.pdf BibTex
titre
Tasks in modular proofs of concurrent algorithms
auteur
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
article
Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04086420/file/journal-final.pdf BibTex
titre
Intrusion Detection System for IoT: Analysis of PSD Robustness
auteur
Lamoussa Sanogo, Eric Alata, Alexandru Takacs, Daniela Dragomirescu
article
Sensors, 2023, 23 (4), pp.2353. ⟨10.3390/s23042353⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-04154781/file/Intrusion_Detection_System_for_IoT__Analysis_of_PSD_Robustness.pdf BibTex
titre
A Survey on the Security Challenges of Low-Power Wireless Communication Protocols for Communicating Concrete in Civil Engineerings
auteur
Gaël Loubet, Eric Alata, Alexandru Takacs, Daniela Dragomirescu
article
Sensors, 2023, 23 (4), pp.1849. ⟨10.3390/s23041849⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-04154993/file/A_Survey_on_the_Security_Challenges_of_Low-Power_Wireless_Communication_Protocols_for_Communicating_Concrete_in_Civil_Engineerings.pdf BibTex

Communication dans un congrès

titre
Battery-free Bluetooth Low Energy Wireless Sensor Powered by Radiative Wireless Power Transfer
auteur
Alassane Sidibe, Gael Loubet, Alexandru Takacs, Lamoussa Sanogo, Daniela Dragomirescu
article
NewCAS 2023, IEEE, Jun 2023, Edinburg,, United Kingdom
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-04157047/file/NEWCAS_Final.pdf BibTex
titre
Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems
auteur
Florent Moriconi, Axel Ilmari Neergaard, Lucas Georget, Samuel Aubertin, Aurélien Francillon
article
17th IEEE Workshop on Offensive Technologies (WOOT 2023), IEEE, May 2023, San Francisco (CA, USA), United States. ⟨10.1109/SPW59333.2023.00025⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04087018/file/Reflections%20on%20Trusting%20Docker%20-%20Invisible%20Malware%20in%20Continuous%20Integration%20Systems.pdf BibTex
titre
Pairwise Testing Revisited for Structured Data With Constraints
auteur
Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet
article
IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03938378/file/Pairwise%20Testing%20Revisited%20for%20Structured%20Data%20With%20Constraints%20ICST2023%20sartori.pdf BibTex
titre
Out-Of-Distribution Detection Is Not All You Need
auteur
Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet
article
The 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03870531/file/main.pdf BibTex

Ouvrages

titre
What is a black box algorithm?
auteur
Erwan Le Merrer, Gilles Trédan
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03940259/file/tractatus_black_boxicus_EN.pdf BibTex

2022

Article dans une revue

titre
Skill-based design of dependable robotic architectures
auteur
Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, Augustin Manecy
article
Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03927289/file/DTIS22257.1672928578_postprint.pdf BibTex
titre
MATANA: A Reconfigurable Framework for Runtime Attack Detection Based on the Analysis of Microarchitectural Signals
auteur
Yuxiao Mao, Vincent Migliore, Vincent Nicomette
article
Applied Sciences, 2022, 12 (3), pp.1452. ⟨10.3390/app12031452⟩
Accès au bibtex
BibTex
titre
Improved Fast Rerouting Using Postprocessing
auteur
Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
IEEE Transactions on Dependable and Secure Computing, 2022, 19 (1), pp.537 - 550. ⟨10.1109/TDSC.2020.2998019⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03048830/file/srds2019-journal.pdf BibTex
titre
Facing Emerging Challenges in Connected Vehicles: A Formally Proven, Legislation Compliant, and Post-Quantum Ready Security Protocol
auteur
Rémi Adelin, Cyrius Nugier, Éric Alata, Vincent Nicomette, Vincent Migliore, Mohamed Kaâniche
article
Journal of Computer Virology and Hacking Techniques, 2022, ⟨10.1007/s11416-022-00426-1⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03756650/file/jicv_ra_2022_security_protocol.pdf BibTex

Communication dans un congrès

titre
SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images
auteur
Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck
article
27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03779723/file/SiMOOD_PRDC2022_FINAL.pdf BibTex
titre
Unifying Evaluation of Machine Learning Safety Monitors
auteur
Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet
article
33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03765273/file/ISSRE2022.pdf BibTex
titre
A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases
auteur
Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
article
7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03709837/file/BELIEF2022%20-%20Yassir.pdf BibTex
titre
Experimental Platform for Testing Cache Allocation Policies to Improve Linux Real-Time Behaviour
auteur
Aléxis Génèrès, Michaël Lauer
article
CARS - Critical Automotive applications: Robustness & Safety, Sep 2022, Zaragoza, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-03782727/file/CARS2022_paper_2825.pdf BibTex
titre
Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases
auteur
Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
article
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022), Sep 2022, Munich, Germany. pp.1-14
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03704505/file/SAFECOMP2022%20-%20paper%2077.pdf BibTex
titre
Détection des lignes aéroportuaires par méthode hybride de filtrage particulaire et de réseaux de neurones
auteur
Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet
article
Congrès Reconnaissance des Formes, Image, Apprentissage et Perception (RFIAP 2022), Jul 2022, Vannes, France
Accès au texte intégral et bibtex
https://hal.science/hal-03788203/file/RFIAP2022.pdf BibTex
titre
On the Price of Locality in Static Fast Rerouting
auteur
Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Tredan
article
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2022, Baltimore, United States. pp.215-226, ⟨10.1109/dsn53405.2022.00032⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03859648/file/2204.03413.pdf BibTex
titre
Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!
auteur
Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel
article
33nd IEEE Intelligent Vehicles Symposium (IV 2022), Jun 2022, Aachen, Germany. ⟨10.1109/IV51971.2022.9827170⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03770653/file/papier_1_distanceNSGA_v_final%2BHW.pdf BibTex
titre
OASIS: un framework pour la détection d'intrusion embarquée dans les contrôleurs Bluetooth Low Energy
auteur
Romain Cayre, Clement Chaine, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato
article
Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2022), Jun 2022, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-03898224/file/Cayre_2022.pdf BibTex
titre
Towards the certification of vision based systems: modular architecture for airport line detection
auteur
Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet
article
11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-03717993/file/ERTS_2022_Final_V08.pdf BibTex
titre
Experimenting with Dynamic Cache Allocation to Improve Linux Real-Time Behaviour
auteur
Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
article
11th European Congress of Embedded Real Time Software and Systems, Jun 2022, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-04044944/file/ERTS2022_paper_15.pdf BibTex
titre
Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC
auteur
Carlos Aguilar-Melchor, Jean-Christophe Deneuville, Arnaud Dion, James Howe, Romain Malmain, Vincent Migliore, Mamuri Nawan, Kashif Nawaz
article
International Workshop on Code-Based Cryptography, CBCrypto 2022, May 2022, Trondheim, Norway. pp.0
Accès au texte intégral et bibtex
https://hal.science/hal-04116827/file/Aguilar_Melchor_29383.pdf BibTex
titre
Evaluation of Runtime Monitoring for UAV Emergency Landing
auteur
Joris Guerin, Kevin Delmas, Jérémie Guiochet
article
International Conference on Robotics and Automation (ICRA), May 2022, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03600856/file/Guerin-ICRA2022.pdf BibTex
titre
Integration of Test Generation Into Simulation-Based Platforms: An Experience Report
auteur
Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, Magnus Albert
article
3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03623613/file/AST2022%20L.Sartori%20_%20Integration%20of%20Test%20Generation%20Into%20Simulation-Based%20Platforms%20An%20Experience%20Report.pdf BibTex
titre
A skill fault model for autonomous systems
auteur
Gabriela Medina, Jérémie Guiochet, Charles Lesire, Augustin Manecy
article
4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburg (virtual), United States. ⟨10.1145/3526071.3527513⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03609377/file/ICSE___ROSE2022%20%285%29.pdf BibTex

Chapitre d'ouvrage

titre
System dependability assessment -Interplay between research and practice
auteur
Mohamed Kaâniche, Karama Kanoun
article
System Dependability and Analytics. Approaching System Dependability from Data, System and Analytics Perspectives, Springer, pp.393-404, 2022, Springer Series in Reliability Engineering, 978-3-031-02062-9. ⟨10.1007/978-3-031-02063-6_23⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03739141/file/Chapter10-SDABook.pdf BibTex

Pré-publication, Document de travail

titre
Algorithmic audits of algorithms, and the law
auteur
Erwan Le Merrer, Ronan Pons, Gilles Trédan
article
2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03583919/file/algaudits.pdf BibTex
titre
Qu’est ce qu’un algorithme en boîte noire ? Tractatus des décisions algorithmiques
auteur
Erwan Le Merrer, Gilles Trédan
article
2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03851597/file/tractatus-decisions-algorithmiques.pdf BibTex

2021

Article dans une revue

titre
On the Implications of Routing Models on Network Optimization
auteur
Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
IEEE Transactions on Network and Service Management, 2021, 18 (4), pp.4756 - 4769. ⟨10.1109/TNSM.2021.3090312⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03278920/file/tnsm21routing.pdf BibTex
titre
Le problème du videur : la crédibilité des explications de l’IA en question
auteur
Erwan Le Merrer, Gilles Trédan
article
Interstices, 2021
Accès au bibtex
BibTex
titre
RIDS: Radio intrusion detection and diagnosis system for wireless communications in smart environment
auteur
Pierre-François Gimenez, Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette
article
ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.Article No.: 24. ⟨10.1145/3441458⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03123925/file/Radio_intrusion_detection_and_diagnosis_system_for_wireless_communications_in_smart_environment.pdf BibTex

Communication dans un congrès

titre
TAF: a tool for diverse and constrained test case generation
auteur
Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori
article
21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03435959/file/350_file_Submit_PDF.pdf BibTex
titre
Benchmarking Safety Monitors for Image Classifiers with Machine Learning
auteur
Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck
article
26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia. ⟨10.1109/PRDC53464.2021.00012⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03362684/file/PRDC_2021___Benchmark_framework__camera_ready_%20%281%29.pdf BibTex
titre
TSAI - Test Selection using Artificial Intelligence for the Support of Continuous Integration
auteur
Maria Laura Brzezinski Meyer
article
2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2021, Wuhan, China. pp.306-309, ⟨10.1109/ISSREW53611.2021.00092⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03583925/file/Symposium_article_VF_Express.pdf BibTex
titre
Quantifying confidence of safety cases with belief functions
auteur
Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
article
6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03366274/file/BELIEF2021.pdf BibTex
titre
Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems
auteur
Daniel Loche, Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
article
European Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03275605/file/EDCC___Run_time_Monitoring_and_Control_for_Temporal_Fault_Prevention_in_Mixed_criticality_Systems.pdf BibTex
titre
Détection des lignes aéroportuaires par méthode de filtrage particulaire: Évaluation de fonctions d'observations
auteur
Esteban Perrotin, Claire Meymandi-Nejad, Ariane Herbulot, Michel Devy, Fabrice Bousquet
article
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
Accès au texte intégral et bibtex
https://hal.science/hal-03339641/file/orasis2021_v2.pdf BibTex
titre
Seven Technical Issues That May Ruin Your Virtual Tests for ADAS
auteur
Mohamed El Mostadi, Hélène Waeselynck, Jean Marc Gabriel
article
32nd IEEE Intelligent Vehicles Symposium, Jul 2021, Nagoya, Japan. ⟨10.1109/IV48863.2021.9575953⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03377931/file/Final-IV2021.pdf BibTex
titre
An Upcycling Tokenization Method for Credit Card Numbers
auteur
Cyrius Nugier, Diane Leblanc-Albarel, Agathe Blaise, Simon Masson, Paul Huynh, Yris Brice Wandji Piugie
article
SECRYPT 2021 - 18th International Conference on Security and Cryptography, Jul 2021, Online, France
Accès au texte intégral et bibtex
https://hal.science/hal-03220739/file/REDOCS_2020_Tokens%20%285%29.pdf BibTex
titre
A defensive man-in-middle approach to filter BLE packets
auteur
Ahmed Aboukora, Guillaume Bonnet, Florent Galtier, Romain Cayre, Vincent Nicomette, Guillaume Auriol
article
14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abou Dhabi (virtual), United Arab Emirates. ⟨10.1145/3448300.3468259⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03560107/file/Wisec_Firewall_BLE%20%281%29.pdf BibTex
titre
Cross-protocol attacks: weaponizing a smartphone by diverting its Bluetooth controller
auteur
Romain Cayre, Géraldine Marconato, Florent Galtier, Mohamed Kaâniche, Vincent Nicomette, Guillaume Auriol
article
14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abu Dhabi, United Arab Emirates. ⟨10.1145/3448300.3468258⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03355664/file/Wisec_GT_SSLR.pdf BibTex
titre
InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections
auteur
Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Marconato
article
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00050⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03193297/file/injectable_final_version.pdf BibTex
titre
Certifying Emergency Landing for Safe Urban UAV
auteur
Joris Guérin, Kevin Delmas, Jérémie Guiochet
article
7th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2021) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03213534/file/SSIV_2021%20%288%29.pdf BibTex
titre
WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips
auteur
Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Marconato
article
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00049⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03193299/file/wazabee_final.pdf BibTex
titre
InjectaBLE : injection de trafic malveillant dans une connexion Bluetooth Low Energy
auteur
Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Marconato
article
Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2021), Jun 2021, Rennes (en ligne), France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03221143/file/InjectaBLE.pdf BibTex
titre
A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions
auteur
Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Didier Crestani
article
ICRA 2021 - 38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03228297/file/ICRA_2021_Finale.pdf BibTex
titre
Attaques inter-protocolaires par détournement du contrôleur Bluetooth d'un téléphone mobile
auteur
Romain Cayre, Florent Galtier
article
GT Sécurité des Systèmes, Logiciels et Réseaux, May 2021, En ligne, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03221148/file/GT_SSLR_final.pdf BibTex
titre
Grafting Arborescences for Extra Resilience of Fast Rerouting Schemes
auteur
Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan
article
Infocom 2021, May 2021, Virtual, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03048997/file/2021-infocom.pdf BibTex
titre
Setting the Record Straighter on Shadow Banning
auteur
Erwan Le Merrer, Benoît Morgan, Gilles Trédan
article
INFOCOM 2021 - IEEE International Conference on Computer Communications, IEEE, May 2021, Virtual, Canada. pp.1-10, ⟨10.1109/INFOCOM42981.2021.9488792⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03234771/file/m65778-le_merrer.pdf BibTex
titre
Colorimetric Space Study: Application for Line Detection on Airport Areas
auteur
Claire Meymandi-Nejad, Esteban Perrotin, Ariane Herbulot, Michel Devy
article
7th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2021), Apr 2021, En ligne, France. pp.546-553, ⟨10.5220/0010456605460553⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03650600/file/vehits21.pdf BibTex
titre
A Novel Method for Object Detection using Deep Learning and CAD Models.
auteur
Igor Garcia Ballhausen Sampaio, Luigy Machaca, Jose Viterbo, Joris Guérin
article
23rd International Conference on Enterprise Information Systems (ICEIS2021), Apr 2021, Online, Portugal
Accès au bibtex
https://arxiv.org/pdf/2102.06729 BibTex
titre
Contract-Based Verification of Model Transformations: A Formally Founded Approach
auteur
Guillaume Brau, Mohammed Foughali
article
36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03059942/file/main.pdf BibTex
titre
On the Feasibility of Perfect Resilience with Local Fast Failover
auteur
Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
2nd Symposium on Algorithmic Principles of Computer Systems (APOCS 2021), Jan 2021, Alexandria (Virtual), United States
Accès au bibtex
https://arxiv.org/pdf/2006.06513 BibTex

2020

Article dans une revue

titre
Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic Observations
auteur
Christophe Bertero, Jean-François Léon, Gilles Trédan, Matthieu Roy, Alexandre Armengaud
article
Atmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02998998/file/Bertero_2020_Urban-Scale_NO2_Prediction_with_Sensors_Aboard_Bicycles.pdf BibTex
titre
Collective Information Processing in Human Phase Separation
auteur
Bertrand Jayles, Ramon Escobedo, Roberto Pasqua, Christophe Zanon, Adrien Blanchet, Matthieu Roy, Gilles Trédan, Guy Théraulaz, Clément Sire
article
Philosophical Transactions of the Royal Society B: Biological Sciences, 2020, 375 (1807), ⟨10.1098/rstb.2019.0801⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02393253/file/Blanchet_34923.pdf BibTex
titre
Experimental Evaluation of Three Value Recommendation Methods in Interactive Configuration
auteur
Hélène Fargier, Pierre-François Gimenez, Jérôme Mengin
article
Journal of Universal Computer Science, 2020, 26 (3), pp.318-342
Accès au texte intégral et bibtex
https://hal.science/hal-02940706/file/jucs_26_03_0318_0342_fargier.pdf BibTex
titre
The virtual lands of Oz: testing an agribot in simulation
auteur
Clément C. Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes
article
Empirical Software Engineering, 2020, 25 (3), pp.2025-2054. ⟨10.1007/s10664-020-09800-3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02436216/file/main_revised.pdf BibTex
titre
Remote explainability faces the bouncer problem
auteur
Erwan Le Merrer, Gilles Trédan
article
Nature Machine Intelligence, 2020, 2 (9), pp.529-539. ⟨10.1038/s42256-020-0216-z⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03048809/file/1910.01432.pdf BibTex

Communication dans un congrès

titre
Reconfigurable Hardware for Microarchitectural Timing Attacks Detection
auteur
Yuxiao Mao, Vincent Migliore, Vincent Nicomette
article
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2020), Dec 2020, online, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03138649/file/Mao%20et%20al.%20-%202020%20-%20Reconfigurable%20Hardware%20for%20Microarchitectural%20Tim.pdf BibTex
titre
A PSD-based fingerprinting approach to detect IoT device spoofing
auteur
Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette
article
25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Dec 2020, Perth, Australia. ⟨10.1109/PRDC50213.2020.00015⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02962655/file/A_PSD_based_fingerprint_approach_for_IoT_devices.pdf BibTex
titre
Hardware-Performance-Counters-based anomaly detection in massively deployed smart industrial devices
auteur
Malcolm Bourdon, Pierre-François Gimenez, Eric Alata, Mohamed Kaâniche, Vincent Migliore, Vincent Nicomette, Youssef Laarouchi
article
19th IEEE International Symposium on Network Computing and Applications (NCA 2020), Nov 2020, Cambridge, MA, United States. ⟨10.1109/NCA51143.2020.9306726⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03328251/file/Anomaly_detection_on_a_large_scale_deployment_of_smart_devices_using_hardware_performance_counters%285%29.pdf BibTex
titre
Brief Announcement: What Can(Not) Be Perfectly Rerouted Locally
auteur
Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
34th International Symposium on Distributed Computing (DISC 2020), Oct 2020, Virtual, France. ⟨10.4230/LIPIcs.DISC.2020.46⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03049117/file/LIPIcs-DISC-2020-46.pdf BibTex
titre
Towards safety monitoring of ML-based perception tasks of autonomous systems
auteur
Raul Sena Ferreira
article
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2020, Coimbra, Portugal. pp.135-138, ⟨10.1109/ISSREW51248.2020.00052⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03252641/file/Student_paper_ISSRE_2020.pdf BibTex
titre
On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications
auteur
Aliénor Damien, Pierre-François Gimenez, Nathalie Feyt, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
article
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), Oct 2020, Coimbra, Portugal. pp.358-368, ⟨10.1109/ISSRE5003.2020.00041⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03094215/file/ISSRE_2020_CameraReady_200810.pdf BibTex
titre
Bug ou ban ? Une Perspective Topologique sur le Shadow Banning
auteur
Erwan Le Merrer, Benoît Morgan, Gilles Trédan
article
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.science/hal-02875595/file/LMMT-shadowbanning-algotel20.pdf BibTex
titre
Belief functions for safety arguments confidence estimation : A comparative study
auteur
Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
article
14th International Conference on Scalable Uncertainty Management (SUM 2020), Research Centre on Knowledge and Data (KRDB); Free University of Bozen-Bolzano, Sep 2020, Bolzano, Italy. pp.1-15, ⟨10.1007/978-3-030-58449-8_10⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02900485/file/Belief%20functions%20for%20safety%20arguments%20confidence.pdf BibTex
titre
Clustering Sargassum Mats from Earth Observation Data
auteur
Estèle Glize, Marie-José Huguet, Marc Lucas, Marion Sutton, Gilles Trédan
article
Machine Learning for Earth Observation - MACLEAN 2020, Sep 2020, Ghent, Belgium
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02938183/file/FINAL2-maclean2020.pdf BibTex
titre
Testing an Underwater Robot Executing Transect Missions in Mayotte
auteur
Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, Didier Crestani
article
TAROS 2020 - 21st Annual Conference Towards Autonomous Robotic Systems, Sep 2020, Virtual, United Kingdom. pp.116-127, ⟨10.1007/978-3-030-63486-5_14⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02895512/file/TAROS_2020_VFinale.pdf BibTex
titre
REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection
auteur
Yuxiao Mao, Vincent Migliore, Vincent Nicomette
article
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genova, Italy. ⟨10.1109/EuroS&PW51379.2020.00100⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02949624/file/Mao%20et%20al.%20-%202020%20-%20REHAD%20Using%20Low-Frequency%20Reconfigurable%20Hardware.pdf BibTex
titre
A hierarchical fault tolerant architecture for an autonomous robot
auteur
Anthony Favier, Antonin Messioux, Jérémie Guiochet, Jean-Charles Fabre, Charles Lesire
article
6th Intern. Workshop on ​Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02558604/file/PID6442955.pdf BibTex
titre
Implications of Routing Coherence and Consistency on Network Optimization
auteur
Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
IFIP Networking, Jun 2020, Paris (virtuel), France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03049022/file/ifip20coherence.pdf BibTex
titre
Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts
auteur
Jean Ibarz, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre, Olivier Flébus
article
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03167058/file/article_RTNS.pdf BibTex
titre
WazaBee : attaque de réseaux Zigbee par détournement de puces Bluetooth Low Energy
auteur
Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato
article
Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2020), Jun 2020, Rennes, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02778262/file/SSTIC2020-Article-wazabee_attaque_de_reseaux_zigbee_par_detournement_de_puces_bluetooth_low_energy-galtier_marconat_AhcLCGU.pdf BibTex
titre
Testing a non-deterministic robot in simulation - How many repeated runs ?
auteur
Clément Robert, Jérémie Guiochet, Hélène Waeselynck
article
The fourth IEEE International Conference on Robotic Computing (IRC 2020), Mar 2020, Taichung, Taiwan. 8p., ⟨10.1109/IRC.2020.00048⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02444350/file/IRC_2020.pdf BibTex
titre
A user privacy-centric access control policy of data for intelligent transportation systems
auteur
Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette
article
Embedded Real Time Systems (ERTS), Jan 2020, Toulouse, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03139783/file/erts_2020_final_version.pdf BibTex
titre
Anomaly detection using hardware performance counters on a large scale deployment
auteur
Malcolm Bourdon, Eric Alata, Mohamed Kaâniche, Vincent Migliore, Vincent Nicomette, Youssef Laarouchi
article
10th European Congress Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03328254/file/ERTS2020_paper_92.pdf BibTex
titre
Safe Scheduling on Multicores: an approach leveraging multi-criticality and end-to-end deadlines
auteur
Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
article
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02465340/file/ERTS2020_paper_38.pdf BibTex
titre
Combining Machine Learning and Behavior Analysis Techniques for Network Security
auteur
Maria Laura Brzezinski Meyer, Yann Labit
article
2020 International Conference on Information Networking (ICOIN), Jan 2020, Barcelona, Spain. pp.580-583, ⟨10.1109/icoin48656.2020.9016500⟩
Accès au bibtex
BibTex

2019

Article dans une revue

titre
An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile Methods
auteur
Pascal Acco, Guillaume Auriol, Elodie Chanthery, M.-A Détourbe, Pierre Emmanuel Hladik, Didier Le Botlan, N Noullet, Audine Subias
article
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02189482/file/ArticleJ3eA2019_final.pdf BibTex
titre
Adversarial frontier stitching for remote neural network watermarking
auteur
Erwan Le Merrer, Patrick Pérez, Gilles Trédan
article
Neural Computing and Applications, 2019, 32 (13), pp.9233-9244. ⟨10.1007/s00521-019-04434-z⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02264449/file/main-nca.pdf BibTex
titre
Computer-Security-Oriented Escape Room
auteur
Erwan Beguin, Solal Besnard, Adrien Cros, Barbara Joannes, Ombeline Leclerc-Istria, Alexa Noel, Nicolas Roels, Faical Taleb, Jean Thongphan, Eric Alata, Vincent Nicomette
article
IEEE Security and Privacy Magazine, 2019, 17 (4), pp.78-83. ⟨10.1109/MSEC.2019.2912700⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02297796/file/escape_room.pdf BibTex
titre
Safety Case Confidence Propagation Based on Dempster-Shafer theory
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
article
International Journal of Approximate Reasoning, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02012942/file/JAR_v12-revised.pdf BibTex
titre
Smart-TV security: risk analysis and experiments on Smart-TV communication channels
auteur
Yann Bachy, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
article
Journal of Computer Virology and Hacking Techniques, 2019, 15 (1), pp.61-76. ⟨10.1007/s11416-018-0320-3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01761974/file/jicv_v3.pdf BibTex
titre
Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems
auteur
Achour Mostefaoui, Michel Raynal, Matthieu Roy
article
Computing, 2019, 101 (1), pp.3-17. ⟨10.1007/s00607-018-0615-8⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01784210/file/computing-2018-author.pdf BibTex

Communication dans un congrès

titre
Implementation of a Host-Based Intrusion Detection System for Avionic Applications
auteur
Aliénor Damien, Michael Marcourt, Vincent Nicomette, Eric Alata, Mohamed Kaâniche
article
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2019, Kyoto, Japan. pp.178-17809, ⟨10.1109/PRDC47002.2019.00048⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03094199/file/PID6215899.pdf BibTex
titre
Simulation-based testing to improve safety of autonomous robots
auteur
Luca Vittorio Sartori
article
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2019, Berlin, Germany. ⟨10.1109/ISSREW.2019.00053⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02495251/file/ISSRE_2019_DS_LVSartori_HAL_LAAS_version.pdf BibTex
titre
Mirage: towards a Metasploit-like framework for IoT
auteur
Romain Cayre, Vincent Nicomette, Guillaume Auriol, Eric Alata, Mohamed Kaâniche, Geraldine Marconato
article
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02346074/file/ISSRE_HAL.pdf BibTex
titre
Synchronous t-Resilient Consensus in Arbitrary Graphs
auteur
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
article
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⟩
Accès au bibtex
BibTex
titre
Application-aware adaptive partitioning for graph processing systems
auteur
Erwan Le Merrer, Gilles Trédan
article
MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.235-240, ⟨10.1109/MASCOTS.2019.00033⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02193594/file/main.pdf BibTex
titre
Tasks in Modular Proofs of Concurrent Algorithms
auteur
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
article
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02903005/file/castaneda_26273.pdf BibTex
titre
Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability
auteur
Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
article
5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-02303216/file/CARS_2019_paper_2.pdf BibTex
titre
Attack Injection into Avionic Systems through Application Code Mutation
auteur
Aliénor Damien, Nathalie Feyt, Vincent Nicomette, Eric Alata, Mohamed Kaâniche
article
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), Sep 2019, San Diego, United States. pp.1-8, ⟨10.1109/DASC43569.2019.9081616⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03094185/file/PID6033481.pdf BibTex
titre
A Topological Perspective on Distributed Network Algorithms
auteur
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Corentin Travers
article
26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩
Accès au bibtex
BibTex
titre
Bonsai: Efficient Fast Failover Routing Using Small Arborescences
auteur
Klaus-Tycho Foerster, Andrzej Kamisiński, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
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⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03049100/file/dsn2019.pdf BibTex
titre
Mirage : un framework offensif pour l'audit du Bluetooth Low Energy
auteur
Romain Cayre, Jonathan Roux, Eric Alata, Vincent Nicomette, Guillaume Auriol
article
Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2019), Jun 2019, Rennes, France. pp.229-258
Accès au texte intégral et bibtex
https://hal.science/hal-02268774/file/SSTIC2019-Article-mirage_un_framework_offensif_pour_laudit_du_bluetooth_low_energy-alata_auriol_roux_cayre_nicomette.pdf BibTex
titre
Activité pédagogique sur la création d'un jeu d'évasion
auteur
Guillaume Auriol, Sonia Ben Dhia, Elodie Chanthery, Pierre-Emmanuel Hladik, Didier Le Botlan, G. Le Corre, C. Maranges, David Vignolles
article
6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02307883/file/Colloque_p_dagogique_INSA.pdf BibTex
titre
Une politique de contrôle d'accès à grains fins aux données pour les systèmes de transport intelligents
auteur
Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette
article
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2019, Erquy, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03139756/file/ressi_2019.pdf BibTex
titre
CASA: Congestion and Stretch Aware Static Fast Rerouting
auteur
Klaus-Tycho Foerster, Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan
article
IEEE Conference on Computer Communications (IEEE INFOCOM 2019), Apr 2019, Paris, France. ⟨10.1109/INFOCOM.2019.8737438⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02043761/file/infocom2019e.pdf BibTex

Pré-publication, Document de travail

titre
Embedding security metadata into wireless communication signals using Polarization Shift Keying
auteur
Angelo Monti, Eric Alata, Daniela Dragomirescu
article
2019
Accès au texte intégral et bibtex
https://hal.science/hal-01994590/file/article.pdf BibTex

2018

Article dans une revue

titre
Modelling Confidence in Railway Safety Case
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
article
Safety Science, 2018, 110 (part B), pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01661045/file/SSv17_HAL.pdf BibTex
titre
Load-Optimal Local Fast Rerouting for Dense Networks
auteur
Michael Borokhovich, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
IEEE/ACM Transactions on Networking, 2018, 26 (6), pp.2583-2597. ⟨10.1109/TNET.2018.2871089⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02043798/file/ton18failover.pdf BibTex
titre
Addressing scalable, optimal and secure communications over LoRa networks: challenges and research directions
auteur
Nicola Accettura, Eric Alata, Pascal Berthou, Daniela Dragomirescu, Thierry Monteil
article
Internet Technology Letters, 2018, 1 (4), pp.e54. ⟨10.1002/itl2.54⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02063758/file/LoRaWAN-main.pdf BibTex
titre
SMOF - A Safety MOnitoring Framework for Autonomous Systems
auteur
Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
article
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01394139/file/revue9.pdf BibTex
titre
Anomaly Detection and Diagnosis for Cloud services: Practical experiments and lessons learned
auteur
Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun, Kahina Lazri, Guthemberg Silvestre
article
Journal of Systems and Software, 2018, 139, pp.84-106. ⟨10.1016/j.jss.2018.01.039⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01864357/file/SauvanaudJSS-Vauteur.pdf BibTex
titre
Resilient Computing on ROS using Adaptive Fault Tolerance
auteur
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
article
Journal of Software: Evolution and Process, 2018, 30 (3), pp.e1917. ⟨10.1002/smr.1917⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01703968/file/JSME-auteur.pdf BibTex
titre
State of the art of network protocol reverse engineering tools
auteur
Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
Journal of Computer Virology and Hacking Techniques, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01496958/file/jicv_SoA_ProtRE.pdf BibTex
titre
IOMMU protection against I/O attacks: A vulnerability and a proof-of-concept
auteur
Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
Journal of the Brazilian Computer Society, 2018, 24, pp.Article number: 2. ⟨10.1186/s13173-017-0066-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02877143/file/journal.pdf BibTex
titre
A language-based intrusion detection approach for automotive embedded networks
auteur
Ivan Studnia, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Youssef Laarouchi
article
International Journal of Embedded Systems, 2018, 10 (1), ⟨10.1504/IJES.2018.10010488⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01803432/file/Studnia2018-depotHal.pdf BibTex
titre
DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems
auteur
Angeliki Kritikakou, Thibaut Marty, Matthieu Roy
article
ACM Transactions on Design Automation of Electronic Systems, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01559696/file/DYNAMIC_final.pdf BibTex
titre
Convergence and covering on graphs for wait-free robots
auteur
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
article
Journal of the Brazilian Computer Society, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01740338/file/wait-free-robots.pdf BibTex
titre
Local Fast Failover Routing With Low Stretch
auteur
Klaus-Tycho Foerster, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
Computer Communication Review, 2018, 48 (1), pp.35-41. ⟨10.1145/3211852.3211858⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02043783/file/ccr18failover.pdf BibTex

Communication dans un congrès

titre
A Comparison of the Homomorphic Encryption Libraries HElib, SEAL and FV-NFLlib
auteur
Carlos Aguilar Melchor, Marc-Olivier Killijian, Cédric Lefebvre, Thomas Ricosset
article
International Conference on Security for Information Technology and Communications (SECITC 2018), Nov 2018, Bucharest, Romania. pp.425-442, ⟨10.1007/978-3-030-12942-2_32⟩
Accès au bibtex
BibTex
titre
Anomaly based Intrusion Detection for an Avionic Embedded System
auteur
Aliénor Damien, Marc Fumey, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
Aerospace Systems and Technology Conference (ASTC-2018), Nov 2018, Londres, United Kingdom
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01967646/file/Avionic_HIDS_ADAMIEN_CameraReady_HAL.pdf BibTex
titre
SAAC: Secure Android Application Context a Runtime Based Policy and its Architecture
auteur
Guillaume Averlant, Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Yuxiao Mao
article
IEEE 17th International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, MA, United States. ⟨10.1109/NCA.2018.8548343⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01982589/file/NCA_2018_Averlant.pdf BibTex
titre
RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach
auteur
Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette, Romain Cayre
article
17th IEEE International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, Massachusetts, United States. 8p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01914981/file/RadIoT_Radio_Communications_Intrusion_Detection_for_IoT.pdf BibTex
titre
Malware Detection in PDF Files Using Machine Learning
auteur
Bonan Cuan, Aliénor Damien, Claire Delaplace, Mathieu Valois
article
SECRYPT 2018 - 15th International Conference on Security and Cryptography, Jul 2018, Porto, Portugal. 8p
Accès au texte intégral et bibtex
https://hal.science/hal-01704766/file/Malware%20Detection%20in%20PDF%20Files%20Using%20Machine%20Learning%20SECRYPT%2718.pdf BibTex
titre
Safe Stop Trajectory Planning for Highly Automated Vehicles: An Optimal Control Problem Formulation
auteur
Lars Svensson, Lola Masson, Naveen Mohan, Erik Ward, Anna Pernestal Brenden, Lei Feng, Martin Törngren
article
2018 IEEE Intelligent Vehicles Symposium (IV), Jun 2018, Changshu, China. ⟨10.1109/IVS.2018.8500536⟩
Accès au bibtex
BibTex
titre
Specification-Based Protocol Obfuscation
auteur
Julien Duchene, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic
article
DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01848573/file/bare_conf.pdf BibTex
titre
Tomographic Node Placement Strategies and the Impact of the Routing Model
auteur
Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
SIGMETRICS, Jun 2018, Irvine, United States. 28p., ⟨10.1145/3154501⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01644582/file/sigmetrics18path-hal.pdf BibTex
titre
SRide: A Privacy-Preserving Ridesharing System
auteur
Ulrich Matchi Aïvodji, Kévin Huguenin, Marie-José Huguet, Marc-Olivier Killijian
article
11th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec), Jun 2018, Stockholm, Sweden. pp.40-50, ⟨10.1145/3212480.3212483⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01762436/file/A%C3%AFvodji18WiSec.pdf BibTex
titre
Tuning permissiveness of active safety monitors for autonomous systems
auteur
Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren
article
Nasa Formal Methods, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_23⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01637277/file/TuningPermissivenessMonitoring.pdf BibTex
titre
How Resilient is your computer system?
auteur
William Excoffon, Jean-Charles Fabre, Michaël Lauer
article
ERTS 2018,9th European Congress Embedded Real Time Software and systems, Jan 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01708220/file/ERTS2018-paper-full-V1.pdf BibTex

Pré-publication, Document de travail

titre
Architecture E/E et Logicielle pour les Systèmes Temps-Réels à Criticité Multiple : Etude Bibliographique
auteur
Daniel Loche
article
2018
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01765190/file/Etude%20Bibliographique_EdSYS.pdf BibTex

2017

Article dans une revue

titre
Reliability Enhancement of Redundancy Management in AFDX Networks
auteur
Meng Li, Guchuan Zhu, Yvon Savaria, Michaël Lauer
article
IEEE Transactions on Industrial Informatics, 2017, 13 (5), pp.2118-2129. ⟨10.1109/TII.2017.2732345⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01585141/file/FINAL%20VERSION.pdf BibTex
titre
Safety-critical advanced robots: A survey
auteur
Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck
article
Robotics and Autonomous Systems, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01394136/file/RobotDepend_cutv3-4RAS.pdf BibTex
titre
Efficient and secure outsourcing of genomic data storage
auteur
João Sá Sousa, Cédric Lefebvre, Zhicong Huang, Jean Louis Raisaro, Carlos Aguilar Melchor, Marc-Olivier Killijian, Jean-Pierre Hubaux
article
BMC Medical Genomics, 2017, 10 (S2), pp.1--17. ⟨10.1186/s12920-017-0275-0⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02381407/file/Efficient%20and%20secure%20outsourcing%20of%20genomic%20data%20storage.pdf BibTex
titre
Quantifying Interdependent Privacy Risks with Location Data
auteur
Alexandra-Mihaela Olteanu, Kévin Huguenin, Reza Shokri, Mathias Humbert, Jean-Pierre Hubaux
article
IEEE Transactions on Mobile Computing, 2017, 16 (3), pp.829-842. ⟨10.1109/TMC.2016.2561281⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01266229/file/Olteanu2016TMC.pdf BibTex
titre
Architecting resilient computing systems: A component-based approach for adaptive fault tolerance
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
Journal of Systems Architecture, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01472877/file/JSA-2016-final.pdf BibTex
titre
The many faces of graph dynamics
auteur
Yvonne Anne Pignolet, Matthieu Roy, Stefan Schmid, Gilles Trédan
article
Journal of Statistical Mechanics: Theory and Experiment, 2017, 2017 (6), pp.063401. ⟨10.1088/1742-5468/aa71ce⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01559708/file/JSTAT_gog16.pdf BibTex

Communication dans un congrès

titre
The topological face of recommendation: models and application to bias detection
auteur
Erwan Le Merrer, Gilles Trédan
article
Complex Networks, Nov 2017, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-02082867/file/1704.08991.pdf BibTex
titre
Multi-level Isolation for Android Applications
auteur
Guillaume Averlant
article
IEEE 28th International Symposium on Software Reliability Engineering: Workshops (ISSREW 2017), Oct 2017, Toulouse, France. 4p., ⟨10.1109/ISSREW.2017.61⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01885138/file/PID4971405.pdf BibTex
titre
Experience Report: Log Mining using Natural Language Processing and Application to Anomaly Detection
auteur
Christophe Bertero, Matthieu Roy, Carla Sauvanaud, Gilles Trédan
article
28th International Symposium on Software Reliability Engineering (ISSRE 2017), Oct 2017, Toulouse, France. 10p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01576291/file/PID4955309.pdf BibTex
titre
First insights into testing autonomous robot in virtual worlds
auteur
Clément Robert
article
28th International Symposium on Software Reliability Engineering (ISSRE), Oct 2017, Toulouse, France. 4p., ⟨10.1109/ISSREW.2017.59⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01795218/file/ISSRE.pdf BibTex
titre
Confidence Assessment Framework for Safety Arguments
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet
article
International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p
Accès au texte intégral et bibtex
https://hal.science/hal-01533221/file/paper_37.pdf BibTex
titre
Analysis of Adaptive Fault Tolerance for Resilient Computing
auteur
William Excoffon, Jean-Charles Fabre, Michaël Lauer
article
13th European Dependable Computing Conference (EDCC 2017), Sep 2017, Geneva, Switzerland. 9p., ⟨10.1109/EDCC.2017.22⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01708205/file/EDCC2017-paper-V12.1-final-avec.pdf BibTex
titre
Toward an Intrusion Detection Approach for IoT based on Radio Communications Profiling
auteur
Jonathan Roux, Eric Alata, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche
article
13th European Dependable Computing Conference, Sep 2017, Geneva, Switzerland. 4p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01561710/file/Toward_an_IDS_for_IoT_based_on_Radio_Communications_Profiling.pdf BibTex
titre
A toolset for mobile systems testing
auteur
Pierre André, Nicolas Rivière, Hélène Waeselynck
article
11th International Conference on Verification and Evaluation of Computer and Communication Systems (VEcOS 2017), Aug 2017, Montréal, Canada. pp.124-138
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01499518/file/DSN-2016.pdf BibTex
titre
Can robot navigation bugs be found in simulation? An exploratory study
auteur
Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand
article
2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-01534235/file/PID4832685.pdf BibTex
titre
Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems
auteur
Matthieu Amy, Jean-Charles Fabre, Michaël Lauer
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01707514/file/DSN-SSIV2017-%20V-final.pdf BibTex
titre
Load-Optimal Local Fast Rerouting for Resilient Networks
auteur
Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
47th IEEE/IFIP International Conference on Dependable Systems and Networks DSN 2017, Jun 2017, Denver, United States. 12p
Accès au texte intégral et bibtex
https://hal.science/hal-01644555/file/dsn17failover.pdf BibTex
titre
L'aspect topologique des recommandations
auteur
Erwan Le Merrer, Gilles Trédan
article
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France. 4p
Accès au texte intégral et bibtex
https://hal.science/hal-01517738/file/main-algotel.pdf BibTex
titre
Détection d'Intrusion dans l'Internet des Objets : Problématiques de sécurité au sein des domiciles
auteur
Jonathan Roux
article
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2017, Grenoble, France. 4p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01561720/file/Detection_Intrusion_Domiciles_Connectes-Roux_Jonathan.pdf BibTex
titre
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour
auteur
Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy
article
International Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01559723/file/Early-decision-NETYS-2017-final.pdf BibTex
titre
Synthesis of safety rules for active monitoring: application to an airport light measurement robot
auteur
Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval
article
IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.11⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01465734/file/IEEERobCompfinal.pdf BibTex
titre
Uncovering Influence Cookbooks : Reverse Engineering the Topological Impact in Peer Ranking Services
auteur
Erwan Le Merrer, Gilles Trédan
article
20th ACM Conference on Computer-Supported Cooperative Work and Social Computing CSCW 2017, Feb 2017, Portland, United States. 5p
Accès au texte intégral et bibtex
https://hal.science/hal-01644568/file/cscw16.pdf BibTex
titre
An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms
auteur
Guillaume Averlant, Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01493597/file/Survey_on_hardware_isolation_mechanisms.pdf BibTex

Chapitre d'ouvrage

titre
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
auteur
Fayollas Camille, Philippe Palanque, Jean-Charles Fabre, Célia Martinie de Almeida, Yannick Deleris
article
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), Human–Computer Interaction Series book series (HCIS). ⟨10.1007/978-3-319-51838-1_20⟩
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
On the Infringement upon Natural Persons’ Data Protection Rights by Natural Persons — An EU-centred Analysis
auteur
Céline Castets-Renard, Kévin Huguenin, Mathias Humbert, Thibault Brunel
article
2017
Accès au bibtex
BibTex

2016

Article dans une revue

titre
Souk: Spatial Observation of hUman Kinetics
auteur
Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon
article
Computer Networks, 2016, 111, pp.109-119. ⟨10.1016/j.comnet.2016.08.008⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01372329/file/souk.pdf BibTex
titre
Meeting points in ridesharing: A privacy-preserving approach
auteur
Ulrich Matchi Aïvodji, Sébastien Gambs, Marie-José Huguet, Marc-Olivier Killijian
article
Transportation research. Part C, Emerging technologies, 2016, 72, pp.239 - 253. ⟨10.1016/j.trc.2016.09.017⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01380170/file/paper-HAL-Aivodji-et-al.pdf BibTex
titre
Upper and Lower Bounds for Deterministic Broadcast in Powerline Communication Networks
auteur
Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan
article
Distributed Computing, 2016, 29 (4), pp.239-250. ⟨10.1007/s00446-016-0263-1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02079806/file/dist16.pdf BibTex
titre
SecureRun: Cheat-Proof and Private Summaries for Location-Based Activities
auteur
Anh Pham, Kévin Huguenin, Igor Bilogrevic, Italo Dacosta, Jean-Pierre Hubaux
article
IEEE Transactions on Mobile Computing, 2016, 15 (8), pp.2109-2123. ⟨10.1109/TMC.2015.2483498⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01198596/file/Pham2016TMC.pdf BibTex
titre
Outils pour la rétro-conception de protocoles : Analyse et classification
auteur
Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (6), pp.609-640. ⟨10.3166/tsi.35.609-640⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01864298/file/TSI-hal.pdf BibTex
titre
XPIR : Private Information Retrieval for Everyone
auteur
Carlos Aguilar Melchor, Joris Barrier, Laurent Fousse, Marc-Olivier Killijian
article
Proceedings on Privacy Enhancing Technologies, 2016, avril 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01396142/file/paper.pdf BibTex
titre
Efficient and Transparent Wi-Fi Offloading for HTTP(S) POSTs
auteur
Kévin Huguenin, Erwan Le Merrer, Nicolas Le Scouarnec, Gilles Straub
article
IEEE Transactions on Mobile Computing, 2016, 15 (4), pp.826-839. ⟨10.1109/TMC.2015.2442237⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01157922/file/Huguenin2016TMC.pdf BibTex
titre
Hazard analysis of human–robot interactions with HAZOP–UML
auteur
Jérémie Guiochet
article
Safety Science, 2016, 84, pp. 225-237. ⟨10.1016/j.ssci.2015.12.017⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01271565/file/main.pdf BibTex
titre
Multicriteria Decision-Making Methodology for Systems Engineering
auteur
Vikas Shukla, Guillaume Auriol, Keith Hipel
article
IEEE Systems Journal, 2016, 10 (1), pp.4 - 14. ⟨10.1109/JSYST.2014.2344635⟩
Accès au bibtex
BibTex
titre
A Machine-Learning Based Approach to Privacy-Aware Information-Sharing in Mobile Social Networks
auteur
Igor Bilogrevic, Kévin Huguenin, Berker Ağir, Murtuza Jadliwala, Maria Gazaki, Jean-Pierre Hubaux
article
Pervasive and Mobile Computing, 2016, 25, pp.125-142. ⟨10.1016/j.pmcj.2015.01.006⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01108962/file/Bilogrevic2015PMC.pdf BibTex

Communication dans un congrès

titre
Anomaly Detection and Root Cause Localization in Virtual Network Functions
auteur
Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
article
27th International Symposium on Software Reliability Engineering (ISSRE 2016), Oct 2016, Ottawa, Canada. pp.196 - 206, ⟨10.1109/ISSRE.2016.32⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01419014/file/issre_final_version.pdf BibTex
titre
Bypassing IOMMU Protection against I/O Attacks
auteur
Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01419962/file/Moragn-ladc-2016.pdf BibTex
titre
Two Convergence Problems for Robots on Graphs
auteur
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
article
7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01386628/file/wait-free-graph-problems.pdf BibTex
titre
D-S Theory for Argument Confidence Assessment
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
article
4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01372016/file/paper%20%2320.pdf BibTex
titre
An Approach for Resilient Systems Analysis
auteur
William Excoffon, Jean-Charles Fabre, Michaël Lauer
article
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. 2p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01370228/file/5-SafecompFastAbstractVF.pdf BibTex
titre
Case Study Report : Safety rules synthesis for an autonomous robot
auteur
Lola Masson, Jérémie Guiochet, Hélène Waeselynck
article
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01370269/file/11-fast_abtsract_safecomp_masson.pdf BibTex
titre
Loca: A Location-Oblivious Co-location Attack in Crowds
auteur
Roberto Pasqua, Matthieu Roy, Gilles Trédan
article
2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ⟨10.1145/2971648.2971663⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01372317/file/ubicomp16.pdf BibTex
titre
Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
auteur
Angeliki Kritikakou, Thibaut Marty, Claire Pagetti, Christine Rochange, Michaël Lauer, Matthieu Roy
article
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-01375576/file/CARS2016_paper_11.pdf BibTex
titre
Protocol reverse engineering: Challenges and obfuscation
auteur
Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. ⟨10.1007/978-3-319-54876-0_11⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01388060/file/crisis.pdf BibTex
titre
Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level
auteur
Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck
article
12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-01328909/file/EDCC.pdf BibTex
titre
A Framework for Assessing Safety Argumentation Confidence
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet
article
8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01372049/file/serenev7.pdf BibTex
titre
Asynchronous Coordination with Constraints and Preferences
auteur
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
article
35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01326911/file/coordination-BA-PODC.pdf BibTex
titre
Asynchronous Coordination Under Preferences and Constraints
auteur
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
article
23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Accès au texte intégral et bibtex
https://hal.science/hal-01341710/file/sirocco-coordination.pdf BibTex
titre
On the Privacy Implications of Location Semantics
auteur
Berker Ağir, Kévin Huguenin, Urs Hengartner, Jean-Pierre Hubaux
article
16th Privacy Enhancing Technologies Symposium (PETS), Jul 2016, Darmstadt, Germany. pp.165-183, ⟨10.1515/popets-2016-0034⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01216649/file/Agir2016PoPETS.pdf BibTex
titre
Location Privacy with Probabilistic Co-Location Profiles [work in progress]
auteur
Jean-Pierre Hubaux, Kévin Huguenin, Roberto Pasqua, Alexandra-Mihaela Olteanu
article
Atelier sur la Protection de la Vie Privée 2016 (APVP16), Jul 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01382499/file/short_version.pdf BibTex
titre
Adaptive Fault Tolerance: Is ROS a Relevant Executive Support ?
auteur
Matthieu Amy
article
Student Forum of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01318364/file/DSN-Student-Forum_%234_Adaptive-Fault-Tolerance-Is-ROS-a-Relevant-Executive-Support.pdf BibTex
titre
Towards Black-Box Anomaly Detection in Virtual Network Functions
auteur
Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
article
The 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2016), Jun 2016, TOULOUSE, France. pp.254 - 257, ⟨10.1109/DSN-W.2016.17⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01419016/file/industrial_track_DSN16.pdf BibTex
titre
Privacy Enhancing Technologies for Ridesharing
auteur
Ulrich Matchi Aïvodji
article
Student Forum of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01318368/file/DSN-Student-Forum_%236_Privacy-Enhancing-Technologies-for-Ridesharing.pdf BibTex
titre
Bypassing DMA Remapping with DMA
auteur
Benoît Morgan, Guillaume Averlant, Eric Alata, Vincent Nicomette
article
Symposium sur le Sécurité des Technologies de l'Informatino et des Communications, Jun 2016, Rennes, France. 9p
Accès au texte intégral et bibtex
https://hal.science/hal-01322881/file/sstic-2016.pdf BibTex
titre
Retro-ingénierer les métriques topologiques dans les algorithmes de peer-ranking
auteur
Erwan Le Merrer, Gilles Trédan
article
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Accès au texte intégral et bibtex
https://hal.science/hal-01305027/file/main-algotel.pdf BibTex
titre
NFLlib: NTT-based Fast Lattice Library
auteur
Carlos Aguilar Melchor, Joris Barrier, Serge Guelton, Adrien Guinet, Marc-Olivier Killijian, Tancrede Lepoint
article
Cryptographers' Track at the RSA Conference 2016, Feb 2016, San Francisco, United States. pp.341-356, ⟨10.1007/978-3-319-29485-8_20⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01242273/file/main.pdf BibTex
titre
Towards Resilient Computing on ROS for Embedded Applications
auteur
Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Matthieu Amy, William Excoffon, Miruna Stoicescu
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Accès au texte intégral et bibtex
https://hal.science/hal-01292318/file/paper_107.pdf BibTex
titre
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS
auteur
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
article
HASE 2016 — IEEE 17th International Symposium on High Assurance Systems Engineering Symposium, Jan 2016, Orlando, FL, United States. pp.94-101, ⟨10.1109/HASE.2016.30⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01288098/file/ROS-HASE2016.pdf BibTex

Chapitre d'ouvrage

titre
BG Distributed Simulation Algorithm
auteur
Matthieu Roy
article
Ming-Yang Kao. Encyclopedia of Algorithms, Springer New York, pp.199-203, 2016, 978-1-4939-2863-7. ⟨10.1007/978-1-4939-2864-4_611⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02087581/file/bg-revised.pdf BibTex

2015

Article dans une revue

titre
Replacing target setting by value models in the ‘house of quality’ for value-based requirements specifications
auteur
Xinwei Zhang, Hakki Eres, Claude Baron, Guillaume Auriol, Mario Kossmann
article
Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture, 2015, 229 (11), pp.2035 - 2046. ⟨10.1177/0954405414540296⟩
Accès au bibtex
BibTex
titre
Adversarial Topology Discovery in Network Virtualization Environments: A Threat for ISPs?
auteur
Y.-A Pignolet, Stefan Schmid, Gilles Trédan
article
Distributed Computing, 2015, 29, pp.91-108. ⟨10.1007/s00446-014-0217-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02082887/file/DIST2014.pdf BibTex
titre
Test Languages for In-the-Loop Avionics Tests
auteur
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
article
Journal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Accès au bibtex
BibTex
titre
Mapping Applications on Volatile Resources
auteur
Henri Casanova, Fanny Dufossé, Yves Robert, Frédéric Vivien
article
International Journal of High Performance Computing Applications, 2015, 29 (1), pp.19. ⟨10.1177/1094342013518806⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00923948/file/journal-revised.pdf BibTex

Communication dans un congrès

titre
Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring
auteur
Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Guillaume Averlant
article
The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Nov 2015, Zhangjiajie, China. 10p., ⟨10.1109/PRDC.2015.46⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01322882/file/prdc-2015.pdf BibTex
titre
A language-based intrusion detection approach for automotive embedded networks
auteur
Ivan Studnia, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Youssef Laarouchi
article
IEEE Pacific Rim International Symposium on Dependable Computing ( PRDC ), Nov 2015, Zhangjiajie, China
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01967640/file/prdcsoumis.pdf BibTex
titre
A Model for Safety Case Confidence Assessment
auteur
Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche
article
34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01228861/file/guiochet-safecomp2015.pdf BibTex
titre
COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet, Pascal Izzo, Jean-Maxime Massimi
article
34th Digital Avionics Systems Conference (DASC), 2015, Sep 2015, PRAGUE, Czech Republic. pp.6D2-1 - 6D2-14, ⟨10.1109/DASC.2015.7311453⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01275304/file/ZAMMALI_DASC-34.pdf BibTex
titre
Partial Updates of AUTOSAR Embedded Applications — To What Extent?
auteur
Hélène Martorell, Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Régis Valentin
article
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01194832/file/edcc.pdf BibTex
titre
Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS
auteur
Michaël Lauer, Matthieu Amy, William Excoffon, Matthieu Roy, Miruna Stoicescu
article
CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01193039/file/CARSEDCC2015_paper_14.pdf BibTex
titre
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases
auteur
Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
article
7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015), Sep 2015, Paris, France. ⟨10.1007/978-3-319-23129-7_9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01211772/file/Tejo-SERENE2015.pdf BibTex
titre
Data Stream Clustering for Online Anomaly Detection in Cloud Applications
auteur
Carla Sauvanaud, Guthemberg Silvestre, Mohamed Kaâniche, Karama Kanoun
article
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01211774/file/edcc2015_last_version_carla.pdf BibTex
titre
Security of ISP Access Networks: practical experiments
auteur
Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège
article
11th European Dependable Computing Conference - Dependability in Practice (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01190054/file/PID3811879.pdf BibTex
titre
Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds
auteur
Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01212064/file/Automated%20Evaluation%20of%20Network%20Intrusion%20Detection%20Systems%20in%20IaaS%20Clouds.pdf BibTex
titre
Test de la navigation de systèmes autonomes dans des mondes virtuels
auteur
Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck
article
Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-01282148/file/test_nav.pdf BibTex
titre
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime
auteur
Fayollas Camille, Célia Martinie, Philippe Palanque, Yannick Deleris
article
Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23
Accès au texte intégral et bibtex
https://hal.science/hal-01334722/file/fayollas_15399.pdf BibTex
titre
Smart-TV security analysis: practical experiments
auteur
Yann Bachy, Frédéric Basse, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège, Pierre Lukjanenko
article
International Conference on Dependable Systems and Networks, Jun 2015, Rio de Janeiro, Brazil
Accès au texte intégral et bibtex
https://hal.science/hal-01178553/file/dsn_smarttv_v12.pdf BibTex
titre
Abyme : un voyage au coeur des hyperviseurs récursifs
auteur
Benoît Morgan, Eric Alata, Vincent Nicomette, Guillaume Averlant
article
Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC), Jun 2015, Rennes, France. 29p
Accès au texte intégral et bibtex
https://hal.science/hal-01322880/file/sstic-2015.pdf BibTex
titre
Protocole HbbTV et sécurité : quelques expérimentations
auteur
Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège, Pierre Lukjanenko
article
Symposium sur la sécurité des technologies de l’information et des communications, Jun 2015, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-01178550/file/SSTIC_smarttv_bachy.pdf BibTex
titre
De-anonymizing Genomic Databases Using Phenotypic Traits
auteur
Mathias Humbert, Kévin Huguenin, Joachim Hugonot, Erman Ayday, Jean-Pierre Hubaux
article
15th Privacy Enhancing Technologies Symposium (PETS), Jun 2015, Philadelphia, PA, United States. pp.99-114, ⟨10.1515/popets-2015-0020⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01151960/file/Humbert2015PETS.pdf BibTex
titre
Privacy-preserving carpooling
auteur
Ulrich Matchi Aïvodji, Sébastien Gambs, Marie-José Huguet, Marc-Olivier Killijian
article
Odysseus 2015 - 6th International Workshop on Freight Transportation and Logistics, May 2015, Ajaccio, France
Accès au texte intégral et bibtex
https://hal.science/hal-01146639/file/Privacy-preserving%20carpooling.pdf BibTex
titre
Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262
auteur
Ludovic Pintard, Michel Leeman, Abdelillah Ymlahi-Ouazzani, Jean-Charles Fabre, Karama Kanoun, Matthieu Roy
article
SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. ⟨10.4271/2015-01-0272⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01221422/file/SAE_Manuscript-AuthorsFinalVersion.pdf BibTex
titre
Show Me New Counterexamples: A Path-Based Approach
auteur
Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels
article
8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01953299/file/ICST2015.pdf BibTex
titre
Predicting Users' Motivations behind Location Check-Ins and Utility Implications of Privacy Protection Mechanisms
auteur
Igor Bilogrevic, Kévin Huguenin, Stefan Mihaila, Reza Shokri, Jean-Pierre Hubaux
article
22nd Network and Distributed System Security Symposium (NDSS), Feb 2015, San Diego, CA, United States. ⟨10.14722/ndss.2015.23032⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01076554/file/Bilogrevic2015NDSS.pdf BibTex
titre
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet
article
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.215-222, ⟨10.1109/HASE.2015.39⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01780202/file/HASE-2015_submission_26_FINAL_SOUMIS_15septembre14.pdf BibTex
titre
Model-Checking and Game theory for Synthesis of Safety Rules
auteur
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
article
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01164981/file/v14.pdf BibTex
titre
Model-checking and Game Theory for the Synthesis of Safety Rules
auteur
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
article
IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01207657/file/v14.pdf BibTex

2014

Article dans une revue

titre
Fiabilité de mission d’un avion. évaluation stochastique en opération
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.777 - 807. ⟨10.3166/tsi.33.777-807⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01930324/file/Kossi_TSI_2014.pdf BibTex
titre
Towards privacy-driven design of a dynamic carpooling system
auteur
Jesús Friginal, Sébastien Gambs, Jérémie Guiochet, Marc-Olivier Killijian
article
Pervasive and Mobile Computing, 2014, 14, pp.71-82. ⟨10.1016/j.pmcj.2014.05.009⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01242263/file/journal.pdf BibTex
titre
Identification de vulnérabilités Web et génération de scénarios d'attaque
auteur
Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.809-840. ⟨10.3166/tsi.33.809-840⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01967638/file/Tsi-soumis.pdf BibTex
titre
Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation
auteur
Meng Li, Michaël Lauer, Guchuan Zhu, Yvon Savaria
article
IEEE Transactions on Industrial Informatics, 2014, 10 (3), pp.1684-1695. ⟨10.1109/TII.2014.2315441⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02065005/file/MengLi_MichaelLauer_GuchuanZhu_YvonSavaria%20%281%29.pdf BibTex
titre
An Invariant-based Approach for Detecting Attacks against Data in Web Applications
auteur
Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy
article
International journal of secure software engineering, 2014, 5 (1), pp.19-38. ⟨10.4018/ijsse.2014010102⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01083296/file/IJSSE_APA4_def.pdf BibTex
titre
De-anonymization attack on geolocated data
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
Journal of Computer and System Sciences, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01242268/file/deanonymization_journal.pdf BibTex
titre
An automated black box approach for web vulnerability identification and attack scenario generation
auteur
Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
Journal of the Brazilian Computer Society, 2014, 20 (1), pp.1--16. ⟨10.1186/1678-4804-20-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00985670/file/Jbsc.pdf BibTex
titre
End-to-end latency and temporal consistency analysis in networked real-time systems
auteur
Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont
article
International Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01154189/file/lauer_13243.pdf BibTex
titre
La sécurité des box ADSL. Analyse de risques et expérimentations
auteur
Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2014, 19 (6), pp.63-88. ⟨10.3166/isi.19.6.63-88⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01178546/file/papier_v13.pdf BibTex

Communication dans un congrès

titre
The Opinion Number of Set-Agreement
auteur
Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
article
OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01073578/file/chcksa.pdf BibTex
titre
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
auteur
Fayollas Camille, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
article
20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21--30, ⟨10.1109/PRDC.2014.11⟩
Accès au bibtex
BibTex
titre
From Safety Analyses to Experimental Validation of Automotive Embedded Systems
auteur
Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy
article
PRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01265454/file/PRDC2014_CameraReady_FV_IEEE.pdf BibTex
titre
A Fault-Tolerant Architecture for Resilient Interactive Systems
auteur
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
article
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⟩
Accès au bibtex
BibTex
titre
Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes
auteur
Fayollas Camille, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
article
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
Accès au texte intégral et bibtex
https://hal.science/hal-01090399/file/p80-fayollas.pdf BibTex
titre
An anomaly detection approach for scale-out storage systems
auteur
Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
article
26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01076212/file/main.pdf BibTex
titre
Vssdb: A Verifiable Secret-Sharing Distance-Bounding Protocol
auteur
Sébastien Gambs, Marc-Olivier Killijian, Cédric Lauradoux, Cristina Onete, Matthieu Roy, Moussa Traoré
article
International Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France
Accès au texte intégral et bibtex
https://hal.science/hal-01242265/file/vssdb.pdf BibTex
titre
An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures
auteur
Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
8th International Conference on Network and System Security (NSS 2014), Oct 2014, Xi'an, China. pp.1-14, ⟨10.1007/978-3-319-11698-3_1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01176045/file/NSS2014-ProbstEalataKaanicheNicomette.pdf BibTex
titre
Automatically Adjusting Concurrency to the Level of Synchrony
auteur
Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
article
International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01062031/file/main.pdf BibTex
titre
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems
auteur
Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez
article
22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01096102/file/RTNS14_HAL%20%281%29.pdf BibTex
titre
PROPS: A PRivacy-Preserving Location Proof System
auteur
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
article
33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014,, Oct 2014, Nara, Japan. ⟨10.1109/SRDS.2014.37⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01242266/file/locationProof.pdf BibTex
titre
Specifying Safety Monitors for Autonomous Systems using Model-checking
auteur
Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
article
International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-01207152/file/safety_accept.pdf BibTex
titre
Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps
auteur
Jesús Friginal, Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan
article
IEEE International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, United States. ⟨10.1109/NCA.2014.8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01242260/file/mobility.pdf BibTex
titre
Modeling and Measuring Graph Similarity: The Case for Centrality Distance
auteur
Matthieu Roy, Stefan Schmid, Gilles Trédan
article
FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53
Accès au texte intégral et bibtex
https://hal.science/hal-01010901/file/fomc14TR.pdf BibTex
titre
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems
auteur
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy
article
26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Accès au texte intégral et bibtex
https://hal.science/hal-01015476/file/FAC.pdf BibTex
titre
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces
auteur
Fayollas Camille, Célia Martinie de Almeida, David Navarre, Philippe Palanque, Racim Mehdi Fahssi
article
4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
Accès au bibtex
BibTex
titre
A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet
article
2014 IEEE 8th International Conference on Software Security and Reliability-Companion (SERE-C), Jun 2014, San Francisco, United States. ⟨10.1109/SERE-C.2014.18⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01780248/file/HAL__SERE_2014__SERE_revise_V3_2014.04.18_SOUMIS.pdf BibTex
titre
Inférence d'interactions sociales par colocalisation discrète
auteur
Roberto Pasqua, Matthieu Roy, Gilles Trédan
article
Atelier sur la Protection de la Vie Privée 2014 (APVP14), Jun 2014, Cabourg, France
Accès au texte intégral et bibtex
https://hal.science/hal-01382489/file/apvp2014.pdf BibTex
titre
Les défis du Test Logiciel - Bilan et Perspectives
auteur
Frédéric Dadeau, Hélène Waeselynck
article
Journées Nationales du GDR GPL, Jun 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01953503/file/defisMTV2.pdf BibTex
titre
Analyse de sécurité des box ADSL
auteur
Yann Bachy, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Jean-Christophe Courrège
article
Symposium sur la sécurité des technologies de l’information et des communications, Jun 2014, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-01178496/file/SSTIC_boxadsl_bachy.pdf BibTex
titre
Tests d’intégrité d’hyperviseurs de machines virtuelles à distance et assisté par le matériel
auteur
Benoît Morgan, Eric Alata, Vincent Nicomette
article
Symposium sur la sécurité des technologies de l'information et des communications, Jun 2014, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-01493450/file/SSTIC2014-Article-tests_dintegrite_dhyperviseurs-morgan_alata_nicomette.pdf BibTex
titre
Bipartite Matching Heuristics with Quality Guarantees on Shared Memory Parallel Computers
auteur
Fanny Dufossé, Kamer Kaya, Bora Uçar
article
28th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2014, Phoenix, Arizona, United States. ⟨10.1109/IPDPS.2014.63⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01235162/file/oneOutMatching.pdf BibTex
titre
Formalisation et génération d'injections
auteur
Eric Alata, Didier Le Botlan
article
9ème édition de la conférence Francophone SARSSI, May 2014, Lyon, France. 13p
Accès au texte intégral et bibtex
https://hal.science/hal-01022924/file/sarssi.pdf BibTex
titre
From Resilient Computing Architectural Concepts to Wireless Sensor Network-based Applications
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy, Animesh Pathak
article
EDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.46 - 49, ⟨10.1109/EDCC.2014.23⟩
Accès au bibtex
BibTex
titre
Classification et caractérisation non supervisée des attaques vers des pots de miel
auteur
Richard Turc, Philippe Owezarski
article
Conférence sur la Sécurité des Architectures Réseaux et Systèmes d'Information (SARSSI 2014), May 2014, Lyon, France. 11p
Accès au texte intégral et bibtex
https://hal.science/hal-00932814/file/RTPO_sarssi.pdf BibTex
titre
An approach for assessing the impact of dependability on usability: application to interactive cockpits.
auteur
Camille Fayollas, Célia Martinie de Almeida, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
article
European Dependable Computing Conference, May 2014, Newcastle upon Tyne, UK, United Kingdom. pp.198--209, ⟨10.1109/EDCC.2014.17⟩
Accès au bibtex
BibTex
titre
Towards resilient cyber-physical systems: The ADREAM project
auteur
Jean Arlat, Michel Diaz, Mohamed Kaâniche
article
9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS-2014), May 2014, Santorin, Greece. pp.1 - 5, ⟨10.1109/DTIS.2014.6850642⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01419019/file/DTIS_2014_ADREAM_ADK%28A4%29.pdf BibTex
titre
Coverage Criteria for Model-Based Testing using Property Patterns
auteur
Frédéric Dadeau, Kalou Cabrera Castillos, Jacques Julliand
article
MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014, Apr 2014, Grenoble, France. pp.15, ⟨10.4204/EPTCS.141.3⟩
Accès au bibtex
BibTex
titre
Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles
auteur
Hélène Waeselynck, Simon Poulding
article
7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014), Mar 2014, Cleveland, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01953483/file/ICST2014.pdf BibTex
titre
Improving Adaptiveness of AUTOSAR Embedded Applications
auteur
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
article
ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390
Accès au texte intégral et bibtex
https://hal.science/hal-01062054/file/dads14.pdf BibTex
titre
Dynamic software updates vs AUTOSAR
auteur
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
article
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02272217/file/ERTS_2014_submission_81%20%281%29.pdf BibTex
titre
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
auteur
Fayollas Camille, Philippe Palanque, Jean Charles Fabre, David Navarre, Yannick Deleris, Arnaud Hamon
article
Conference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02272197/file/ERTS_2014_submission_78.pdf BibTex
titre
Fault injection and automotive development process
auteur
Karama Kanoun, Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Matthieu Roy
article
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 9p
Accès au bibtex
BibTex
titre
UML-Based Modeling of Robustness Testing
auteur
Regina Moraes, Hélène Waeselynck, Jérémie Guiochet
article
15th IEEE International Symposium on High Assurance Systems Engineering (HASE2014), Jan 2014, Miami, United States. pp.168-175, ⟨10.1109/HASE.2014.31⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01282159/file/HASE2014-final.pdf BibTex

2013

Article dans une revue

titre
Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach
auteur
Fayollas Camille, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Deleris
article
International Journal of Critical Computer-Based Systems, 2013, Special Issue on Fault-Tolerant Computer Systems, 4 (3), pp.202-226. ⟨10.1504/IJCCBS.2013.058407⟩
Accès au bibtex
BibTex
titre
Aircraft Operational Reliability-A Model-based Approach and a Case Study
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
Reliability Engineering and System Safety, 2013, 120, pp.163-176. ⟨10.1016/j.ress.2013.07.008⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01911668/file/Tiassou-RESS-final-HalVersion.pdf BibTex
titre
A vulnerability life cycle based security modeling and evaluation approach
auteur
Géraldine Vache Marconato, Mohamed Kaâniche, Vincent Nicomette
article
The Computer Journal, 2013, 56 (4), pp.422 - 439. ⟨10.1093/comjnl/bxs112⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01911985/file/ComputerJournal-Hal.pdf BibTex
titre
Evaluation quantitative de la sécurité: Approche basée sur les vulnérabilités
auteur
Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75
Accès au bibtex
BibTex
titre
évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités
auteur
Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75. ⟨10.3166/tsi.32.41-75⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01212202/file/revueTSI-120330.pdf BibTex

Communication dans un congrès

titre
Monitoring On-line Timing Information to Support Mixed-Critical Workloads
auteur
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas
article
IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
Accès au texte intégral et bibtex
https://hal.science/hal-01015455/file/rtss.pdf BibTex
titre
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems
auteur
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
article
The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Dec 2013, Vancouver, Canada. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-00978475/file/prdc2013.pdf BibTex
titre
Towards a Privacy Risk Assessment Methodology for Location-Based Systems
auteur
Jesús Friginal, Jérémie Guiochet, Marc-Olivier Killijian
article
10th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS), Dec 2013, Tokyo, Japan. pp.748-753, ⟨10.1007/978-3-319-11569-6_65⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01281790/file/papier-final.pdf BibTex
titre
Specifying safety monitors for autonomous systems
auteur
Mathilde Machin, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
article
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Accès au texte intégral et bibtex
https://hal.science/hal-00841711/file/machin2013specifying.pdf BibTex
titre
An Approach for Security Evaluation and Analysis in Cloud Computing
auteur
Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Yves Deswarte
article
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Accès au texte intégral et bibtex
https://hal.science/hal-00926367/file/FA3.pdf BibTex
titre
Communication integrity for slow-dynamic critical embedded systems
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet
article
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Accès au texte intégral et bibtex
https://hal.science/hal-00926515/file/FA11.pdf BibTex
titre
Security of embedded automotive networks: state of the art and a research proposal
auteur
Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi
article
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
Accès au texte intégral et bibtex
https://hal.science/hal-00848234/file/4_-_cars_istudnia.pdf BibTex
titre
Towards Dynamic Updates In AUTOSAR
auteur
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
article
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
Accès au texte intégral et bibtex
https://hal.science/hal-00848361/file/7_-_camera_ready_CARS.pdf BibTex
titre
SOUK: Social Observation of hUman Kinetics
auteur
Marc-Olivier Killijian, Matthieu Roy, Gilles Trédan, Christophe Zanon
article
Ubicomp 2013 (2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing), Sep 2013, Zurich, Switzerland. 4p., ⟨10.1145/2493432.2494526⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00839520/file/souk.pdf BibTex
titre
Carpooling : the 2 Synchronization Points Shortest Paths Problem
auteur
Arthur Bit-Monnot, Christian Artigues, Marie-José Huguet, Marc-Olivier Killijian
article
13th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS), Sep 2013, Sophia Antipolis, France. 12 p, ⟨10.4230/OASIcs.ATMOS.2013.150⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00843628/file/revised-submission-ATMOS.pdf BibTex
titre
De-anonymization attack on geolocated datasets
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
The 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-13), Jul 2013, Melbourne, Australia. 9p
Accès au texte intégral et bibtex
https://hal.science/hal-00718763/file/deanonymization_trustConf.pdf BibTex
titre
A Survey of Security Threats and Protection Mechanisms in Embedded Automotive Networks
auteur
Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi
article
The 2nd Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2013), co-located with the IEEE/IFIP Annual Symposium on Dependable Systems and Networks (DSN-2013), Jun 2013, Budapest, Hungary. pp.1-12
Accès au texte intégral et bibtex
https://hal.science/hal-00852244/file/Studniaetal.pdf BibTex
titre
Survey on security threats and protection mechanisms in embedded automotive networks
auteur
Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi
article
2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems (WORCS-2013), co-located with The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2013), Jun 2013, Budapest, Hungary. ⟨10.1109/DSNW.2013.6615528⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01176042/file/Studniaetal.pdf BibTex
titre
Model-Based Safety Analysis of Human-Robot Interactions: the MIRAS Walking Assistance Robot
auteur
Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell
article
International Conference on Rehabilitation Robotics (ICORR), Jun 2013, Seattle, United States. pp.1-7
Accès au texte intégral et bibtex
https://hal.science/hal-00839296/file/PID2660635.pdf BibTex
titre
STELAE - A Model-Driven Test Development Environment for Avionics Systems
auteur
Alexandru Robert Ciprian Guduvan, Hélène Waeselynck, V. Wiels, Gaël Durrieu, Yann Fusero, Michel Schieber
article
IEEE ISORC 2013, Jun 2013, PADEBORN, Germany. 8p
Accès au texte intégral et bibtex
https://onera.hal.science/hal-01057937/file/DTIM13069.1379490503.pdf BibTex
titre
Design-Driven Development Methodology for Resilient Computing
auteur
Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy
article
CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00814298/file/paper.pdf BibTex
titre
MapReducing GEPETO or Towards Conducting a Privacy Analysis on Millions of Mobility Traces
auteur
Sébastien Gambs, Marc-Olivier Killijian, Izabela Moise, Miguel Nuñez del Prado Cortez
article
2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum, May 2013, Cambridge, United States. pp.1937-1946, ⟨10.1109/IPDPSW.2013.180⟩
Accès au bibtex
BibTex
titre
Fault Injection in the Automotive Standard ISO 26262: An Initial Approach
auteur
Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy
article
14th European Workshop, EWDC 2013, May 2013, Coimbra, Portugal. 8p., ⟨10.1007/978-3-642-38789-0_11⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01615019/file/EWDC2013.pdf BibTex
titre
Towards a recommender system for bush taxis
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez, Moussa Traoré
article
3rd Conference on the Analysis of Mobile Phone Datasets (NetMob'13), May 2013, Boston, United States
Accès au bibtex
BibTex
titre
An Automated Approach to Generate Web Applications Attack Scenarios
auteur
Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Rim Akrout
article
The 6th Latin-American Symposium on Dependable Computing (LADC-2013), Apr 2013, Rio de Janeiro, Brazil. pp.78-85, ⟨10.1109/LADC.2013.22⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01176046/file/LADC%202013-Alata-et-al.pdf BibTex

2012

Article dans une revue

titre
Projet MIRAS : Robot d'assistance à la déambulation avec interaction multimodale
auteur
Viviane Pasqui, Ludovic Saint-Bauzel, Cong Zong, Xavier Clady, Philippe Decq, François Piette, Valérie Michel-Pellegrino, Amine El Helou, Michael Carré, Audrey Durand, Quynh Anh Do Hoang, Jérémie Guiochet, Pierre Rumeau, Vincent Dupourque, Julie Caquas
article
Innovation and Research in BioMedical engineering, 2012, 33 (2), pp.165-172
Accès au texte intégral et bibtex
https://hal.science/hal-01282234/file/IRBM-S-12-00025-2.pdf BibTex

Communication dans un congrès

titre
Survey of Security Problems in Cloud Computing Virtual Machines
auteur
Ivan Studnia, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Vincent Nicomette
article
Computer and Electronics Security Applications Rendez-vous (C&ESAR 2012). Cloud and security:threat or opportunity, Nov 2012, Rennes, France. p. 61-74
Accès au texte intégral et bibtex
https://hal.science/hal-00761206/file/cesar_paper71-version_publieI_e.pdf BibTex
titre
From Design for Adaptation to Component-Based Resilient Computing
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-00747469/file/design_for_adaptation.pdf BibTex
titre
Safety Trigger Conditions for Critical Autonomous Systems
auteur
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
article
The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01282203/file/prdc2012.pdf BibTex
titre
Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avion
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
Congrès de Maîtrise des Risques et de sûreté de Fonctionnement (Lamda Mu 17), Oct 2012, Tours, France. 9 p
Accès au texte intégral et bibtex
https://hal.science/hal-00761050/file/LM18_Kossi_Tiassou.pdf BibTex
titre
Security-related vulnerability life cycle analysis
auteur
Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
article
7th International Conference on Risk and Security of Internet and Systems (CRiSIS-2012), Oct 2012, Cork, Ireland. pp.1-8, ⟨10.1109/CRISIS.2012.6378954⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00851866/file/crisis_2012-VachENicometteKaaniche.pdf BibTex
titre
Distributed Monitoring of Temporal System Properties using Petri Nets
auteur
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
article
31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-01015494/file/srds.pdf BibTex
titre
Impact of Operational Reliability Re-assessment during Aircraft Missions
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
The 31st IEEE Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, CA, United States. pp.219-224, ⟨10.1109/SRDS.2012.37⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01176048/file/SRDS%20p58.pdf BibTex
titre
Applying Existing Standards to a Medical Rehabilitation Robot: Limits and Challenges
auteur
Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell
article
Workshop FW5: Safety in Human-Robot Coexistence & Interaction: How can Standardization and Research benefit from each other?, IEEE/RSJ Intern. Conference Intelligent Robots and Systems (IROS2012), Oct 2012, Vilamoura, Portugal
Accès au texte intégral et bibtex
https://hal.science/hal-01282195/file/guiochet-WSIROS2012.pdf BibTex
titre
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach
auteur
Fayollas Camille, David Navarre, Jean-Charles Fabre, Philippe Palanque, Yannick Deleris
article
4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Sep 2012, Pisa, Italy. pp.32-46, ⟨10.1007/978-3-642-33176-3_3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03647155/file/Fault-Tolerant%20Interactive%20Cockpits%20for%20Critical%20Applications_Overall%20Approach.pdf BibTex
titre
A distributed plateform of high interaction honeypots and experimental results (extended version)
auteur
Ivan Studnia, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
article
Privacy Security Trust (PST 2012), Jul 2012, Paris, France. 8p
Accès au texte intégral et bibtex
https://hal.science/hal-00706333/file/honeypot_platform.pdf BibTex
titre
Campagne de collecte de données et vie privée
auteur
Nicolas Haderer, Miguel Nuñez del Prado Cortez, Romain Rouvoy, Marc-Olivier Killijian, Matthieu Roy
article
3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00711609/file/ubilab.pdf BibTex
titre
De-anonymization attack on geolocated datasets
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France
Accès au bibtex
BibTex
titre
Locanyms: Towards privacy-preserving location-based services
auteur
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
article
Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France
Accès au bibtex
BibTex
titre
Exécution répartie et temps-réel de réseaux de Petri
auteur
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
article
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.science/hal-00689991/file/baldellon.pdf BibTex
titre
Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
European Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p
Accès au bibtex
https://arxiv.org/pdf/1204.1232 BibTex
titre
Locanyms: Towards Privacy-Preserving Location-Based Services
auteur
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
article
1st European Workshop on AppRoaches to MObiquiTous Resilience, May 2012, Sibiu, Romania. pp.6
Accès au texte intégral et bibtex
https://hal.science/hal-00699742/file/ARMOR_final_version_26mars.pdf BibTex
titre
Next place prediction using mobility Markov chains
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
MPM - EuroSys 2012 Workshop on Measurement, Privacy, and Mobility - 2012, Apr 2012, Bern, Switzerland
Accès au bibtex
BibTex
titre
AMORES: an architecture for mobiquitous resilient systems
auteur
Christian Artigues, Yves Deswarte, Jérémie Guiochet, Marie-José Huguet, Marc-Olivier Killijian, David Powell, Matthieu Roy, Christophe Bidan, Nicolas Prigent, Emmanuelle Anceaume, Sébastien Gambs, Gilles Guette, Michel Hurfin, Frédéric Schettini
article
ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩
Accès au bibtex
BibTex
titre
Secure architecture for information systems in avionics
auteur
Maxime Lastera, Eric Alata, Jean Arlat, Yves Deswarte, David Powell, Bertrand Leconte, Cristina Simache
article
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 7p
Accès au texte intégral et bibtex
https://hal.science/hal-02263451/file/8A-3.pdf BibTex
titre
Online model adaptation for aircraft operational reliability assessment
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
6th International Congress, Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France. pp.1-11
Accès au texte intégral et bibtex
https://hal.science/hal-00761040/file/8C-1-1.pdf BibTex
titre
Elicitation of Executable Safety Rules for Critical Autonomous Systems
auteur
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
article
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-01282237/file/ERTS2012MEKKI.pdf BibTex
titre
Human-robot interactions: model-based risk analysis and safety case construction
auteur
Quynh Anh Do Hoang, Jérémie Guiochet, David Powell, Mohamed Kaâniche
article
Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02192419/file/ERTS2012DOHOANG.pdf BibTex

Chapitre d'ouvrage

titre
System Dependability: Characterization and Benchmarking
auteur
Yves Crouzet, Karama Kanoun
article
A.Hurson, S.Sedigh. Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Elsevie, pp.93-139, 2012, 978-0-12-396525-7
Accès au texte intégral et bibtex
https://hal.science/hal-00761042/file/Crouzet_Bench_10182011.pdf BibTex

Ouvrages

titre
Supervision, surveillance et sûreté de fonctionnement des grands systèmes
auteur
Nada Matta, Yves Vanderboomgaerde, Jean Arlat
article
Hermes Science Publications, 2012, 978-2746238404
Accès au bibtex
BibTex

2011

Article dans une revue

titre
The many meanings of UML 2 Sequence Diagrams: a survey
auteur
Zoltán Micskei, Hélène Waeselynck
article
Software and Systems Modeling, 2011, 10 (4), pp.489-514. ⟨10.1007/s10270-010-0157-9⟩
Accès au bibtex
BibTex
titre
Show me how you move and I will tell you who you are
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
Transactions on Data Privacy, 2011, 4 (2), pp.103-126
Accès au bibtex
BibTex
titre
The HIDENETS holistic approach for the analysis of large critical mobile systems
auteur
Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, Istvan Majzik, Hans-Peter Schwefel
article
IEEE Transactions on Mobile Computing, 2011, 10 (6), pp.783-796. ⟨10.1109/TMC.2010.222⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00852105/file/HidenetsPaper-TMC_Revised_LAASversion.pdf BibTex
titre
Set-up and deployment of a high-interaction honeypot: experiment and lessons learned
auteur
Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Matthieu Herrb
article
Journal in Computer Virology, 2011, 7 (2), pp.143-157. ⟨10.1007/s11416-010-0144-2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00762596/file/final_auteurs.pdf BibTex

Communication dans un congrès

titre
Towards Temporal Mobility Markov Chains
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
1st International Workshop on Dynamicity Collocated with OPODIS 2011, Toulouse, France, Dec 2011, Toulouse, France. 2 p
Accès au texte intégral et bibtex
https://hal.science/hal-00675544/file/dynam.pdf BibTex
titre
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
auteur
Adrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, Fayollas Camille
article
17th Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, California, United States. pp.164-173, ⟨10.1109/PRDC.2011.28⟩
Accès au bibtex
BibTex
titre
Towards dynamic graph analysis: a position note
auteur
Erwan Le Merrer, Gilles Trédan
article
DYNAM: 1st International Workshop on Dynamicity, Dec 2011, Toulouse, France. pp.20
Accès au texte intégral et bibtex
https://hal.science/hal-00725095/file/paper_7.pdf BibTex
titre
A clustering approach for web vulnerabilities detection
auteur
Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, CA, United States. pp.194-203, ⟨10.1109/PRDC.2011.31⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00755212/file/prdc2011.pdf BibTex
titre
Architecting Resilient Computing Systems: Overall Approach and Open Issues
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
Software Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland. pp.48-62, ⟨10.1007/978-3-642-24124-6_5⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01615018/file/serene.pdf BibTex
titre
Modeling Aircrafts Operational Reliability
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
International Conference on Computer Safety, Reliability ans Security (SAFECOMP 2011), Sep 2011, Naples, Italy. pp.157-170
Accès au texte intégral et bibtex
https://hal.science/hal-01176051/file/Safecomp-%20CR.pdf BibTex
titre
WOSD 2011 The First International Workshop on Open Systems Dependability
auteur
Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre
article
International Workshop on Open Systems Dependability (WOSD), organised with DSN 2011, Jun 2011, Hong Kong, China. pp.593 - 594
Accès au texte intégral et bibtex
https://hal.science/hal-01981173/file/Editorial_WOSD2011.pdf BibTex
titre
The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems Applications
auteur
Marc-Olivier Killijian, Matthieu Roy, Gaetan Severac
article
AMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1
Accès au texte intégral et bibtex
https://hal.science/hal-00667832/file/amire.pdf BibTex
titre
Self-Checking Widgets for Interactive Cockpits
auteur
Adrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris
article
13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pisa, Italy. pp.34-42, ⟨10.1145/1978582.1978592⟩
Accès au bibtex
BibTex
titre
Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques
auteur
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell
article
Journée Sécurité des Systèmes & Sureté des Logiciels (3SL), May 2011, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.science/hal-01285169/file/paper_3SL%20-%20copie.pdf BibTex
titre
Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument Construction
auteur
Quynh Anh Do Hoang, Jérémie Guiochet, Mohamed Kaâniche, David Powell
article
Model Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France
Accès au bibtex
BibTex
titre
A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks
auteur
Olivier Baldellon, Achour Mostefaoui, Michel Raynal
article
12th International Conference on Distributed Computing and Networking (ICDCN'11), Jan 2011, Bangalore, India. pp.215-226
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Tolerance of design faults
auteur
David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun
article
C.B. Jones, J.L. Lloyd. Dependable and Historic Computing, Springer, pp.428-452, 2011, Lecture Notes in Computer Science 6875
Accès au texte intégral et bibtex
https://hal.science/hal-00761140/file/designfaults.pdf BibTex

2010

Article dans une revue

titre
Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability
auteur
Katerina Goseva-Popstojanova, Karama Kanoun
article
IEEE Transactions on Software Engineering, 2010, 36 (3)
Accès au texte intégral et bibtex
https://hal.science/hal-01983990/file/Editorial-IEEE-TSE-SpecialSection-SoftwareDependability.pdf BibTex

Communication dans un congrès

titre
Experience with Model-Based User-Centered Risk Assessment for Service Robots
auteur
Jérémie Guiochet, Damien Martin-Guillerez, David Powell
article
International High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01285192/file/guiochet-hase2010.pdf BibTex
titre
Show me how you move and I will tell you who you are
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS (SPRINGL'10), Nov 2010, San José, United States. ⟨10.1145/1868470.1868479⟩
Accès au bibtex
BibTex
titre
ARUM: A cooperative middleware and an experimentation platform for mobile systems
auteur
Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac
article
2010 IEEE 6th International Conference onWireless and Mobile Computing, Networking and Communications (WiMob), Oct 2010, Niagara Falls, Canada. pp.442 - 449, ⟨10.1109/WIMOB.2010.5645030⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01615017/file/wimob2010.pdf BibTex
titre
Experience with a Model-based Safety Analysis Process for Autonomous Service Robot
auteur
Damien Martin-Guillerez, Jérémie Guiochet, David Powell
article
7th International Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), Jun 2010, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01285189/file/guiochet-drhe2010.pdf BibTex
titre
Dependability Modelling of Safety Applications in Communicating Automotive Systems
auteur
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
article
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02267743/file/5C-2.pdf BibTex
titre
Beyond San Fancisco Cabs : Building a *-lity Mining Dataset for Social Traces Analysis
auteur
Marc-Olivier Killijian, Matthieu Roy, Gilles Tredan
article
Workshop on the Analysis of Mobile Phone Networks, May 2010, Cambridge, MA, United States. 6p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01740343/file/NetMob2010.pdf BibTex
titre
Availability Modelling of a Virtual Black Box for Automotive Systems
auteur
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
article
The 2nd International Workshop on Software Engineering for Resilient Systems (SERENE'10), Apr 2010, Londres, United Kingdom. pp.52-60, ⟨10.1145/2401736.2401742⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00852263/file/serene2010_HamoudaKaanicheKanoun.pdf BibTex
titre
A UML-based method for risk analysis of human-robot interactions
auteur
Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon
article
2nd International Workshop on Software Engineering for Resilient Systems (SERENE), Apr 2010, London, United Kingdom. pp. 32-41, ⟨10.1145/2401736.2401740⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01285195/file/guiochet-serene2010.pdf BibTex
titre
GEPETO: a GEoPrivacy-Enhancing TOolkit
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
Proceedings of the International Workshop on Advances in Mobile Computing and Applications: Security, Privacy and Trust, held in conjunction with the 24th IEEE AINA conference, Apr 2010, Perth, Australia. ⟨10.1109/WAINA.2010.170⟩
Accès au bibtex
BibTex

2009

Article dans une revue

titre
PolyOrBAC: a security framework for critical infrastructures
auteur
Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche
article
International journal of critical infrastructure protection, 2009, 2 (4), pp.154-169. ⟨10.1016/j.ijcip.2009.08.005⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00851762/file/09087.pdf BibTex
titre
Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG
auteur
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (1), pp.7-37
Accès au texte intégral et bibtex
https://hal.science/hal-00755268/file/2290v2_Hal.pdf BibTex

Communication dans un congrès

titre
An approach for improving Fault-Tolerance in Automotive Modular Embedded Software
auteur
Caroline Lu, Jean-Charles Fabre, Marc-Olivier Killijian
article
17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.132-147
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00442000/file/DesignOptimization_Lu.pdf BibTex
titre
Coupling product and project configuration with constraints : a CSP software comparison
auteur
Élise Vareilles, Sabine Carbonnel, Meriem Djefel, Michel Aldanondo, Samuel Rochet, Guillaume Auriol, Claude Baron
article
SKIMA 2009 -3rd International conference on software, knowledge, information management and applications, Oct 2009, Fez, Morocco. 5 p
Accès au bibtex
BibTex
titre
Plateforme pour l'exécution contrôlée de logiciels malveillants
auteur
Ion Alberdi, Vincent Nicomette, Philippe Owezarski
article
Colloque Francophone d'Ingenierie des Protocoles (CFIP), Oct 2009, Strasbourg, France. 12p
Accès au texte intégral et bibtex
https://hal.science/hal-00387400/file/alberdi_nicomette_owezarski.pdf BibTex
titre
Towards a Privacy-preserving National Identity Card
auteur
Yves Deswarte, Sébastien Gambs
article
Fourth International Workshop on Data Privacy Management, Sep 2009, Saint Malo, France. pp.30-43
Accès au texte intégral et bibtex
https://hal.science/hal-00411838/file/privacy_preserving_idcard.pdf BibTex
titre
A Platform for Experimenting with Mobile Algorithms in a Laboratory
auteur
Marc-Olivier Killijian, Matthieu Roy
article
Principles Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session
Accès au texte intégral et bibtex
https://hal.science/hal-00394002/file/podc09-roy.pdf BibTex
titre
Using OWA Operators for Gene Sequential Pattern Clustering
auteur
Jordi Nin, Paola Salle, Sandra Bringay, Maguelonne Teisseire
article
CBMS: Computer-Based Medical Systems, Aug 2009, Albuquerque, NM, United States. ⟨10.1109/CBMS.2009.5255363⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00395145/file/Using_OWA_operators_for_gene_sequential.pdf BibTex
titre
Safety modeling and evaluation of Automated Highway Systems
auteur
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
article
The IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00851779/file/HamoudaKaanicheKanoun_DSN_2009.pdf BibTex
titre
Connectivity dynamics in vehicular freeway scenarios
auteur
Ossama Hamouda, Mohamed Kaâniche, Erling Moller Matthiesen, Jakob Gulddahl Rasmussen, Hans-Peter Schwefel
article
Global Information Infrastructure Symposium (GIIS '09), Jun 2009, Hammamet, Tunisia. pp.1-8, ⟨10.1109/GIIS.2009.5307090⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00851876/file/UBIROADS_2009_Hamouda_Kaaniche.pdf BibTex
titre
Criticality and Confidence Issues in Avionics
auteur
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric de Nadai
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Accès au texte intégral et bibtex
https://hal.science/hal-00381966/file/RigorousDevelopment_4.pdf BibTex
titre
Application of Early Error Detection for Handling Degraded Modes of Operation
auteur
Thomas Robert, Jean-Charles Fabre, Matthieu Roy
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Accès au texte intégral et bibtex
https://hal.science/hal-00381913/file/FaultTolerance_2.pdf BibTex
titre
Some Challenges in Adaptive Fault Tolerant Computing
auteur
François Taïani, Jean-Charles Fabre
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Accès au texte intégral et bibtex
https://hal.science/hal-00381925/file/FaultTolerance_3.pdf BibTex
titre
Robustness Testing of Robot Controller Software
auteur
Hoang-Nam Chu, Jean Arlat, Marc-Olivier Killijian, Benjamin Lussier, David Powell
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Accès au texte intégral et bibtex
https://hal.science/hal-00381686/file/FaultInjection_3.pdf BibTex

Pré-publication, Document de travail

titre
Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform
auteur
Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac, Christophe Zanon
article
2009
Accès au texte intégral et bibtex
https://hal.science/hal-00385203/file/wads-arum.pdf BibTex

2008

Article dans une revue

titre
Modeling the resilience of large and evolving systems
auteur
Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun
article
International Journal of Performability Engineering, 2008, 4 (2), pp.153-168
Accès au texte intégral et bibtex
https://hal.science/hal-00756957/file/IJPE_Kaaniche-final.pdf BibTex

Communication dans un congrès

titre
On-line Monitoring of Real Time Applications for Early Error Detection
auteur
Thomas Robert, Jean-Charles Fabre, Matthieu Roy
article
14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩
Accès au bibtex
BibTex
titre
Geo-registers : an abstraction for spatial-based distributed computing
auteur
Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell
article
Principles of Distributed Systems. OPODIS 2008, Dec 2008, Louxor, Egypt. 11p., ⟨10.1007/978-3-540-92221-6_34⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01741220/file/opodis08_submission_62-3%20theTrueOne.pdf BibTex
titre
Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures
auteur
Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun
article
3rd International Workshop on Critical Information Infrastructures Security (CRITIS 2008), Rome (Italie), Octobre 2008, pp.63-74, Oct 2008, Rome, Italy. pp.48-59
Accès au texte intégral et bibtex
https://hal.science/hal-00755282/file/Critis08_5.pdf BibTex
titre
Modélisation et évaluation de la sûreté de fonctionnement d'un système d'autoroute automatisée
auteur
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
article
16ème Colloque de Maîtrise des Risques et de Sûreté de Fonctionnement. LAMBDA-MU 16, Oct 2008, Avignon, France
Accès au texte intégral et bibtex
https://hal.science/hal-00453029/file/LM_hamouda.pdf BibTex
titre
Surveillance en ligne de la sécurité basée sur les modes de sécurité
auteur
Jérémie Guiochet, David Powell, Étienne Baudin, Jean-Paul Blanquart
article
Lambda mu 16 - 16e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2008, Avignon, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.science/hal-00282460/file/lambdamu3.pdf BibTex
titre
Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks
auteur
Erling V. Matthiesen, Ossama Hamouda, Mohamed Kaâniche, Hans-Peter Schwefel
article
5th International Service Availability Symposium, ISAS 2008, May 2008, Tokyo, Japan. pp.171-186, ⟨10.1007/978-3-540-68129-8_14⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00851873/file/ISAS08_Matthiessen-paper.pdf BibTex
titre
Online Safety Monitoring Using Safety Modes
auteur
Jérémie Guiochet, David Powell, Étienne Baudin, Jean-Paul Blanquart
article
Workshop on Technical Challenges for Dependable Robots in Human Environments, May 2008, PASADENA, United States. pp.1-13
Accès au texte intégral et bibtex
https://hal.science/hal-00282444/file/IARP-guiochet.pdf BibTex
titre
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
auteur
Ana-Elena E. Rugina, Karama Kanoun, Mohamed Kaâniche
article
7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90
Accès au texte intégral et bibtex
https://hal.science/hal-00323969/file/ADAPT_EDCC.pdf BibTex
titre
Dependability modeling and evaluation of an automated highway system
auteur
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
article
Fast Abstract, 7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunas, Lithuania
Accès au texte intégral et bibtex
https://hal.science/hal-00453026/file/EDCC-7.pdf BibTex
titre
A prospective proposal for coupling product and project configuration with constraints
auteur
Élise Vareilles, Michel Aldanondo, Paul Gaborit, Guillaume Auriol, Samuel Rochet, Claude Baron
article
SKIMA 2008 -2nd International conference on Software, Knowledge, Information Management and Applications, Mar 2008, Kathmandu, Nepal. p.148-153
Accès au bibtex
BibTex
titre
Evaluation of a Real-Time Monitoring Framework
auteur
Thomas Robert, Matthieu Roy, Jean-Charles Fabre
article
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02269856/file/ERTS2008_0030_paper.pdf BibTex
titre
Towards Adaptive Fault Tolerance in Embedded Systems
auteur
Thomas Pareaud, Jean-Charles Fabre, Marc-Olivier Killijian
article
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02270091/file/ERTS2008_0032_paper.pdf BibTex
titre
Software dependability modeling using an industry-standard architecture description language
auteur
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, Mohamed Kaâniche
article
4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-00323983/file/ERTS2008_0125_paper.pdf BibTex

Chapitre d'ouvrage

titre
Windows and Linux Robustness Benchmarks With Respect to Application Erroneous Behavior
auteur
Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina
article
Karama Kanoun et Lisa Spainhower. Dependability Benchmarking for Computer Systems, IEEE Computer Society et WILEY, pp.227-254, 2008, 978-0-470-23055-8
Accès au texte intégral et bibtex
https://hal.science/hal-00761609/file/Ch12_Kanoun.pdf BibTex

Ouvrages

titre
Dependability Benchmarking for Computer Systems
auteur
Karama Kanoun, Philip Koopman, Henrique Madeira, Lisa Spainhower
article
IEEE Computer Society; WILEY, pp.xiii-xviii, 2008, 978-0-470-23055-8
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01961204/file/Prologue-Dep-Bench-HAL.pdf BibTex
titre
Dependability Benchmatking for Computing Systems
auteur
Karama Kanoun, Lisa Spainhower
article
IEEE Computer Society; WILEY, 2008, 978-0-470-23055-8
Accès au bibtex
BibTex

2007

Article dans une revue

titre
Sécurité des systèmes de la robotique médicale
auteur
Jérémie Guiochet, Gilles Motet, Bertrand Tondu, Claude Baron
article
Techniques de l'Ingenieur, 2007, Sécurité et gestion des risques, SE2
Accès au texte intégral et bibtex
https://hal.science/hal-01292664/file/TSIv6.pdf BibTex

Communication dans un congrès

titre
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices
auteur
Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell
article
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007), Dec 2007, Melbourne, Australia. pp.139 - 146, ⟨10.1109/PRDC.2007.21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00851766/file/Courtes-PRDC2007.pdf BibTex
titre
Planning with Diversified Models for Fault-Tolerant Robots
auteur
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
article
The International Conference on Automated Planning and Scheduling (ICAPS), Sep 2007, Providence, RI, United States. pp.216-223
Accès au texte intégral et bibtex
https://hal.science/hal-01292650/file/Lussier.pdf BibTex
titre
Modelling interdependencies between the electricity and information infrastructures
auteur
Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche
article
26th International Conference on Computer Safety, Reliability and Security, SAFECOMP-2007, Sep 2007, Nurenberg, Germany. pp.54-67
Accès au texte intégral et bibtex
https://hal.science/hal-00323999/file/Interdependencies-LAAS-Safecomp.pdf BibTex
titre
Access Control for Collaborative Systems: A Web Services Based Approach
auteur
Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche
article
IEEE International Conference on Web Services, ICWS 2007, Jul 2007, Salt Lake City, UT, United States. pp.1064-1071
Accès au texte intégral et bibtex
https://hal.science/hal-00851761/file/AbouElKalam-AccessControl-ICWS.pdf BibTex
titre
Fault Tolerant Planning for Critical Robots
auteur
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
article
DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01292653/file/dsn07.pdf BibTex

Pré-publication, Document de travail

titre
Experimental Evaluation of Ubiquitous Mobile Systems
auteur
Marc-Olivier Killijian, Nicolas Rivière, Matthieu Roy
article
2007
Accès au texte intégral et bibtex
https://hal.science/hal-00140129/file/killijian-uwb-submission.pdf BibTex

2006

Article dans une revue

titre
Dependability Benchmarks for Operating Systems
auteur
Karama Kanoun, Yves Crouzet
article
International Journal of Performability Engineering, 2006, 2 (3), pp.275 - 287
Accès au texte intégral et bibtex
https://hal.science/hal-01979785/file/Kanoun_Crouzet_IJPE.pdf BibTex

Communication dans un congrès

titre
An architecture-based dependability modeling framework using AADL
auteur
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
article
IASTED International Conference on Software Engineering and Applications, Nov 2006, France. pp.222-227
Accès au texte intégral et bibtex
https://hal.science/hal-00140407/file/RuginaSEA2006.pdf BibTex
titre
Lessons Learned from the deployment of a high-interaction honeypot
auteur
Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Marc Dacier, Matthieu Herrb
article
European Dependable Computing Conference, Oct 2006, France. pp.39-44
Accès au texte intégral et bibtex
https://hal.science/hal-00140355/file/alata-EDCC6.pdf BibTex
titre
MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL
auteur
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
article
15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda-Mu'15), Oct 2006, Lille, France. 8p
Accès au texte intégral et bibtex
https://hal.science/hal-00755279/file/Rugina_AADL_LM.pdf BibTex
titre
Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges
auteur
Rachid Alami, A. Albu-Schaeffer, A. Bicchi, R. Bischoff, Raja Chatila, A. De Luca, A. De Santis, Georges Giralt, Jérémie Guiochet, G. Hirzinger, Félix Ingrand, V. Lippiello, R. Mattone, David Powell, S. Sen, B. Siciliano, G. Tonietti, L. Villani
article
IROS'06 Workshop on Physical Human-Robot Interaction in Anthropic Domains, Oct 2006, Beijing, China. ⟨10.1109/IROS.2006.6936985⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01295366/file/IROS06_Workshop_pHRI_PHRIDOM%2BPHRIENDS.pdf BibTex
titre
Empirical analysis and statistical modeling of attack processes based on honeypots
auteur
Mohamed Kaâniche, Yves Deswarte, Eric Alata, Marc Dacier, Vincent Nicomette
article
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2006), Workshop on Empirical Evaluation of Dependability and Security (WEEDS), Jun 2006, France. pp.119-124
Accès au texte intégral et bibtex
https://hal.science/hal-00140367/file/Kaaniche-WEEDS-DSN06-final.pdf BibTex
titre
Modeling user perceived unavailability due to long response times
auteur
Magnos Martinello, Mohamed Kaâniche, Karama Kanoun, Carlos Aguilar Melchor
article
20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Apr 2006, Rhodes Island, Greece. 8p., ⟨10.1109/IPDPS.2006.1639671⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01212162/file/Long_Response_Times.pdf BibTex
titre
CRITICAL UTILITY INFRASTRUCTURAL RESILIENCE
auteur
Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Verissimo
article
International Workshop on Complex Network and Infrastructure Protection (CNIP-06), Mar 2006, Rome, Italy. 12 p
Accès au texte intégral et bibtex
https://hal.science/hal-00756964/file/CRUTIAL-CNIP_2006_final.pdf BibTex

Pré-publication, Document de travail

titre
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices
auteur
Ludovic Courtès, Marc-Olivier Killijian, David Powell
article
2006
Accès au texte intégral et bibtex
https://hal.science/hal-00187069/file/storage.final.pdf BibTex
titre
A Survey of Cooperative Backup Mechanisms
auteur
Marc-Olivier Killijian, Ludovic Courtès, David Powell
article
2006
Accès au texte intégral et bibtex
https://hal.science/hal-00139690/file/RapportLAAS_06472.pdf BibTex

2005

Article dans une revue

titre
Sûreté de Fonctionnement du Logiciel
auteur
Jean-Claude Laprie, Karama Kanoun
article
La Revue de l'électricité et de l'électronique, 2005, 11, pp.37-41
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01978498/file/Logiciel_-_REE.pdf BibTex
titre
Web service availability--impact of error recovery and traffic model
auteur
Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
article
Reliability Engineering and System Safety, 2005, 89 (1), pp.6-16. ⟨10.1016/j.ress.2004.08.003⟩
Accès au bibtex
BibTex
titre
A Seven-degrees-of-freedom Robot-arm Driven by Pneumatic Artificial Muscles for Humanoid Robots
auteur
Bertrand Tondu, Serge Ippolito, Jérémie Guiochet, Alain Daidié
article
The International Journal of Robotics Research, 2005, 24 (4), p.257-274. ⟨10.1177/0278364905052437⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01292939/file/IJRR-final-modif.pdf BibTex
titre
Vers un profil UML pour la conception de composants multivues
auteur
Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold, Bouchra El Asri, Xavier Crégut, Abdelaziz Kriouile
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2005, 11 (4), ⟨10.3166/objet.11.4.83-113⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01292934/file/ArticleFinal_LObjet_Nassar-2.pdf BibTex

Communication dans un congrès

titre
Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study
auteur
Cristina Simache, Mohamed Kaâniche
article
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2005), Dec 2005, Changsha Hunan, China. pp.49-56, ⟨10.1109/PRDC.2005.20⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00140364/file/Simache2005.pdf BibTex
titre
Benchmarking the Dependability of Windows and Linux using PostMark ™ Workloads *
auteur
Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau
article
16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005, Nov 2005, Chicago, United States. pp.11-20
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01962754/file/ISSRE-benchmark.pdf BibTex
titre
Collection and analysis of attack data based on honeypots deployed on the Internet
auteur
Eric Alata, Marc Dacier, Yves Deswarte, Mohamed Kaâniche, Kostya Kortchinsky, Vincent Nicomette, Van Hau Pham, Fabien Pouget
article
Workshop on Quality of protection (QoP 2005), Security Measurements and Metrics, Sep 2005, France. pp.79-92
Accès au texte intégral et bibtex
https://hal.science/hal-00140390/file/Cadho05-QoP2005.pdf BibTex
titre
DBench * (Dependability Benchmarking)
auteur
Karama Kanoun, Henrique Madeira, Mario Dalcin, Francisco Moreira, Juan Carlos Ruiz Garcia
article
5th European Dependable Computing Conference, Apr 2005, Budapest, Hungary
Accès au texte intégral et bibtex
https://hal.science/hal-01982631/file/EDCC5-2005-DBench.pdf BibTex
titre
Fault Tolerance in Autonomous Systems: How and How Much?
auteur
Benjamin Lussier, Alexandre Lampe, Raja Chatila, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
article
4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan
Accès au texte intégral et bibtex
https://hal.science/hal-01292930/file/IARP05finale.pdf BibTex

2004

Article dans une revue

titre
Dependability modelling of instrumentation and control systems: a comaprison of competing architectures
auteur
Claudia Betous-Almeida, Karama Kanoun
article
Safety Science, 2004, 42 (5)
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01976575/file/betous_SafetySc%28VersionLAAS%29.pdf BibTex
titre
An investigation on mutation strategies for fault injection into RDD-100 models
auteur
Mohamed Kaâniche, Yannick Le Guédard, Jean Arlat, Thierry Boyer
article
Safety Science, 2004, 42 (5), pp.385-403
Accès au texte intégral et bibtex
https://hal.science/hal-00757161/file/Safetyscience_fin.pdf BibTex
titre
Construction and stepwise refinement of dependability models
auteur
Claudia Betous-Almeida, Karama Kanoun
article
Performance Evaluation, 2004, 56 (1-4), pp.277-306
Accès au texte intégral et bibtex
https://hal.science/hal-01980966/file/Doc%2002452.pdf BibTex

Communication dans un congrès

titre
ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATION
auteur
Yves Crouzet, Ali Kalakech, Karama Kanoun, Jean Arlat
article
Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
Accès au texte intégral et bibtex
https://hal.science/hal-01980665/file/ycrouzet-lm14-art.pdf BibTex
titre
Generic error model of human-robot interaction
auteur
Jérémie Guiochet, G Motet, C Baron
article
3rd IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Manchester, UK, Sep 2004, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01276665/file/guiochet-IARP04.pdf BibTex
titre
Toward a Human-Centered UML for Risk Analysis - Application to a medical robot
auteur
Jérémie Guiochet, Gilles Motet, Claude Baron, Guy Boy
article
18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), IFIP/WCC, Aug 2004, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01276662/file/Guiochet-HESSD04.pdf BibTex
titre
Benchmarking The Dependability of Windows NT4, 2000 and XP *
auteur
Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat
article
2004 International Conference on Dependable Systems and Networks (DSN'2004), Jun 2004, Florence, Italy. pp.681-686
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01962911/file/Windows-Family-DSN.pdf BibTex
titre
UML based risk analysis - Application to a medical robot
auteur
Jérémie Guiochet, Claude Baron
article
Quality Reliability and Maintenance 5th International Conference, Oxford, UK, Apr 2004, Oxford, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01276661/file/guiochet.pdf BibTex

2003

Article dans une revue

titre
Impact of internal and external software faults on the Linux kernel
auteur
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
article
IEICE Transactions on Information and Systems, 2003, E86-D (12), pp.2571-2578
Accès au bibtex
BibTex
titre
Multi-Level Modeling Approach for the Availability Assessment of e-Business Applications
auteur
Mohamed Kaâniche, Karama Kanoun, Mourad Rabah
article
Software: Practice and Experience, 2003, 33 (14), pp.1323-1341. ⟨10.1002/spe.550⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00755223/file/SPE_fin_V1.pdf BibTex
titre
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach
auteur
Mourad Rabah, Karama Kanoun
article
IEEE Transactions on Computers, 2003, 52 (2), ⟨10.1109/TC.2003.1176988⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01977511/file/Rabah-Kanoun-IEEE-TC-soumis.pdf BibTex
titre
ORBAC : un modèle de contrôle d'accès basé sur les organisations
auteur
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Frederic Cuppens, Yves Deswarte, Alexandre Miege, Claire Saurel, Gilles Trouessin
article
Cahiers francophones de la recherche en sécurité de l'information, 2003, 2, pp.30--40
Accès au texte intégral et bibtex
https://hal.science/hal-04003606/file/ORBAC_un%20mod%C3%A8le%20de%20contr%C3%B4le%20d%E2%80%99acc%C3%A8s%20bas%C3%A9%20sur%20les%20organisations.pdf BibTex

Communication dans un congrès

titre
Integration of UML in human factors analysis for safety of a medical robot for tele-echography
auteur
Jérémie Guiochet, Bertrand Tondu, Claude Baron
article
IEEE/RSJ International Conference on Intelligent Robots and Systems, Intelligent Robots and Systems for Human Security, Health, and Prosperty IROS 2003, Las Vegas, USA, IEEE/RSJ, Oct 2003, Las Vegas, United States. pp.3212-3217, ⟨10.1109/IROS.2003.1249651⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01276631/file/Guiochet.pdf BibTex
titre
UML Based FMECA in Risk Analysis
auteur
Jérémie Guiochet, C Baron
article
ESMc'2003, University of Naples II, Naples, Italy, Oct 2003, Naples, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-01276635/file/ESMCv3-sansEntete.pdf BibTex
titre
A User-Perceived Availability Evaluation of a Web Based Travel Agency
auteur
Mohamed Kaâniche, Karama Kanoun, Magnos Martinello
article
International Conference on Deependable Systems and Networks (DSN-2003), Jun 2003, San Francisco, CA, United States. pp.709 - 718, ⟨10.1109/DSN.2003.1209986⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01911676/file/kaaniche_DSN-PDS2003.pdf BibTex
titre
Organization based access control
auteur
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Frederic Cuppens, Yves Deswarte, Alexandre Miege, Claire Saurel, Gilles Trouessin
article
4th International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), IEEE, Jun 2003, Lake Como, Italy. pp.120--131, ⟨10.1109/POLICY.2003.1206966⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04003608/file/Organization_based_access_control.pdf BibTex
titre
Modèles et politiques de sécurité des systèmes d'information et de communication en santé et en social
auteur
Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Yves Deswarte, Rania El-Baida, Claire Saurel, Gilles Trouessin
article
1ère Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers (GISEH'2003), Jan 2003, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-04006701/file/02447.pdf BibTex

2002

Communication dans un congrès

titre
Event log based dependability analysis of Windows NT and 2K systems
auteur
Cristina Simache, Mohamed Kaâniche, Ayda Saidane
article
Pacific Rim International Symposium on Dependable Computing (PRDC 2002), Dec 2002, Tsukuba, Japan. pp.311-315, ⟨10.1109/PRDC.2002.1185651⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01911680/file/PRDC_02_IEEE_final.pdf BibTex
titre
Analysis of the Effects of Real and Injected Software Faults: Linux as a Case Study*
auteur
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
article
Pacific Rim International Symposium on Dependable Computing (PRDC'2002), Dec 2002, Tsukuba, Japan. pp.51-58
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01962914/file/PRDC-LAAS.pdf BibTex
titre
Safety Analysis of a Medical Robot for Tele-echography
auteur
Jérémie Guiochet, Adriana Vilchis
article
2nd IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France, Oct 2002, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01276607/file/Guiochet%20-%20Vilchis.pdf BibTex
titre
Dependability Evaluation: a Survey
auteur
Karama Kanoun
article
2nd IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Oct 2002, Toulouse, France. pp.209 - 216
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01975910/file/IARP-2002-Kanoun.pdf BibTex
titre
A Preliminary Framework for Dependability Benchmarking
auteur
Karama Kanoun, Henrique Madeira, Jean Arlat
article
2002 International Conference on Dependable Systems & Networks (DSN'2002). Workshop on Dependability Benchmarking, Jun 2002, Washington D.C., United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01975983/file/DSN2002-Wokshop.pdf BibTex
titre
Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques
auteur
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
article
International Conference on Dependable Systems & Networks (DSN'2002), Jun 2002, Washington D.C, United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01975990/file/DSN-2002-Tahar.pdf BibTex

2001

Article dans une revue

titre
Real-word Design Diversity: a case study on cost
auteur
Karama Kanoun
article
IEEE Software, 2001, 18 (4), pp.29-33
Accès au bibtex
BibTex
titre
Safety, Reliability and Security of Industrial Computer Systems
auteur
Karama Kanoun, A Pasquini
article
Reliability Engineering and System Safety, 2001, 71 (3)
Accès au texte intégral et bibtex
https://hal.science/hal-01984001/file/Guest%20editorial-RESS-2001.pdf BibTex
titre
A Measurement-Based Framework for Software Reliability Improvement
auteur
Karama Kanoun
article
Annals of Software Engineering, Special Volume on Software Management, 2001, 11, pp.89 - 106
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01978569/file/ASE-KK-envoye%CC%81.pdf BibTex

Communication dans un congrès

titre
Measurement-based availability analysis of Unix systems in a distributed environment
auteur
Cristina Simache, Mohamed Kaâniche
article
12th International Symposium on Software Reliability Engineering (ISSRE 2001), Nov 2001, Hong-Kong, Hong Kong SAR China. pp.346 - 355, ⟨10.1109/ISSRE.2001.989489⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00852425/file/ISSRE2001_SimacheKaaniche.pdf BibTex
titre
A framework for modeling availability of E-business systems
auteur
Mohamed Kaâniche, Karama Kanoun, Mourad Rabah
article
10th International Conference on Computer Communications and Networks, 2001 (ICCCN 2001), Oct 2001, Scottsdale, AZ, United States. pp. 40-45, ⟨10.1109/ICCCN.2001.956217⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01212216/file/Kaaniche_final.pdf BibTex
titre
Dependability evaluation. From functional to structural modelling
auteur
Claudia Betous-Almeida, Karama Kanoun
article
20th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2001), Sep 2001, Budapest, Hungary
Accès au texte intégral et bibtex
https://hal.science/hal-02007586/file/Doc%2001088.pdf BibTex
titre
Simulation techniques for component-based software reliability modeling with project application
auteur
Ruohao Huang, Michael Lyu, Karama Kanoun
article
2001 International Symposium on Information Systems and Engineering (ISE'2001), pp.283-289, Jun 2001, Las Vegas, United States
Accès au texte intégral et bibtex
https://hal.science/hal-02007626/file/Doc%2001208.pdf BibTex

Chapitre d'ouvrage

titre
GUARDS: dependability evaluation, Chapter 9
auteur
Jean Arlat, Andrea Bondavalli, Felicita Di Giandomenico, Tahar Jarboui, Éric Jenn, Karama Kanoun, I Mura, David Powell
article
David Powell. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, Kluwer Academic Publishers, pp.157-192, 2001, 0-7923-7295-6
Accès au bibtex
BibTex

2000

Article dans une revue

titre
Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions Between Hardware and Software Components
auteur
Karama Kanoun, Marie Borrel
article
IEEE Transactions on Reliability, 2000, 49, pp.363 - 376
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01977525/file/IEEE%E2%80%94%20TSE_Marie.pdf BibTex

Communication dans un congrès

titre
Dependability engineering of complex computing systems
auteur
Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
article
6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2000), Sep 2000, Tokyo, Japan. pp.36-46, ⟨10.1109/ICECCS.2000.873926⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01212223/file/ICECCS2000_IEEE.pdf BibTex
titre
Stepwise Construction and Refinement of Dependability Models
auteur
Claudia Betous-Almeida, Karama Kanoun
article
4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01976600/file/betous_stepwise%28IPDS%29.pdf BibTex
titre
Dependability Assessment of GUARDS Instances
auteur
Jean Arlat, Tahar Jarboui, Karama Kanoun, David Powell
article
4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01976690/file/Tahar-IPDS-2000.pdf BibTex

Chapitre d'ouvrage

titre
Dependability of computer control systems in power plants. Analytical and experimental evaluation
auteur
Claudia Betous-Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
article
F. Koornneff, M. Van der Meulen,. Lecture Notes in Computer Science 1943, Computer Safety, Reliability and Security, Springer, pp.165-175, 2000, 3-540-41186-0
Accès au texte intégral et bibtex
https://hal.science/hal-01986887/file/Almeida-Arazo-Safecomp2000.pdf BibTex

1999

Article dans une revue

titre
Availability of CAUTRA, a Subset of the French Air Traffic Control System
auteur
Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
article
IEEE Transactions on Computers, 1999, 48 (5), pp.528 - 535. ⟨10.1109/12.769435⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01977520/file/Marie-Papier-IEEE-TC.pdf BibTex
titre
Dependability Evaluation of an Air Traffic Control Computing System
auteur
Nicolae Fota, Mohamed Kaâniche, Karama Kanoun
article
Performance Evaluation, 1999, 35 (3-4), pp.253-273
Accès au texte intégral et bibtex
https://hal.science/hal-00762602/file/Text-fota-kaaniche-kanoun.pdf BibTex

Communication dans un congrès

titre
Reliability analyses of workstation failure data
auteur
Sara Brocklehurst, Karama Kanoun, Jean-Claude Laprie, Bev Littlewood, Sylvain Metge, Peter Mellor, A. Tanner
article
Esprit Conference, (CEC-DGXIII), pp. 806-821., Nov 1999, Bruxelles, Belgium
Accès au texte intégral et bibtex
https://hal.science/hal-01986501/file/Doc%2091172.pdf BibTex
titre
Cost of Software Design Diversity-A Case Study
auteur
Karama Kanoun
article
10-th IEEE International Conference on Software Reliability Engineering (ISSRE-99), Nov 1999, Boca Raton, FL, United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01978617/file/ISSRE-99-KK.pdf BibTex
titre
SQUALE Dependability Assessment Criteria
auteur
Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson
article
18th International Conference on Computer Safety, Reliability, and Security (SAFECOMP-99), Sep 1999, Toulouse, France. pp.27-38, ⟨10.1007/3-540-48249-0_3⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01911685/file/Safecomp99-LAAS9905.pdf BibTex

Chapitre d'ouvrage

titre
Dependability evaluation of a distributed shared memory multiprocessor system
auteur
Mourad Rabah, Karama Kanoun
article
J.Hlavicka, E.Maehle, A.Pataricza. Dependable Computing — EDCC-3 Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings, 1667,, Springer, pp.42-59, 1999, Lecture Notes in Computer Science, 3-540-66483-1
Accès au texte intégral et bibtex
https://hal.science/hal-01986493/file/Doc%2099100.pdf BibTex
titre
Diversity against accidental and deliberate faults
auteur
Yves Deswarte, Karama Kanoun, Jean-Claude Laprie
article
P.Ammann, B.H.Barnes, S.Jajodia, E.H.Sibley. Computer Security, Dependability, & Assurance: from needs to solutions, IEEE Computer Society, pp.171-181, 1999, 0-7695-0337-3
Accès au texte intégral et bibtex
https://hal.science/hal-00761637/file/From-Needs-to-solutions-Desw_kan_Laprie.pdf BibTex

1998

Communication dans un congrès

titre
A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture
auteur
Mohamed Kaâniche, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar Iyer, Rick Karcich
article
28th IEEE International Symposium on Fault-Tolerant Computing, Jun 1998, Munich, Germany. pp.6-15
Accès au texte intégral et bibtex
https://hal.science/hal-00140480/file/RAID_IEEE_final.pdf BibTex

1997

Article dans une revue

titre
Fiabilité du logiciel : de la collecte des données à l'évaluation probabiliste
auteur
Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997, 16 (7), pp.865-895
Accès au texte intégral et bibtex
https://hal.science/hal-01212188/file/TSI-FiabLog-RR-206-finale.pdf BibTex

1996

Communication dans un congrès

titre
Reliability of a commercial telecommunications system
auteur
Mohamed Kaâniche, Karama Kanoun
article
7th International Symposium on Software Reliability Engineering (ISSRE'96), Oct 1996, White Plains, New York, United States. ⟨10.1109/ISSRE.1996.558807⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01212242/file/ISSRE96-KaanicheKanoun.pdf BibTex
titre
An Holistic Approach to Dependability ?
auteur
Alberto Pasquinin, W. Goerke, Karama Kanoun, A Rizzo
article
15th International Conference on Computer Safety, Reliability and Security (Safecomp'96), 149-154., Oct 1996, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.science/hal-01986892/file/Safecomp-1996-Alberto-KK.pdf BibTex
titre
Safety Analysis and Evaluation of an Air Traffic Control Computing System
auteur
Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin
article
The 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP-1996), Oct 1996, Vienne, Austria. pp.219-229
Accès au texte intégral et bibtex
https://hal.science/hal-00851765/file/SAFECOMP96-FotaKaanicheKanoun.pdf BibTex
titre
Dependability of Fault-Tolerant Systems — Explicit Modeling of the Interactions Between Hardware and Software Components
auteur
Karama Kanoun, Marie Borrel
article
2nd Annual IEEE International Computer Performance and Dependability Symposium (IPDS'96), 4-6 septembre 1996, pp.252-261, Sep 1996, Urbana-Champaign, United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01976182/file/Marie-IPDS-Final.pdf BibTex
titre
Modelling the dependability of CAUTRA, a subset of the French air traffic control system
auteur
Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
article
26th Annual International Symposium on Fault-Tolerant Computing (FTCS-26), Jun 1996, Sendai, Japan
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01976201/file/DOC%2095515-Marie-FTCS-26.pdf BibTex

Chapitre d'ouvrage

titre
Software reliability and system reliability
auteur
Jean-Claude Laprie, Karama Kanoun
article
M. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.27-69, 1996, 0-07-039400-8
Accès au texte intégral et bibtex
https://hal.science/hal-00761643/file/Chap_2.pdf BibTex
titre
Trend Analysis
auteur
Karama Kanoun, Jean-Claude Laprie
article
M. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.401-437, 1996, 0-07-039400-8
Accès au texte intégral et bibtex
https://hal.science/hal-00761640/file/Chap_10.pdf BibTex

1995

Chapitre d'ouvrage

titre
Architectural issues in software fault tolerance
auteur
Jean-Claude Laprie, Jean Arlat, Christian Beounes, Karama Kanoun
article
M. Lyu. Software Fault Tolerance,, Willey, Chapitre 3, 1995
Accès au bibtex
BibTex

1994

Article dans une revue

titre
SOFTWARE RELIABILITY TREND ANALYSES: FROM THEORETICAL TO PRACTICAL CONSIDERATIONS
auteur
Karama Kanoun, Jean-Claude Laprie
article
IEEE Transactions on Software Engineering, 1994, 20, pp.740 - 747
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01978842/file/IEEE-TSE-1994-JCL-KK-paper.pdf BibTex

Communication dans un congrès

titre
DATA COLLECTION FOR SOFTWARE RELIABILITY DATABASES
auteur
Karama Kanoun
article
2nd International Coference on Reliability, maintainability and Safety (ICRMS), Jun 1994, Pékin, China. pp.3 - 10
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01976772/file/Kanoun-invited-ICRMS.pdf BibTex
titre
MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DU CAUTRA (Coordinateur AUtomatique du TRafic Aérien) AVEC PRISE EN COMPTE DES DÉFAILLANCES DU MATÉRIEL ET DU LOGICIEL
auteur
M Borrel, Karama Kanoun, T Morteveille, A Peytavin°
article
9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France
Accès au texte intégral et bibtex
https://hal.science/hal-01985283/file/LM_1994_CAUTRA.pdf BibTex
titre
SURF-2 1 ◊ : OUTIL D'ÉVALUATION DE LA SÛRETÉ DE FONCTIONNEMENT PAR CHAÎNES DE MARKOV ET RÉSEAUX DE PETRI STOCHASTIQUES
auteur
S Metge, Martine Aguéra, Jean Arlat, Serge Bachmann, C. Bourdeau, J.-E Doucet, Karama Kanoun, J.-C Laprie, J Moreira, David Powell, Philippe Spiesser
article
9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France
Accès au texte intégral et bibtex
https://hal.science/hal-01985267/file/Surf2-%20LM%279-1994.pdf BibTex

Chapitre d'ouvrage

titre
FAULT TOLERANT COMPUTING
auteur
Jean-Claude Laprie, Jean Arlat, Christian Beounes, Karama Kanoun
article
Encyclopedia of Software Engineering, Vol.1, J.Marciniak, Ed.in Chief - Wiley Interscience, N°ISBN 0-471-54001-3, 1, pp.482 - 503, 1994
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01978815/file/Encyclope%CC%81die%20Soft%20Eng.pdf BibTex

1993

Communication dans un congrès

titre
Experience in Software Reliability: From Data Collection to Quantitative Evaluation
auteur
Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
article
Fourth International Symposium on Software Reliability Engineering (ISSRE-1993), Nov 1993, Denver, United States. pp.234-245
Accès au texte intégral et bibtex
https://hal.science/hal-00851758/file/Texte-ISSRE_93.pdf BibTex
titre
Field failures and reliability in operation
auteur
Karama Kanoun, Ram Chillarege, Ravishankar Iyer, Jean-Claude Laprie, John Musa
article
4th International Symposium on Software Reliability Engineering, pp.122-126., Nov 1993, Denver, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01986510/file/Panel-ISSRE-93-Denver.pdf BibTex
titre
Software Failure Data Analysis of two Successive Generations of a Switching System
auteur
Mohamed Kaâniche, Karama Kanoun
article
12th IFAC International Conference on Computer Safety, Reliability and Security (SAFECOMP'93), Oct 1993, Poznan, Poland. ⟨10.1007/978-1-4471-2061-2_24⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01212234/file/SAFECOMP%2793%28form%29.pdf BibTex
titre
SoRel: A tool for reliability growth analysis and prediction from statistical failure data
auteur
Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie, Sylvain Metge
article
The Twenty-Third International Symposium on Fault-Tolerant Computing (FTCS-23), Jun 1993, Toulouse, France. pp.654-659, ⟨10.1109/FTCS.1993.627370⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00852434/file/SoRel%20Format%20%2883.pdf BibTex

Chapitre d'ouvrage

titre
Definition and analysis of hardware-and-software fault-tolerant architectures
auteur
Jean-Claude Laprie, Karama Kanoun, Jean Arlat, Christian Beounes
article
R.H. Thayer, A.D. McGettick. Software Engineering. A European Perspective, IEEE Computer Society Press, pp.256-268, 1993
Accès au bibtex
BibTex

1992

Article dans une revue

titre
X-ware reliability and availability modeling
auteur
Jean-Claude Laprie, Karama Kanoun
article
IEEE Transactions on Software Engineering, 1992, 18 (2), pp.130-147
Accès au texte intégral et bibtex
https://hal.science/hal-01979370/file/91012-IEEE-TSE-92.pdf BibTex

Communication dans un congrès

titre
The discrete time hyperexponential model for software reliability growth evaluation
auteur
Mohamed Kaâniche, Karama Kanoun
article
Third International Symposium on Software Reliability Engineering (ISSRE-1992), Oct 1992, Research Triangle Park, NC, United States. pp.64 - 75, ⟨10.1109/ISSRE.1992.285857⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00851763/file/Papier%20ISSRE92.pdf BibTex
titre
COLLECTE ET ANALYSE DE DONNÉES RELATIVES A LA SÛRETÉ DE FONCTIONNEMENT DU LOGICIEL
auteur
Karama Kanoun
article
Journées nationales ISdF "Retour d'expérience et banques de données", Mar 1992, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01985247/file/Texte-ISdF-KK%20-%20copie.pdf BibTex

Chapitre d'ouvrage

titre
Definition and analysis of hardware-and-software fault-tolerant architectures
auteur
Jean-Claude Laprie, Jean Arlat, Christian Beounes, Karama Kanoun
article
Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society Press technology Series, Los Alamitos, pp.5-17, 1992
Accès au bibtex
BibTex
titre
Dependability modeling of software fault-tolerant systems
auteur
Jean Arlat, Karama Kanoun, Jean-Claude Laprie
article
Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society, Press technology Series, pp.25-34, 1992
Accès au bibtex
BibTex

1991

Article dans une revue

titre
A method for software reliability analysis and prediction, application to the TROPICO-R switching system.
auteur
Karama Kanoun, Marta Bastos-Martini, Georges Moreira de Souza
article
IEEE Transactions on Software Engineering, 1991, 17 (4), pp.334-344
Accès au texte intégral et bibtex
https://hal.science/hal-02007235/file/Doc%2088337.pdf BibTex

Communication dans un congrès

titre
THE ROLE OF TREND ANALYSIS IN SOFTWARE DEVELOPMENT AND VALIDATION
auteur
Karama Kanoun, Jean-Claude Laprie
article
IFAC Int. Conf. on Safety, Security and Reliability (SAFECOMP'91), Nov 1991, Trondheim, Norway. pp.169 - 172
Accès au texte intégral et bibtex
https://hal.science/hal-01985291/file/Safecomp-1991-KK-JCL.pdf BibTex
titre
Evaluation of bus and ring communication topologies for the DELTA-4 distributed fault-tolerant architecture
auteur
Karama Kanoun, David Powell
article
10th IEEE Symposium on Reliable Distributed Systems, IEEE, Sep 1991, Pise, Italy. ⟨10.1109/RELDIS.1991.145415⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01986395/file/SRDS-10-KK-DP.pdf BibTex

Chapitre d'ouvrage

titre
Validation
auteur
Karama Kanoun, Jean Arlat, L. Burrill, Yves Crouzet, Susanne Graf, Eliane Martins, David Powell
article
D. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4
Accès au bibtex
BibTex

1990

Article dans une revue

titre
Analyse des défaillances et suivi de la validation du logiciel d'un équipement de télécommunication
auteur
Mohamed Kaâniche, Karama Kanoun, Sylvain Metge
article
Annals of Telecommunications - annales des télécommunications, 1990, 45 (11-12), pp.657-670
Accès au bibtex
BibTex
titre
Software reliability evaluation of the TROPICO-R switching system.
auteur
Karama Kanoun, Marta Bastos Martini, Georges Moreira de Souza
article
IEEE Transactions on Reliability, 1990, 39 (3), pp.369-379. ⟨10.1109/24.103020⟩
Accès au bibtex
BibTex
titre
DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS
auteur
Jean Arlat, Karama Kanoun, Jean-Claude Laprie
article
IEEE Transactions on Computers, 1990, 39, pp.504 - 513
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01978863/file/IEEEComputers-ja-kk-cjl-1990.pdf BibTex

Communication dans un congrès

titre
The transformation approach to the modeling and evaluation of the reliability and availability growth
auteur
Jean-Claude Laprie, Christian Beounes, Mohamed Kaâniche, Karama Kanoun
article
The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩
Accès au bibtex
BibTex