Publications HAL du labo/EPI LAAS de la collection LAAS-INFORMATIQUE-CRITIQUE

2021

Conference papers

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 2021, Perth, Australia
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02962655/file/A_PSD_based_fingerprint_approach_for_IoT_devices.pdf BibTex

2020

Journal articles

titre
Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics
auteur
Mohammed Foughali, Pierre-Emmanuel Hladik
article
Journal of Systems Architecture, Elsevier, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02864928/file/main.pdf BibTex
titre
Toward an Improved Monitoring of Engineering Projects
auteur
Rui Xue, Claude Baron, Philippe Esteban, Jian-Bo Yang, Li Zheng
article
IEEE Transactions on Systems, Man, and Cybernetics: Systems, IEEE, 2020, 50 (10), pp.3541 - 3553. ⟨10.1109/TSMC.2018.2884196⟩
Accès au bibtex
BibTex
titre
Collective Information Processing in Human Phase Separation
auteur
Bertrand Jayles, Ramon Escobedo, Roberto Pasqua, Christophe Zanon, Adrien Blanchet, Matthieu Roy, Gilles Trédan, Guy Théraulaz, Clément Sire
article
Philosophical Transactions of the Royal Society B: Biological Sciences, Royal Society, The, 2020, 375 (1807), ⟨10.1098/rstb.2019.0801⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02393253/file/Blanchet_34923.pdf BibTex
titre
About adopting a systemic approach to design connected embedded systems: A MOOC promoting systems thinking and systems engineering
auteur
Claude Baron, Brigitte Daniel-Allegro
article
Systems Engineering, Wiley, 2020, 23 (3), pp.261-280. ⟨10.1002/sys.21513⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02308315/file/BARON-ALLEGRO%20submitted%20revised%20version%202019.10.10%20%281%29.pdf BibTex
titre
Counting Petri net markings from reduction equations
auteur
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 22, pp.163-181. ⟨10.1007/s10009-019-00519-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02125337/file/sttt.pdf BibTex
titre
The virtual lands of Oz: testing an agribot in simulation
auteur
Clément Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes
article
Empirical Software Engineering, Springer Verlag, 2020, 25 (3), pp.2025-2054. ⟨10.1007/s10664-020-09800-3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02436216/file/main_revised.pdf BibTex
titre
Experimental evaluation of three value recommendation methods in interactive configuration
auteur
Hélène Fargier, Pierre-François Gimenez, Jérôme Mengin
article
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2020, 26 (3), pp.318-342
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02940706/file/fargier_26296.pdf BibTex

Conference papers

titre
Investigating the use of a model-based approach to assess automotive embedded software safety
auteur
Yandika Sirgabsou, Claude Baron, Cyril Bonnard, Laurent Pahun, Lorenzo Grenier, Philippe Esteban
article
13th International Conference on Modeling, Optimization and Simulation (MOSIM20), Nov 2020, AGADIR, Morocco
Accès au bibtex
BibTex
titre
Adopting a model-based approach for satellite operations' diagnosis
auteur
Nikolena Christofi, Claude Baron, X Pucel, M Pantel, M Machin, C Ducamp
article
13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02946817/file/Christofi_et_al__Adopting_a_model_based_approach_for_satellite_operations_diagnosis_6th.pdf BibTex
titre
Bug ou ban ? Une Perspective Topologique sur le Shadow Banning
auteur
Erwan Le Merrer, Benoît Morgan, Gilles Trédan
article
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02875595/file/LMMT-shadowbanning-algotel20.pdf BibTex
titre
Belief functions for safety arguments confidence estimation : A comparative study
auteur
Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
article
The 14th International Conference on Scalable Uncertainty Management (SUM2020), Sep 2020, Bolzano, Italy
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02900485/file/Belief%20functions%20for%20safety%20arguments%20confidence.pdf BibTex
titre
Clustering Sargassum Mats from Earth Observation Data
auteur
Estèle Glize, Marie-José Huguet, Marc Lucas, Marion Sutton, Gilles Trédan
article
Machine Learning for Earth Observation - MACLEAN 2020, Sep 2020, Ghent, Belgium
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02938183/file/FINAL2-maclean2020.pdf BibTex
titre
Testing an Underwater Robot Executing Transect Missions in Mayotte
auteur
Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, Didier Crestani
article
21st Towards Autonomous Robotic Systems Conference (TAROS), Sep 2020, Virtual, United Kingdom
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02895512/file/TAROS_2020_VFinale.pdf BibTex
titre
REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection
auteur
Yuxiao Mao, Vincent Migliore, Vincent Nicomette
article
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genova, Italy. ⟨10.1109/EuroS&PW51379.2020.00100⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02949624/file/Mao%20et%20al.%20-%202020%20-%20REHAD%20Using%20Low-Frequency%20Reconfigurable%20Hardware.pdf BibTex
titre
A Short Overview on Diagnosability of Patterns in Timed Petri Net
auteur
Éric Lubat, Silvano Dal Zilio
article
14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02899522/file/MOVEP.pdf BibTex
titre
WazaBee : attaque de réseaux Zigbee par détournement de puces Bluetooth Low Energy
auteur
Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato
article
Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2020), Jun 2020, Rennes, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02778262/file/SSTIC2020-Article-wazabee_attaque_de_reseaux_zigbee_par_detournement_de_puces_bluetooth_low_energy-galtier_marconat_AhcLCGU.pdf BibTex
titre
Quality Quantification Applied to Automotive Embedded Systems and Software Advances with qualimetry science
auteur
Yann Argotti, Claude Baron, Philippe Esteban, Denis Chaton
article
Embedded Real Time Systems (ERTS) 2020, Jan 2020, Toulouse, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02382316/file/ERTS2020%20-%20Quality%20Quantification%20Applied%20to%20Automotive%20Embedded%20Systems%20and%20Software%20-%20Advances%20with%20Qualimetry%20Science%20-%20Argotti%20et%20al-%20Final.pdf BibTex

2019

Journal articles

titre
Verifying parallel dataflow transformations with model checking and its application to FPGAs
auteur
Robert Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew Wallace
article
Journal of Systems Architecture, Elsevier, 2019, 101, pp.101657. ⟨10.1016/j.sysarc.2019.101657⟩
Accès au bibtex
BibTex
titre
Vers une certification continue des logiciels critiques en aéronautique
auteur
Vincent Louis, Claude Baron
article
Les Techniques de l'Ingenieur, Editions T.I., 2019, pp.Réf : H8060 v1
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02372069/file/2019%2011%2025%20V-Finale%20livr%C3%A9e-certification%20continue.pdf BibTex
titre
Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods
auteur
Raymond Devillers, Thomas Hujsa
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 169 (1-2), pp.1 - 30. ⟨10.3233/FI-2019-1837⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02332309/file/WMG-FI-DH.pdf BibTex
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, EDP Sciences, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02189482/file/ArticleJ3eA2019_final.pdf BibTex
titre
Adversarial frontier stitching for remote neural network watermarking
auteur
Erwan Le Merrer, Patrick Pérez, Gilles Trédan
article
Neural Computing and Applications, Springer Verlag, 2019, 32 (13), pp.9233-9244. ⟨10.1007/s00521-019-04434-z⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02264449/file/main-nca.pdf BibTex
titre
Computer-Security-Oriented Escape Room
auteur
Erwan Beguin, Solal Besnard, Adrien Cros, Barbara Joannes, Ombeline Leclerc-Istria, Alexa Noel, Nicolas Roels, Faical Taleb, Jean Thongphan, Eric Alata, Vincent Nicomette
article
IEEE Security and Privacy Magazine, Institute of Electrical and Electronics Engineers, 2019, 17 (4), pp.78-83. ⟨10.1109/MSEC.2019.2912700⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02297796/file/escape_room.pdf BibTex
titre
A Methodology for Requirement Volatility and Traceability
auteur
Abd-El-Kader Sahraoui, Abdelaziz Babiker
article
International Journal of Computer Science and Software Engineering, 2019, 8 (4), pp.86-98
Accès au bibtex
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, Elsevier, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02012942/file/JAR_v12-revised.pdf BibTex
titre
Smart-TV security: risk analysis and experiments on Smart-TV communication channels
auteur
Yann Bachy, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
article
Journal of Computer Virology and Hacking Techniques, Springer, 2019, 15 (1), pp.61-76. ⟨10.1007/s11416-018-0320-3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01761974/file/jicv_v3.pdf BibTex
titre
ERP Critical Success Factors: Software system Engineering Perspective
auteur
Nafisa Osman, Abd-El-Kader Sahraoui
article
International Journal of Computers and Applications, ACTA Press, 2019, 182 (42), pp.35-42. ⟨10.5120/ijca2019918501⟩
Accès au bibtex
BibTex
titre
Analysis of the transitions between flow patterns in open-channel lateral cavities with increasing aspect ratio
auteur
Emmanuel Mignot, Wei Cai, Nicolas Rivière
article
Environmental Fluid Mechanics, Springer Verlag, 2019, 19 (1), pp.231-253. ⟨10.1007/s10652-018-9620-x⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02381227/file/Mignot_Cavity_PIV_EFM.pdf BibTex
titre
Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems
auteur
Achour Mostefaoui, Michel Raynal, Matthieu Roy
article
Computing, Springer Verlag, 2019, 101 (1), pp.3-17. ⟨10.1007/s00607-018-0615-8⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01784210/file/computing-2018-author.pdf BibTex

Conference papers

titre
The tool TWINA construction d'espaces d'états abstrait pour l'intersection de Time Petri nets
auteur
Éric Lubat
article
12ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2019), Nov 2019, Angers, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02432695/file/MSR19_paper_22%20%281%29.pdf BibTex
titre
Simulation-based testing to improve safety of autonomous robots
auteur
Luca Vittorio Sartori
article
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2019, Berlin, Germany. ⟨10.1109/ISSREW.2019.00053⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02495251/file/ISSRE_2019_DS_LVSartori_HAL_LAAS_version.pdf BibTex
titre
Mirage: towards a Metasploit-like framework for IoT
auteur
Romain Cayre, Vincent Nicomette, Guillaume Auriol, Eric Alata, Mohamed Kaâniche, Geraldine Marconato
article
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02346074/file/ISSRE_HAL.pdf BibTex
titre
On Reconciling Schedulability Analysis and Model Checking in Robotics
auteur
Mohammed Foughali
article
MEDI Workshops. 9th International Conference on Model and Data Engineering, Oct 2019, Toulouse, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02346015/file/paper_10.pdf BibTex
titre
Synchronous t-Resilient Consensus in Arbitrary Graphs
auteur
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
article
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
Accès au bibtex
BibTex
titre
Tasks in Modular Proofs of Concurrent Algorithms
auteur
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
article
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02903005/file/castaneda_26273.pdf BibTex
titre
Application-aware adaptive partitioning for graph processing systems
auteur
Erwan Le Merrer, Gilles Trédan
article
MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.235-240, ⟨10.1109/MASCOTS.2019.00033⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02193594/file/main.pdf BibTex
titre
Using Systems Engineering to Model the Interaction of the Pilot, the Aircraft, and the Procedures
auteur
Vatsal Pant, Jean-Charles Chaudemar, Hamid Demmou
article
5th International Symposium on Systems Engineering (ISSE 2019), Oct 2019, Edinburgh, United Kingdom. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02399717/file/Pant_25178.pdf BibTex
titre
Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability
auteur
Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
article
5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02303216/file/CARS_2019_paper_2.pdf BibTex
titre
Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability
auteur
Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
article
CARS - 5th Critical Automotive applications: Robustness & Safety (EDCC - Cars Workshop), Sep 2019, Naples, Italy
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02302486/file/CARS2019_Mixed_Critical_Automotive_Embedded_Applications_on_Multicores_A_Safe_Scheduling_Approach_for_Dependability.pdf BibTex
titre
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
auteur
Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
article
17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02263832/file/main.pdf BibTex
titre
Statistical Model Checking of Complex Robotic Systems
auteur
Mohammed Foughali, Félix Ingrand, Cristina Seceleanu
article
26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02152286/file/main.pdf BibTex
titre
A Topological Perspective on Distributed Network Algorithms
auteur
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
article
26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩
Accès au bibtex
BibTex
titre
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems
auteur
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
article
International Workshop on Algorithms & Theories for the Analysis of Event Data 2019, Jun 2019, Aachen, Germany
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02332213/file/ATAED19-DEH.pdf BibTex
titre
Repeatable Decentralized Simulations for Cyber-Physical Systems
auteur
Christophe Reymann, Mohammed Foughali, Simon Lacroix
article
International Conference on Software Quality, Reliability and Security (QRS), Jun 2019, Sofia, Bulgaria
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02156842/file/qrs-66.pdf BibTex
titre
Un méta-modèle pour la représentation de systèmes à structure dynamique applicable à la reconfiguration dynamique partielle
auteur
Clément Foucher, Min Zhu
article
Colloque 2019 du GDR SOC², Jun 2019, Montpellier, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02163759/file/GDR_SOC_Meta-modele_RDP_Foucher.pdf BibTex
titre
Mirage : un framework offensif pour l'audit du Bluetooth Low Energy
auteur
Romain Cayre, Jonathan Roux, Eric Alata, Vincent Nicomette, Guillaume Auriol
article
Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2019), Jun 2019, Rennes, France. pp.229-258
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02268774/file/SSTIC2019-Article-mirage_un_framework_offensif_pour_laudit_du_bluetooth_low_energy-alata_auriol_roux_cayre_nicomette.pdf BibTex
titre
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, D. Vignolles
article
6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02307883/file/Colloque_p_dagogique_INSA.pdf BibTex
titre
CASA: Congestion and Stretch Aware Static Fast Rerouting
auteur
Klaus-Tycho Foerster, Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan
article
IEEE Conference on Computer Communications (IEEE INFOCOM 2019), Apr 2019, Paris, France. ⟨10.1109/INFOCOM.2019.8737438⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02043761/file/infocom2019e.pdf BibTex
titre
Graphical program transformations for embedded systems
auteur
Robert Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew Wallace
article
34th ACM/SIGAPP Symposium on Applied Computing (SAC), Apr 2019, Limassol, Cyprus. pp.647-649, ⟨10.1145/3297280.3297555⟩
Accès au bibtex
BibTex
titre
Quality quantification in Systems Engineering from the Qualimetry Eye
auteur
Yann Argotti, Claude Baron, Philippe Esteban
article
IEEE International Systems Conference (SysCon) (IEEE SysCon 2019), IEEE, Apr 2019, Orlando, United States. ⟨10.1109/SYSCON.2019.8836756⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02010891/file/Quality%20quantification%20in%20System%20Engineering%20from%20the%20Qualimetry%20eye%20-%20Argotti%20et%20al.pdf BibTex
titre
Presentation of the 9th Edition of the Model Checking Contest
auteur
Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, Lom Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew Miner, Emmanuel Paviot-Adet, Jiří Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
article
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Accès au bibtex
BibTex

Book sections

titre
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach
auteur
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
article
Transactions on Petri Nets and Other Models of Concurrency XIV, Springer, pp.172-191, 2019, 978-3-662-60650-6. ⟨10.1007/978-3-662-60651-3_7⟩
Accès au bibtex
https://arxiv.org/pdf/1911.00474 BibTex

2018

Journal articles

titre
Modelling Confidence in Railway Safety Case
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
article
Safety Science, Elsevier, 2018, pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01661045/file/SSv17_HAL.pdf BibTex
titre
Load-Optimal Local Fast Rerouting for Dense Networks
auteur
Michael Borokhovich, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
IEEE/ACM Transactions on Networking, IEEE/ACM, 2018, 26 (6), pp.2583-2597. ⟨10.1109/TNET.2018.2871089⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02043798/file/ton18failover.pdf BibTex
titre
SynchroState: A SPEM-based Solution for Synchronizing Activities and Products through State Transitions
auteur
Amal Rochd, Maria Zrikem, Thierry Millan, Christian Percebois, Claude Baron, Abderrahmane Ayadi
article
International Arab Journal of Information Technology, Colleges of Computing and Information Society (CCIS), 2018, 15 (6), pp.951-961
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02382302/file/International%20Arab%20Journal%20of%20Information%20Technology.pdf BibTex
titre
Addressing scalable, optimal and secure communications over LoRa networks: challenges and research directions
auteur
Nicola Accettura, Eric Alata, Pascal Berthou, Daniela Dragomirescu, Thierry Monteil
article
Internet Technology Letters, Wiley, 2018, 1 (4), pp.e54. ⟨10.1002/itl2.54⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02063758/file/LoRaWAN-main.pdf BibTex
titre
Toward Requirements and Design Traceability Using Natural Language Processing
auteur
Abd-El-Kader Sahraoui, Omer Salih Dawood
article
European Journal of engineering research and science, 2018, 7 (3), ⟨10.24018/ejers.2018.3.7.807⟩
Accès au bibtex
BibTex
titre
SMOF - A Safety MOnitoring Framework for Autonomous Systems
auteur
Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
article
IEEE Transactions on Systems, Man, and Cybernetics: Systems, IEEE, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01394139/file/revue9.pdf BibTex
titre
Anomaly Detection and Diagnosis for Cloud services: Practical experiments and lessons learned
auteur
Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun, Kahina Lazri, Guthemberg Silvestre
article
Journal of Systems and Software, Elsevier, 2018, 139, pp.84-106. ⟨10.1016/j.jss.2018.01.039⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01864357/file/SauvanaudJSS-Vauteur.pdf BibTex
titre
Requirements Changing in System Engineering and Impact on Safety
auteur
Abdelaziz Babiker, Abd-El-Kader Sahraoui
article
International Journal of Computer Applications in Technology, Inderscience, 2018, 180 (37), pp.5-9. ⟨10.5120/ijca2018916915⟩
Accès au bibtex
BibTex
titre
Resilient Computing on ROS using Adaptive Fault Tolerance
auteur
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
article
Journal of Software: Evolution and Process, John Wiley & Sons, Ltd., 2018, 30 (3), pp.e1917. ⟨10.1002/smr.1917⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01703968/file/JSME-auteur.pdf BibTex
titre
State of the art of network protocol reverse engineering tools
auteur
Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
Journal of Computer Virology and Hacking Techniques, Springer, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01496958/file/jicv_SoA_ProtRE.pdf BibTex
titre
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, Springer Verlag, 2018, 24, pp.Article number: 2. ⟨10.1186/s13173-017-0066-7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02877143/file/journal.pdf BibTex
titre
Local Fast Failover Routing With Low Stretch
auteur
Klaus-Tycho Foerster, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
Computer Communication Review, Association for Computing Machinery, 2018, 48 (1), pp.35-41. ⟨10.1145/3211852.3211858⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02043783/file/ccr18failover.pdf BibTex
titre
From PLM to ERP : A software systems engineering integration
auteur
Nafisa Osman, Abd-El-Kader Sahraoui
article
International Journal of Software Engineering & Applications, AIRCC Publishing Corporation, 2018, 9 (1), pp.11-27. ⟨10.5121/ijsea.2018.9102⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01704409/file/from%20plm%20to%20erp%20integration__.pdf BibTex
titre
A Software Requirement Engineering Framework to Enhance Critical Success Factors for ERP Implementation
auteur
Nafisa Osman, Abd-El-Kader Sahraoui
article
International Journal of Computer Applications, Foundation of Computer Science, 2018, 180 (10), pp.32-37. ⟨10.5120/ijca2018916170⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01704403/file/erp_csf.pdf BibTex
titre
DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems
auteur
Angeliki Kritikakou, Thibaut Marty, Matthieu Roy
article
ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01559696/file/DYNAMIC_final.pdf BibTex
titre
Convergence and covering on graphs for wait-free robots
auteur
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
article
Journal of the Brazilian Computer Society, Springer Verlag, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01740338/file/wait-free-robots.pdf BibTex
titre
A language-based intrusion detection approach for automotive embedded networks
auteur
Ivan Studnia, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Youssef Laarouchi
article
International Journal of Embedded Systems, Inderscience, 2018, 10 (1), ⟨10.1504/IJES.2018.10010488⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01803432/file/Studnia2018-depotHal.pdf BibTex

Conference papers

titre
A Comparison of the Homomorphic Encryption Libraries HElib, SEAL and FV-NFLlib
auteur
Carlos Aguilar Melchor, Marc-Olivier Killijian, Cédric Lefebvre, Thomas Ricosset
article
International Conference on Security for Information Technology and Communications (SECITC 2018), Nov 2018, Bucharest, Romania. pp.425-442, ⟨10.1007/978-3-030-12942-2_32⟩
Accès au bibtex
BibTex
titre
Anomaly based Intrusion Detection for an Avionic Embedded System
auteur
Aliénor Damien, Marc Fumey, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
Aerospace Systems and Technology Conference (ASTC-2018), Nov 2018, Londres, United Kingdom
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01967646/file/Avionic_HIDS_ADAMIEN_CameraReady_HAL.pdf BibTex
titre
SAAC: Secure Android Application Context a Runtime Based Policy and its Architecture
auteur
Guillaume Averlant, Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Yuxiao Mao
article
IEEE 17th International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, MA, United States. ⟨10.1109/NCA.2018.8548343⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01982589/file/NCA_2018_Averlant.pdf BibTex
titre
RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach
auteur
Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette, Romain Cayre
article
17th IEEE International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, Massachusetts, United States. 8p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01914981/file/RadIoT_Radio_Communications_Intrusion_Detection_for_IoT.pdf BibTex
titre
Malware Detection in PDF Files Using Machine Learning
auteur
Bonan Cuan, Aliénor Damien, Claire Delaplace, Mathieu Valois
article
SECRYPT 2018 - 15th International Conference on Security and Cryptography, Jul 2018, Porto, Portugal. 8p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01704766/file/Malware%20Detection%20in%20PDF%20Files%20Using%20Machine%20Learning%20SECRYPT%2718.pdf BibTex
titre
Interoperability based Dynamic Data Mediation using Adaptive Multi-Agent Systems for Co-Simulation
auteur
Yassine Motie, Elhadi Belghache, Alexandre Nketsa, Jean-Pierre George
article
High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France. 7p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01822421/file/HPCS_Motie-Belghache_2018.pdf BibTex
titre
Implementing SCRUM to develop a connected robot
auteur
Diego Armando Diaz Vargas, Rui Xue, Claude Baron, Philippe Esteban, Rob Vingerhoeds, Citlalih Gutierrez Estrada, Chao Liu
article
12th International Conference on Modeling, Optimization and SIMulation (MOSIM 2018), Jun 2018, Toulouse, France. 8p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01827361/file/MOSIM2018_paper_58.pdf BibTex
titre
Avez-vous identifié toutes les parties prenantes ?
auteur
Karla I. Gomez Sotelo, Xin Yi, Claude Baron, Philippe Esteban, Citlalih Y. A. Gutiérrez Estrada, Luis de J. Laredo Velázquez
article
12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018 ), Jun 2018, Toulouse, France. 8p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01827377/file/mosim%20karla%20-xin%20francais%2029-01%20SUMETRE%20CORRIGE%202%20final%20final%20HAL.pdf BibTex
titre
Safety Analysis of Pilot-System Interaction
auteur
Vatsal Pant, Jean-Charles Chaudemar, Hamid Demmou
article
12e Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM), Jun 2018, Toulouse, France. 6p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01828560/file/MOSIM_Vatsal%20PANT.pdf BibTex
titre
Mise en œuvre d'un simulateur DEVS utilisant des réseaux de Petri temporisés sur FPGA
auteur
Clément Foucher, Vincent Albert
article
MOSIM 2018, Jun 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01824727/file/mosim_simulateur_DEVS_FPGA.pdf BibTex
titre
Data visualization in conceptual design: developing a prototype to support decision making
auteur
Xin Yi, Claude Baron, Rob A. Vingerhoeds, Alessandro Bertoni, Philippe Esteban
article
12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Jun 2018, Toulouse, France. pp.181-188
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02164403/file/Yi_23824.pdf BibTex
titre
Safe Stop Trajectory Planning for Highly Automated Vehicles: An Optimal Control Problem Formulation
auteur
Lars Svensson, Lola Masson, Naveen Mohan, Erik Ward, Anna Pernestal Brenden, Lei Feng, Martin Törngren
article
2018 IEEE Intelligent Vehicles Symposium (IV), Jun 2018, Changshu, China. ⟨10.1109/IVS.2018.8500536⟩
Accès au bibtex
BibTex
titre
Specification-Based Protocol Obfuscation
auteur
Julien Duchene, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic
article
DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01848573/file/bare_conf.pdf BibTex
titre
Petri Net Reductions for Counting Markings
auteur
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
article
International Symposium on Model Checking Software (SPIN 2018), Jun 2018, Malaga, Spain. ⟨10.1007/978-3-319-94111-0_4⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01822078/file/spin.pdf BibTex
titre
Tomographic Node Placement Strategies and the Impact of the Routing Model
auteur
Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
SIGMETRICS, Jun 2018, Irvine, United States. 28p., ⟨10.1145/3154501⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01644582/file/sigmetrics18path-hal.pdf BibTex
titre
SRide: A Privacy-Preserving Ridesharing System
auteur
Ulrich Matchi Aïvodji, Kévin Huguenin, Marie-José Huguet, Marc-Olivier Killijian
article
11th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec), Jun 2018, Stockholm, Sweden. pp.40-50, ⟨10.1145/3212480.3212483⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01762436/file/A%C3%AFvodji18WiSec.pdf BibTex
titre
Ingénierie dirigée par les modèles : du modèle au circuit logique en utilisant la génération automatique de code avec la plateforme Project DEVS
auteur
Clément Foucher, Vincent Albert
article
Colloque 2018 du GDR SOC², Jun 2018, Paris, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02103309/file/GDR_SOC_IDM_Foucher_Albert.pdf BibTex
titre
How to find non-functional requirements in system developments
auteur
Karla I. Gomez Sotelo, Claude Baron, Philippe Esteban, Citlalih Y. A. Gutiérrez Estrada, Luis Laredo Velázquez
article
16th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2018), Jun 2018, Bergamo, Italy. 6p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01827358/file/INCOM18_GOMEZhowtofindFINALVERSIONSUBMITED.pdf BibTex
titre
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
auteur
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
article
FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01778960/file/paper.pdf BibTex
titre
Simulation distribuée hétérogène de réseaux de Petri DEVS
auteur
Clément Foucher, Vincent Albert
article
Journées DEVS Francophones, Apr 2018, Cargèse, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01726195/file/jdf_2018_vfinale.pdf BibTex
titre
Tuning permissiveness of active safety monitors for autonomous systems
auteur
Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren
article
Nasa Formal Methods, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_23⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01637277/file/TuningPermissivenessMonitoring.pdf BibTex
titre
A Brute-Force Schedulability Analysis for Formal Model under Logical Execution Time Assumption
auteur
Pierre-Emmanuel Hladik
article
The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Apr 2018, Pau, France. 13p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01717293/file/SAC2017.pdf BibTex
titre
How Resilient is your computer system?
auteur
William Excoffon, Jean-Charles Fabre, Michaël Lauer
article
ERTS 2018,9th European Congress Embedded Real Time Software and systems, Jan 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01708220/file/ERTS2018-paper-full-V1.pdf BibTex
titre
Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
auteur
Alexandre Albore, Silvano Dal Zilio, Marie de Roquemaurel, Christel Seguin, Pierre Virelizier
article
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. 10p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01709008/file/2018_SE_Albore_Timed%20Formal%20Model%20and%20Verification%20of%20Satellite%20FDIR%20in%20Early%20Design%20Phase_ERTS2.pdf BibTex
titre
Software Quality Assurance Dashboard for Renault Software Robustness plan with SQUORE tool
auteur
Valérie Russo, Alexandre Oriou, Flavien Huynh, Claude Baron
article
9th European Congress EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS²), Jan 2018, Toulouse, France. 6p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01708535/file/ERTS_2018_paper_42.pdf BibTex
titre
Integration of Electro-Absorption Modulator in a Vertical-Cavity Surface-Emitting Laser
auteur
Ludovic Marigo-Lombart, Stéphane Calvez, Alexandre Arnoult, Alexandre Rumeau, Christophe Viallon, Hugo Thienpont, Krassimir Panajotov, Guilhem Almuneau
article
SPIE Photonics West, SPIE, Jan 2018, San Francisco, United States. ⟨10.1117/12.2287465⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01614811/file/SPIE%20Photonic%20West%20_LML.pdf BibTex

Book sections

titre
MCC’2017 - The Seventh Model Checking Contest
auteur
Fabrice Kordon, Hubert Garavel, Lom Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jiří Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
article
Transactions on Petri Nets and Other Models of Concurrency XIII, 11090, Springer, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01917492/file/ToPNoC-mcc2017.pdf BibTex

Directions of work or proceedings

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

2017

Journal articles

titre
A framework to improve performance measurement in engineering projects
auteur
Li Zheng, Claude Baron, Philippe Esteban, Rui Xue, Qiang Zhang
article
INSIGHT - International Council on Systems Engineering (INCOSE), Wiley, 2017, 20 (4), pp.40-43. ⟨10.1002/inst.12180⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01709535/file/A%20framework%20to%20improve%20performance%20measurement%20in%20engineering%20projects.pdf BibTex
titre
IS THERE ANY AGILITY IN SYSTEMS ENGINEERING?
auteur
Diego Armando Diaz Vargas, Claude Baron, Philippe Esteban, Citlalih Yollohtli Alejandra Gutierrez Estrada
article
INSIGHT - International Council on Systems Engineering (INCOSE), Wiley, 2017, 20 (4), pp.11 - 14. ⟨10.1002/inst.12173⟩
Accès au bibtex
BibTex
titre
Metodología para transformar necesidades en requisitos, integrando Ingeniería de Sistemas, Calidad y Pensamiento Esbelto
auteur
Karla Gomez Sotelo, Claude Baron, Philippe Esteban, Citlalih Yollohtli Alejandra Gutierrez Estrada
article
Revista de Ingeniería Industrial, ECORFAN, 2017, 1 (2), pp.42-51
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01710794/file/228-Gomez%20HAL.pdf BibTex
titre
Reliability Enhancement of Redundancy Management in AFDX Networks
auteur
Meng Li, Guchuan Zhu, Yvon Savaria, Michaël Lauer
article
IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2017, 13 (5), pp.2118-2129. ⟨10.1109/TII.2017.2732345⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01585141/file/FINAL%20VERSION.pdf BibTex
titre
Assessment of E-learning Systems: A Systems Engineering Approach System
auteur
Aula Al-Shagran, Abd-El-Kader Sahraoui
article
International Journal of Computer Science and Software Engineering, 2017, 6 (8), pp.173-179
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01704393/file/Assessment%20of%20E-Learning-p.pdf BibTex
titre
Safety-critical advanced robots: A survey
auteur
Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck
article
Robotics and Autonomous Systems, Elsevier, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01394136/file/RobotDepend_cutv3-4RAS.pdf BibTex
titre
Optimizing product development in industry by alignment of the ISO/IEC 15288 Systems Engineering Standard and the PMBoK Guide
auteur
Rui Xue, Claude Baron, Philippe Esteban
article
International Journal of Product Development, Inderscience, 2017, 22 (1), pp.65-80. ⟨10.1504/IJPD.2017.085278⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01887366/file/f510481921271163.pdf BibTex
titre
Efficient and secure outsourcing of genomic data storage
auteur
João Sá Sousa, Cédric Lefebvre, Zhicong Huang, Jean Louis Raisaro, Carlos Aguilar-Melchor, Marc-Olivier Killijian, Jean-Pierre Hubaux
article
BMC Medical Genomics, BioMed Central, 2017, 10 (S2), ⟨10.1186/s12920-017-0275-0⟩
Accès au bibtex
BibTex
titre
A new method for measuring process flexibility of product design
auteur
Qiang Zhang, Desheng Wu, Chaoying Fu, Claude Baron, Zhanglin Peng
article
International Transactions in Operational Research, Wiley, 2017, 24 (4), pp.821-838. ⟨10.1111/itor.12299⟩
Accès au bibtex
BibTex
titre
Quantifying Interdependent Privacy Risks with Location Data
auteur
Alexandra-Mihaela Olteanu, Kévin Huguenin, Reza Shokri, Mathias Humbert, Jean-Pierre Hubaux
article
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2017, 16 (3), pp.829-842. ⟨10.1109/TMC.2016.2561281⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01266229/file/Olteanu2016TMC.pdf BibTex
titre
Architecting resilient computing systems: A component-based approach for adaptive fault tolerance
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
Journal of Systems Architecture, Elsevier, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01472877/file/JSA-2016-final.pdf BibTex
titre
Culture Effect on Requirements Elicitation Practice in Developing Countries
auteur
Ayman Sadig, Abd-El-Kader Sahraoui
article
International Journal of Software Engineering & Applications, AIRCC Publishing Corporation, 2017, 8 (1), pp.49-58. ⟨10.5121/ijsea.2017.8105⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01703239/file/culture%20impact%20on%20RE.pdf BibTex
titre
From Requirements Engineering to UML using Natural Language Processing – Survey Study
auteur
Omer Salih Dawood, Abd-El-Kader Sahraoui
article
European Journal of Industrial Engineering, Inderscience, 2017, 2 (1), pp.44-50. ⟨10.24018/ejers.2017.2.1.236⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01703317/file/From%20Requirements%20Engineering%20to%20UML%20using%20Natural%20Language%20Processing%20Survey%20Study.pdf BibTex
titre
The many faces of graph dynamics
auteur
Yvonne Anne Pignolet, Matthieu Roy, Stefan Schmid, Gilles Trédan
article
Journal of Statistical Mechanics: Theory and Experiment, IOP Publishing, 2017, 2017 (6), pp.063401. ⟨10.1088/1742-5468/aa71ce⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01559708/file/JSTAT_gog16.pdf BibTex

Conference papers

titre
The topological face of recommendation: models and application to bias detection
auteur
Erwan Le Merrer, Gilles Trédan
article
Complex Networks, Nov 2017, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02082867/file/1704.08991.pdf BibTex
titre
A co-simulation framework interoperability for Neo-campus project
auteur
Yassine Motie, Alexandre Nketsa, Philippe Truillet
article
ESM 2017 31st European Simulation and Modelling Conference, Oct 2017, Lisbon, Portugal. 7p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01614348/file/eurosis.pdf BibTex
titre
Applying the Model-Driven Architecture Approach to Dynamic Structure Applications
auteur
Min Zhu, Clément Foucher, Vincent Albert, Alexandre Nketsa
article
31st European Simulation and Modelling Conference (ESM 2017), Oct 2017, Lisbon, Portugal. 8p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01635791/file/PAR_03-Manuscript.pdf BibTex
titre
First insights into testing autonomous robot in virtual worlds
auteur
Clément Robert
article
28th International Symposium on Software Reliability Engineering (ISSRE), Oct 2017, Toulouse, France. 4p., ⟨10.1109/ISSREW.2017.59⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01795218/file/ISSRE.pdf BibTex
titre
Multi-level Isolation for Android Applications
auteur
Guillaume Averlant
article
IEEE 28th International Symposium on Software Reliability Engineering: Workshops (ISSREW 2017), Oct 2017, Toulouse, France. 4p., ⟨10.1109/ISSREW.2017.61⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01885138/file/PID4971405.pdf BibTex
titre
Experience Report: Log Mining using Natural Language Processing and Application to Anomaly Detection
auteur
Christophe Bertero, Matthieu Roy, Carla Sauvanaud, Gilles Trédan
article
28th International Symposium on Software Reliability Engineering (ISSRE 2017), Oct 2017, Toulouse, France. 10p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01576291/file/PID4955309.pdf BibTex
titre
Formal Verification of User-Level Real-Time Property Patterns
auteur
Ning Ge, Marc Pantel, Silvano Dal Zilio
article
11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. 8p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01589479/file/tase2017.pdf BibTex
titre
Confidence Assessment Framework for Safety Arguments
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet
article
SafeComp 2017, Sep 2017, Trento, Italy. 14p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01533221/file/paper_37.pdf BibTex
titre
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica
auteur
Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
article
Model-Based Safety and Assessment. IMBSA 2017, Sep 2017, Trento, Italy. 15p., ⟨10.1007/978-3-319-64119-5_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01693391/file/imbsa2017.pdf BibTex
titre
Analysis of Adaptive Fault Tolerance for Resilient Computing
auteur
William Excoffon, Jean-Charles Fabre, Michaël Lauer
article
13th European Dependable Computing Conference (EDCC 2017), Sep 2017, Geneva, Switzerland. 9p., ⟨10.1109/EDCC.2017.22⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01708205/file/EDCC2017-paper-V12.1-final-avec.pdf BibTex
titre
Toward an Intrusion Detection Approach for IoT based on Radio Communications Profiling
auteur
Jonathan Roux, Eric Alata, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche
article
13th European Dependable Computing Conference, Sep 2017, Geneva, Switzerland. 4p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01561710/file/Toward_an_IDS_for_IoT_based_on_Radio_Communications_Profiling.pdf BibTex
titre
A toolset for mobile systems testing
auteur
Pierre André, Nicolas Rivière, Hélène Waeselynck
article
11th International Conference on Verification and Evaluation of Computer and Communication Systems (VEcOS 2017), Aug 2017, Montréal, Canada. pp.124-138
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01499518/file/DSN-2016.pdf BibTex
titre
Can robot navigation bugs be found in simulation? An exploratory study
auteur
Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand
article
2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01534235/file/PID4832685.pdf BibTex
titre
Formal Framework for Discrete-Event Simulation
auteur
Vincent Albert, Clément Foucher
article
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.5812-5817, ⟨10.1016/j.ifacol.2017.08.535⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01562929/file/Albert_Foucher_IFAC_2017.pdf BibTex
titre
Considering the systems engineering leading indicators to improve project performance measurement
auteur
Li Zheng, Claude Baron, Philippe Esteban, Rui Xue, Qiang Zhang
article
IFAC world congress, Jul 2017, Toulouse, France. 6p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01710579/file/Considering%20the%20systems%20engineering%20leading%20indicators%20to%20improve%20project%20performance%20measurement%20%282%29.pdf BibTex
titre
Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems
auteur
Matthieu Amy, Jean-Charles Fabre, Michaël Lauer
article
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), Jun 2017, Denver, United States. 7p., ⟨10.1109/DSN-W.2017.42⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01707514/file/DSN-SSIV2017-%20V-final.pdf BibTex
titre
Load-Optimal Local Fast Rerouting for Resilient Networks
auteur
Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan
article
47th IEEE/IFIP International Conference on Dependable Systems and Networks DSN 2017, Jun 2017, Denver, United States. 12p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01644555/file/dsn17failover.pdf BibTex
titre
L'aspect topologique des recommandations
auteur
Erwan Le Merrer, Gilles Trédan
article
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France. 4p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01517738/file/main-algotel.pdf BibTex
titre
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour
auteur
Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy
article
International Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01559723/file/Early-decision-NETYS-2017-final.pdf BibTex
titre
Détection d'Intrusion dans l'Internet des Objets : Problématiques de sécurité au sein des domiciles
auteur
Jonathan Roux
article
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2017, Grenoble, France. 4p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01561720/file/Detection_Intrusion_Domiciles_Connectes-Roux_Jonathan.pdf BibTex
titre
Mapping Systems engineering leading indicators with leading indicators in construction industry projects
auteur
Li Zheng, Claude Baron, Philippe Esteban, Rui Xue, Qiang Zhang
article
12ème Congrès International de Génie Industriel (CIGI2017), May 2017, Compiègne, France. 10p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01709556/file/Mapping%20Systems%20engineering%20leading%20indicators%20with%20leading%20indicators%20in%20construction%20industry%20projects.pdf BibTex
titre
Synthesis of safety rules for active monitoring: application to an airport light measurement robot
auteur
Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval
article
IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01465734/file/IEEERobCompfinal.pdf BibTex
titre
Uncovering Influence Cookbooks : Reverse Engineering the Topological Impact in Peer Ranking Services
auteur
Erwan Le Merrer, Gilles Trédan
article
20th ACM Conference on Computer-Supported Cooperative Work and Social Computing CSCW 2017, Feb 2017, Portland, United States. 5p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01644568/file/cscw16.pdf BibTex
titre
An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms
auteur
Guillaume Averlant, Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01493597/file/Survey_on_hardware_isolation_mechanisms.pdf BibTex

2016

Journal articles

titre
Symmetry reduction for time Petri net state classes
auteur
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat
article
Science of Computer Programming, Elsevier, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225. ⟨10.1016/j.scico.2016.08.008⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01561994/file/symmetries.pdf BibTex
titre
Process modeling of innovative design using Systems Engineering
auteur
Qiang Zhang, Ioana Deniaud, Christophe Lerch, Claude Baron, Emmanuel Caillaud
article
IFAC-PapersOnLine, Elsevier, 2016, 49 (12), pp.1579 - 1584. ⟨10.1016/j.ifacol.2016.07.805⟩
Accès au bibtex
BibTex
titre
Souk: Spatial Observation of hUman Kinetics
auteur
Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon
article
Computer Networks, Elsevier, 2016, 111, pp.109-119. ⟨10.1016/j.comnet.2016.08.008⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01372329/file/souk.pdf BibTex
titre
De l'illustration du guidage à l'optimisation d'un plan par un robot Lego Mindstorm NXT
auteur
Elodie Chanthery, G Le Corre, Pierre-Emmanuel Hladik
article
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, EDP Sciences, 2016, 15, ⟨10.1051/j3ea/2016006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01392601/file/j3ea160006.pdf BibTex
titre
Meeting points in ridesharing: A privacy-preserving approach
auteur
Ulrich Matchi Aïvodji, Sébastien Gambs, Marie-José Huguet, Marc-Olivier Killijian
article
Transportation research. Part C, Emerging technologies, Elsevier, 2016, 72, pp.239 - 253. ⟨10.1016/j.trc.2016.09.017⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01380170/file/paper-HAL-Aivodji-et-al.pdf BibTex
titre
Upper and Lower Bounds for Deterministic Broadcast in Powerline Communication Networks
auteur
Yvonne Pignolet, Stefan Schmid, Gilles Trédan
article
Distributed Computing, Springer Verlag, 2016, 29 (4), pp.239-250. ⟨10.1007/s00446-016-0263-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02079806/file/dist16.pdf BibTex
titre
A New Specification-based Qualitative Metric for Simulation Model Validity
auteur
Damien Foures, Vincent Albert, Alexandre Nketsa
article
Simulation Modelling Practice and Theory, Elsevier, 2016, 66, pp.1-15. ⟨10.1016/j.simpat.2016.03.002⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01816611/file/A%20New%20Specification-based%20Qualitative%20Metric%20for%20Simulatio%E2%80%A6.pdf BibTex
titre
SecureRun: Cheat-Proof and Private Summaries for Location-Based Activities
auteur
Anh Pham, Kévin Huguenin, Igor Bilogrevic, Italo Dacosta, Jean-Pierre Hubaux
article
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2016, 15 (8), pp.2109-2123. ⟨10.1109/TMC.2015.2483498⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01198596/file/Pham2016TMC.pdf BibTex
titre
Outils pour la rétro-conception de protocoles : Analyse et classification
auteur
Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2016, 35 (6), pp.609-640. ⟨10.3166/tsi.35.609-640⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01864298/file/TSI-hal.pdf BibTex
titre
Efficient and Transparent Wi-Fi Offloading for HTTP(S) POSTs
auteur
Kévin Huguenin, Erwan Le Merrer, Nicolas Le Scouarnec, Gilles Straub
article
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2016, 15 (4), pp.826-839. ⟨10.1109/TMC.2015.2442237⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01157922/file/Huguenin2016TMC.pdf BibTex
titre
Hazard analysis of human–robot interactions with HAZOP–UML
auteur
Jérémie Guiochet
article
Safety Science, Elsevier, 2016, 84, pp. 225-237. ⟨10.1016/j.ssci.2015.12.017⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01271565/file/main.pdf BibTex
titre
Multicriteria Decision-Making Methodology for Systems Engineering
auteur
Vikas Shukla, Guillaume Auriol, Keith Hipel
article
IEEE Systems Journal, IEEE, 2016, 10 (1), pp.4 - 14. ⟨10.1109/JSYST.2014.2344635⟩
Accès au bibtex
BibTex
titre
SysPEM: Toward a consistent and unified System Process Engineering Metamodel
auteur
Abdeslam Jakjoud, Maria Zrikem, Claude Baron, Abderrahmanne Ayadi
article
Journal of Intelligent Manufacturing, Springer Verlag (Germany), 2016, 27 (1), pp.149-166. ⟨10.1007/s10845-014-0886-7⟩
Accès au bibtex
BibTex
titre
A Machine-Learning Based Approach to Privacy-Aware Information-Sharing in Mobile Social Networks
auteur
Igor Bilogrevic, Kévin Huguenin, Berker Ağır, Murtuza Jadliwala, Maria Gazaki, Jean-Pierre Hubaux
article
Pervasive and Mobile Computing, Elsevier, 2016, 25, pp.125-142. ⟨10.1016/j.pmcj.2015.01.006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01108962/file/Bilogrevic2015PMC.pdf BibTex
titre
XPIR : Private Information Retrieval for Everyone
auteur
Carlos Aguilar Melchor, Joris Barrier, Laurent Fousse, Marc-Olivier Killijian
article
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2016, 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01396142/file/paper.pdf BibTex

Conference papers

titre
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
auteur
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet
article
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01346080/file/paper.pdf BibTex
titre
Anomaly Detection and Root Cause Localization in Virtual Network Functions
auteur
Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
article
27th International Symposium on Software Reliability Engineering (ISSRE 2016), Oct 2016, Ottawa, Canada. pp.196 - 206, ⟨10.1109/ISSRE.2016.32⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01419014/file/issre_final_version.pdf BibTex
titre
Two Convergence Problems for Robots on Graphs
auteur
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
article
7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01386628/file/wait-free-graph-problems.pdf BibTex
titre
Bypassing IOMMU Protection against I/O Attacks
auteur
Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01419962/file/Moragn-ladc-2016.pdf BibTex
titre
Solving Language Equations Using Flanked Automata
auteur
Florent Avellaneda, Silvano Dal Zilio, Jean-Baptiste Raclet
article
ATVA 2016: Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.106 - 121, ⟨10.1007/978-3-319-46520-3_7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01202702/file/ffa.pdf https://hal.archives-ouvertes.fr/hal-01202702/file/dessin.pdf https://hal.archives-ouvertes.fr/hal-01202702/file/restable.pdf BibTex
titre
Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network
auteur
Sofiene Beji, Abdelouahed Gherbi, John Mullins, Pierre-Emmanuel Hladik
article
9th System Analysis and Modelling (SAM 2016), Oct 2016, Saint-Malo, France. ⟨10.1007/978-3-319-46613-2_11⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01496891/file/model-driven-approach.pdf BibTex
titre
A method to help monitoring engineering projects
auteur
Rui Xue, Claude Baron, Philippe Esteban, Li Zheng
article
IEEE International Symposium on Systems Engineering (ISSE 2016), Oct 2016, Edinburgh, United Kingdom. 6p
Accès au bibtex
BibTex
titre
D-S Theory for Argument Confidence Assessment
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
article
4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01372016/file/paper%20%2320.pdf BibTex
titre
An Approach for Resilient Systems Analysis
auteur
William Excoffon, Jean-Charles Fabre, Michaël Lauer
article
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. 2p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01370228/file/5-SafecompFastAbstractVF.pdf BibTex
titre
Case Study Report : Safety rules synthesis for an autonomous robot
auteur
Lola Masson, Jérémie Guiochet, Hélène Waeselynck
article
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01370269/file/11-fast_abtsract_safecomp_masson.pdf BibTex
titre
Building Confidence on Formal Verification Models
auteur
Pierre-Alain Bourdil, Eric Jenn, Silvano Dal Zilio
article
Fast Abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01369144/file/2-bourdil-jenn-dalzilio.pdf BibTex
titre
Loca: A Location-Oblivious Co-location Attack in Crowds
auteur
Roberto Pasqua, Matthieu Roy, Gilles Trédan
article
2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ⟨10.1145/2971648.2971663⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01372317/file/ubicomp16.pdf BibTex
titre
Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
auteur
Angeliki Kritikakou, Thibaut Marty, Claire Pagetti, Christine Rochange, Michaël Lauer, Matthieu Roy
article
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01375576/file/CARS2016_paper_11.pdf BibTex
titre
Protocol reverse engineering: Challenges and obfuscation
auteur
Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. ⟨10.1007/978-3-319-54876-0_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01388060/file/crisis.pdf BibTex
titre
Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level
auteur
Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck
article
12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01328909/file/EDCC.pdf BibTex
titre
A Framework for Assessing Safety Argumentation Confidence
auteur
Rui Wang, Jérémie Guiochet, Gilles Motet
article
8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01372049/file/serenev7.pdf BibTex
titre
Quantifying Fidelity for Timed Transition Systems
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2016), Jul 2016, Lisbonne, Portugal
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01912574/file/Quantifying%20Fidelity%20for%20Timed%20Transition%20Systems.pdf BibTex
titre
Towards a Multi-views Approach for Software Requirement Engineering: Requirements Management Tools
auteur
Omer Dawood, Abd-El-Kader Sahraoui
article
SERP'16 - The 14th International Conference on Software Engineering Research and Practice , Jul 2016, Las Vegas, United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01704437/file/SER6023.pdf BibTex
titre
Asynchronous Coordination with Constraints and Preferences
auteur
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
article
35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01326911/file/coordination-BA-PODC.pdf BibTex
titre
Towards a research road map for assessment of e-learning systems: a system engineering approach
auteur
A.Al Shagran, Abd-El-Kader Sahraoui
article
International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government ( EEE ), Jul 2016, las Vegas, United States. 6p
Accès au bibtex
BibTex
titre
Requirements engineering practice in developing countries: elicitation and traceability processes
auteur
A. Sadig, Abd-El-Kader Sahraoui
article
International Conference on Software Engineering Research and Practice ( SERP ), Jul 2016, Las Vegas, United States. 7p
Accès au bibtex
BibTex
titre
On non functional requirements, their evolution and impact on safety
auteur
A. Babiker, Abd-El-Kader Sahraoui
article
International Conference on Software Engineering Research and Practice ( SERP ), Jul 2016, Las Vegas, United States
Accès au bibtex
BibTex
titre
On the Privacy Implications of Location Semantics
auteur
Berker Ağır, Kévin Huguenin, Urs Hengartner, Jean-Pierre Hubaux
article
16th Privacy Enhancing Technologies Symposium (PETS), Jul 2016, Darmstadt, Germany. pp.165-183, ⟨10.1515/popets-2016-0034⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01216649/file/Agir2016PoPETS.pdf BibTex
titre
Asynchronous Coordination Under Preferences and Constraints
auteur
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
article
23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01341710/file/sirocco-coordination.pdf BibTex
titre
Location Privacy with Probabilistic Co-Location Profiles [work in progress]
auteur
Jean-Pierre Hubaux, Kévin Huguenin, Roberto Pasqua, Alexandra-Mihaela Olteanu
article
Atelier sur la Protection de la Vie Privée 2016 (APVP16), Jul 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01382499/file/short_version.pdf BibTex
titre
Pointing out the gap between academic research and supporting software tools in the domain of the performance measurement management of engineering projects
auteur
Li Zheng, Claude Baron, Philippe Esteban, Rui Xue, Qiang Zhang
article
MIM 2016, IFAC Conference on Manufacturing Modelling, Management, and Control, Jun 2016, Troyes, France. pp.1561 - 1566, ⟨10.1016/j.ifacol.2016.07.802⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01496409/file/Pointing%20out%20the%20gap%20between%20academic%20research%20and%20supporting%20software%20tools%20in%20the%20domain%20of%20the%20performance%20measurement%20management%20of%20engineering%20projects.pdf BibTex
titre
Adaptive Fault Tolerance: Is ROS a Relevant Executive Support ?
auteur
Matthieu Amy
article
Student Forum of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01318364/file/DSN-Student-Forum_%234_Adaptive-Fault-Tolerance-Is-ROS-a-Relevant-Executive-Support.pdf BibTex
titre
Privacy Enhancing Technologies for Ridesharing
auteur
Ulrich Matchi Aïvodji
article
Student Forum of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01318368/file/DSN-Student-Forum_%236_Privacy-Enhancing-Technologies-for-Ridesharing.pdf BibTex
titre
Towards Black-Box Anomaly Detection in Virtual Network Functions
auteur
Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
article
The 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2016), Jun 2016, TOULOUSE, France. pp.254 - 257, ⟨10.1109/DSN-W.2016.17⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01419016/file/industrial_track_DSN16.pdf BibTex
titre
Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées
auteur
Pierre-Emmanuel Hladik, Silvano Dal Zilio, Olivier Pasquier, Sébastien Pillement, Bernard Berthomieu
article
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jun 2016, Besançon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01331726/file/main.pdf https://hal.archives-ouvertes.fr/hal-01331726/file/chaine.pdf BibTex
titre
Bypassing DMA Remapping with DMA
auteur
Benoît Morgan, Guillaume Averlant, Eric Alata, Vincent Nicomette
article
Symposium sur le Sécurité des Technologies de l'Informatino et des Communications, Jun 2016, Rennes, France. 9p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01322881/file/sstic-2016.pdf BibTex
titre
Retro-ingénierer les métriques topologiques dans les algorithmes de peer-ranking
auteur
Erwan Le Merrer, Gilles Trédan
article
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01305027/file/main-algotel.pdf BibTex
titre
Strategic business process requirements modeling
auteur
E.Haj Ahmed, Abd-El-Kader Sahraoui
article
International Conference on Engineering & Technology, Computer, Basic & Applied Sciences ( ECBA ), May 2016, Dubai, United Arab Emirates. 19p
Accès au bibtex
BibTex
titre
Considering the systems engineering leading indicators to measure projects performance
auteur
Li Zheng
article
Congrès des Doctorants EDSYS, May 2016, toulouse, France. 7p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01496517/file/about%20considering%20the%20systems%20engineering%20leading%20indicators%20to%20measure%20projects%20performance%20-%20Copie%20version%20courte.pdf BibTex
titre
Codage de CDEVS et de PDEVS en réseau de Petri temporisé
auteur
Vincent Albert, Sangeeth Saagar Ponnusamy
article
JDF 2016 - Les Journées DEVS Francophones, Apr 2016, Cargèse, France. 9p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01912563/file/JDF2016_paper_8.pdf BibTex
titre
Simulation Fidelity Distance: A Game-Theoretic Framework
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
SpringSim Spring Simulation Conference, Apr 2016, Pasadena, United States. ⟨10.23919/TMS.2016.7918815⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01912556/file/SpringSim_2016_Ponnusamy_Albert_Thebault.pdf BibTex
titre
NFLlib: NTT-based Fast Lattice Library
auteur
Carlos Aguilar-Melchor, Joris Barrier, Serge Guelton, Adrien Guinet, Marc-Olivier Killijian, Tancrede Lepoint
article
RSA Conference Cryptographers' Track, Feb 2016, San Francisco, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01242273/file/main.pdf BibTex
titre
Towards an Ontology-Driven Framework for Simulation Model Development
auteur
Sangeeth Saagar Ponnusamy, Patrice Thebault, Vincent Albert
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. 11p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01291993/file/paper_73.pdf BibTex
titre
Towards Resilient Computing on ROS for Embedded Applications
auteur
Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Matthieu Amy, William Excoffon, Miruna Stoicescu
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01292318/file/paper_107.pdf BibTex
titre
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS
auteur
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
article
HASE 2016 — IEEE 17th International Symposium on High Assurance Systems Engineering Symposium, Jan 2016, Orlando, FL, United States. pp.94-101, ⟨10.1109/HASE.2016.30⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01288098/file/ROS-HASE2016.pdf BibTex
titre
Consistent Behavioral Abstractions of Experimental Frame
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
AIAA SciTech 2016, Jan 2016, San Diego, United States. 11p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01912553/file/AIAA_2015_Consistent%20Behavioral%20Abstractions%20of%20Experimental%20Frame_Ponnusamy_Albert_Thebault.pdf BibTex

Book sections

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

Books

titre
Quaternions réels duaux et complexes
auteur
Jean Hladik, Pierre-Emmanuel Hladik
article
Ellipses Marketing, 2016, 978-2340010468
Accès au bibtex
BibTex

2015

Journal articles

titre
Replacing target setting by value models in the ‘house of quality’ for value-based requirements specifications
auteur
Xinwei Zhang, Hakki Eres, Claude Baron, Guillaume Auriol, Mario Kossmann
article
Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture, SAGE Publications, 2015, 229 (11), pp.2035 - 2046. ⟨10.1177/0954405414540296⟩
Accès au bibtex
BibTex
titre
Algorithmes pour l’ordonnancement temps réel multiprocesseur
auteur
Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche
article
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2015, 48 (7-8), pp.613-639. ⟨10.3166/JESA.48.613-63⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01221711/file/JESA_draft.pdf BibTex
titre
Adversarial Topology Discovery in Network Virtualization Environments: A Threat for ISPs?
auteur
Y.-A Pignolet, Stefan Schmid, Gilles Trédan
article
Distributed Computing, Springer Verlag, 2015, 29, pp.91-108. ⟨10.1007/s00446-014-0217-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02082887/file/DIST2014.pdf BibTex
titre
Test Languages for In-the-Loop Avionics Tests
auteur
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
article
Journal of Aerospace Information Systems, American Institute of Aeronautics and Astronautics, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Accès au bibtex
BibTex
titre
Establishing Profiles for Systems Engineering Standards: A Great Help for Companies to Manage Their Processes
auteur
Rui Xue, Claude Baron, Philippe Esteban, Qiang Zhang
article
Frontiers of Engineering Management, 2015, 1 (3), pp.297-303. ⟨10.15302/J-FEM-2014036⟩
Accès au bibtex
BibTex
titre
A Method and Tool to Support the Management of Systems Engineering Projects
auteur
Claude Baron, Philippe Esteban, Rui Xue, Daniel Estève, Michel Malbert
article
Technology Innovation Management Review, Talent First Network, 2015, 5 (3), pp.18-28. ⟨10.22215/timreview/878⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01888201/file/Baron_et_al_TIMReview_March2015.pdf BibTex
titre
Mapping Applications on Volatile Resources
auteur
Henri Casanova, Fanny Dufossé, Yves Robert, Frédéric Vivien
article
International Journal of High Performance Computing Applications, SAGE Publications, 2015, 29 (1), pp.19. ⟨10.1177/1094342013518806⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00923948/file/journal-revised.pdf BibTex
titre
Using Systems Engineering Practices for Distributed Control and Building Performance Simulation
auteur
Azzedine Yahiaoui, Abd-El-Kader Sahraoui
article
INCOSE International Symposium, Wiley, 2015, 25 (1), pp.1290-1304. ⟨10.1002/j.2334-5837.2015.00130.x⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01703229/file/Paper_INCOSE2015.pdf BibTex

Conference papers

titre
Alignment of practices for an efficient management of Systems Engineering processes during the development of systems of systems
auteur
Rui Xue, Claude Baron, Philippe Esteban, Li Zheng
article
IEEE Third World Conference on Complex Systems, Dec 2015, Marrakech Morocco
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01284543/file/Alignment%20of%20practices%20for%20an%20efficient%20management%20of%20Systems%20Engineering%20processes%20during%20the%20development%20of%20systems%20of%20systems.pdf BibTex
titre
Emergent properties and requirements evolution in engineering systems and a roadmap
auteur
Jia Luo, Abd-El-Kader Sahraoui, Ali Hessami
article
Third World Conference on Complex Systems (WCCS 2015 ), Nov 2015, Marrakech, France. 6p., ⟨10.1109/ICoCS.2015.7483236⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01703151/file/WCCS%20IEEE%20%202015-EmergenceV5.pdf BibTex
titre
Towards a unified tool for collaborative software engineering projects
auteur
Amal Rochd, Zrikem Maria, Abdeslam Jakjoud, Claude Baron
article
IEEE World conference on complex systems (WCCS), Nov 2015, Marrakech, Morocco. 8p., ⟨10.1109/ICoCS.2015.7483250⟩
Accès au bibtex
BibTex
titre
Extending SysPEM's orchestration engine with decision support: Relaxing resources constraints
auteur
Zrikemb Maria, Abdeslam Jakjoud, Amal Rochd, Claude Baron
article
Third World Conference on Complex Systems (WCCS), Nov 2015, marrakech, Morocco. 8p
Accès au bibtex
BibTex
titre
A language-based intrusion detection approach for automotive embedded networks
auteur
Ivan Studnia, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Youssef Laarouchi
article
IEEE Pacific Rim International Symposium on Dependable Computing ( PRDC ), Nov 2015, Zhangjiajie, China
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01967640/file/prdcsoumis.pdf BibTex
titre
Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring
auteur
Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Guillaume Averlant
article
The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Nov 2015, Zhangjiajie, China. 10p., ⟨10.1109/PRDC.2015.46⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01322882/file/prdc-2015.pdf BibTex
titre
Fuzzy-PDEVS : vers une méthode conceptuelle pour la gestion de conflits
auteur
P.-A Bisgambiglia, R Franceschini, Damien Foures, E Innocenti
article
24ème Conférence sur la Logique Floue et ses Applications, Nov 2015, Poitiers, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01293122/file/Fuzzy-PDEVS_towards_handling_dcon_with_conceptual_method.pdf BibTex
titre
A META-MODEL FOR CONSISTENT & AUTOMATIC SIMULATION MODEL SELECTION
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
ESM 29th European Simulation and Modelling Conference, Oct 2015, Leicester, United Kingdom
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01912572/file/ESM_2015_A_Meta-Model_for_Consistent_%26_Automatic_Model_Selection_Ponnusamy_Vincent_Thebault.pdf BibTex
titre
A Model for Safety Case Confidence Assessment
auteur
Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche
article
34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01228861/file/guiochet-safecomp2015.pdf BibTex
titre
A MULTIMODAL APPROACH TO SIMULATION FIDELITY
auteur
Patrice Thebault, Sangeeth Saagar Ponnusamy, Vincent Albert
article
I3M 12th International Multidisciplinary Modeling & Simulation Multiconference, Sep 2015, Bergeggi, Italy. 8p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01912569/file/MAS_2015_Thebault_Ponnusamy_Albert_MultiModal%20Approach%20to%20Simulation%20Fidelity.pdf BibTex
titre
COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet, Pascal Izzo, Jean-Maxime Massimi
article
34th Digital Avionics Systems Conference (DASC), 2015, Sep 2015, PRAGUE, Czech Republic. pp.6D2-1 - 6D2-14, ⟨10.1109/DASC.2015.7311453⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01275304/file/ZAMMALI_DASC-34.pdf BibTex
titre
Partial Updates of AUTOSAR Embedded Applications — To What Extent?
auteur
Hélène Martorell, Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Régis Valentin
article
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01194832/file/edcc.pdf BibTex
titre
Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS
auteur
Michaël Lauer, Matthieu Amy, William Excoffon, Matthieu Roy, Miruna Stoicescu
article
CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01193039/file/CARSEDCC2015_paper_14.pdf BibTex
titre
Security of ISP Access Networks: practical experiments
auteur
Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège
article
11th European Dependable Computing Conference - Dependability in Practice (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01190054/file/PID3811879.pdf BibTex
titre
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases
auteur
Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
article
7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015), Sep 2015, Paris, France. ⟨10.1007/978-3-319-23129-7_9⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01211772/file/Tejo-SERENE2015.pdf BibTex
titre
Data Stream Clustering for Online Anomaly Detection in Cloud Applications
auteur
Carla Sauvanaud, Guthemberg Silvestre, Mohamed Kaâniche, Karama Kanoun
article
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01211774/file/edcc2015_last_version_carla.pdf BibTex
titre
Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds
auteur
Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01212064/file/Automated%20Evaluation%20of%20Network%20Intrusion%20Detection%20Systems%20in%20IaaS%20Clouds.pdf BibTex
titre
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
auteur
Silvano Dal Zilio, Bernard Berthomieu
article
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01202799/file/article.pdf BibTex
titre
ProDEVS : an Event-Driven Modeling and Simulation Tool for Hybrid Systems using State Machines
auteur
Le-Hung Vu, Damien Foures, Vincent Albert
article
Simutools 2015 Eighth EAI International Conference on Simulation Tools and Techniques, EAI, Aug 2015, ATHENES, Greece. pp.29-37
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01293018/file/ProDEVS_an_Event-Driven_Modeling_and_Simulation_Tool_authors_version.pdf BibTex
titre
Simulation of Real-Time Scheduling Algorithms with Cache Effects
auteur
Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Silvano Dal Zilio
article
6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2015, Lund, Sweden. 6p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01232512/file/waters.pdf BibTex
titre
Test de la navigation de systèmes autonomes dans des mondes virtuels
auteur
Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck
article
Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01282148/file/test_nav.pdf BibTex
titre
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime
auteur
Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris
article
Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01334722/file/fayollas_15399.pdf BibTex
titre
Smart-TV security analysis: practical experiments
auteur
Yann Bachy, Frédéric Basse, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège, Pierre Lukjanenko
article
International Conference on Dependable Systems and Networks, Jun 2015, Rio de Janeiro, Brazil
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01178553/file/dsn_smarttv_v12.pdf BibTex
titre
Protocole HbbTV et sécurité : quelques expérimentations
auteur
Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège, Pierre Lukjanenko
article
Symposium sur la sécurité des technologies de l’information et des communications, Jun 2015, Rennes, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01178550/file/SSTIC_smarttv_bachy.pdf BibTex
titre
Abyme : un voyage au coeur des hyperviseurs récursifs
auteur
Benoît Morgan, Eric Alata, Vincent Nicomette, Guillaume Averlant
article
Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC), Jun 2015, Rennes, France. 29p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01322880/file/sstic-2015.pdf BibTex
titre
De-anonymizing Genomic Databases Using Phenotypic Traits
auteur
Mathias Humbert, Kévin Huguenin, Joachim Hugonot, Erman Ayday, Jean-Pierre Hubaux
article
15th Privacy Enhancing Technologies Symposium (PETS), Jun 2015, Philadelphia, PA, United States. pp.99-114, ⟨10.1515/popets-2015-0020⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01151960/file/Humbert2015PETS.pdf BibTex
titre
Privacy-preserving carpooling
auteur
Ulrich Matchi Aïvodji, Sébastien Gambs, Marie-José Huguet, Marc-Olivier Killijian
article
Odysseus 2015 - 6th International Workshop on Freight Transportation and Logistics, May 2015, Ajaccio, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01146639/file/Privacy-preserving%20carpooling.pdf BibTex
titre
Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262
auteur
Ludovic Pintard, Michel Leeman, Abdelillah Ymlahi-Ouazzani, Jean-Charles Fabre, Karama Kanoun, Matthieu Roy
article
SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. ⟨10.4271/2015-01-0272⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01221422/file/SAE_Manuscript-AuthorsFinalVersion.pdf BibTex
titre
A Dynamic FPGA-based Hardware-in-the-Loop Co-simulation and Prototype Testing Platform
auteur
Clément Foucher, Alexandre Nketsa
article
ICONS 2015, IARIA, Apr 2015, Barcelona, Spain. pp.68-73
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01145969/file/Icons_2015.pdf BibTex
titre
Symmetry reduced state classes for Time Petri nets
auteur
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat
article
30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01275316/file/bourdilsymmetries.pdf BibTex
titre
Show Me New Counterexamples: A Path-Based Approach
auteur
Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels
article
8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01953299/file/ICST2015.pdf BibTex
titre
Analysis and comparison of project management standards and guides
auteur
Rui Xue, Claude Baron, Philippe Esteban, Li Zheng
article
Manifestation avec acte, Mechanics, Materials, Mechanical and Chemical Engineering Conference, Apr 2015, Barcelone, Spain. 8p
Accès au bibtex
BibTex
titre
Predicting Users' Motivations behind Location Check-Ins and Utility Implications of Privacy Protection Mechanisms
auteur
Igor Bilogrevic, Kévin Huguenin, Stefan Mihaila, Reza Shokri, Jean-Pierre Hubaux
article
22nd Network and Distributed System Security Symposium (NDSS), Feb 2015, San Diego, CA, United States. ⟨10.14722/ndss.2015.23032⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01076554/file/Bilogrevic2015NDSS.pdf BibTex
titre
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet
article
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.215-222, ⟨10.1109/HASE.2015.39⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01780202/file/HASE-2015_submission_26_FINAL_SOUMIS_15septembre14.pdf BibTex
titre
Model-checking and Game Theory for the Synthesis of Safety Rules
auteur
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
article
IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01207657/file/v14.pdf BibTex
titre
Model-Checking and Game theory for Synthesis of Safety Rules
auteur
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
article
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01164981/file/v14.pdf BibTex

2014

Journal articles

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

Conference papers

titre
The Opinion Number of Set-Agreement
auteur
Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
article
OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01073578/file/chcksa.pdf BibTex
titre
From Safety Analyses to Experimental Validation of Automotive Embedded Systems
auteur
Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy
article
PRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01265454/file/PRDC2014_CameraReady_FV_IEEE.pdf BibTex
titre
A formal model of EIA-632 standard: An approach for emergent properties analysis
auteur
Abd-El-Kader Sahraoui
article
2014 Second World Conference on Complex Systems (WCCS 2014), Nov 2014, Agadir, Morocco. ⟨10.1109/ICoCS.2014.7060971⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01702752/file/A%20Formal%20Model%20of%20EIA%20_WCCS%202014%20Nov%20IEEE.pdf BibTex
titre
Implementing SysPEM in the context of a citizen data management system engineering
auteur
Maria Zrikem, Abdeslam Jakjoud, Abderrahmane Ayadi, Claude Baron
article
Second World Conference on Complex Systems (WCCS 2014), Nov 2014, Agadir, Morocco. ⟨10.1109/ICoCS.2014.7060972⟩
Accès au bibtex
BibTex
titre
Model-Checking Real-Time Properties of an Auto Flight Control System Function
auteur
Pierre-Alain Bourdil, Bernard Berthomieu, Éric Jenn
article
IEEE International Symposium on Software Reliability Engineering, Nov 2014, Naples, Italy. ⟨10.1109/ISSREW.2014.40⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01949464/file/autoflight-control-issre14.pdf BibTex
titre
Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes
auteur
Fayollas Camille, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
article
IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01090399/file/p80-fayollas.pdf BibTex
titre
Co-Simulation of Complex Multi-Physics Systems Aeronautical example
auteur
Romaric Guillerm, Hamid Demmou, Alexandre Nketsa, Jean-Jacques Carrillo
article
28th European Simulation and Modelling Conference (ESM 2014), Oct 2014, Porto, Portugal. 6p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01828585/file/ESM2014_FINAL.pdf BibTex
titre
An anomaly detection approach for scale-out storage systems
auteur
Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
article
26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01076212/file/main.pdf BibTex
titre
Vssdb: A Verifiable Secret-Sharing Distance-Bounding Protocol
auteur
Sébastien Gambs, Marc-Olivier Killijian, Cédric Lauradoux, Cristina Onete, Matthieu Roy, Moussa Traoré
article
International Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01242265/file/vssdb.pdf BibTex
titre
An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures
auteur
Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
8th International Conference on Network and System Security (NSS 2014), Oct 2014, Xi'an, China. pp.1-14, ⟨10.1007/978-3-319-11698-3_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01176045/file/NSS2014-ProbstEalataKaanicheNicomette.pdf BibTex
titre
Automatically Adjusting Concurrency to the Level of Synchrony
auteur
Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
article
International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01062031/file/main.pdf BibTex
titre
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems
auteur
Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez
article
22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01096102/file/RTNS14_HAL%20%281%29.pdf BibTex
titre
PROPS: A PRivacy-Preserving Location Proof System
auteur
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
article
33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014,, Oct 2014, Nara, Japan. ⟨10.1109/SRDS.2014.37⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01242266/file/locationProof.pdf BibTex
titre
Managing Requirements: For an Integrated Approach from System Engineering to Project Management
auteur
Michel Malbert, Daniel Estève, Claude Baron, Philippe Esteban, Rui Xue
article
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.142-149, ⟨10.1007/978-3-662-44739-0_18⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01284568/file/Managing%20requirements%20-%20for%20an%20integrated%20approach%20from%20system%20engineering%20to%20project%20management.pdf BibTex
titre
Managing Uncertainty in Innovative Design: Balancing Control and Flexibility
auteur
Qiang Zhang, Ioana Deniaud, Claude Baron, Emmanuel Caillaud
article
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.313-319, ⟨10.1007/978-3-662-44733-8_39⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01387263/file/978-3-662-44733-8_39_Chapter.pdf BibTex
titre
Specifying Safety Monitors for Autonomous Systems using Model-checking
auteur
Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
article
International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01207152/file/safety_accept.pdf BibTex
titre
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
auteur
Silvano Dal Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat
article
12th International Conference, FORMATS 2014, Sep 2014, Florence, Italy. pp 85-99, ⟨10.1007/978-3-319-10512-3_7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00984354/file/dyntpn.pdf BibTex
titre
A simulation fidelity assessment framework
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
International Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH 2014), Aug 2014, Vienne, Austria. pp.463-471
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01912540/file/SIMULTECH_2014_Position%20Paper_133_CR_Ponnusamy_Albert_Thebault.pdf BibTex
titre
Modeling & simulation framework for the inclusion of simulation objectives by abstraction
auteur
Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault
article
International Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH 2014), Aug 2014, Vienne, Austria. pp.385-394
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01912545/file/SIMULTECH_2014_Regular%20Paper_77_CR_Ponnusamy_Albert_Thebault.pdf BibTex
titre
Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps
auteur
Jesús Friginal, Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan
article
IEEE International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, United States. ⟨10.1109/NCA.2014.8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01242260/file/mobility.pdf BibTex
titre
Aligning systems engineering and project management standards to improve the management of processes
auteur
Rui Xue, Claude Baron, Philippe Esteban
article
23rd international conference on systems engineering, Aug 2014, Las Vegas, United States. 14p
Accès au bibtex
BibTex
titre
Modeling and Measuring Graph Similarity: The Case for Centrality Distance
auteur
Matthieu Roy, Stefan Schmid, Gilles Trédan
article
FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01010901/file/fomc14TR.pdf BibTex
titre
SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms
auteur
Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche
article
5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jul 2014, Madrid, Spain. 6 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01052651/file/waters_cheramy.pdf BibTex
titre
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems
auteur
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy
article
26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01015476/file/FAC.pdf BibTex
titre
A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems
auteur
Amira Zammali, Agnan de Bonneval, Yves Crouzet
article
2014 IEEE 8th International Conference on Software Security and Reliability-Companion (SERE-C), Jun 2014, San Francisco, United States. ⟨10.1109/SERE-C.2014.18⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01780248/file/HAL__SERE_2014__SERE_revise_V3_2014.04.18_SOUMIS.pdf BibTex
titre
Integrating Systems Engineering with Project Management: a Current Challenge!
auteur
Rui Xue, Claude Baron, Philippe Esteban
article
24th Annual INCOSE International Symposium, Jun 2014, Las Vegas, United States. 11p
Accès au bibtex
BibTex
titre
Specifications of a method and tool to support the management of systems engineering projects
auteur
Claude Baron, Philippe Esteban, Rui Xue, Daniel Estève, Michel Malbert
article
International Conference on Engineering, Technology and Innovation, Jun 2014, Bergame, Italy. 7p
Accès au bibtex
BibTex
titre
Towards the success of design projects by the alignment of processes in collaborative engineering
auteur
Rui Xue, Claude Baron, Philippe Esteban, Daniel Estève, Michel Malbert
article
A Joint conference on mechanical design engineering and advanced manufacturing, Jun 2014, Toulouse, France. 6p
Accès au bibtex
BibTex
titre
Simulation of Real-Time Scheduling with Various Execution Time Models
auteur
Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Dubé
article
9th IEEE International Symposium on Industrial Embedded Systems (SIES), Jun 2014, Pise, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01052656/file/wip_sies2014.pdf BibTex
titre
Inférence d'interactions sociales par colocalisation discrète
auteur
Roberto Pasqua, Matthieu Roy, Gilles Trédan
article
Atelier sur la Protection de la Vie Privée 2014 (APVP14), Jun 2014, Cabourg, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01382489/file/apvp2014.pdf BibTex
titre
Les défis du Test Logiciel - Bilan et Perspectives
auteur
Frédéric Dadeau, Hélène Waeselynck
article
Journées Nationales du GDR GPL, Jun 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01953503/file/defisMTV2.pdf BibTex
titre
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
auteur
Bernard Berthomieu, Silvano Dal Zilio, Lukasz Fronc
article
4th International ABZ Conference, Jun 2014, France. pp.110-125
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00967422/file/main.pdf BibTex
titre
Analyse de sécurité des box ADSL
auteur
Yann Bachy, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Jean-Christophe Courrège
article
Symposium sur la sécurité des technologies de l’information et des communications, Jun 2014, Rennes, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01178496/file/SSTIC_boxadsl_bachy.pdf BibTex
titre
Tests d’intégrité d’hyperviseurs de machines virtuelles à distance et assisté par le matériel
auteur
Benoît Morgan, Eric Alata, Vincent Nicomette
article
Symposium sur la sécurité des technologies de l'information et des communications, Jun 2014, Rennes, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01493450/file/SSTIC2014-Article-tests_dintegrite_dhyperviseurs-morgan_alata_nicomette.pdf BibTex
titre
How to choose a systems engineering standard: analysis and comparison of current standards
auteur
Rui Xue, Claude Baron, Philippe Esteban
article
International Conference on Engineering Science and Technology ( ICEST 2014), Jun 2014, Beijing, China. 24p
Accès au bibtex
BibTex
titre
Establishing Profiles for Systems Engineering Standards: A Great Help for Companies to Manage Their Processes
auteur
Rui Xue, Claude Baron, Philippe Esteban, Qiang Zhang
article
2014 CAETS International Conference on Engineering Science and Technology, Jun 2014, Beijing, China. ⟨10.15302/J-FEM-2014036⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01284563/file/How%20to%20choose%20a%20systems%20engineering%20standard%20analysis%20and%20comparison%20of%20current%20standards.pdf BibTex
titre
How compatible systems engineering and project management standards are considering the way they manage systems engineering processes ?
auteur
Rui Xue, Claude Baron, Philippe Esteban, Li Zheng
article
Congrès des Doctorants EDSYS 2014, May 2014, Toulouse, France. 7p
Accès au bibtex
BibTex
titre
Bipartite Matching Heuristics with Quality Guarantees on Shared Memory Parallel Computers
auteur
Fanny Dufossé, Kamer Kaya, Bora Uçar
article
28th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2014, Phoenix, Arizona, United States. ⟨10.1109/IPDPS.2014.63⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01235162/file/oneOutMatching.pdf BibTex
titre
From Resilient Computing Architectural Concepts to Wireless Sensor Network-based Applications
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy, Animesh Pathak
article
EDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.46 - 49, ⟨10.1109/EDCC.2014.23⟩
Accès au bibtex
BibTex
titre
Classification et caractérisation non supervisée des attaques vers des pots de miel
auteur
Richard Turc, Philippe Owezarski
article
Conférence sur la Sécurité des Architectures Réseaux et Systèmes d'Information (SARSSI 2014), May 2014, Lyon, France. 11p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00932814/file/RTPO_sarssi.pdf BibTex
titre
Formalisation et génération d'injections
auteur
Eric Alata, Didier Le Botlan
article
9ème édition de la conférence Francophone SARSSI, May 2014, Lyon, France. 13p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01022924/file/sarssi.pdf BibTex
titre
Towards resilient cyber-physical systems: The ADREAM project
auteur
Jean Arlat, Michel Diaz, Mohamed Kaâniche
article
9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS-2014), May 2014, Santorin, Greece. pp.1 - 5, ⟨10.1109/DTIS.2014.6850642⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01419019/file/DTIS_2014_ADREAM_ADK%28A4%29.pdf BibTex
titre
AZO electrodes deposited by atomic layer deposition for OLED fabrication
auteur
Benoit Dugrenil, Isabelle Séguy, H. Lee, Thierry Camps, Y.-C. Lin, Jean Baptiste Doucet, Y.-S. Chiu, Ludovic Salvagnac, Eléna Bedel-Pereira, Marc Ternisien, C Lee, Véronique Bardinal
article
SPIE Photonics Europe, Apr 2014, Brussels, Belgium. pp.91371D
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01993226/file/SPIE%20AZO%20LAAS%20NCKU.pdf BibTex
titre
Implementing and validating SynchSPEM: A solution for synchronizing activities and products within a software engineering process
auteur
Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Christian Percebois, Thierry Millan, Claude Baron
article
International Conference on Multimedia Computing and Systems (ICMCS), Apr 2014, Marrakech, Morocco. ⟨10.1109/ICMCS.2014.6911272⟩
Accès au bibtex
BibTex
titre
Coverage Criteria for Model-Based Testing using Property Patterns
auteur
Frédéric Dadeau, Kalou Cabrera Castillos, Jacques Julliand
article
MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014, Apr 2014, Grenoble, France. pp.15, ⟨10.4204/EPTCS.141.3⟩
Accès au bibtex
BibTex
titre
Safety Management Method in Complex System Engineering
auteur
Romaric Guillerm, Hamid Demmou
article
8th Annual IEEE International Systems Conference (SysCon 2014), Mar 2014, Ottawa, Canada. 7p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01828535/file/IEEE_SYSCON.pdf BibTex
titre
Managing Systems Engineering Processes: a Multi- Standard Approach
auteur
Rui Xue, Claude Baron, Philippe Esteban, Hamid Demmou
article
8th Annual IEEE International Systems Conference (SysCon 2014), Mar 2014, OTTAWA, Canada. 5p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01828551/file/Managing%20Systems%20Engineering%20Processes%20a%20Multi-Standard%20Approach-last%20version.pdf BibTex
titre
Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles
auteur
Hélène Waeselynck, Simon Poulding
article
7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014), Mar 2014, Cleveland, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01953483/file/ICST2014.pdf BibTex
titre
Managing Systems Engineering Processes: a Multi-Standard Approach
auteur
Rui Xue, Claude Baron, Philippe Esteban
article
IEEE International Systems Conference (SysCon), Mar 2014, Ottawa, Canada. 5p
Accès au bibtex
BibTex
titre
Improving Adaptiveness of AUTOSAR Embedded Applications
auteur
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
article
ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01062054/file/dads14.pdf BibTex
titre
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
auteur
Fayollas Camille, P. Palanque, Jean Charles Fabre, David Navarre, Y Deleris, A Hamon
article
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02272197/file/ERTS_2014_submission_78.pdf BibTex
titre
Dynamic software updates vs AUTOSAR
auteur
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
article
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02272217/file/ERTS_2014_submission_81%20%281%29.pdf BibTex
titre
Fault injection and automotive development process
auteur
Karama Kanoun, Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Matthieu Roy
article
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 9p
Accès au bibtex
BibTex
titre
UML-Based Modeling of Robustness Testing
auteur
Regina Moraes, Hélène Waeselynck, Jérémie Guiochet
article
15th IEEE International Symposium on High Assurance Systems Engineering (HASE2014), Jan 2014, Miami, United States. pp.168-175, ⟨10.1109/HASE.2014.31⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01282159/file/HASE2014-final.pdf BibTex

2013

Journal articles

titre
Aircraft Operational Reliability-A Model-based Approach and a Case Study
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
Reliability Engineering and System Safety, Elsevier, 2013, 120, pp.163-176. ⟨10.1016/j.ress.2013.07.008⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01911668/file/Tiassou-RESS-final-HalVersion.pdf BibTex
titre
A Vulnerability Life Cycle-Based Security Modeling and Evaluation Approach
auteur
Géraldine Vache Marconato, Mohamed Kaâniche, Vincent Nicomette
article
The Computer Journal, Oxford University Press (UK), 2013, 56 (4), pp.422-439. ⟨10.1093/comjnl/bxs112⟩
Accès au bibtex
BibTex
titre
A prescriptive approach to qualify and quantify customer value for value-based requirements engineering
auteur
Xinwei Zhang, Guillaume Auriol, Hakki Eres, Claude Baron
article
International Journal of Computer Integrated Manufacturing, Taylor & Francis, 2013, 26 (4), pp.327-345. ⟨10.1080/0951192X.2012.717718⟩
Accès au bibtex
BibTex
titre
A vulnerability life cycle based security modeling and evaluation approach
auteur
Géraldine Vache Marconato, Mohamed Kaâniche, Vincent Nicomette
article
The Computer Journal, Oxford University Press (UK), 2013, 56 (4), pp.422 - 439. ⟨10.1093/comjnl/bxs112⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01911985/file/ComputerJournal-Hal.pdf BibTex
titre
Optimal Design of Virtual Links in AFDX Networks
auteur
Ahmad Al Sheikh, Olivier Brun, Maxime Chéramy, Pierre-Emmanuel Hladik
article
Real-Time Systems, Springer Verlag, 2013, 49 (3), 31p. ⟨10.1007/s11241-012-9171-z⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00665755/file/Optimal_design.pdf BibTex
titre
Evaluation quantitative de la sécurité: Approche basée sur les vulnérabilités
auteur
Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2013, 32 (1), pp.41-75
Accès au bibtex
BibTex
titre
The rationale paradigm in system development lifecycle
auteur
Abd-El-Kader Sahraoui
article
International Journal of System of Systems Engineering, 2013, 4 (1), pp.44-54. ⟨10.1504/IJSSE.2013.053479⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01704792/file/IJSSE_Revised%20Oct%2029%202012.pdf BibTex
titre
évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités
auteur
Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2013, 32 (1), pp.41-75. ⟨10.3166/tsi.32.41-75⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01212202/file/revueTSI-120330.pdf BibTex

Conference papers

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

2012

Journal articles

titre
Service Requirements. Knowing and managing the whole end-to-end service lifecycle
auteur
Abd-El-Kader Sahraoui, Thomas Blum
article
ARPN Journal of Systems and Software, 2012, 2 (10), pp.255-261
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01704834/file/service%20cycle%20arpn.pdf BibTex
titre
Safety evaluation and management of complex systems: A system engineering approach
auteur
Romaric Guillerm, Hamid Demmou, Nabil Sadou
article
Concurrent Engineering: Research and Applications, SAGE Publications, 2012, 20 (2), pp.149-159. ⟨10.1177/1063293X12446665⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00766112/file/CERA_Journal_Final_version.pdf BibTex
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, Elsevier Masson, 2012, 33 (2), pp.165-172
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01282234/file/IRBM-S-12-00025-2.pdf BibTex
titre
SysPEM: a SysML and SPEM based process modelling language for systems engineering
auteur
Abdeslam Jakjoud, Maria Zrikem, Claude Baron, Abderrahmane Ayadi
article
International Journal of Services Operations and Informatics, Inderscience, 2012, 7 (4), pp.330. ⟨10.1504/IJSOI.2012.052183⟩
Accès au bibtex
BibTex

Conference papers

titre
Illustration of the information model for complex system modeling: from requirement to V&V
auteur
Romaric Guillerm, Hamid Demmou, Nabil Sadou
article
Complex Systems Design & Management (CSD&M) 2012, Dec 2012, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00766104/file/CSDM2012_FINAL_version.pdf BibTex
titre
Survey of Security Problems in Cloud Computing Virtual Machines
auteur
Ivan Studnia, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Vincent Nicomette
article
Computer and Electronics Security Applications Rendez-vous (C&ESAR 2012). Cloud and security:threat or opportunity, Nov 2012, Rennes, France. p. 61-74
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00761206/file/cesar_paper71-version_publieI_e.pdf BibTex
titre
From Design for Adaptation to Component-Based Resilient Computing
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00747469/file/design_for_adaptation.pdf BibTex
titre
Safety Trigger Conditions for Critical Autonomous Systems
auteur
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
article
The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01282203/file/prdc2012.pdf BibTex
titre
Why don't we use free 868 MHz band for geolocation?
auteur
Zineb Aqachmar, Pascal Acco, Jean-Yves Fourniols, Guillaume Auriol, Christophe Escriba
article
IEEE 27th Convention of Electrical & Electronics Engineers in Israel (IEEEI 2012), Nov 2012, Eilat, Israel. ⟨10.1109/EEEI.2012.6377141⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01886054/file/06377141_002.pdf BibTex
titre
FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION
auteur
Roberto Pasqua, Damien Foures, Vincent Albert, Alexandre Nketsa
article
European Simulation and Modelling Conference, Oct 2012, Essen, Germany. pp.37-43 N° 12481
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00781084/file/paper_transfo_sequence2devs.pdf BibTex
titre
Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avion
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
Congrès de Maîtrise des Risques et de sûreté de Fonctionnement (Lamda Mu 17), Oct 2012, Tours, France. 9 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00761050/file/LM18_Kossi_Tiassou.pdf BibTex
titre
Towards Timed Requirement Verification for Service Choreographies
auteur
Nawal Guermouche, Silvano Dal Zilio
article
8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2012, Pittsburgh, United States. pp.10
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00578436/file/Guermouche-CollaborateCom12.pdf BibTex
titre
Security-related vulnerability life cycle analysis
auteur
Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
article
7th International Conference on Risk and Security of Internet and Systems (CRiSIS-2012), Oct 2012, Cork, Ireland. pp.1-8, ⟨10.1109/CRISIS.2012.6378954⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00851866/file/crisis_2012-VachENicometteKaaniche.pdf BibTex
titre
Distributed Monitoring of Temporal System Properties using Petri Nets
auteur
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
article
31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01015494/file/srds.pdf BibTex
titre
Impact of Operational Reliability Re-assessment during Aircraft Missions
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
The 31st IEEE Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, CA, United States. pp.219-224, ⟨10.1109/SRDS.2012.37⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01176048/file/SRDS%20p58.pdf BibTex
titre
Applying Existing Standards to a Medical Rehabilitation Robot: Limits and Challenges
auteur
Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell
article
Workshop FW5: Safety in Human-Robot Coexistence & Interaction: How can Standardization and Research benefit from each other?, IEEE/RSJ Intern. Conference Intelligent Robots and Systems (IROS2012), Oct 2012, Vilamoura, Portugal
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01282195/file/guiochet-WSIROS2012.pdf BibTex
titre
An Experiment on Parallel Model Checking of a CTL Fragment
auteur
Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu
article
10th International Symposium, ATVA 2012, Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.284-299, ⟨10.1007/978-3-642-33386-6_23⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00782354/file/paper68.pdf BibTex
titre
Integrating competence management into a coupled project-system design management
auteur
Arz Wehbe, Christophe Merlo, Véronique Pilniere
article
International Conference on Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece
Accès au bibtex
BibTex
titre
A Verified Approach to Checking Real-Time Patterns on Fiacre Programs
auteur
Nouha Abid, Silvano Dal Zilio
article
Doctoral Symposium of FM 2012, Aug 2012, Paris, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01790120/file/abid-dsfm2012.pdf BibTex
titre
A Verified Approach for Checking Real-Time Specification Patterns
auteur
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
article
VECoS 2012, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, France. pp.11
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00782647/file/article.pdf BibTex
titre
Real-Time Specification Patterns and Tools
auteur
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
article
17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, Aug 2012, Paris, France. pp. 1-15, ⟨10.1007/978-3-642-32469-7_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00782649/file/fmics2012patterns.pdf BibTex
titre
A distributed plateform of high interaction honeypots and experimental results (extended version)
auteur
Ivan Studnia, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
article
Privacy Security Trust (PST 2012), Jul 2012, Paris, France. 8p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00706333/file/honeypot_platform.pdf BibTex
titre
Application of Systems Engineering in Distributed Control and Building Performance Applications
auteur
Azzedine Yahiaoui, Abd-El-Kader Sahraoui
article
2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01704797/file/IEEE_17th_ICECCS_Sub_Application%20of%20Systems%20Engineering%20in%20Distributed%20Control%20and%20Building%20Performance%20Applications.pdf BibTex
titre
Campagne de collecte de données et vie privée
auteur
Nicolas Haderer, Miguel Nuñez del Prado Cortez, Romain Rouvoy, Marc-Olivier Killijian, Matthieu Roy
article
3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00711609/file/ubilab.pdf BibTex
titre
Locanyms: Towards privacy-preserving location-based services
auteur
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
article
Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France
Accès au bibtex
BibTex
titre
De-anonymization attack on geolocated datasets
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France
Accès au bibtex
BibTex
titre
FORMAL COMPATIBILITY OF EXPERIMENTAL FRAME CONCEPT AND FD-DEVS MODEL
auteur
Damien Foures, Vincent Albert, Alexandre Nketsa
article
9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00728676/file/paper_67.pdf BibTex
titre
Modelling in innovative design using systems engineering
auteur
Qiang Zhang, Ioana Deniaud, Emmanuel Caillaud, Claude Baron
article
9th International Conference of Modeling, Optimization and Simulation, Jun 2012, Bordeaux, France. pp.68-78
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00992376/file/MOSIM_Qiang_V.2.2.pdf BibTex
titre
Exécution répartie et temps-réel de réseaux de Petri
auteur
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
article
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00689991/file/baldellon.pdf BibTex
titre
Descriptive model for interpreting innovative design
auteur
Qiang Zhang, Ioana Deniaud, Emmanuel Caillaud, Claude Baron
article
International Design Conference 2012, May 2012, Dubrovnik, Croatia. pp.343-353
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00992373/file/ZHANG_DESCRIPTIVE_MODEL_FOR_INTERPRETING_INNOVATIVE_DESIGN_final_revision1.0.pdf BibTex
titre
Locanyms: Towards Privacy-Preserving Location-Based Services
auteur
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
article
1st European Workshop on AppRoaches to MObiquiTous Resilience, May 2012, Sibiu, Romania. pp.6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00699742/file/ARMOR_final_version_26mars.pdf BibTex
titre
Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
European Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p
Accès au bibtex
https://arxiv.org/pdf/1204.1232 BibTex
titre
Next place prediction using mobility Markov chains
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
MPM - EuroSys 2012 Workshop on Measurement, Privacy, and Mobility - 2012, Apr 2012, Bern, Switzerland
Accès au bibtex
BibTex
titre
AMORES: an architecture for mobiquitous resilient systems
auteur
Christian Artigues, Yves Deswarte, Jérémie Guiochet, Marie-José Huguet, Marc-Olivier Killijian, David Powell, Matthieu Roy, Christophe Bidan, Nicolas Prigent, Emmanuelle Anceaume, Sébastien Gambs, Gilles Guette, Michel Hurfin, Frédéric Schettini
article
ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩
Accès au bibtex
BibTex
titre
Online model adaptation for aircraft operational reliability assessment
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
6th International Congress, Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France. pp.1-11
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00761040/file/8C-1-1.pdf BibTex
titre
Secure architecture for information systems in avionics
auteur
Maxime Lastera, Eric Alata, Jean Arlat, Yves Deswarte, David Powell, Bertrand Leconte, Cristina Simache
article
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 7p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02263451/file/8A-3.pdf BibTex
titre
Human-robot interactions: model-based risk analysis and safety case construction
auteur
Quynh Anh Do Hoang, Jérémie Guiochet, David Powell, Mohamed Kaâniche
article
Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02192419/file/ERTS2012DOHOANG.pdf BibTex
titre
Elicitation of Executable Safety Rules for Critical Autonomous Systems
auteur
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
article
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01282237/file/ERTS2012MEKKI.pdf BibTex

Book sections

titre
System Dependability: Characterization and Benchmarking
auteur
Yves Crouzet, Karama Kanoun
article
A.Hurson, S.Sedigh. Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Elsevie, pp.93-139, 2012, 978-0-12-396525-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00761042/file/Crouzet_Bench_10182011.pdf BibTex
titre
MUSTER: A Situational Tool for Requirements Elicitation
auteur
Chad Coulin, Didar Zowghi, Abd-El-Kader Sahraoui
article
Computer Engineering: Concepts, Methodologies, Tools and Applications, IGI Global, II, pp.620-638, 2012, 9781613504567
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01706605/file/MUSTER_vFinal.pdf BibTex

Books

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

2011

Journal articles

titre
Process modeling in innovative design using systems engineering
auteur
Qiang Zhang, Ioana Deniaud, Emmanuel Caillaud, Claude Baron
article
Insight / American Society of Ophthalmic Registered Nurses, Inc, American Society of Ophthalmic Registered Nurses, 2011, 14 (4), pp.31-32
Accès au bibtex
BibTex
titre
The Advantages of Systems Engineering Standards, a Case Study of Application of the EIA632 Standard to Design of a Small-Scale Yacht
auteur
Claude Baron, Guillaume Auriol, Jean-Yves Fourniols
article
International journal of engineering and industries (IJEI), 2011, 2 (3), pp.40-56. ⟨10.4156/ijei⟩
Accès au bibtex
BibTex
titre
Show me how you move and I will tell you who you are
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
Transactions on Data Privacy, IIIA-CSIC, 2011, 4 (2), pp.103-126
Accès au bibtex
BibTex
titre
The HIDENETS holistic approach for the analysis of large critical mobile systems
auteur
Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, Istvan Majzik, Hans-Peter Schwefel
article
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2011, 10 (6), pp.783-796. ⟨10.1109/TMC.2010.222⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00852105/file/HidenetsPaper-TMC_Revised_LAASversion.pdf BibTex
titre
Set-up and deployment of a high-interaction honeypot: experiment and lessons learned
auteur
Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Matthieu Herrb
article
Journal in Computer Virology, Springer Verlag, 2011, 7 (2), pp.143-157. ⟨10.1007/s11416-010-0144-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00762596/file/final_auteurs.pdf BibTex

Conference papers

titre
Towards Temporal Mobility Markov Chains
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
1st International Workshop on Dynamicity Collocated with OPODIS 2011, Toulouse, France, Dec 2011, Toulouse, France. 2 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00675544/file/dynam.pdf BibTex
titre
Towards dynamic graph analysis: a position note
auteur
Erwan Le Merrer, Gilles Trédan
article
DYNAM: 1st International Workshop on Dynamicity, Dec 2011, Toulouse, France. pp.20
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00725095/file/paper_7.pdf BibTex
titre
A clustering approach for web vulnerabilities detection
auteur
Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
article
17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, CA, United States. pp.194-203, ⟨10.1109/PRDC.2011.31⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00755212/file/prdc2011.pdf BibTex
titre
SynchSPEM: A synchronization metamodel between activities and products within a SPEM-based Software Development Process
auteur
Amal Rochd, Zrikem Maria, Abderrahmane Ayadi, Thierry Millan, Christian Percebois, Claude Baron
article
IEEE Conference on Computer Applications and Industrial Electronics (ICCAIE), Dec 2011, Penang, Malaysia
Accès au bibtex
BibTex
titre
ACTIVITYDIAGRAM2PETRINET : TRANSFORMATION-BASED MODEL IN ACCORDANCE WITH THE OMG SYSML SPECIFICATIONS
auteur
Damien Foures, Vincent Albert, Jean-Claude Pascal
article
Eurosis, The 2011 European Simulation and Modelling Conference, Oct 2011, Guimaraes, Portugal. p429-p433
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00760783/file/eurosis_Damien.pdf BibTex
titre
Architecting Resilient Computing Systems: Overall Approach and Open Issues
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
Software Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland. pp.48-62, ⟨10.1007/978-3-642-24124-6_5⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01615018/file/serene.pdf BibTex
titre
Modeling Aircrafts Operational Reliability
auteur
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
article
International Conference on Computer Safety, Reliability ans Security (SAFECOMP 2011), Sep 2011, Naples, Italy. pp.157-170
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01176051/file/Safecomp-%20CR.pdf BibTex
titre
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
auteur
Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu
article
International Symposium on Parallel and Distributed Computing (ISPDC 2011), Jul 2011, Cluj-Napoca, Romania. 8p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00523188/file/paper.pdf BibTex
titre
WOSD 2011 The First International Workshop on Open Systems Dependability
auteur
Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre
article
International Workshop on Open Systems Dependability (WOSD), organised with DSN 2011, Jun 2011, Hong Kong, China. pp.593 - 594
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01981173/file/Editorial_WOSD2011.pdf BibTex
titre
The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems Applications
auteur
Marc-Olivier Killijian, Matthieu Roy, Gaetan Severac
article
AMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00667832/file/amire.pdf BibTex
titre
Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques
auteur
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell
article
Journée Sécurité des Systèmes & Sureté des Logiciels (3SL), May 2011, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01285169/file/paper_3SL%20-%20copie.pdf BibTex
titre
Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument Construction
auteur
Quynh Anh Do Hoang, Jérémie Guiochet, Mohamed Kaâniche, David Powell
article
Model Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France
Accès au bibtex
BibTex
titre
A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks
auteur
Olivier Baldellon, Achour Mostefaoui, Michel Raynal
article
12th International Conference on Distributed Computing and Networking (ICDCN'11), Jan 2011, Bangalore, India. pp.215-226
Accès au bibtex
BibTex

Book sections

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

2010

Journal articles

titre
Core Disciplines for Unifying Engineering Education Revisiting with a focus on Modelling and Simulation
auteur
Abd-El-Kader Sahraoui
article
IEEE Multidisciplinary Engineering Education Magazine, 2010, 5 (3), pp.24-27
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01704853/file/engineering%20education.pdf BibTex
titre
Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability
auteur
Katerina Goseva-Popstojanova, Karama Kanoun
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2010, 36 (3)
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01983990/file/Editorial-IEEE-TSE-SpecialSection-SoftwareDependability.pdf BibTex

Conference papers

titre
Embedded blade microsystem and events recorder for drone structural health monitoring
auteur
Mathieu Lastapis, Christophe Escriba, Guillaume Auriol, Roxana Albu, Pascal Berthou, Jean-Louis Boizard, Jean-Marie Dilhac, Jean-Yves Fourniols
article
Asian-Pacific workshop on structural health monitoring, Nov 2010, Tokyo, Japan
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00545117/file/LASTAPIS_APWSHM2010_LAAS-CNRS_FRANCE_.pdf BibTex
titre
Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays
auteur
Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik
article
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.179-188
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00546945/file/rtns2010_sheikh.pdf BibTex
titre
Early Error Detection for Fault Tolerance Strategies
auteur
Thomas Robert, Matthieu Roy, Jean-Charles Fabre
article
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00546934/file/rtns2010_robert.pdf BibTex
titre
Experience with Model-Based User-Centered Risk Assessment for Service Robots
auteur
Jérémie Guiochet, Damien Martin-Guillerez, David Powell
article
International High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01285192/file/guiochet-hase2010.pdf BibTex
titre
Show me how you move and I will tell you who you are
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS (SPRINGL'10), Nov 2010, San José, United States. ⟨10.1145/1868470.1868479⟩
Accès au bibtex
BibTex
titre
Information model for model driven safety requirements management of complex systems
auteur
Romaric Guillerm, Hamid Demmou, Nabil Sadou
article
Complex Systems Design & Management (CSDM) 2010, Oct 2010, Paris, France. pp.99-111, ⟨10.1007/978-3-642-15654-0⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00766209/file/CSDM-Revision_Final.pdf BibTex
titre
ARUM: A cooperative middleware and an experimentation platform for mobile systems
auteur
Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac
article
2010 IEEE 6th International Conference onWireless and Mobile Computing, Networking and Communications (WiMob), Oct 2010, Niagara Falls, Canada. pp.442 - 449, ⟨10.1109/WIMOB.2010.5645030⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01615017/file/wimob2010.pdf BibTex
titre
BASE DE CONNAISSANCES SYSML POUR LA CONCEPTION DE SYSTEMES COMPLEXES SURS DE FONCTIONNEMENT
auteur
Romaric Guillerm, Hamid Demmou, Nabil Sadou
article
Lambda Mu 17 - Innovation et Maîtrise des risques, Oct 2010, La Rochelle, France. pp.173
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00766204/file/LM17_elec.pdf BibTex
titre
A General Lock-Free Algorithm for Parallel State Space Construction
auteur
Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu
article
2010 Ninth International Workshop onParallel and Distributed Methods in Verification (PDMC 2010), Second International Workshop on High Performance Computational Systems Biology (HIBI 2010), Sep 2010, Twente, Netherlands. p.8-16, ⟨10.1109/PDMC-HiBi.2010.10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00473072/file/paper_final.pdf BibTex
titre
Experience with a Model-based Safety Analysis Process for Autonomous Service Robot
auteur
Damien Martin-Guillerez, Jérémie Guiochet, David Powell
article
7th International Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), Jun 2010, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01285189/file/guiochet-drhe2010.pdf BibTex
titre
Analyse d'un modèle AADL à l'aide de Pola
auteur
Pierre-Emmanuel Hladik, Florent Peres, Xiaomu Shi
article
10es journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2010, Poitiers, France. p. 239--243
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00493726/file/aadl_pola_Vcourte_final.pdf BibTex
titre
Formal Verification of AADL models with Fiacre and Tina
auteur
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali, Pierre Gaufillet, Sebastien Heim, François Vernadat
article
ERTSS 2010 - Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00494348/file/aadlTopcased.pdf BibTex
titre
Dependability Modelling of Safety Applications in Communicating Automotive Systems
auteur
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
article
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02267743/file/5C-2.pdf BibTex
titre
Verification Based Development Process for Embedded Systems
auteur
T Correa, L Becker, J.-P Bodeveix, J.-M Farines, M Filali, François Vernadat
article
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. 10p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02267842/file/6C-2.pdf BibTex
titre
Beyond San Fancisco Cabs : Building a *-lity Mining Dataset for Social Traces Analysis
auteur
Marc-Olivier Killijian, Matthieu Roy, Gilles Tredan
article
Workshop on the Analysis of Mobile Phone Networks, May 2010, Cambridge, MA, United States. 6p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01740343/file/NetMob2010.pdf BibTex
titre
Availability Modelling of a Virtual Black Box for Automotive Systems
auteur
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
article
The 2nd International Workshop on Software Engineering for Resilient Systems (SERENE'10), Apr 2010, Londres, United Kingdom. pp.52-60, ⟨10.1145/2401736.2401742⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00852263/file/serene2010_HamoudaKaanicheKanoun.pdf BibTex
titre
A UML-based method for risk analysis of human-robot interactions
auteur
Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon
article
2nd International Workshop on Software Engineering for Resilient Systems (SERENE), Apr 2010, London, United Kingdom. pp. 32-41, ⟨10.1145/2401736.2401740⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01285195/file/guiochet-serene2010.pdf BibTex
titre
GEPETO: a GEoPrivacy-Enhancing TOolkit
auteur
Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez
article
Proceedings of the International Workshop on Advances in Mobile Computing and Applications: Security, Privacy and Trust, held in conjunction with the 24th IEEE AINA conference, Apr 2010, Perth, Australia. ⟨10.1109/WAINA.2010.170⟩
Accès au bibtex
BibTex
titre
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre
auteur
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel, François Vernadat
article
IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00492327/file/idm2010.pdf BibTex

2009

Journal articles

titre
PolyOrBAC: a security framework for critical infrastructures
auteur
Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche
article
International Journal of Critical Infrastructure Protection, Elsevier, 2009, 2 (4), pp.154-169. ⟨10.1016/j.ijcip.2009.08.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00851762/file/09087.pdf BibTex
titre
Composer les réseaux de Petri temporels
auteur
Florent Peres, Bernard Berthomieu, François Vernadat
article
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43 (7-9), pp.1001-1015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00438377/file/msr.pdf BibTex
titre
Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG
auteur
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
article
Technique et Science Informatiques, Hermès-Lavoisier, 2009, 28 (1), pp.7-37
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00755268/file/2290v2_Hal.pdf BibTex

Conference papers

titre
System engineering approach for safety management of complex systems
auteur
Romaric Guillerm, Hamid Demmou, Nabil Sadou
article
The 2009 European Simulation and Modelling Conference, Oct 2009, Leicester, United Kingdom. pp.150-157
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00766139/file/ESM.pdf BibTex
titre
An approach for improving Fault-Tolerance in Automotive Modular Embedded Software
auteur
Caroline Lu, Jean-Charles Fabre, Marc-Olivier Killijian
article
17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.132-147
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00442000/file/DesignOptimization_Lu.pdf BibTex
titre
Coupling product and project configuration with constraints : a CSP software comparison
auteur
Élise Vareilles, Sabine Carbonnel, Meriem Djefel, Michel Aldanondo, Samuel Rochet, Guillaume Auriol, Claude Baron
article
SKIMA 2009 -3rd International conference on software, knowledge, information management and applications, Oct 2009, Fez, Morocco. 5 p
Accès au bibtex
BibTex
titre
Plateforme pour l'exécution contrôlée de logiciels malveillants
auteur
Ion Alberdi, Vincent Nicomette, Philippe Owezarski
article
Colloque Francophone d'Ingenierie des Protocoles (CFIP), Oct 2009, Strasbourg, France. 12p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00387400/file/alberdi_nicomette_owezarski.pdf BibTex
titre
ESA PetriNet: Petri net Based Tool for Reliability Analysis
auteur
Romaric Guillerm, Hamid Demmou, Nabil Sadou
article
2009 IEEE International Conference on Systems, Man, and Cybernetics, Oct 2009, San Antonio, Texas, United States. 6p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00766146/file/SMC2009_Outil_Final.pdf BibTex
titre
Towards a Privacy-preserving National Identity Card
auteur
Yves Deswarte, Sébastien Gambs
article
Fourth International Workshop on Data Privacy Management, Sep 2009, Saint Malo, France. pp.30-43
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00411838/file/privacy_preserving_idcard.pdf BibTex
titre
A Platform for Experimenting with Mobile Algorithms in a Laboratory
auteur
Marc-Olivier Killijian, Matthieu Roy
article
Principles Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00394002/file/podc09-roy.pdf BibTex
titre
Using OWA Operators for Gene Sequential Pattern Clustering
auteur
Jordi Nin, Paola Salle, Sandra Bringay, Maguelonne Teisseire
article
CBMS: Computer-Based Medical Systems, Aug 2009, Albuquerque, NM, United States. ⟨10.1109/CBMS.2009.5255363⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00395145/file/Using_OWA_operators_for_gene_sequential.pdf BibTex
titre
Safety modeling and evaluation of Automated Highway Systems
auteur
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
article
The IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00851779/file/HamoudaKaanicheKanoun_DSN_2009.pdf BibTex
titre
Connectivity dynamics in vehicular freeway scenarios
auteur
Ossama Hamouda, Mohamed Kaâniche, Erling Moller Matthiesen, Jakob Gulddahl Rasmussen, Hans-Peter Schwefel
article
Global Information Infrastructure Symposium (GIIS '09), Jun 2009, Hammamet, Tunisia. pp.1-8, ⟨10.1109/GIIS.2009.5307090⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00851876/file/UBIROADS_2009_Hamouda_Kaaniche.pdf BibTex
titre
Formal Verification of AADL Specifications in the Topcased Environment
auteur
Bernard Berthomieu, J.-P Bodeveix, Christele Chaudet, Silvano Dal Zilio, M Filali, François Vernadat
article
Reliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01790208/file/aadltina.pdf BibTex
titre
Observation Graph implementation for TINA toolbox
auteur
Rodrigo Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00380671/file/FormalAnalysis_3.pdf BibTex
titre
Robustness Testing of Robot Controller Software
auteur
Hoang-Nam Chu, Jean Arlat, Marc-Olivier Killijian, Benjamin Lussier, David Powell
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00381686/file/FaultInjection_3.pdf BibTex
titre
Some Challenges in Adaptive Fault Tolerant Computing
auteur
François Taïani, Jean-Charles Fabre
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00381925/file/FaultTolerance_3.pdf BibTex
titre
Criticality and Confidence Issues in Avionics
auteur
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric de Nadai
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00381966/file/RigorousDevelopment_4.pdf BibTex
titre
Application of Early Error Detection for Handling Degraded Modes of Operation
auteur
Thomas Robert, Jean-Charles Fabre, Matthieu Roy
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00381913/file/FaultTolerance_2.pdf BibTex
titre
Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet
auteur
Romaric Guillerm, Nabil Sadou, Hamid Demmou
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00380707/file/FormalAnalysis_4.pdf BibTex
titre
Présentation des résultats du projet OpenEmbeDD
auteur
Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, Hubert Garavel, Susanne Graf, Frederic Lang, Vincent Mahé, Michel Nakhlé, Rémi Schnekenburger, Robert de Simone, Jean-Pierre Talpin, François Vernadat
article
Neptune, May 2009, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381639/file/Neptune-09.pdf BibTex
titre
Signature Matching Applied to Simulation/Frame Duality
auteur
Alexandre Nketsa, Vincent Albert
article
2009 Fourth International Conference on Systems, Mar 2009, Gosier, France. ⟨10.1109/ICONS.2009.32⟩
Accès au bibtex
BibTex

2008

Journal articles

titre
Modeling the resilience of large and evolving systems
auteur
Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun
article
International Journal of Performability Engineering, 2008, 4 (2), pp.153-168
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00756957/file/IJPE_Kaaniche-final.pdf BibTex
titre
Systems engineering research
auteur
Abd-El-Kader Sahraoui, Dennis Buede, Andrew Sage
article
Journal of Systems Science and Systems Engineering, Springer Verlag (Germany), 2008, 17 (3), pp.319 - 333. ⟨10.1007/s11518-008-5083-9⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01704863/file/systems%20eng%20research%20_F.pdf BibTex
titre
A Property-Driven Approach to Formal Verification of Process Models
auteur
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
article
Lecture Notes in Business Information Processing, Enterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00369884/file/lnbip_iceis07-CameraReady.pdf BibTex

Conference papers

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

Book sections

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

Directions of work or proceedings

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

Books

titre
Dependability Benchmatking for Computing Systems
auteur
Karama Kanoun, Lisa Spainhower
article
IEEE Computer Society; WILEY, 2008, 978-0-470-23055-8
Accès au bibtex
BibTex

2007

Journal articles

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

Conference papers

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

2006

Journal articles

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

Conference papers

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

2005

Journal articles

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

Conference papers

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

Book sections

titre
Vérification des applications temps réel
auteur
Françoise Simonot-Lion, Ye-Qiong Song, Bernard Berthomieu, François Vernadat
article
Jacky Akoka, Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000560/file/Section-STR-I-07-CH4.pdf BibTex

2004

Journal articles

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

Conference papers

titre
Simulation and Detection of Some Properties of Hybrid System Based Differential Predicate-Transition Petri Nets by Means of VHDL-AMS
auteur
Alexandre Nketsa, Jean-Claude Pascal, David Andreu, Philippe Esteban
article
European Simulation and Modelling Conference (ESM), Oct 2004, Paris, France. pp.294-298
Accès au bibtex
BibTex
titre
ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATION
auteur
Yves Crouzet, Ali Kalakech, Karama Kanoun, Jean Arlat
article
Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01980665/file/ycrouzet-lm14-art.pdf BibTex
titre
Generic error model of human-robot interaction
auteur
Jérémie Guiochet, G Motet, C Baron
article
3rd IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Manchester, UK, Sep 2004, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276665/file/guiochet-IARP04.pdf BibTex
titre
Toward a Human-Centered UML for Risk Analysis - Application to a medical robot
auteur
Jérémie Guiochet, Gilles Motet, Claude Baron, Guy Boy
article
18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), IFIP/WCC, Aug 2004, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276662/file/Guiochet-HESSD04.pdf BibTex
titre
Benchmarking The Dependability of Windows NT4, 2000 and XP *
auteur
Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat
article
2004 International Conference on Dependable Systems and Networks (DSN'2004), Jun 2004, Florence, Italy. pp.681-686
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01962911/file/Windows-Family-DSN.pdf BibTex
titre
UML based risk analysis - Application to a medical robot
auteur
Jérémie Guiochet, Claude Baron
article
Quality Reliability and Maintenance 5th International Conference, Oxford, UK, Apr 2004, Oxford, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276661/file/guiochet.pdf BibTex
titre
Decomposition and learning for a hard real-time task allocating problem
auteur
Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet
article
CORS/INFORMS Joint International Meeting, 2004, Banff, Alberta, Canada
Accès au bibtex
BibTex
titre
Toward a human-centered UML for risk analysis
auteur
Jérémie Guiochet, Gilles Motet, Claude Baron, Guy Boy
article
IFIP WCC, 2004, Toulouse, France. pp.177-191
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003461/file/Guiochet-HESSD04.pdf BibTex

2003

Journal articles

titre
Impact of internal and external software faults on the Linux kernel
auteur
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
article
IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communication Engineers, 2003, E86-D (12), pp.2571-2578
Accès au bibtex
BibTex
titre
Multi-Level Modeling Approach for the Availability Assessment of e-Business Applications
auteur
Mohamed Kaâniche, Karama Kanoun, Mourad Rabah
article
Software: Practice and Experience, Wiley, 2003, 33 (14), pp.1323-1341. ⟨10.1002/spe.550⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00755223/file/SPE_fin_V1.pdf BibTex
titre
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach
auteur
Mourad Rabah, Karama Kanoun
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2003, 52 (2), ⟨10.1109/TC.2003.1176988⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01977511/file/Rabah-Kanoun-IEEE-TC-soumis.pdf BibTex

Conference papers

titre
Integration of UML in human factors analysis for safety of a medical robot for tele-echography
auteur
Jérémie Guiochet, Bertrand Tondu, Claude Baron
article
IEEE/RSJ International Conference on Intelligent Robots and Systems, Intelligent Robots and Systems for Human Security, Health, and Prosperty IROS 2003, Las Vegas, USA, IEEE/RSJ, Oct 2003, Las Vegas, United States. pp.3212-3217, ⟨10.1109/IROS.2003.1249651⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276631/file/Guiochet.pdf BibTex
titre
UML Based FMECA in Risk Analysis
auteur
Jérémie Guiochet, C Baron
article
ESMc'2003, University of Naples II, Naples, Italy, Oct 2003, Naples, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276635/file/ESMCv3-sansEntete.pdf BibTex
titre
A User-Perceived Availability Evaluation of a Web Based Travel Agency
auteur
Mohamed Kaâniche, Karama Kanoun, Magnos Martinello
article
International Conference on Deependable Systems and Networks (DSN-2003), Jun 2003, San Francisco, CA, United States. pp.709 - 718, ⟨10.1109/DSN.2003.1209986⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01911676/file/kaaniche_DSN-PDS2003.pdf BibTex

2002

Conference papers

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

2001

Journal articles

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

Conference papers

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

Book sections

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

2000

Journal articles

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

Conference papers

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

Book sections

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

1999

Journal articles

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

Conference papers

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

Book sections

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

Directions of work or proceedings

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

1998

Conference papers

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

1997

Journal articles

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

1996

Conference papers

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

Book sections

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

1995

Book sections

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

1994

Journal articles

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

Conference papers

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

Book sections

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

1993

Conference papers

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

Book sections

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

1992

Journal articles

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

Conference papers

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

Book sections

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

1991

Journal articles

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

Conference papers

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

Book sections

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

1990

Journal articles

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

Conference papers

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