2025
Article dans une revue
- titre
- Characteristics analysis of silicone gel electrical treeing for power device packaging under high temperature coupled square wave pulse electric field
- auteur
- Yue Wang, Dongxin He, Keming Liu, Junyu Wei, Yunhao Li, Rui Wang, Abderrahmane Beroual, Usama Khaled
- article
- IEEE Transactions on Dielectrics and Electrical Insulation, 2025, pp.1-1. ⟨10.1109/TDEI.2025.3574949⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Towards programming languages free of injection-based vulnerabilities by design
- auteur
- Eric Alata, Pierre-François Gimenez
- article
- LangSec 2025 - Eleventh Language-theoretic Security Workshop at IEEE Security & Privacy Symposium, May 2025, San Francisco CA, United States. pp.1-17
- Accès au texte intégral et bibtex
-
- titre
- Une classification des techniques de manipulation utilisées dans les attaques d’ingénierie sociale et les biais cognitifs, les besoins, les normes et les émotions sous-jacents
- auteur
- Antony Dalmiere, Vincent Nicomette, Guillaume Auriol, Pascal Marchand
- article
- Thcon25, Apr 2025, Toulouse, France
- Accès au texte intégral et bibtex
-
2024
Article dans une revue
- titre
- Confidence assessment in safety argument structure - Quantitative vs. qualitative approaches
- auteur
- Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
- article
- International Journal of Approximate Reasoning, 2024, 165, pp.109100. ⟨10.1016/j.ijar.2023.109100⟩
- Accès au texte intégral et bibtex
-
- titre
- Acceleration of Classic McEliece Post-Quantum Cryptosystem with Cache Processing
- auteur
- Cyrius Nugier, Vincent Migliore
- article
- IEEE Micro, 2024, 44 (1), pp.59 - 68. ⟨10.1109/MM.2023.3304425⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
- auteur
- Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Koenigsbuch, Nicolas Schneider, Hélène Waeselynck, Dennis Wilson
- article
- ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Sep 2024, Vienne, Austria. pp.920-931, ⟨10.1145/3650212.3680331⟩
- Accès au texte intégral et bibtex
-
- titre
- Wireless Modulation Identification: filling the gap in IoT networks security audit
- auteur
- Florent Galtier, Guillaume Auriol, Vincent Nicomette, Paul L R Olivier, Romain Cayre, Mohamed Kaâniche
- article
- 21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '24), Jul 2024, Lausanne, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring
- auteur
- Khoi Tran Dang, Kevin Delmas, Jérémie Guiochet, Joris Guérin
- article
- Uncertainty in Artificial Intelligence (UAI), PMLR, Jul 2024, Barcelone, Spain
- Accès au texte intégral et bibtex
-
- titre
- OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers
- auteur
- Romain Cayre, Vincent Nicomette, Guillaume Auriol, Mohamed Kaâniche, Aurélien Francillon
- article
- 2024 ACM Asia conference on Computer and Communications Security (ASIACCS)., Jul 2024, Singapore, Singapore
- Accès au texte intégral et bibtex
-
- titre
- Approche intégrée pour la modélisation et la simulation des systèmes à structure dynamique
- auteur
- Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa
- article
- Colloque National du GDR SoC2, Jun 2024, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Toward Context-aware Security for Individual Information Systems
- auteur
- Van-Tien Nguyen, Guillaume Doyen, Van-Tien Nguyen, Renzo E Navas, Eric Alata, Daniela Dragomirescu
- article
- RESSI 2024 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France
- Accès au texte intégral et bibtex
-
- titre
- Lightweight Security for IoT Systems leveraging Moving Target Defense and Intrusion Detection
- auteur
- Van-Tien Nguyen, Renzo Efrain Navas, Guillaume Doyen
- article
- NOMS 2024-2024 IEEE/IFIP Network Operations and Management Symposium, IEEE, May 2024, Seoul, South Korea. ⟨10.1109/NOMS59830.2024.10575913⟩
- Accès au texte intégral et bibtex
-
- titre
- An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systems
- auteur
- Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
- article
- 2024 19th European Dependable Computing Conference (EDCC), KU leuven, Apr 2024, Leuven (BE), Belgium. ⟨10.1109/EDCC61798.2024.00033⟩
- Accès au texte intégral et bibtex
-
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
- Algorithmic audits of algorithms, and the law
- auteur
- Erwan Le Merrer, Ronan Pons, Gilles Trédan
- article
- AI and Ethics, 2023, pp.1-21. ⟨10.1007/s43681-023-00343-z⟩
- 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
- Synchronous t-resilient consensus in arbitrary graphs
- auteur
- Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
- article
- Information and Computation, 2023, 292, pp.105035. ⟨10.1016/j.ic.2023.105035⟩
- 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
- A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing
- auteur
- Maria Laura Brzezinski Meyer, Hélène Waeselynck, Fernand Cuesta
- article
- 23rd IEEE International Conference on Software Quality, Reliability & Security (QRS 2023), Oct 2023, Chiang Mai, Thailand. ⟨10.1109/QRS60937.2023.00045⟩
- Accès au texte intégral et bibtex
-
- titre
- SENA: Similarity-based Error-checking of Neural Activations
- auteur
- Raul Sena Ferreira, Joris Guerin, Jeremie Guiochet, Hélène Waeselynck
- article
- 27th European Conference on Artificial Intelligence - ECAI 2023, Sep 2023, Krakow, Poland
- Accès au texte intégral et bibtex
-
- titre
- Change-Relaxed Active Fairness Auditing
- auteur
- Augustin Godinot, Erwan Le Merrer, Gilles Trédan, Camilla Penzo, François Taïani
- article
- RJCIA 2023 - 21e Rencontres des Jeunes Chercheurs en Intelligence Artificiel, Association Française pour l'Intelligence Artificielle, Jul 2023, Strasbourg, France. pp.91-96
- Accès au texte intégral et bibtex
-
- 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. ⟨10.1109/NEWCAS57931.2023.10198088⟩
- 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 Ferreira, Jérémie Guiochet
- article
- The 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States. pp.14829-14837, ⟨10.1609/aaai.v37i12.26732⟩
- 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
- Conception d'architectures robotiques fiables basée sur les skills
- 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
- Workshop CARS 2022 - 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, ⟨10.1007/978-3-031-14835-4_8⟩
- 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
- Optimisation conjointe du contenu sémantique et du temps d'exécution pour une tâche robotisée de saisie d'objet
- auteur
- Frédéric Lerasle, Joris Guérin, Kimberley Gaume
- article
- Reconnaissance des Formes, Images, Apprentissage et Perception (RFIAP), Jul 2022, Vannes (Bretagne), 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
- 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 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
- 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, Philadelphie, 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, Pittsburgh, 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
-
- titre
- Epidemiology Forecasting of COVID-19 Using AI—A Survey
- auteur
- Igor Gadelha Pereira, Andouglas Gonçalves da Silva Junior, Dunfrey Pires Aragão, Emerson Vilar de Oliveira, Arthur Andrade Bezerra, Francinaldo de Almeida Pereira, Julio Gustavo F. S. Costa, Jordan Salas Cuno, Davi Henrique dos Santos, Joris Michel Guerin, Aura Conci, Esteban Walter Gonzalez Clua, Cosimo Distante, Luiz Marcos Garcia Gonçalves
- article
- Computational Intelligence for COVID-19 and Future Pandemics, Springer Singapore, pp.89-120, 2022, Disruptive Technologies and Digital Transformations for Society 5.0, 978-981-16-3782-7. ⟨10.1007/978-981-16-3783-4_5⟩
- Accès au 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
- 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
- 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
- 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, Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩
- 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 Theraulaz, 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
- 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
- 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
- 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, 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
- Ordonnancement Sûr sur Multicoeurs: une approche conciliant la criticité multiple et les échéances bout-en-bout
- 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
-
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
- 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
- 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
- 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
- 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
- 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
- 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
- Utilisation de multicœur pour les systèmes automobiles à criticité multiple : une approche sûre d'ordonnancement
- 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
-
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
-
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
- 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
- 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
- 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
- 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
- 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
- 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
- Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, 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), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Yvonne-Anne 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
- 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
- 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
- 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
- Camille Fayollas, 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
- Camille Fayollas, 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
- Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes
- 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
- 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), 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
- Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Racim 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
- 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
- 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
- An approach for assessing the impact of dependability on usability: application to interactive cockpits.
- auteur
- Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
- article
- European Dependable Computing Conference, May 2014, Newcastle upon Tyne, 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
- Camille Fayollas, 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
- Camille Fayollas, 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
- 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
- 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
- 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
- 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
- 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
- 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, Paderborn, 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, 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
- Camille Fayollas, 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
-
- titre
- Intrusion-tolerant fine-grained authorization for Internet applications
- auteur
- Vincent Nicomette, David Powell, Y. Deswarte, Noreddine Abghour, Christophe Zanon
- article
- Journal of Systems Architecture, 2011, 57 (4), pp.441-451. ⟨10.1016/j.sysarc.2010.05.005⟩
- Accès au 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, Camille Fayollas
- 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
- 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
- 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
- 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
-
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
- 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
-
- 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
-
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'Ingénieur, 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
-
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
-
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
- 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
-
- 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
-
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
-