Publications HAL du labo/EPI LAAS-TSF

2019

Journal articles

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, Elsevier, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02012942/file/JAR_v12-revised.pdf BibTex
titre
Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems
auteur
Achour Mostefaoui, Michel Raynal, Matthieu Roy
article
Computing, Springer Verlag, 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
titre
Adversarial frontier stitching for remote neural network watermarking
auteur
Erwan Le Merrer, Patrick Pérez, Gilles Trédan
article
Neural Computing and Applications, Springer Verlag, In press
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02264449/file/main-nca.pdf BibTex

Conference papers

titre
Application-aware adaptive partitioning for graph processing systems
auteur
Erwan Le Merrer, Gilles Trédan
article
27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2019), Oct 2019, Rennes, France. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02193594/file/main.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.archives-ouvertes.fr/hal-02268774/file/SSTIC2019-Article-mirage_un_framework_offensif_pour_laudit_du_bluetooth_low_energy-alata_auriol_roux_cayre_nicomette.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

2018

Journal articles

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, IEEE/ACM, 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
Modelling Confidence in Railway Safety Case
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
article
Safety Science, Elsevier, 2018, pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01661045/file/SSv17_HAL.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, Wiley, 2018, 1 (4), pp.e54. ⟨https://onlinelibrary.wiley.com/doi/full/10.1002/itl2.54⟩. ⟨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, IEEE, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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 da Silva Silvestre
article
Journal of Systems and Software, Elsevier, 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, John Wiley & Sons, Ltd., 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, Springer, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01496958/file/jicv_SoA_ProtRE.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, Springer Verlag, 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
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, Association for Computing Machinery, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01559696/file/DYNAMIC_final.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, Association for Computing Machinery, 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
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, Inderscience, 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
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, Springer, In press, ⟨10.1007/s11416-018-0320-3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01761974/file/jicv_v3.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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
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.archives-ouvertes.fr/hal-01708220/file/ERTS2018-paper-full-V1.pdf BibTex

Directions of work or proceedings

titre
Emerging high assurance solutions for safe, secure, and reliable software systems
auteur
Radu Babiceanu, Hélène Waeselynck
article
Journal of Software: Evolution and Process, 30 (3), pp.e1950, 2018, ⟨10.1002/smr.1950⟩
Accès au bibtex
BibTex

2017

Journal articles

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, Institute of Electrical and Electronics Engineers, 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, Elsevier, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01394136/file/RobotDepend_cutv3-4RAS.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, Institute of Electrical and Electronics Engineers, 2017, 16 (3), pp.829-842. ⟨10.1109/TMC.2016.2561281⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Elsevier, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, IOP Publishing, 2017, 2017 (6), pp.063401. ⟨10.1088/1742-5468/aa71ce⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01559708/file/JSTAT_gog16.pdf BibTex

Conference papers

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.archives-ouvertes.fr/hal-02082867/file/1704.08991.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
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
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
Confidence Assessment Framework for Safety Arguments
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet
article
SafeComp 2017, Sep 2017, Trento, Italy. 14p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01533221/file/paper_37.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
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.archives-ouvertes.fr/hal-01708205/file/EDCC2017-paper-V12.1-final-avec.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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

2016

Journal articles

titre
Souk: Spatial Observation of hUman Kinetics
auteur
Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon
article
Computer Networks, Elsevier, 2016, 111, pp.109-119. ⟨10.1016/j.comnet.2016.08.008⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Elsevier, 2016, 72, pp.239 - 253. ⟨10.1016/j.trc.2016.09.017⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01380170/file/paper-HAL-Aivodji-et-al.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, Institute of Electrical and Electronics Engineers, 2016, 15 (8), pp.2109-2123. ⟨10.1109/TMC.2015.2483498⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01198596/file/Pham2016TMC.pdf BibTex
titre
Upper and Lower Bounds for Deterministic Broadcast in Powerline Communication Networks
auteur
Yvonne Pignolet, Stefan Schmid, Gilles Trédan
article
Distributed Computing, Springer Verlag, 2016, 29 (4), pp.239-250. ⟨10.1007/s00446-016-0263-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02079806/file/dist16.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, Lavoisier, 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
Hazard analysis of human–robot interactions with HAZOP–UML
auteur
Jérémie Guiochet
article
Safety Science, Elsevier, 2016, 84, pp. 225-237
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01271565/file/main.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, Institute of Electrical and Electronics Engineers, 2016, 15 (4), pp.826-839. ⟨10.1109/TMC.2015.2442237⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01157922/file/Huguenin2016TMC.pdf BibTex
titre
Multicriteria Decision-Making Methodology for Systems Engineering
auteur
Vikas Shukla, Guillaume Auriol, Keith Hipel
article
IEEE Systems Journal, IEEE, 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ğır, Murtuza Jadliwala, Maria Gazaki, Jean-Pierre Hubaux
article
Pervasive and Mobile Computing, Elsevier, 2016, 25, pp.125-142. ⟨10.1016/j.pmcj.2015.01.006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01108962/file/Bilogrevic2015PMC.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, De Gruyter Open, 2016, 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01396142/file/paper.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01386628/file/wait-free-graph-problems.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
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.archives-ouvertes.fr/hal-01372016/file/paper%20%2320.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01326911/file/coordination-BA-PODC.pdf BibTex
titre
On the Privacy Implications of Location Semantics
auteur
Berker Ağır, 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.archives-ouvertes.fr/hal-01216649/file/Agir2016PoPETS.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.archives-ouvertes.fr/hal-01341710/file/sirocco-coordination.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.archives-ouvertes.fr/hal-01382499/file/short_version.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.archives-ouvertes.fr/hal-01419016/file/industrial_track_DSN16.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.archives-ouvertes.fr/hal-01318364/file/DSN-Student-Forum_%234_Adaptive-Fault-Tolerance-Is-ROS-a-Relevant-Executive-Support.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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
RSA Conference Cryptographers' Track , Feb 2016, San Francisco, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01288098/file/ROS-HASE2016.pdf BibTex

Book sections

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⟩. ⟨https://link.springer.com/referenceworkentry/10.1007%2F978-1-4939-2864-4_611⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02087581/file/bg-revised.pdf BibTex

2015

Journal articles

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, SAGE Publications, 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, Springer Verlag, 2015, 29, pp.91-108. ⟨10.1007/s00446-014-0217-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, SAGE Publications, 2015, 29 (1), pp.19. ⟨10.1177/1094342013518806 ⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00923948/file/journal-revised.pdf BibTex

Conference papers

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
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.archives-ouvertes.fr/hal-01322882/file/prdc-2015.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01193039/file/CARSEDCC2015_paper_14.pdf BibTex
titre
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases
auteur
Guthemberg Da Silva 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.archives-ouvertes.fr/hal-01211772/file/Tejo-SERENE2015.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.archives-ouvertes.fr/hal-01190054/file/PID3811879.pdf BibTex
titre
Data Stream Clustering for Online Anomaly Detection in Cloud Applications
auteur
Carla Sauvanaud, Guthemberg Da Silva 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.archives-ouvertes.fr/hal-01211774/file/edcc2015_last_version_carla.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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01282148/file/test_nav.pdf BibTex
titre
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime
auteur
Camille Fayollas, Celia Martinie de Almeida, 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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01178553/file/dsn_smarttv_v12.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.archives-ouvertes.fr/hal-01178550/file/SSTIC_smarttv_bachy.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.archives-ouvertes.fr/hal-01322880/file/sstic-2015.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01207657/file/v14.pdf BibTex

2014

Journal articles

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, Lavoisier, 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, Elsevier, 2014, 14, pp.71-82. ⟨10.1016/j.pmcj.2014.05.009⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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
Technique et Science Informatiques, Hermès-Lavoisier, 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, Institute of Electrical and Electronics Engineers, 2014, 10 (3), pp.1684-1695. ⟨10.1109/TII.2014.2315441⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. ⟨http://www.igi-global.com/article/an-invariant-based-approach-for-detecting-attacks-against-data-in-web-applications/109579⟩. ⟨10.4018/ijsse.2014010102⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Elsevier, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024 ⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Springer Verlag, 2014, 20 (1), pp.1--16. ⟨10.1186/1678-4804-20-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Inderscience, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Lavoisier, 2014, 19 (6), pp.63-88. ⟨http://isi.revuesonline.com/resnum.jsp?editionId=1891&Submit2.x=5&Submit2.y=1⟩. ⟨10.3166/isi.19.6.63-88⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01178546/file/papier_v13.pdf BibTex

Conference papers

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://hal.inria.fr/hal-01073578/file/chcksa.pdf 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.archives-ouvertes.fr/hal-01265454/file/PRDC2014_CameraReady_FV_IEEE.pdf 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
IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01090399/file/p80-fayollas.pdf BibTex
titre
An anomaly detection approach for scale-out storage systems
auteur
Guthemberg Da Silva 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01015476/file/FAC.pdf 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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01953503/file/defisMTV2.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.archives-ouvertes.fr/hal-01493450/file/SSTIC2014-Article-tests_dintegrite_dhyperviseurs-morgan_alata_nicomette.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.archives-ouvertes.fr/hal-01178496/file/SSTIC_boxadsl_bachy.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://hal.inria.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00932814/file/RTPO_sarssi.pdf 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01062054/file/dads14.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.archives-ouvertes.fr/hal-01282159/file/HASE2014-final.pdf BibTex

2013

Journal articles

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, Elsevier, 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, Oxford University Press (UK), 2013, 56 (4), pp.422-439. ⟨10.1093/comjnl/bxs112⟩
Accès au bibtex
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, Oxford University Press (UK), 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, Lavoisier, 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, Lavoisier, 2013, 32 (1), pp.41-75. ⟨10.3166/tsi.32.41-75⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01212202/file/revueTSI-120330.pdf BibTex

Conference papers

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.archives-ouvertes.fr/hal-01015455/file/rtss.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.archives-ouvertes.fr/hal-01281790/file/papier-final.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.archives-ouvertes.fr/hal-00978475/file/prdc2013.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.archives-ouvertes.fr/hal-00841711/file/machin2013specifying.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.archives-ouvertes.fr/hal-00926515/file/FA11.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.archives-ouvertes.fr/hal-00926367/file/FA3.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.archives-ouvertes.fr/hal-00848361/file/7_-_camera_ready_CARS.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.archives-ouvertes.fr/hal-00848234/file/4_-_cars_istudnia.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00852244/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.archives-ouvertes.fr/hal-00839296/file/PID2660635.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.archives-ouvertes.fr/hal-01176042/file/Studniaetal.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://hal-onera.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/hal-01176046/file/LADC%202013-Alata-et-al.pdf BibTex

2012

Journal articles

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
IRBM, Elsevier Masson, 2012, 33 (2), pp.165-172
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01282234/file/IRBM-S-12-00025-2.pdf BibTex

Conference papers

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.archives-ouvertes.fr/hal-00761206/file/cesar_paper71-version_publieI_e.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.archives-ouvertes.fr/hal-01282203/file/prdc2012.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.archives-ouvertes.fr/hal-00747469/file/design_for_adaptation.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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00851866/file/crisis_2012-VachENicometteKaaniche.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.archives-ouvertes.fr/hal-01176048/file/SRDS%20p58.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.archives-ouvertes.fr/hal-01015494/file/srds.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.archives-ouvertes.fr/hal-01282195/file/guiochet-WSIROS2012.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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Mathieu 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
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.archives-ouvertes.fr/hal-02192419/file/ERTS2012DOHOANG.pdf 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.archives-ouvertes.fr/hal-02263451/file/8A-3.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.archives-ouvertes.fr/hal-01282237/file/ERTS2012MEKKI.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.archives-ouvertes.fr/hal-00761040/file/8C-1-1.pdf BibTex

Book sections

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.archives-ouvertes.fr/hal-00761042/file/Crouzet_Bench_10182011.pdf BibTex

2011

Journal articles

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, IIIA-CSIC, 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, Institute of Electrical and Electronics Engineers, 2011, 10 (6), pp.783-796. ⟨10.1109/TMC.2010.222⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Springer Verlag, 2011, 7 (2), pp.143-157. ⟨10.1007/s11416-010-0144-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00762596/file/final_auteurs.pdf BibTex

Conference papers

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.archives-ouvertes.fr/hal-00675544/file/dynam.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.archives-ouvertes.fr/hal-00755212/file/prdc2011.pdf 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.archives-ouvertes.fr/hal-00725095/file/paper_7.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00667832/file/amire.pdf 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.archives-ouvertes.fr/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

Book sections

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.archives-ouvertes.fr/hal-00761140/file/designfaults.pdf BibTex

2010

Journal articles

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, Institute of Electrical and Electronics Engineers, 2010, 36 (3)
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01983990/file/Editorial-IEEE-TSE-SpecialSection-SoftwareDependability.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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

Journal articles

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, Elsevier, 2009, 2 (4), pp.154-169. ⟨10.1016/j.ijcip.2009.08.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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
Technique et Science Informatiques, Hermès-Lavoisier, 2009, 28 (1), pp.7-37
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00755268/file/2290v2_Hal.pdf BibTex

Conference papers

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://hal.inria.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00394002/file/podc09-roy.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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00851876/file/UBIROADS_2009_Hamouda_Kaaniche.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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00381686/file/FaultInjection_3.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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00381913/file/FaultTolerance_2.pdf BibTex

2008

Journal articles

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.archives-ouvertes.fr/hal-00756957/file/IJPE_Kaaniche-final.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00282444/file/IARP-guiochet.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.archives-ouvertes.fr/hal-00453026/file/EDCC-7.pdf BibTex
titre
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
auteur
Ana-Elena 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.archives-ouvertes.fr/hal-00323969/file/ADAPT_EDCC.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
Software dependability modeling using an industry-standard architecture description language
auteur
Ana-Elena Rugina, Peter 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.archives-ouvertes.fr/hal-00323983/file/ERTS2008_0125_paper.pdf BibTex

Book sections

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.archives-ouvertes.fr/hal-00761609/file/Ch12_Kanoun.pdf BibTex

Directions of work or proceedings

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

Books

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

Journal articles

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, Techniques de l'ingénieur, 2007, Sécurité et gestion des risques, SE2
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01292664/file/TSIv6.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01292653/file/dsn07.pdf BibTex

2006

Journal articles

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

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00756964/file/CRUTIAL-CNIP_2006_final.pdf BibTex

2005

Journal articles

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, Elsevier, 2005, 89 (1), pp.6-16. ⟨10.1016/j.ress.2004.08.003⟩
Accès au bibtex
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, Hermès-Lavoisier, 2005, 11 (4), ⟨10.3166/objet.11.4.83-113⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01292934/file/ArticleFinal_LObjet_Nassar-2.pdf 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, SAGE Publications, 2005, 24 (4), p.257-274. ⟨10.1177/0278364905052437⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01292939/file/IJRR-final-modif.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01292930/file/IARP05finale.pdf BibTex

2004

Journal articles

titre
Dependability modelling of instrumentation and control systems: a comaprison of competing architectures
auteur
Claudia Betous-Almeida, Karama Kanoun
article
Safety Science, Elsevier, 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, Elsevier, 2004, 42 (5), pp.385-403
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00757161/file/Safetyscience_fin.pdf BibTex
titre
Construction and stepwise refinement of dependability models
auteur
Claudia Betous-Almeida, Karama Kanoun
article
Performance Evaluation, Elsevier, 2004, 56 (1-4), pp.277-306
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01980966/file/Doc%2002452.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01276661/file/guiochet.pdf BibTex

2003

Journal articles

titre
Impact of internal and external software faults on the Linux kernel
auteur
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Matrteau
article
IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communication Engineers, 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, Wiley, 2003, 33 (14), pp.1323-1341. ⟨10.1002/spe.550 ⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Institute of Electrical and Electronics Engineers, 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

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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

2002

Conference papers

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
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
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.archives-ouvertes.fr/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

Journal articles

titre
Real-word Design Diversity: a case study on cost
auteur
Karama Kanoun
article
IEEE Software, Institute of Electrical and Electronics Engineers, 2001, 18 (4), pp.29-33
Accès au bibtex
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
titre
Safety, Reliability and Security of Industrial Computer Systems
auteur
Karama Kanoun, A Pasquini
article
Reliability Engineering and System Safety, Elsevier, 2001, 71 (3)
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01984001/file/Guest%20editorial-RESS-2001.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-02007626/file/Doc%2001208.pdf BibTex

Book sections

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

Journal articles

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, Institute of Electrical and Electronics Engineers, 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

Conference papers

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.archives-ouvertes.fr/hal-01212223/file/ICECCS2000_IEEE.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
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

Book sections

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.archives-ouvertes.fr/hal-01986887/file/Almeida-Arazo-Safecomp2000.pdf BibTex

1999

Journal articles

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, Institute of Electrical and Electronics Engineers, 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, Elsevier, 1999, 35 (3-4), pp.253-273
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00762602/file/Text-fota-kaaniche-kanoun.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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

Book sections

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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00761637/file/From-Needs-to-solutions-Desw_kan_Laprie.pdf BibTex

Directions of work or proceedings

titre
Computer Safety, reliability, and Security
auteur
Maccimo Felici, Karama Kanoun, Alberto Pasquinin
article
18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), Lecture Notes in Computer Science 1698, Springer, pp.482, 1999
Accès au bibtex
BibTex

1998

Conference papers

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.archives-ouvertes.fr/hal-00140480/file/RAID_IEEE_final.pdf BibTex

1997

Journal articles

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

1996

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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

Book sections

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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00761640/file/Chap_10.pdf BibTex

1995

Book sections

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

Journal articles

titre
SOFTWARE RELIABILITY TREND ANALYSES: FROM THEORETICAL TO PRACTICAL CONSIDERATIONS
auteur
Karama Kanoun, Jean-Claude Laprie
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 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

Conference papers

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
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.archives-ouvertes.fr/hal-01985267/file/Surf2-%20LM%279-1994.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.archives-ouvertes.fr/hal-01985283/file/LM_1994_CAUTRA.pdf BibTex

Book sections

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

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00852434/file/SoRel%20Format%20%2883.pdf BibTex

Book sections

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

Journal articles

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

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01985247/file/Texte-ISdF-KK%20-%20copie.pdf BibTex

Book sections

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
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

1991

Journal articles

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, Institute of Electrical and Electronics Engineers, 1991, 17 (4), pp.334-344
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02007235/file/Doc%2088337.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01986395/file/SRDS-10-KK-DP.pdf BibTex

Book sections

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

Journal articles

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, Springer, 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, Institute of Electrical and Electronics Engineers, 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. Special Issue on Fault-Tolerant Computing, 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

Conference papers

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