Publications HAL

2023

titre
Tasks in modular proofs of concurrent algorithms
auteur
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
article
Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04086420/file/journal-final.pdf BibTex
titre
Synchronous t-resilient consensus in arbitrary graphs
auteur
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
article
Information and Computation, 2023, 292, pp.105035. ⟨10.1016/j.ic.2023.105035⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04287975/file/journal.pdf BibTex

2022

titre
Towards the certification of vision based systems: modular architecture for airport line detection
auteur
Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet
article
11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-03717993/file/ERTS_2022_Final_V08.pdf BibTex
titre
Détection des lignes aéroportuaires par méthode hybride de filtrage particulaire et de réseaux de neurones
auteur
Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet
article
Congrès Reconnaissance des Formes, Image, Apprentissage et Perception (RFIAP 2022), Jul 2022, Vannes, France
Accès au texte intégral et bibtex
https://hal.science/hal-03788203/file/RFIAP2022.pdf BibTex

2021

titre
A topological perspective on distributed network algorithms
auteur
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
article
Theoretical Computer Science, 2021, 849, pp.121-137. ⟨10.1016/j.tcs.2020.10.012⟩
Accès au bibtex
https://arxiv.org/pdf/1907.03565 BibTex

2020

titre
Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic Observations
auteur
Christophe Bertero, Jean-François Léon, Gilles Trédan, Matthieu Roy, Alexandre Armengaud
article
Atmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02998998/file/Bertero_2020_Urban-Scale_NO2_Prediction_with_Sensors_Aboard_Bicycles.pdf BibTex
titre
Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts
auteur
Jean Ibarz, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre, Olivier Flébus
article
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03167058/file/article_RTNS.pdf BibTex
titre
Safe Scheduling on Multicores: an approach leveraging multi-criticality and end-to-end deadlines
auteur
Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
article
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02465340/file/ERTS2020_paper_38.pdf BibTex
titre
Collective Information Processing in Human Phase Separation
auteur
Bertrand Jayles, Ramon Escobedo, Roberto Pasqua, Christophe Zanon, Adrien Blanchet, Matthieu Roy, Gilles Trédan, Guy Théraulaz, Clément Sire
article
Philosophical Transactions of the Royal Society B: Biological Sciences, 2020, 375 (1807), ⟨10.1098/rstb.2019.0801⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02393253/file/Blanchet_34923.pdf BibTex

2019

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
Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems
auteur
Achour Mostefaoui, Michel Raynal, Matthieu Roy
article
Computing, 2019, 101 (1), pp.3-17. ⟨10.1007/s00607-018-0615-8⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01784210/file/computing-2018-author.pdf BibTex
titre
Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability
auteur
Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
article
5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-02303216/file/CARS_2019_paper_2.pdf BibTex
titre
A Topological Perspective on Distributed Network Algorithms
auteur
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Corentin Travers
article
26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩
Accès au bibtex
BibTex
titre
Tasks in Modular Proofs of Concurrent Algorithms
auteur
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
article
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02903005/file/castaneda_26273.pdf BibTex

2018

titre
Resilient Computing on ROS using Adaptive Fault Tolerance
auteur
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
article
Journal of Software: Evolution and Process, 2018, 30 (3), pp.e1917. ⟨10.1002/smr.1917⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01703968/file/JSME-auteur.pdf BibTex
titre
SMOF - A Safety MOnitoring Framework for Autonomous Systems
auteur
Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
article
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01394139/file/revue9.pdf BibTex
titre
Adaptation dans les systèmes dynamiques : une vision informatique de la résilience
auteur
Matthieu Roy
article
Calcul parallèle, distribué et partagé [cs.DC]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2018
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01801677/file/HDR-roy-2018.pdf BibTex
titre
DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems
auteur
Angeliki Kritikakou, Thibaut Marty, Matthieu Roy
article
ACM Transactions on Design Automation of Electronic Systems, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01559696/file/DYNAMIC_final.pdf BibTex
titre
Convergence and covering on graphs for wait-free robots
auteur
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
article
Journal of the Brazilian Computer Society, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01740338/file/wait-free-robots.pdf BibTex

2017

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://laas.hal.science/hal-01576291/file/PID4955309.pdf BibTex
titre
The many faces of graph dynamics
auteur
Yvonne-Anne Pignolet, Matthieu Roy, Stefan Schmid, Gilles Trédan
article
Journal of Statistical Mechanics: Theory and Experiment, 2017, 2017 (6), pp.063401. ⟨10.1088/1742-5468/aa71ce⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01559708/file/JSTAT_gog16.pdf BibTex
titre
Architecting resilient computing systems: A component-based approach for adaptive fault tolerance
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
Journal of Systems Architecture, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01472877/file/JSA-2016-final.pdf BibTex
titre
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour
auteur
Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy
article
International Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01559723/file/Early-decision-NETYS-2017-final.pdf BibTex

2016

titre
Loca: A Location-Oblivious Co-location Attack in Crowds
auteur
Roberto Pasqua, Matthieu Roy, Gilles Trédan
article
2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ⟨10.1145/2971648.2971663⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01372317/file/ubicomp16.pdf BibTex
titre
Towards Resilient Computing on ROS for Embedded Applications
auteur
Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Matthieu Amy, William Excoffon, Miruna Stoicescu
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Accès au texte intégral et bibtex
https://hal.science/hal-01292318/file/paper_107.pdf BibTex
titre
Asynchronous Coordination Under Preferences and Constraints
auteur
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
article
23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Accès au texte intégral et bibtex
https://hal.science/hal-01341710/file/sirocco-coordination.pdf BibTex
titre
Two Convergence Problems for Robots on Graphs
auteur
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
article
7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01386628/file/wait-free-graph-problems.pdf BibTex
titre
BG Distributed Simulation Algorithm
auteur
Matthieu Roy
article
Ming-Yang Kao. Encyclopedia of Algorithms, Springer New York, pp.199-203, 2016, 978-1-4939-2863-7. ⟨10.1007/978-1-4939-2864-4_611⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02087581/file/bg-revised.pdf BibTex
titre
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS
auteur
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
article
HASE 2016 — IEEE 17th International Symposium on High Assurance Systems Engineering Symposium, Jan 2016, Orlando, FL, United States. pp.94-101, ⟨10.1109/HASE.2016.30⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01288098/file/ROS-HASE2016.pdf BibTex
titre
Asynchronous Coordination with Constraints and Preferences
auteur
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
article
35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01326911/file/coordination-BA-PODC.pdf BibTex
titre
Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
auteur
Angeliki Kritikakou, Thibaut Marty, Claire Pagetti, Christine Rochange, Michaël Lauer, Matthieu Roy
article
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-01375576/file/CARS2016_paper_11.pdf BibTex
titre
Souk: Spatial Observation of hUman Kinetics
auteur
Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon
article
Computer Networks, 2016, 111, pp.109-119. ⟨10.1016/j.comnet.2016.08.008⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01372329/file/souk.pdf BibTex

2015

titre
Model-Checking and Game theory for Synthesis of Safety Rules
auteur
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
article
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01164981/file/v14.pdf BibTex
titre
Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS
auteur
Michaël Lauer, Matthieu Amy, William Excoffon, Matthieu Roy, Miruna Stoicescu
article
CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01193039/file/CARSEDCC2015_paper_14.pdf BibTex
titre
Model-checking and Game Theory for the Synthesis of Safety Rules
auteur
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
article
IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01207657/file/v14.pdf BibTex
titre
Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262
auteur
Ludovic Pintard, Michel Leeman, Abdelillah Ymlahi-Ouazzani, Jean-Charles Fabre, Karama Kanoun, Matthieu Roy
article
SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. ⟨10.4271/2015-01-0272⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01221422/file/SAE_Manuscript-AuthorsFinalVersion.pdf BibTex
titre
Partial Updates of AUTOSAR Embedded Applications — To What Extent?
auteur
Hélène Martorell, Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Régis Valentin
article
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01194832/file/edcc.pdf BibTex

2014

titre
Inférence d'interactions sociales par colocalisation discrète
auteur
Roberto Pasqua, Matthieu Roy, Gilles Trédan
article
Atelier sur la Protection de la Vie Privée 2014 (APVP14), Jun 2014, Cabourg, France
Accès au texte intégral et bibtex
https://hal.science/hal-01382489/file/apvp2014.pdf BibTex
titre
Dynamic software updates vs AUTOSAR
auteur
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
article
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02272217/file/ERTS_2014_submission_81%20%281%29.pdf BibTex
titre
Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps
auteur
Jesús Friginal, Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan
article
IEEE International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, United States. ⟨10.1109/NCA.2014.8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01242260/file/mobility.pdf BibTex
titre
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
From Safety Analyses to Experimental Validation of Automotive Embedded Systems
auteur
Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy
article
PRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01265454/file/PRDC2014_CameraReady_FV_IEEE.pdf BibTex
titre
Vssdb: A Verifiable Secret-Sharing Distance-Bounding Protocol
auteur
Sébastien Gambs, Marc-Olivier Killijian, Cédric Lauradoux, Cristina Onete, Matthieu Roy, Moussa Traoré
article
International Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France
Accès au texte intégral et bibtex
https://hal.science/hal-01242265/file/vssdb.pdf BibTex
titre
The Opinion Number of Set-Agreement
auteur
Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
article
OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01073578/file/chcksa.pdf BibTex
titre
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems
auteur
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy
article
26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Accès au texte intégral et bibtex
https://hal.science/hal-01015476/file/FAC.pdf BibTex
titre
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems
auteur
Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez
article
22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01096102/file/RTNS14_HAL%20%281%29.pdf BibTex
titre
PROPS: A PRivacy-Preserving Location Proof System
auteur
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
article
33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014,, Oct 2014, Nara, Japan. ⟨10.1109/SRDS.2014.37⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01242266/file/locationProof.pdf BibTex
titre
Automatically Adjusting Concurrency to the Level of Synchrony
auteur
Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
article
International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01062031/file/main.pdf BibTex
titre
Modeling and Measuring Graph Similarity: The Case for Centrality Distance
auteur
Matthieu Roy, Stefan Schmid, Gilles Trédan
article
FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53
Accès au texte intégral et bibtex
https://hal.science/hal-01010901/file/fomc14TR.pdf BibTex
titre
Improving Adaptiveness of AUTOSAR Embedded Applications
auteur
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
article
ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390
Accès au texte intégral et bibtex
https://hal.science/hal-01062054/file/dads14.pdf BibTex
titre
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

2013

titre
Towards Dynamic Updates In AUTOSAR
auteur
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
article
SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Accès au texte intégral et bibtex
https://hal.science/hal-00848361/file/7_-_camera_ready_CARS.pdf BibTex
titre
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems
auteur
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
article
The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Dec 2013, Vancouver, Canada. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-00978475/file/prdc2013.pdf BibTex
titre
SOUK: Social Observation of hUman Kinetics
auteur
Marc-Olivier Killijian, Matthieu Roy, Gilles Trédan, Christophe Zanon
article
Ubicomp 2013 (2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing), Sep 2013, Zurich, Switzerland. 4p., ⟨10.1145/2493432.2494526⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00839520/file/souk.pdf BibTex
titre
Design-Driven Development Methodology for Resilient Computing
auteur
Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy
article
CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00814298/file/paper.pdf BibTex
titre
Monitoring On-line Timing Information to Support Mixed-Critical Workloads
auteur
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas
article
IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
Accès au texte intégral et bibtex
https://hal.science/hal-01015455/file/rtss.pdf BibTex
titre
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://laas.hal.science/hal-01615019/file/EWDC2013.pdf BibTex

2012

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
From Design for Adaptation to Component-Based Resilient Computing
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-00747469/file/design_for_adaptation.pdf BibTex
titre
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
Distributed Monitoring of Temporal System Properties using Petri Nets
auteur
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
article
31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-01015494/file/srds.pdf BibTex
titre
Exécution répartie et temps-réel de réseaux de Petri
auteur
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
article
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.science/hal-00689991/file/baldellon.pdf BibTex
titre
Elicitation of Executable Safety Rules for Critical Autonomous Systems
auteur
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
article
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-01282237/file/ERTS2012MEKKI.pdf BibTex
titre
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
Campagne de collecte de données et vie privée
auteur
Nicolas Haderer, Miguel Nuñez del Prado Cortez, Romain Rouvoy, Marc-Olivier Killijian, Matthieu Roy
article
3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00711609/file/ubilab.pdf BibTex
titre
Safety Trigger Conditions for Critical Autonomous Systems
auteur
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
article
The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01282203/file/prdc2012.pdf BibTex
titre
Locanyms: Towards Privacy-Preserving Location-Based Services
auteur
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
article
1st European Workshop on AppRoaches to MObiquiTous Resilience, May 2012, Sibiu, Romania. pp.6
Accès au texte intégral et bibtex
https://hal.science/hal-00699742/file/ARMOR_final_version_26mars.pdf BibTex

2011

titre
The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems Applications
auteur
Marc-Olivier Killijian, Matthieu Roy, Gaetan Severac
article
AMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1
Accès au texte intégral et bibtex
https://hal.science/hal-00667832/file/amire.pdf BibTex
titre
Out-of-order Evaluation of Timed Petri Nets for Distributed Monitoring
auteur
Olivier Baldellon, Matthieu Roy, Jean-Charles Fabre
article
2011
Accès au texte intégral et bibtex
https://hal.science/hal-00643683/file/outoforder-baldellon-2011.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://laas.hal.science/hal-01615018/file/serene.pdf BibTex
titre
Towards a System Architecture for Resilient Computing
auteur
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
article
2011
Accès au texte intégral et bibtex
https://hal.science/hal-00595115/file/stoicescu_stmalo.pdf BibTex

2010

titre
Dependable Sensor Networks
auteur
Francoise Sailhan, Thierry Delot, Animesh Pathak, Aymeric Puech, Matthieu Roy
article
Atelier sur la GEstion des Données dans les Systèmes d'Information Pervasifs (GEDSIP). Conférence INFORSID, May 2010, X, France. pp.1-15
Accès au texte intégral et bibtex
https://hal.science/hal-01125818/file/gedsip.pdf BibTex
titre
A framework for proving the self-organization of dynamic systems
auteur
Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy
article
[Research Report] Rapport LAAS n° 10746, LAAS. 2010, pp.26
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00534372/file/Anceaume_et_al.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://laas.hal.science/hal-01740343/file/NetMob2010.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.science/hal-00546934/file/rtns2010_robert.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://laas.hal.science/hal-01615017/file/wimob2010.pdf BibTex

2009

titre
A Platform for Experimenting with Mobile Algorithms in a Laboratory
auteur
Marc-Olivier Killijian, Matthieu Roy
article
Principles Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session
Accès au texte intégral et bibtex
https://hal.science/hal-00394002/file/podc09-roy.pdf BibTex
titre
Application of Early Error Detection for Handling Degraded Modes of Operation
auteur
Thomas Robert, Jean-Charles Fabre, Matthieu Roy
article
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Accès au texte intégral et bibtex
https://hal.science/hal-00381913/file/FaultTolerance_2.pdf BibTex
titre
Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform
auteur
Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac, Christophe Zanon
article
2009
Accès au texte intégral et bibtex
https://hal.science/hal-00385203/file/wads-arum.pdf BibTex

2008

titre
On-line Monitoring of Real Time Applications for Early Error Detection
auteur
Thomas Robert, Jean-Charles Fabre, Matthieu Roy
article
14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩
Accès au bibtex
BibTex
titre
Geo-registers : an abstraction for spatial-based distributed computing
auteur
Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell
article
Principles of Distributed Systems. OPODIS 2008, Dec 2008, Louxor, Egypt. 11p., ⟨10.1007/978-3-540-92221-6_34⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01741220/file/opodis08_submission_62-3%20theTrueOne.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.science/hal-02269856/file/ERTS2008_0030_paper.pdf BibTex

2007

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