2023
Article dans une revue
- titre
- Modeling Rabbit-Holes on YouTube
- auteur
- Erwan Le Merrer, Gilles Trédan, Ali Yesilkanat
- article
- Social Network Analysis and Mining, 2023, 13 (1), pp.100. ⟨10.1007/s13278-023-01105-9⟩
- Accès au texte intégral et bibtex
-
- titre
- Tasks in modular proofs of concurrent algorithms
- auteur
- Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
- article
- Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
- Accès au texte intégral et bibtex
-
- titre
- Intrusion Detection System for IoT: Analysis of PSD Robustness
- auteur
- Lamoussa Sanogo, Eric Alata, Alexandru Takacs, Daniela Dragomirescu
- article
- Sensors, 2023, 23 (4), pp.2353. ⟨10.3390/s23042353⟩
- Accès au texte intégral et bibtex
-
- titre
- A Survey on the Security Challenges of Low-Power Wireless Communication Protocols for Communicating Concrete in Civil Engineerings
- auteur
- Gaël Loubet, Eric Alata, Alexandru Takacs, Daniela Dragomirescu
- article
- Sensors, 2023, 23 (4), pp.1849. ⟨10.3390/s23041849⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Battery-free Bluetooth Low Energy Wireless Sensor Powered by Radiative Wireless Power Transfer
- auteur
- Alassane Sidibe, Gael Loubet, Alexandru Takacs, Lamoussa Sanogo, Daniela Dragomirescu
- article
- NewCAS 2023, IEEE, Jun 2023, Edinburg,, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems
- auteur
- Florent Moriconi, Axel Ilmari Neergaard, Lucas Georget, Samuel Aubertin, Aurélien Francillon
- article
- 17th IEEE Workshop on Offensive Technologies (WOOT 2023), IEEE, May 2023, San Francisco (CA, USA), United States. ⟨10.1109/SPW59333.2023.00025⟩
- Accès au texte intégral et bibtex
-
- titre
- Pairwise Testing Revisited for Structured Data With Constraints
- auteur
- Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet
- article
- IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩
- Accès au texte intégral et bibtex
-
- titre
- Out-Of-Distribution Detection Is Not All You Need
- auteur
- Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet
- article
- The 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- What is a black box algorithm?
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Article dans une revue
- titre
- Skill-based design of dependable robotic architectures
- auteur
- Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, Augustin Manecy
- article
- Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩
- Accès au texte intégral et bibtex
-
- titre
- MATANA: A Reconfigurable Framework for Runtime Attack Detection Based on the Analysis of Microarchitectural Signals
- auteur
- Yuxiao Mao, Vincent Migliore, Vincent Nicomette
- article
- Applied Sciences, 2022, 12 (3), pp.1452. ⟨10.3390/app12031452⟩
- Accès au bibtex
-
- titre
- Improved Fast Rerouting Using Postprocessing
- auteur
- Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- IEEE Transactions on Dependable and Secure Computing, 2022, 19 (1), pp.537 - 550. ⟨10.1109/TDSC.2020.2998019⟩
- Accès au texte intégral et bibtex
-
- titre
- Facing Emerging Challenges in Connected Vehicles: A Formally Proven, Legislation Compliant, and Post-Quantum Ready Security Protocol
- auteur
- Rémi Adelin, Cyrius Nugier, Éric Alata, Vincent Nicomette, Vincent Migliore, Mohamed Kaâniche
- article
- Journal of Computer Virology and Hacking Techniques, 2022, ⟨10.1007/s11416-022-00426-1⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images
- auteur
- Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck
- article
- 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩
- Accès au texte intégral et bibtex
-
- titre
- Unifying Evaluation of Machine Learning Safety Monitors
- auteur
- Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet
- article
- 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩
- Accès au texte intégral et bibtex
-
- titre
- A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases
- auteur
- Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
- article
- 7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩
- Accès au texte intégral et bibtex
-
- titre
- Experimental Platform for Testing Cache Allocation Policies to Improve Linux Real-Time Behaviour
- auteur
- Aléxis Génèrès, Michaël Lauer
- article
- CARS - Critical Automotive applications: Robustness & Safety, Sep 2022, Zaragoza, Spain
- Accès au texte intégral et bibtex
-
- titre
- Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases
- auteur
- Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
- article
- 41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022), Sep 2022, Munich, Germany. pp.1-14
- Accès au texte intégral et bibtex
-
- titre
- Détection des lignes aéroportuaires par méthode hybride de filtrage particulaire et de réseaux de neurones
- auteur
- Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet
- article
- Congrès Reconnaissance des Formes, Image, Apprentissage et Perception (RFIAP 2022), Jul 2022, Vannes, France
- Accès au texte intégral et bibtex
-
- titre
- On the Price of Locality in Static Fast Rerouting
- auteur
- Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Tredan
- article
- 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2022, Baltimore, United States. pp.215-226, ⟨10.1109/dsn53405.2022.00032⟩
- Accès au texte intégral et bibtex
-
- titre
- Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!
- auteur
- Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel
- article
- 33nd IEEE Intelligent Vehicles Symposium (IV 2022), Jun 2022, Aachen, Germany. ⟨10.1109/IV51971.2022.9827170⟩
- Accès au texte intégral et bibtex
-
- titre
- OASIS: un framework pour la détection d'intrusion embarquée dans les contrôleurs Bluetooth Low Energy
- auteur
- Romain Cayre, Clement Chaine, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato
- article
- Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2022), Jun 2022, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Towards the certification of vision based systems: modular architecture for airport line detection
- auteur
- Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet
- article
- 11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Experimenting with Dynamic Cache Allocation to Improve Linux Real-Time Behaviour
- auteur
- Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
- article
- 11th European Congress of Embedded Real Time Software and Systems, Jun 2022, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC
- auteur
- Carlos Aguilar-Melchor, Jean-Christophe Deneuville, Arnaud Dion, James Howe, Romain Malmain, Vincent Migliore, Mamuri Nawan, Kashif Nawaz
- article
- International Workshop on Code-Based Cryptography, CBCrypto 2022, May 2022, Trondheim, Norway. pp.0
- Accès au texte intégral et bibtex
-
- titre
- Evaluation of Runtime Monitoring for UAV Emergency Landing
- auteur
- Joris Guerin, Kevin Delmas, Jérémie Guiochet
- article
- International Conference on Robotics and Automation (ICRA), May 2022, Philadelphia, United States
- Accès au texte intégral et bibtex
-
- titre
- Integration of Test Generation Into Simulation-Based Platforms: An Experience Report
- auteur
- Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, Magnus Albert
- article
- 3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩
- Accès au texte intégral et bibtex
-
- titre
- A skill fault model for autonomous systems
- auteur
- Gabriela Medina, Jérémie Guiochet, Charles Lesire, Augustin Manecy
- article
- 4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburg (virtual), United States. ⟨10.1145/3526071.3527513⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- System dependability assessment -Interplay between research and practice
- auteur
- Mohamed Kaâniche, Karama Kanoun
- article
- System Dependability and Analytics. Approaching System Dependability from Data, System and Analytics Perspectives, Springer, pp.393-404, 2022, Springer Series in Reliability Engineering, 978-3-031-02062-9. ⟨10.1007/978-3-031-02063-6_23⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Algorithmic audits of algorithms, and the law
- auteur
- Erwan Le Merrer, Ronan Pons, Gilles Trédan
- article
- 2022
- Accès au texte intégral et bibtex
-
- titre
- Qu’est ce qu’un algorithme en boîte noire ? Tractatus des décisions algorithmiques
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- 2022
- Accès au texte intégral et bibtex
-
2021
Article dans une revue
- titre
- On the Implications of Routing Models on Network Optimization
- auteur
- Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- IEEE Transactions on Network and Service Management, 2021, 18 (4), pp.4756 - 4769. ⟨10.1109/TNSM.2021.3090312⟩
- Accès au texte intégral et bibtex
-
- titre
- Le problème du videur : la crédibilité des explications de l’IA en question
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- Interstices, 2021
- Accès au bibtex
-
- titre
- RIDS: Radio intrusion detection and diagnosis system for wireless communications in smart environment
- auteur
- Pierre-François Gimenez, Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette
- article
- ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.Article No.: 24. ⟨10.1145/3441458⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- TAF: a tool for diverse and constrained test case generation
- auteur
- Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori
- article
- 21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩
- Accès au texte intégral et bibtex
-
- titre
- Benchmarking Safety Monitors for Image Classifiers with Machine Learning
- auteur
- Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck
- article
- 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia. ⟨10.1109/PRDC53464.2021.00012⟩
- Accès au texte intégral et bibtex
-
- titre
- TSAI - Test Selection using Artificial Intelligence for the Support of Continuous Integration
- auteur
- Maria Laura Brzezinski Meyer
- article
- 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2021, Wuhan, China. pp.306-309, ⟨10.1109/ISSREW53611.2021.00092⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantifying confidence of safety cases with belief functions
- auteur
- Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
- article
- 6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩
- Accès au texte intégral et bibtex
-
- titre
- Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems
- auteur
- Daniel Loche, Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
- article
- European Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩
- Accès au texte intégral et bibtex
-
- titre
- Détection des lignes aéroportuaires par méthode de filtrage particulaire: Évaluation de fonctions d'observations
- auteur
- Esteban Perrotin, Claire Meymandi-Nejad, Ariane Herbulot, Michel Devy, Fabrice Bousquet
- article
- ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
- Accès au texte intégral et bibtex
-
- titre
- Seven Technical Issues That May Ruin Your Virtual Tests for ADAS
- auteur
- Mohamed El Mostadi, Hélène Waeselynck, Jean Marc Gabriel
- article
- 32nd IEEE Intelligent Vehicles Symposium, Jul 2021, Nagoya, Japan. ⟨10.1109/IV48863.2021.9575953⟩
- Accès au texte intégral et bibtex
-
- titre
- An Upcycling Tokenization Method for Credit Card Numbers
- auteur
- Cyrius Nugier, Diane Leblanc-Albarel, Agathe Blaise, Simon Masson, Paul Huynh, Yris Brice Wandji Piugie
- article
- SECRYPT 2021 - 18th International Conference on Security and Cryptography, Jul 2021, Online, France
- Accès au texte intégral et bibtex
-
- titre
- A defensive man-in-middle approach to filter BLE packets
- auteur
- Ahmed Aboukora, Guillaume Bonnet, Florent Galtier, Romain Cayre, Vincent Nicomette, Guillaume Auriol
- article
- 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abou Dhabi (virtual), United Arab Emirates. ⟨10.1145/3448300.3468259⟩
- Accès au texte intégral et bibtex
-
- titre
- Cross-protocol attacks: weaponizing a smartphone by diverting its Bluetooth controller
- auteur
- Romain Cayre, Géraldine Marconato, Florent Galtier, Mohamed Kaâniche, Vincent Nicomette, Guillaume Auriol
- article
- 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abu Dhabi, United Arab Emirates. ⟨10.1145/3448300.3468258⟩
- Accès au texte intégral et bibtex
-
- titre
- InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections
- auteur
- Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Marconato
- article
- IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00050⟩
- Accès au texte intégral et bibtex
-
- titre
- Certifying Emergency Landing for Safe Urban UAV
- auteur
- Joris Guérin, Kevin Delmas, Jérémie Guiochet
- article
- 7th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2021) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩
- Accès au texte intégral et bibtex
-
- titre
- WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips
- auteur
- Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Marconato
- article
- IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00049⟩
- Accès au texte intégral et bibtex
-
- titre
- InjectaBLE : injection de trafic malveillant dans une connexion Bluetooth Low Energy
- auteur
- Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Marconato
- article
- Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2021), Jun 2021, Rennes (en ligne), France
- Accès au texte intégral et bibtex
-
- titre
- A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions
- auteur
- Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Didier Crestani
- article
- ICRA 2021 - 38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩
- Accès au texte intégral et bibtex
-
- titre
- Attaques inter-protocolaires par détournement du contrôleur Bluetooth d'un téléphone mobile
- auteur
- Romain Cayre, Florent Galtier
- article
- GT Sécurité des Systèmes, Logiciels et Réseaux, May 2021, En ligne, France
- Accès au texte intégral et bibtex
-
- titre
- Grafting Arborescences for Extra Resilience of Fast Rerouting Schemes
- auteur
- Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- Infocom 2021, May 2021, Virtual, France
- Accès au texte intégral et bibtex
-
- titre
- Setting the Record Straighter on Shadow Banning
- auteur
- Erwan Le Merrer, Benoît Morgan, Gilles Trédan
- article
- INFOCOM 2021 - IEEE International Conference on Computer Communications, IEEE, May 2021, Virtual, Canada. pp.1-10, ⟨10.1109/INFOCOM42981.2021.9488792⟩
- Accès au texte intégral et bibtex
-
- titre
- Colorimetric Space Study: Application for Line Detection on Airport Areas
- auteur
- Claire Meymandi-Nejad, Esteban Perrotin, Ariane Herbulot, Michel Devy
- article
- 7th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2021), Apr 2021, En ligne, France. pp.546-553, ⟨10.5220/0010456605460553⟩
- Accès au texte intégral et bibtex
-
- titre
- A Novel Method for Object Detection using Deep Learning and CAD Models.
- auteur
- Igor Garcia Ballhausen Sampaio, Luigy Machaca, Jose Viterbo, Joris Guérin
- article
- 23rd International Conference on Enterprise Information Systems (ICEIS2021), Apr 2021, Online, Portugal
- Accès au bibtex
-
- titre
- Contract-Based Verification of Model Transformations: A Formally Founded Approach
- auteur
- Guillaume Brau, Mohammed Foughali
- article
- 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea
- Accès au texte intégral et bibtex
-
- titre
- On the Feasibility of Perfect Resilience with Local Fast Failover
- auteur
- Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- 2nd Symposium on Algorithmic Principles of Computer Systems (APOCS 2021), Jan 2021, Alexandria (Virtual), United States
- Accès au bibtex
-
2020
Article dans une revue
- titre
- Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic Observations
- auteur
- Christophe Bertero, Jean-François Léon, Gilles Trédan, Matthieu Roy, Alexandre Armengaud
- article
- Atmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩
- Accès au texte intégral et bibtex
-
- titre
- Collective Information Processing in Human Phase Separation
- auteur
- Bertrand Jayles, Ramon Escobedo, Roberto Pasqua, Christophe Zanon, Adrien Blanchet, Matthieu Roy, Gilles Trédan, Guy Théraulaz, Clément Sire
- article
- Philosophical Transactions of the Royal Society B: Biological Sciences, 2020, 375 (1807), ⟨10.1098/rstb.2019.0801⟩
- Accès au texte intégral et bibtex
-
- titre
- Experimental Evaluation of Three Value Recommendation Methods in Interactive Configuration
- auteur
- Hélène Fargier, Pierre-François Gimenez, Jérôme Mengin
- article
- Journal of Universal Computer Science, 2020, 26 (3), pp.318-342
- Accès au texte intégral et bibtex
-
- titre
- The virtual lands of Oz: testing an agribot in simulation
- auteur
- Clément C. Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes
- article
- Empirical Software Engineering, 2020, 25 (3), pp.2025-2054. ⟨10.1007/s10664-020-09800-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Remote explainability faces the bouncer problem
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- Nature Machine Intelligence, 2020, 2 (9), pp.529-539. ⟨10.1038/s42256-020-0216-z⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Reconfigurable Hardware for Microarchitectural Timing Attacks Detection
- auteur
- Yuxiao Mao, Vincent Migliore, Vincent Nicomette
- article
- Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2020), Dec 2020, online, France
- Accès au texte intégral et bibtex
-
- titre
- A PSD-based fingerprinting approach to detect IoT device spoofing
- auteur
- Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette
- article
- 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Dec 2020, Perth, Australia. ⟨10.1109/PRDC50213.2020.00015⟩
- Accès au texte intégral et bibtex
-
- titre
- Hardware-Performance-Counters-based anomaly detection in massively deployed smart industrial devices
- auteur
- Malcolm Bourdon, Pierre-François Gimenez, Eric Alata, Mohamed Kaâniche, Vincent Migliore, Vincent Nicomette, Youssef Laarouchi
- article
- 19th IEEE International Symposium on Network Computing and Applications (NCA 2020), Nov 2020, Cambridge, MA, United States. ⟨10.1109/NCA51143.2020.9306726⟩
- Accès au texte intégral et bibtex
-
- titre
- Brief Announcement: What Can(Not) Be Perfectly Rerouted Locally
- auteur
- Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- 34th International Symposium on Distributed Computing (DISC 2020), Oct 2020, Virtual, France. ⟨10.4230/LIPIcs.DISC.2020.46⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards safety monitoring of ML-based perception tasks of autonomous systems
- auteur
- Raul Sena Ferreira
- article
- 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2020, Coimbra, Portugal. pp.135-138, ⟨10.1109/ISSREW51248.2020.00052⟩
- Accès au texte intégral et bibtex
-
- titre
- On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications
- auteur
- Aliénor Damien, Pierre-François Gimenez, Nathalie Feyt, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
- article
- 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), Oct 2020, Coimbra, Portugal. pp.358-368, ⟨10.1109/ISSRE5003.2020.00041⟩
- Accès au texte intégral et bibtex
-
- titre
- Bug ou ban ? Une Perspective Topologique sur le Shadow Banning
- auteur
- Erwan Le Merrer, Benoît Morgan, Gilles Trédan
- article
- ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Belief functions for safety arguments confidence estimation : A comparative study
- auteur
- Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
- article
- 14th International Conference on Scalable Uncertainty Management (SUM 2020), Research Centre on Knowledge and Data (KRDB); Free University of Bozen-Bolzano, Sep 2020, Bolzano, Italy. pp.1-15, ⟨10.1007/978-3-030-58449-8_10⟩
- Accès au texte intégral et bibtex
-
- titre
- Clustering Sargassum Mats from Earth Observation Data
- auteur
- Estèle Glize, Marie-José Huguet, Marc Lucas, Marion Sutton, Gilles Trédan
- article
- Machine Learning for Earth Observation - MACLEAN 2020, Sep 2020, Ghent, Belgium
- Accès au texte intégral et bibtex
-
- titre
- Testing an Underwater Robot Executing Transect Missions in Mayotte
- auteur
- Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, Didier Crestani
- article
- TAROS 2020 - 21st Annual Conference Towards Autonomous Robotic Systems, Sep 2020, Virtual, United Kingdom. pp.116-127, ⟨10.1007/978-3-030-63486-5_14⟩
- Accès au texte intégral et bibtex
-
- titre
- REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection
- auteur
- Yuxiao Mao, Vincent Migliore, Vincent Nicomette
- article
- 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genova, Italy. ⟨10.1109/EuroS&PW51379.2020.00100⟩
- Accès au texte intégral et bibtex
-
- titre
- A hierarchical fault tolerant architecture for an autonomous robot
- auteur
- Anthony Favier, Antonin Messioux, Jérémie Guiochet, Jean-Charles Fabre, Charles Lesire
- article
- 6th Intern. Workshop on Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩
- Accès au texte intégral et bibtex
-
- titre
- Implications of Routing Coherence and Consistency on Network Optimization
- auteur
- Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- IFIP Networking, Jun 2020, Paris (virtuel), France
- Accès au texte intégral et bibtex
-
- titre
- Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts
- auteur
- Jean Ibarz, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre, Olivier Flébus
- article
- RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
- Accès au texte intégral et bibtex
-
- titre
- WazaBee : attaque de réseaux Zigbee par détournement de puces Bluetooth Low Energy
- auteur
- Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato
- article
- Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2020), Jun 2020, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Testing a non-deterministic robot in simulation - How many repeated runs ?
- auteur
- Clément Robert, Jérémie Guiochet, Hélène Waeselynck
- article
- The fourth IEEE International Conference on Robotic Computing (IRC 2020), Mar 2020, Taichung, Taiwan. 8p., ⟨10.1109/IRC.2020.00048⟩
- Accès au texte intégral et bibtex
-
- titre
- A user privacy-centric access control policy of data for intelligent transportation systems
- auteur
- Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette
- article
- Embedded Real Time Systems (ERTS), Jan 2020, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Anomaly detection using hardware performance counters on a large scale deployment
- auteur
- Malcolm Bourdon, Eric Alata, Mohamed Kaâniche, Vincent Migliore, Vincent Nicomette, Youssef Laarouchi
- article
- 10th European Congress Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Safe Scheduling on Multicores: an approach leveraging multi-criticality and end-to-end deadlines
- auteur
- Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
- article
- 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France
- Accès au texte intégral et bibtex
-
- titre
- Combining Machine Learning and Behavior Analysis Techniques for Network Security
- auteur
- Maria Laura Brzezinski Meyer, Yann Labit
- article
- 2020 International Conference on Information Networking (ICOIN), Jan 2020, Barcelona, Spain. pp.580-583, ⟨10.1109/icoin48656.2020.9016500⟩
- Accès au bibtex
-
2019
Article dans une revue
- titre
- An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile Methods
- auteur
- Pascal Acco, Guillaume Auriol, Elodie Chanthery, M.-A Détourbe, Pierre Emmanuel Hladik, Didier Le Botlan, N Noullet, Audine Subias
- article
- Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
- Accès au texte intégral et bibtex
-
- titre
- Adversarial frontier stitching for remote neural network watermarking
- auteur
- Erwan Le Merrer, Patrick Pérez, Gilles Trédan
- article
- Neural Computing and Applications, 2019, 32 (13), pp.9233-9244. ⟨10.1007/s00521-019-04434-z⟩
- Accès au texte intégral et bibtex
-
- titre
- Computer-Security-Oriented Escape Room
- auteur
- Erwan Beguin, Solal Besnard, Adrien Cros, Barbara Joannes, Ombeline Leclerc-Istria, Alexa Noel, Nicolas Roels, Faical Taleb, Jean Thongphan, Eric Alata, Vincent Nicomette
- article
- IEEE Security and Privacy Magazine, 2019, 17 (4), pp.78-83. ⟨10.1109/MSEC.2019.2912700⟩
- Accès au texte intégral et bibtex
-
- titre
- Safety Case Confidence Propagation Based on Dempster-Shafer theory
- auteur
- Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
- article
- International Journal of Approximate Reasoning, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩
- Accès au texte intégral et bibtex
-
- titre
- Smart-TV security: risk analysis and experiments on Smart-TV communication channels
- auteur
- Yann Bachy, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
- article
- Journal of Computer Virology and Hacking Techniques, 2019, 15 (1), pp.61-76. ⟨10.1007/s11416-018-0320-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems
- auteur
- Achour Mostefaoui, Michel Raynal, Matthieu Roy
- article
- Computing, 2019, 101 (1), pp.3-17. ⟨10.1007/s00607-018-0615-8⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Implementation of a Host-Based Intrusion Detection System for Avionic Applications
- auteur
- Aliénor Damien, Michael Marcourt, Vincent Nicomette, Eric Alata, Mohamed Kaâniche
- article
- 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2019, Kyoto, Japan. pp.178-17809, ⟨10.1109/PRDC47002.2019.00048⟩
- Accès au texte intégral et bibtex
-
- titre
- Simulation-based testing to improve safety of autonomous robots
- auteur
- Luca Vittorio Sartori
- article
- 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2019, Berlin, Germany. ⟨10.1109/ISSREW.2019.00053⟩
- Accès au texte intégral et bibtex
-
- titre
- Mirage: towards a Metasploit-like framework for IoT
- auteur
- Romain Cayre, Vincent Nicomette, Guillaume Auriol, Eric Alata, Mohamed Kaâniche, Geraldine Marconato
- article
- 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
- Accès au texte intégral et bibtex
-
- titre
- Synchronous t-Resilient Consensus in Arbitrary Graphs
- auteur
- Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
- article
- 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
- Accès au bibtex
-
- titre
- Application-aware adaptive partitioning for graph processing systems
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.235-240, ⟨10.1109/MASCOTS.2019.00033⟩
- Accès au texte intégral et bibtex
-
- titre
- Tasks in Modular Proofs of Concurrent Algorithms
- auteur
- Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
- article
- 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
- Accès au texte intégral et bibtex
-
- titre
- Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability
- auteur
- Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
- article
- 5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy
- Accès au texte intégral et bibtex
-
- titre
- Attack Injection into Avionic Systems through Application Code Mutation
- auteur
- Aliénor Damien, Nathalie Feyt, Vincent Nicomette, Eric Alata, Mohamed Kaâniche
- article
- 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), Sep 2019, San Diego, United States. pp.1-8, ⟨10.1109/DASC43569.2019.9081616⟩
- Accès au texte intégral et bibtex
-
- titre
- A Topological Perspective on Distributed Network Algorithms
- auteur
- Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Corentin Travers
- article
- 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩
- Accès au bibtex
-
- titre
- Bonsai: Efficient Fast Failover Routing Using Small Arborescences
- auteur
- Klaus-Tycho Foerster, Andrzej Kamisiński, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2019, Portland, United States. pp.276-288, ⟨10.1109/DSN.2019.00039⟩
- Accès au texte intégral et bibtex
-
- 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
-
- titre
- Activité pédagogique sur la création d'un jeu d'évasion
- auteur
- Guillaume Auriol, Sonia Ben Dhia, Elodie Chanthery, Pierre-Emmanuel Hladik, Didier Le Botlan, G. Le Corre, C. Maranges, David Vignolles
- article
- 6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
- Accès au texte intégral et bibtex
-
- titre
- Une politique de contrôle d'accès à grains fins aux données pour les systèmes de transport intelligents
- auteur
- Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette
- article
- Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2019, Erquy, France
- Accès au texte intégral et bibtex
-
- 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
-
Pré-publication, Document de travail
- titre
- Embedding security metadata into wireless communication signals using Polarization Shift Keying
- auteur
- Angelo Monti, Eric Alata, Daniela Dragomirescu
- article
- 2019
- Accès au texte intégral et bibtex
-
2018
Article dans une revue
- titre
- Modelling Confidence in Railway Safety Case
- auteur
- Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
- article
- Safety Science, 2018, 110 (part B), pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩
- Accès au texte intégral et bibtex
-
- titre
- Load-Optimal Local Fast Rerouting for Dense Networks
- auteur
- Michael Borokhovich, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- IEEE/ACM Transactions on Networking, 2018, 26 (6), pp.2583-2597. ⟨10.1109/TNET.2018.2871089⟩
- Accès au texte intégral et bibtex
-
- titre
- Addressing scalable, optimal and secure communications over LoRa networks: challenges and research directions
- auteur
- Nicola Accettura, Eric Alata, Pascal Berthou, Daniela Dragomirescu, Thierry Monteil
- article
- Internet Technology Letters, 2018, 1 (4), pp.e54. ⟨10.1002/itl2.54⟩
- Accès au texte intégral et bibtex
-
- titre
- SMOF - A Safety MOnitoring Framework for Autonomous Systems
- auteur
- Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
- article
- IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
- Accès au texte intégral et bibtex
-
- titre
- Anomaly Detection and Diagnosis for Cloud services: Practical experiments and lessons learned
- auteur
- Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun, Kahina Lazri, Guthemberg Silvestre
- article
- Journal of Systems and Software, 2018, 139, pp.84-106. ⟨10.1016/j.jss.2018.01.039⟩
- Accès au texte intégral et bibtex
-
- titre
- Resilient Computing on ROS using Adaptive Fault Tolerance
- auteur
- Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
- article
- Journal of Software: Evolution and Process, 2018, 30 (3), pp.e1917. ⟨10.1002/smr.1917⟩
- Accès au texte intégral et bibtex
-
- titre
- State of the art of network protocol reverse engineering tools
- auteur
- Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
- article
- Journal of Computer Virology and Hacking Techniques, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
- Accès au texte intégral et bibtex
-
- titre
- IOMMU protection against I/O attacks: A vulnerability and a proof-of-concept
- auteur
- Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
- article
- Journal of the Brazilian Computer Society, 2018, 24, pp.Article number: 2. ⟨10.1186/s13173-017-0066-7⟩
- Accès au texte intégral et bibtex
-
- titre
- A language-based intrusion detection approach for automotive embedded networks
- auteur
- Ivan Studnia, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Youssef Laarouchi
- article
- International Journal of Embedded Systems, 2018, 10 (1), ⟨10.1504/IJES.2018.10010488⟩
- Accès au texte intégral et bibtex
-
- titre
- DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems
- auteur
- Angeliki Kritikakou, Thibaut Marty, Matthieu Roy
- article
- ACM Transactions on Design Automation of Electronic Systems, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩
- Accès au texte intégral et bibtex
-
- titre
- Convergence and covering on graphs for wait-free robots
- auteur
- Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
- article
- Journal of the Brazilian Computer Society, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Local Fast Failover Routing With Low Stretch
- auteur
- Klaus-Tycho Foerster, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- Computer Communication Review, 2018, 48 (1), pp.35-41. ⟨10.1145/3211852.3211858⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- A Comparison of the Homomorphic Encryption Libraries HElib, SEAL and FV-NFLlib
- auteur
- Carlos Aguilar Melchor, Marc-Olivier Killijian, Cédric Lefebvre, Thomas Ricosset
- article
- International Conference on Security for Information Technology and Communications (SECITC 2018), Nov 2018, Bucharest, Romania. pp.425-442, ⟨10.1007/978-3-030-12942-2_32⟩
- Accès au bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Tuning permissiveness of active safety monitors for autonomous systems
- auteur
- Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren
- article
- Nasa Formal Methods, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_23⟩
- Accès au texte intégral et bibtex
-
- 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
-
Pré-publication, Document de travail
- titre
- Architecture E/E et Logicielle pour les Systèmes Temps-Réels à Criticité Multiple : Etude Bibliographique
- auteur
- Daniel Loche
- article
- 2018
- Accès au texte intégral et bibtex
-
2017
Article dans une revue
- titre
- Reliability Enhancement of Redundancy Management in AFDX Networks
- auteur
- Meng Li, Guchuan Zhu, Yvon Savaria, Michaël Lauer
- article
- IEEE Transactions on Industrial Informatics, 2017, 13 (5), pp.2118-2129. ⟨10.1109/TII.2017.2732345⟩
- Accès au texte intégral et bibtex
-
- titre
- Safety-critical advanced robots: A survey
- auteur
- Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck
- article
- Robotics and Autonomous Systems, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient and secure outsourcing of genomic data storage
- auteur
- João Sá Sousa, Cédric Lefebvre, Zhicong Huang, Jean Louis Raisaro, Carlos Aguilar Melchor, Marc-Olivier Killijian, Jean-Pierre Hubaux
- article
- BMC Medical Genomics, 2017, 10 (S2), pp.1--17. ⟨10.1186/s12920-017-0275-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantifying Interdependent Privacy Risks with Location Data
- auteur
- Alexandra-Mihaela Olteanu, Kévin Huguenin, Reza Shokri, Mathias Humbert, Jean-Pierre Hubaux
- article
- IEEE Transactions on Mobile Computing, 2017, 16 (3), pp.829-842. ⟨10.1109/TMC.2016.2561281⟩
- Accès au texte intégral et bibtex
-
- titre
- Architecting resilient computing systems: A component-based approach for adaptive fault tolerance
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
- article
- Journal of Systems Architecture, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
- Accès au texte intégral et bibtex
-
- titre
- The many faces of graph dynamics
- auteur
- Yvonne Anne Pignolet, Matthieu Roy, Stefan Schmid, Gilles Trédan
- article
- Journal of Statistical Mechanics: Theory and Experiment, 2017, 2017 (6), pp.063401. ⟨10.1088/1742-5468/aa71ce⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- The topological face of recommendation: models and application to bias detection
- auteur
- Erwan Le Merrer, Gilles Trédan
- article
- Complex Networks, Nov 2017, Lyon, France
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- titre
- Confidence Assessment Framework for Safety Arguments
- auteur
- Rui Wang, Jérémie Guiochet, Gilles Motet
- article
- International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Synthesis of safety rules for active monitoring: application to an airport light measurement robot
- auteur
- Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval
- article
- IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.11⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
- auteur
- Fayollas Camille, Philippe Palanque, Jean-Charles Fabre, Célia Martinie de Almeida, Yannick Deleris
- article
- Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), Human–Computer Interaction Series book series (HCIS). ⟨10.1007/978-3-319-51838-1_20⟩
- Accès au bibtex
-
Pré-publication, Document de travail
- titre
- On the Infringement upon Natural Persons’ Data Protection Rights by Natural Persons — An EU-centred Analysis
- auteur
- Céline Castets-Renard, Kévin Huguenin, Mathias Humbert, Thibault Brunel
- article
- 2017
- Accès au bibtex
-
2016
Article dans une revue
- titre
- Souk: Spatial Observation of hUman Kinetics
- auteur
- Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon
- article
- Computer Networks, 2016, 111, pp.109-119. ⟨10.1016/j.comnet.2016.08.008⟩
- Accès au texte intégral et bibtex
-
- titre
- Meeting points in ridesharing: A privacy-preserving approach
- auteur
- Ulrich Matchi Aïvodji, Sébastien Gambs, Marie-José Huguet, Marc-Olivier Killijian
- article
- Transportation research. Part C, Emerging technologies, 2016, 72, pp.239 - 253. ⟨10.1016/j.trc.2016.09.017⟩
- Accès au texte intégral et bibtex
-
- titre
- Upper and Lower Bounds for Deterministic Broadcast in Powerline Communication Networks
- auteur
- Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan
- article
- Distributed Computing, 2016, 29 (4), pp.239-250. ⟨10.1007/s00446-016-0263-1⟩
- Accès au texte intégral et bibtex
-
- titre
- SecureRun: Cheat-Proof and Private Summaries for Location-Based Activities
- auteur
- Anh Pham, Kévin Huguenin, Igor Bilogrevic, Italo Dacosta, Jean-Pierre Hubaux
- article
- IEEE Transactions on Mobile Computing, 2016, 15 (8), pp.2109-2123. ⟨10.1109/TMC.2015.2483498⟩
- Accès au texte intégral et bibtex
-
- titre
- Outils pour la rétro-conception de protocoles : Analyse et classification
- auteur
- Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (6), pp.609-640. ⟨10.3166/tsi.35.609-640⟩
- Accès au texte intégral et bibtex
-
- titre
- XPIR : Private Information Retrieval for Everyone
- auteur
- Carlos Aguilar Melchor, Joris Barrier, Laurent Fousse, Marc-Olivier Killijian
- article
- Proceedings on Privacy Enhancing Technologies, 2016, avril 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient and Transparent Wi-Fi Offloading for HTTP(S) POSTs
- auteur
- Kévin Huguenin, Erwan Le Merrer, Nicolas Le Scouarnec, Gilles Straub
- article
- IEEE Transactions on Mobile Computing, 2016, 15 (4), pp.826-839. ⟨10.1109/TMC.2015.2442237⟩
- Accès au texte intégral et bibtex
-
- titre
- Hazard analysis of human–robot interactions with HAZOP–UML
- auteur
- Jérémie Guiochet
- article
- Safety Science, 2016, 84, pp. 225-237. ⟨10.1016/j.ssci.2015.12.017⟩
- Accès au texte intégral et bibtex
-
- titre
- Multicriteria Decision-Making Methodology for Systems Engineering
- auteur
- Vikas Shukla, Guillaume Auriol, Keith Hipel
- article
- IEEE Systems Journal, 2016, 10 (1), pp.4 - 14. ⟨10.1109/JSYST.2014.2344635⟩
- Accès au bibtex
-
- titre
- A Machine-Learning Based Approach to Privacy-Aware Information-Sharing in Mobile Social Networks
- auteur
- Igor Bilogrevic, Kévin Huguenin, Berker Ağir, Murtuza Jadliwala, Maria Gazaki, Jean-Pierre Hubaux
- article
- Pervasive and Mobile Computing, 2016, 25, pp.125-142. ⟨10.1016/j.pmcj.2015.01.006⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Anomaly Detection and Root Cause Localization in Virtual Network Functions
- auteur
- Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
- article
- 27th International Symposium on Software Reliability Engineering (ISSRE 2016), Oct 2016, Ottawa, Canada. pp.196 - 206, ⟨10.1109/ISSRE.2016.32⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- On the Privacy Implications of Location Semantics
- auteur
- Berker Ağir, Kévin Huguenin, Urs Hengartner, Jean-Pierre Hubaux
- article
- 16th Privacy Enhancing Technologies Symposium (PETS), Jul 2016, Darmstadt, Germany. pp.165-183, ⟨10.1515/popets-2016-0034⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- NFLlib: NTT-based Fast Lattice Library
- auteur
- Carlos Aguilar Melchor, Joris Barrier, Serge Guelton, Adrien Guinet, Marc-Olivier Killijian, Tancrede Lepoint
- article
- Cryptographers' Track at the RSA Conference 2016, Feb 2016, San Francisco, United States. pp.341-356, ⟨10.1007/978-3-319-29485-8_20⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- BG Distributed Simulation Algorithm
- auteur
- Matthieu Roy
- article
- Ming-Yang Kao. Encyclopedia of Algorithms, Springer New York, pp.199-203, 2016, 978-1-4939-2863-7. ⟨10.1007/978-1-4939-2864-4_611⟩
- Accès au texte intégral et bibtex
-
2015
Article dans une revue
- titre
- Replacing target setting by value models in the ‘house of quality’ for value-based requirements specifications
- auteur
- Xinwei Zhang, Hakki Eres, Claude Baron, Guillaume Auriol, Mario Kossmann
- article
- Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture, 2015, 229 (11), pp.2035 - 2046. ⟨10.1177/0954405414540296⟩
- Accès au bibtex
-
- titre
- Adversarial Topology Discovery in Network Virtualization Environments: A Threat for ISPs?
- auteur
- Y.-A Pignolet, Stefan Schmid, Gilles Trédan
- article
- Distributed Computing, 2015, 29, pp.91-108. ⟨10.1007/s00446-014-0217-4⟩
- Accès au texte intégral et bibtex
-
- 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
-
- titre
- Mapping Applications on Volatile Resources
- auteur
- Henri Casanova, Fanny Dufossé, Yves Robert, Frédéric Vivien
- article
- International Journal of High Performance Computing Applications, 2015, 29 (1), pp.19. ⟨10.1177/1094342013518806⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring
- auteur
- Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Guillaume Averlant
- article
- The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Nov 2015, Zhangjiajie, China. 10p., ⟨10.1109/PRDC.2015.46⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases
- auteur
- Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
- article
- 7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015), Sep 2015, Paris, France. ⟨10.1007/978-3-319-23129-7_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Data Stream Clustering for Online Anomaly Detection in Cloud Applications
- auteur
- Carla Sauvanaud, Guthemberg Silvestre, Mohamed Kaâniche, Karama Kanoun
- article
- 11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- titre
- Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime
- auteur
- Fayollas Camille, Célia Martinie, Philippe Palanque, Yannick Deleris
- article
- Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
2014
Article dans une revue
- titre
- Fiabilité de mission d’un avion. évaluation stochastique en opération
- auteur
- Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.777 - 807. ⟨10.3166/tsi.33.777-807⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards privacy-driven design of a dynamic carpooling system
- auteur
- Jesús Friginal, Sébastien Gambs, Jérémie Guiochet, Marc-Olivier Killijian
- article
- Pervasive and Mobile Computing, 2014, 14, pp.71-82. ⟨10.1016/j.pmcj.2014.05.009⟩
- Accès au texte intégral et bibtex
-
- titre
- Identification de vulnérabilités Web et génération de scénarios d'attaque
- auteur
- Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.809-840. ⟨10.3166/tsi.33.809-840⟩
- Accès au texte intégral et bibtex
-
- titre
- Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation
- auteur
- Meng Li, Michaël Lauer, Guchuan Zhu, Yvon Savaria
- article
- IEEE Transactions on Industrial Informatics, 2014, 10 (3), pp.1684-1695. ⟨10.1109/TII.2014.2315441⟩
- Accès au texte intégral et bibtex
-
- titre
- An Invariant-based Approach for Detecting Attacks against Data in Web Applications
- auteur
- Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy
- article
- International journal of secure software engineering, 2014, 5 (1), pp.19-38. ⟨10.4018/ijsse.2014010102⟩
- Accès au texte intégral et bibtex
-
- titre
- De-anonymization attack on geolocated data
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- Journal of Computer and System Sciences, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩
- Accès au texte intégral et bibtex
-
- titre
- An automated black box approach for web vulnerability identification and attack scenario generation
- auteur
- Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
- article
- Journal of the Brazilian Computer Society, 2014, 20 (1), pp.1--16. ⟨10.1186/1678-4804-20-4⟩
- Accès au texte intégral et bibtex
-
- titre
- End-to-end latency and temporal consistency analysis in networked real-time systems
- auteur
- Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont
- article
- International Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
- Accès au texte intégral et bibtex
-
- titre
- La sécurité des box ADSL. Analyse de risques et expérimentations
- auteur
- Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège
- article
- Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2014, 19 (6), pp.63-88. ⟨10.3166/isi.19.6.63-88⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- The Opinion Number of Set-Agreement
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
- article
- OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
- Accès au texte intégral et bibtex
-
- titre
- A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
- auteur
- Fayollas Camille, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
- article
- 20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21--30, ⟨10.1109/PRDC.2014.11⟩
- Accès au bibtex
-
- 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
-
- titre
- A Fault-Tolerant Architecture for Resilient Interactive Systems
- auteur
- Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
- article
- 26ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d'Interaction Homme-Machine; Université Lille 1; INRIA Lille - Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩
- Accès au bibtex
-
- titre
- Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes
- auteur
- Fayollas Camille, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
- article
- 26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014), Association Francophone d'Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
- Accès au texte intégral et bibtex
-
- titre
- An anomaly detection approach for scale-out storage systems
- auteur
- Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
- article
- 26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces
- auteur
- Fayollas Camille, Célia Martinie de Almeida, David Navarre, Philippe Palanque, Racim Mehdi Fahssi
- article
- 4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
- Accès au bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- An approach for assessing the impact of dependability on usability: application to interactive cockpits.
- auteur
- Camille Fayollas, Célia Martinie de Almeida, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
- article
- European Dependable Computing Conference, May 2014, Newcastle upon Tyne, UK, United Kingdom. pp.198--209, ⟨10.1109/EDCC.2014.17⟩
- Accès au bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Dynamic software updates vs AUTOSAR
- auteur
- Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
- article
- Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
- auteur
- Fayollas Camille, Philippe Palanque, Jean Charles Fabre, David Navarre, Yannick Deleris, Arnaud Hamon
- article
- Conference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
2013
Article dans une revue
- titre
- Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach
- auteur
- Fayollas Camille, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Deleris
- article
- International Journal of Critical Computer-Based Systems, 2013, Special Issue on Fault-Tolerant Computer Systems, 4 (3), pp.202-226. ⟨10.1504/IJCCBS.2013.058407⟩
- Accès au bibtex
-
- titre
- Aircraft Operational Reliability-A Model-based Approach and a Case Study
- auteur
- Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
- article
- Reliability Engineering and System Safety, 2013, 120, pp.163-176. ⟨10.1016/j.ress.2013.07.008⟩
- Accès au texte intégral et bibtex
-
- titre
- A vulnerability life cycle based security modeling and evaluation approach
- auteur
- Géraldine Vache Marconato, Mohamed Kaâniche, Vincent Nicomette
- article
- The Computer Journal, 2013, 56 (4), pp.422 - 439. ⟨10.1093/comjnl/bxs112⟩
- Accès au texte intégral et bibtex
-
- titre
- Evaluation quantitative de la sécurité: Approche basée sur les vulnérabilités
- auteur
- Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75
- Accès au bibtex
-
- titre
- évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités
- auteur
- Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75. ⟨10.3166/tsi.32.41-75⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Monitoring On-line Timing Information to Support Mixed-Critical Workloads
- auteur
- Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas
- article
- IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
2012
Article dans une revue
- titre
- Projet MIRAS : Robot d'assistance à la déambulation avec interaction multimodale
- auteur
- Viviane Pasqui, Ludovic Saint-Bauzel, Cong Zong, Xavier Clady, Philippe Decq, François Piette, Valérie Michel-Pellegrino, Amine El Helou, Michael Carré, Audrey Durand, Quynh Anh Do Hoang, Jérémie Guiochet, Pierre Rumeau, Vincent Dupourque, Julie Caquas
- article
- Innovation and Research in BioMedical engineering, 2012, 33 (2), pp.165-172
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Survey of Security Problems in Cloud Computing Virtual Machines
- auteur
- Ivan Studnia, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Vincent Nicomette
- article
- Computer and Electronics Security Applications Rendez-vous (C&ESAR 2012). Cloud and security:threat or opportunity, Nov 2012, Rennes, France. p. 61-74
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach
- auteur
- Fayollas Camille, David Navarre, Jean-Charles Fabre, Philippe Palanque, Yannick Deleris
- article
- 4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Sep 2012, Pisa, Italy. pp.32-46, ⟨10.1007/978-3-642-33176-3_3⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- AMORES: an architecture for mobiquitous resilient systems
- auteur
- Christian Artigues, Yves Deswarte, Jérémie Guiochet, Marie-José Huguet, Marc-Olivier Killijian, David Powell, Matthieu Roy, Christophe Bidan, Nicolas Prigent, Emmanuelle Anceaume, Sébastien Gambs, Gilles Guette, Michel Hurfin, Frédéric Schettini
- article
- ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩
- Accès au bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- System Dependability: Characterization and Benchmarking
- auteur
- Yves Crouzet, Karama Kanoun
- article
- A.Hurson, S.Sedigh. Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Elsevie, pp.93-139, 2012, 978-0-12-396525-7
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Supervision, surveillance et sûreté de fonctionnement des grands systèmes
- auteur
- Nada Matta, Yves Vanderboomgaerde, Jean Arlat
- article
- Hermes Science Publications, 2012, 978-2746238404
- Accès au bibtex
-
2011
Article dans une revue
- titre
- The many meanings of UML 2 Sequence Diagrams: a survey
- auteur
- Zoltán Micskei, Hélène Waeselynck
- article
- Software and Systems Modeling, 2011, 10 (4), pp.489-514. ⟨10.1007/s10270-010-0157-9⟩
- Accès au bibtex
-
- titre
- Show me how you move and I will tell you who you are
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- Transactions on Data Privacy, 2011, 4 (2), pp.103-126
- Accès au bibtex
-
- titre
- The HIDENETS holistic approach for the analysis of large critical mobile systems
- auteur
- Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, Istvan Majzik, Hans-Peter Schwefel
- article
- IEEE Transactions on Mobile Computing, 2011, 10 (6), pp.783-796. ⟨10.1109/TMC.2010.222⟩
- Accès au texte intégral et bibtex
-
- titre
- Set-up and deployment of a high-interaction honeypot: experiment and lessons learned
- auteur
- Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Matthieu Herrb
- article
- Journal in Computer Virology, 2011, 7 (2), pp.143-157. ⟨10.1007/s11416-010-0144-2⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Towards Temporal Mobility Markov Chains
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
- article
- 1st International Workshop on Dynamicity Collocated with OPODIS 2011, Toulouse, France, Dec 2011, Toulouse, France. 2 p
- Accès au texte intégral et bibtex
-
- titre
- Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
- auteur
- Adrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, Fayollas Camille
- article
- 17th Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, California, United States. pp.164-173, ⟨10.1109/PRDC.2011.28⟩
- Accès au bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Self-Checking Widgets for Interactive Cockpits
- auteur
- Adrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris
- article
- 13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pisa, Italy. pp.34-42, ⟨10.1145/1978582.1978592⟩
- Accès au bibtex
-
- 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
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- Tolerance of design faults
- auteur
- David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun
- article
- C.B. Jones, J.L. Lloyd. Dependable and Historic Computing, Springer, pp.428-452, 2011, Lecture Notes in Computer Science 6875
- Accès au texte intégral et bibtex
-
2010
Article dans une revue
- titre
- Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability
- auteur
- Katerina Goseva-Popstojanova, Karama Kanoun
- article
- IEEE Transactions on Software Engineering, 2010, 36 (3)
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Experience with Model-Based User-Centered Risk Assessment for Service Robots
- auteur
- Jérémie Guiochet, Damien Martin-Guillerez, David Powell
- article
- International High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
2009
Article dans une revue
- titre
- PolyOrBAC: a security framework for critical infrastructures
- auteur
- Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche
- article
- International journal of critical infrastructure protection, 2009, 2 (4), pp.154-169. ⟨10.1016/j.ijcip.2009.08.005⟩
- Accès au texte intégral et bibtex
-
- titre
- Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG
- auteur
- Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (1), pp.7-37
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- An approach for improving Fault-Tolerance in Automotive Modular Embedded Software
- auteur
- Caroline Lu, Jean-Charles Fabre, Marc-Olivier Killijian
- article
- 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.132-147
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Using OWA Operators for Gene Sequential Pattern Clustering
- auteur
- Jordi Nin, Paola Salle, Sandra Bringay, Maguelonne Teisseire
- article
- CBMS: Computer-Based Medical Systems, Aug 2009, Albuquerque, NM, United States. ⟨10.1109/CBMS.2009.5255363⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Pré-publication, Document de travail
- titre
- Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform
- auteur
- Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac, Christophe Zanon
- article
- 2009
- Accès au texte intégral et bibtex
-
2008
Article dans une revue
- titre
- Modeling the resilience of large and evolving systems
- auteur
- Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun
- article
- International Journal of Performability Engineering, 2008, 4 (2), pp.153-168
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- On-line Monitoring of Real Time Applications for Early Error Detection
- auteur
- Thomas Robert, Jean-Charles Fabre, Matthieu Roy
- article
- 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩
- Accès au bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
- auteur
- Ana-Elena E. Rugina, Karama Kanoun, Mohamed Kaâniche
- article
- 7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- titre
- Evaluation of a Real-Time Monitoring Framework
- auteur
- Thomas Robert, Matthieu Roy, Jean-Charles Fabre
- article
- Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Towards Adaptive Fault Tolerance in Embedded Systems
- auteur
- Thomas Pareaud, Jean-Charles Fabre, Marc-Olivier Killijian
- article
- Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Software dependability modeling using an industry-standard architecture description language
- auteur
- Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, Mohamed Kaâniche
- article
- 4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Windows and Linux Robustness Benchmarks With Respect to Application Erroneous Behavior
- auteur
- Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina
- article
- Karama Kanoun et Lisa Spainhower. Dependability Benchmarking for Computer Systems, IEEE Computer Society et WILEY, pp.227-254, 2008, 978-0-470-23055-8
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Dependability Benchmarking for Computer Systems
- auteur
- Karama Kanoun, Philip Koopman, Henrique Madeira, Lisa Spainhower
- article
- IEEE Computer Society; WILEY, pp.xiii-xviii, 2008, 978-0-470-23055-8
- Accès au texte intégral et bibtex
-
- 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
-
2007
Article dans une revue
- titre
- Sécurité des systèmes de la robotique médicale
- auteur
- Jérémie Guiochet, Gilles Motet, Bertrand Tondu, Claude Baron
- article
- Techniques de l'Ingenieur, 2007, Sécurité et gestion des risques, SE2
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices
- auteur
- Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell
- article
- 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007), Dec 2007, Melbourne, Australia. pp.139 - 146, ⟨10.1109/PRDC.2007.21⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
Pré-publication, Document de travail
- titre
- Experimental Evaluation of Ubiquitous Mobile Systems
- auteur
- Marc-Olivier Killijian, Nicolas Rivière, Matthieu Roy
- article
- 2007
- Accès au texte intégral et bibtex
-
2006
Article dans une revue
- titre
- Dependability Benchmarks for Operating Systems
- auteur
- Karama Kanoun, Yves Crouzet
- article
- International Journal of Performability Engineering, 2006, 2 (3), pp.275 - 287
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- An architecture-based dependability modeling framework using AADL
- auteur
- Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
- article
- IASTED International Conference on Software Engineering and Applications, Nov 2006, France. pp.222-227
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Pré-publication, Document de travail
- titre
- Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices
- auteur
- Ludovic Courtès, Marc-Olivier Killijian, David Powell
- article
- 2006
- Accès au texte intégral et bibtex
-
- titre
- A Survey of Cooperative Backup Mechanisms
- auteur
- Marc-Olivier Killijian, Ludovic Courtès, David Powell
- article
- 2006
- Accès au texte intégral et bibtex
-
2005
Article dans une revue
- titre
- Sûreté de Fonctionnement du Logiciel
- auteur
- Jean-Claude Laprie, Karama Kanoun
- article
- La Revue de l'électricité et de l'électronique, 2005, 11, pp.37-41
- Accès au texte intégral et bibtex
-
- titre
- Web service availability--impact of error recovery and traffic model
- auteur
- Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
- article
- Reliability Engineering and System Safety, 2005, 89 (1), pp.6-16. ⟨10.1016/j.ress.2004.08.003⟩
- Accès au bibtex
-
- titre
- A Seven-degrees-of-freedom Robot-arm Driven by Pneumatic Artificial Muscles for Humanoid Robots
- auteur
- Bertrand Tondu, Serge Ippolito, Jérémie Guiochet, Alain Daidié
- article
- The International Journal of Robotics Research, 2005, 24 (4), p.257-274. ⟨10.1177/0278364905052437⟩
- Accès au texte intégral et bibtex
-
- titre
- Vers un profil UML pour la conception de composants multivues
- auteur
- Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold, Bouchra El Asri, Xavier Crégut, Abdelaziz Kriouile
- article
- Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2005, 11 (4), ⟨10.3166/objet.11.4.83-113⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study
- auteur
- Cristina Simache, Mohamed Kaâniche
- article
- IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2005), Dec 2005, Changsha Hunan, China. pp.49-56, ⟨10.1109/PRDC.2005.20⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
2004
Article dans une revue
- titre
- Dependability modelling of instrumentation and control systems: a comaprison of competing architectures
- auteur
- Claudia Betous-Almeida, Karama Kanoun
- article
- Safety Science, 2004, 42 (5)
- Accès au texte intégral et bibtex
-
- titre
- An investigation on mutation strategies for fault injection into RDD-100 models
- auteur
- Mohamed Kaâniche, Yannick Le Guédard, Jean Arlat, Thierry Boyer
- article
- Safety Science, 2004, 42 (5), pp.385-403
- Accès au texte intégral et bibtex
-
- titre
- Construction and stepwise refinement of dependability models
- auteur
- Claudia Betous-Almeida, Karama Kanoun
- article
- Performance Evaluation, 2004, 56 (1-4), pp.277-306
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATION
- auteur
- Yves Crouzet, Ali Kalakech, Karama Kanoun, Jean Arlat
- article
- Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
2003
Article dans une revue
- titre
- Impact of internal and external software faults on the Linux kernel
- auteur
- Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
- article
- IEICE Transactions on Information and Systems, 2003, E86-D (12), pp.2571-2578
- Accès au bibtex
-
- titre
- Multi-Level Modeling Approach for the Availability Assessment of e-Business Applications
- auteur
- Mohamed Kaâniche, Karama Kanoun, Mourad Rabah
- article
- Software: Practice and Experience, 2003, 33 (14), pp.1323-1341. ⟨10.1002/spe.550⟩
- Accès au texte intégral et bibtex
-
- titre
- Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach
- auteur
- Mourad Rabah, Karama Kanoun
- article
- IEEE Transactions on Computers, 2003, 52 (2), ⟨10.1109/TC.2003.1176988⟩
- Accès au texte intégral et bibtex
-
- titre
- ORBAC : un modèle de contrôle d'accès basé sur les organisations
- auteur
- Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Frederic Cuppens, Yves Deswarte, Alexandre Miege, Claire Saurel, Gilles Trouessin
- article
- Cahiers francophones de la recherche en sécurité de l'information, 2003, 2, pp.30--40
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Integration of UML in human factors analysis for safety of a medical robot for tele-echography
- auteur
- Jérémie Guiochet, Bertrand Tondu, Claude Baron
- article
- IEEE/RSJ International Conference on Intelligent Robots and Systems, Intelligent Robots and Systems for Human Security, Health, and Prosperty IROS 2003, Las Vegas, USA, IEEE/RSJ, Oct 2003, Las Vegas, United States. pp.3212-3217, ⟨10.1109/IROS.2003.1249651⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- titre
- Organization based access control
- auteur
- Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Frederic Cuppens, Yves Deswarte, Alexandre Miege, Claire Saurel, Gilles Trouessin
- article
- 4th International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), IEEE, Jun 2003, Lake Como, Italy. pp.120--131, ⟨10.1109/POLICY.2003.1206966⟩
- Accès au texte intégral et bibtex
-
- titre
- Modèles et politiques de sécurité des systèmes d'information et de communication en santé et en social
- auteur
- Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Yves Deswarte, Rania El-Baida, Claire Saurel, Gilles Trouessin
- article
- 1ère Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers (GISEH'2003), Jan 2003, Lyon, France
- Accès au texte intégral et bibtex
-
2002
Communication dans un congrès
- titre
- Event log based dependability analysis of Windows NT and 2K systems
- auteur
- Cristina Simache, Mohamed Kaâniche, Ayda Saidane
- article
- Pacific Rim International Symposium on Dependable Computing (PRDC 2002), Dec 2002, Tsukuba, Japan. pp.311-315, ⟨10.1109/PRDC.2002.1185651⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
2001
Article dans une revue
- titre
- Real-word Design Diversity: a case study on cost
- auteur
- Karama Kanoun
- article
- IEEE Software, 2001, 18 (4), pp.29-33
- Accès au bibtex
-
- titre
- Safety, Reliability and Security of Industrial Computer Systems
- auteur
- Karama Kanoun, A Pasquini
- article
- Reliability Engineering and System Safety, 2001, 71 (3)
- Accès au texte intégral et bibtex
-
- 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
-
Communication dans un congrès
- titre
- Measurement-based availability analysis of Unix systems in a distributed environment
- auteur
- Cristina Simache, Mohamed Kaâniche
- article
- 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Nov 2001, Hong-Kong, Hong Kong SAR China. pp.346 - 355, ⟨10.1109/ISSRE.2001.989489⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- GUARDS: dependability evaluation, Chapter 9
- auteur
- Jean Arlat, Andrea Bondavalli, Felicita Di Giandomenico, Tahar Jarboui, Éric Jenn, Karama Kanoun, I Mura, David Powell
- article
- David Powell. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, Kluwer Academic Publishers, pp.157-192, 2001, 0-7923-7295-6
- Accès au bibtex
-
2000
Article dans une revue
- titre
- Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions Between Hardware and Software Components
- auteur
- Karama Kanoun, Marie Borrel
- article
- IEEE Transactions on Reliability, 2000, 49, pp.363 - 376
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Dependability engineering of complex computing systems
- auteur
- Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
- article
- 6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2000), Sep 2000, Tokyo, Japan. pp.36-46, ⟨10.1109/ICECCS.2000.873926⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- Dependability of computer control systems in power plants. Analytical and experimental evaluation
- auteur
- Claudia Betous-Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
- article
- F. Koornneff, M. Van der Meulen,. Lecture Notes in Computer Science 1943, Computer Safety, Reliability and Security, Springer, pp.165-175, 2000, 3-540-41186-0
- Accès au texte intégral et bibtex
-
1999
Article dans une revue
- titre
- Availability of CAUTRA, a Subset of the French Air Traffic Control System
- auteur
- Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
- article
- IEEE Transactions on Computers, 1999, 48 (5), pp.528 - 535. ⟨10.1109/12.769435⟩
- Accès au texte intégral et bibtex
-
- titre
- Dependability Evaluation of an Air Traffic Control Computing System
- auteur
- Nicolae Fota, Mohamed Kaâniche, Karama Kanoun
- article
- Performance Evaluation, 1999, 35 (3-4), pp.253-273
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Reliability analyses of workstation failure data
- auteur
- Sara Brocklehurst, Karama Kanoun, Jean-Claude Laprie, Bev Littlewood, Sylvain Metge, Peter Mellor, A. Tanner
- article
- Esprit Conference, (CEC-DGXIII), pp. 806-821., Nov 1999, Bruxelles, Belgium
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- Dependability evaluation of a distributed shared memory multiprocessor system
- auteur
- Mourad Rabah, Karama Kanoun
- article
- J.Hlavicka, E.Maehle, A.Pataricza. Dependable Computing — EDCC-3 Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings, 1667,, Springer, pp.42-59, 1999, Lecture Notes in Computer Science, 3-540-66483-1
- Accès au texte intégral et bibtex
-
- 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
-
1998
Communication dans un congrès
- titre
- A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture
- auteur
- Mohamed Kaâniche, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar Iyer, Rick Karcich
- article
- 28th IEEE International Symposium on Fault-Tolerant Computing, Jun 1998, Munich, Germany. pp.6-15
- Accès au texte intégral et bibtex
-
1997
Article dans une revue
- titre
- Fiabilité du logiciel : de la collecte des données à l'évaluation probabiliste
- auteur
- Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997, 16 (7), pp.865-895
- Accès au texte intégral et bibtex
-
1996
Communication dans un congrès
- titre
- Reliability of a commercial telecommunications system
- auteur
- Mohamed Kaâniche, Karama Kanoun
- article
- 7th International Symposium on Software Reliability Engineering (ISSRE'96), Oct 1996, White Plains, New York, United States. ⟨10.1109/ISSRE.1996.558807⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- Software reliability and system reliability
- auteur
- Jean-Claude Laprie, Karama Kanoun
- article
- M. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.27-69, 1996, 0-07-039400-8
- Accès au texte intégral et bibtex
-
- 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
-
1995
Chapitre d'ouvrage
- titre
- Architectural issues in software fault tolerance
- auteur
- Jean-Claude Laprie, Jean Arlat, Christian Beounes, Karama Kanoun
- article
- M. Lyu. Software Fault Tolerance,, Willey, Chapitre 3, 1995
- Accès au bibtex
-
1994
Article dans une revue
- titre
- SOFTWARE RELIABILITY TREND ANALYSES: FROM THEORETICAL TO PRACTICAL CONSIDERATIONS
- auteur
- Karama Kanoun, Jean-Claude Laprie
- article
- IEEE Transactions on Software Engineering, 1994, 20, pp.740 - 747
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- DATA COLLECTION FOR SOFTWARE RELIABILITY DATABASES
- auteur
- Karama Kanoun
- article
- 2nd International Coference on Reliability, maintainability and Safety (ICRMS), Jun 1994, Pékin, China. pp.3 - 10
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- FAULT TOLERANT COMPUTING
- auteur
- Jean-Claude Laprie, Jean Arlat, Christian Beounes, Karama Kanoun
- article
- Encyclopedia of Software Engineering, Vol.1, J.Marciniak, Ed.in Chief - Wiley Interscience, N°ISBN 0-471-54001-3, 1, pp.482 - 503, 1994
- Accès au texte intégral et bibtex
-
1993
Communication dans un congrès
- titre
- Experience in Software Reliability: From Data Collection to Quantitative Evaluation
- auteur
- Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
- article
- Fourth International Symposium on Software Reliability Engineering (ISSRE-1993), Nov 1993, Denver, United States. pp.234-245
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
Chapitre d'ouvrage
- titre
- Definition and analysis of hardware-and-software fault-tolerant architectures
- auteur
- Jean-Claude Laprie, Karama Kanoun, Jean Arlat, Christian Beounes
- article
- R.H. Thayer, A.D. McGettick. Software Engineering. A European Perspective, IEEE Computer Society Press, pp.256-268, 1993
- Accès au bibtex
-
1992
Article dans une revue
- titre
- X-ware reliability and availability modeling
- auteur
- Jean-Claude Laprie, Karama Kanoun
- article
- IEEE Transactions on Software Engineering, 1992, 18 (2), pp.130-147
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- The discrete time hyperexponential model for software reliability growth evaluation
- auteur
- Mohamed Kaâniche, Karama Kanoun
- article
- Third International Symposium on Software Reliability Engineering (ISSRE-1992), Oct 1992, Research Triangle Park, NC, United States. pp.64 - 75, ⟨10.1109/ISSRE.1992.285857⟩
- Accès au texte intégral et bibtex
-
- 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
-
Chapitre d'ouvrage
- titre
- Definition and analysis of hardware-and-software fault-tolerant architectures
- auteur
- Jean-Claude Laprie, Jean Arlat, Christian Beounes, Karama Kanoun
- article
- Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society Press technology Series, Los Alamitos, pp.5-17, 1992
- Accès au bibtex
-
- 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
-
1991
Article dans une revue
- titre
- A method for software reliability analysis and prediction, application to the TROPICO-R switching system.
- auteur
- Karama Kanoun, Marta Bastos-Martini, Georges Moreira de Souza
- article
- IEEE Transactions on Software Engineering, 1991, 17 (4), pp.334-344
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- THE ROLE OF TREND ANALYSIS IN SOFTWARE DEVELOPMENT AND VALIDATION
- auteur
- Karama Kanoun, Jean-Claude Laprie
- article
- IFAC Int. Conf. on Safety, Security and Reliability (SAFECOMP'91), Nov 1991, Trondheim, Norway. pp.169 - 172
- Accès au texte intégral et bibtex
-
- 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
-
Chapitre d'ouvrage
- titre
- Validation
- auteur
- Karama Kanoun, Jean Arlat, L. Burrill, Yves Crouzet, Susanne Graf, Eliane Martins, David Powell
- article
- D. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4
- Accès au bibtex
-
1990
Article dans une revue
- titre
- Analyse des défaillances et suivi de la validation du logiciel d'un équipement de télécommunication
- auteur
- Mohamed Kaâniche, Karama Kanoun, Sylvain Metge
- article
- Annals of Telecommunications - annales des télécommunications, 1990, 45 (11-12), pp.657-670
- Accès au bibtex
-
- titre
- Software reliability evaluation of the TROPICO-R switching system.
- auteur
- Karama Kanoun, Marta Bastos Martini, Georges Moreira de Souza
- article
- IEEE Transactions on Reliability, 1990, 39 (3), pp.369-379. ⟨10.1109/24.103020⟩
- Accès au bibtex
-
- titre
- DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS
- auteur
- Jean Arlat, Karama Kanoun, Jean-Claude Laprie
- article
- IEEE Transactions on Computers, 1990, 39, pp.504 - 513
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- The transformation approach to the modeling and evaluation of the reliability and availability growth
- auteur
- Jean-Claude Laprie, Christian Beounes, Mohamed Kaâniche, Karama Kanoun
- article
- The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩
- Accès au bibtex
-