Publications HAL

2019

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

2018

titre
Convergence and covering on graphs for wait-free robots
auteur
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
article
Journal of the Brazilian Computer Society, Springer Verlag, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01740338/file/wait-free-robots.pdf BibTex
titre
DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems
auteur
Angeliki Kritikakou, Thibaut Marty, Matthieu Roy
article
ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01559696/file/DYNAMIC_final.pdf BibTex
titre
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
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
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://tel.archives-ouvertes.fr/tel-01801677/file/HDR-roy-2018.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://hal.laas.fr/hal-01576291/file/PID4955309.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
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
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

2016

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

2015

titre
Model-Checking and Game theory for Synthesis of Safety Rules
auteur
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
article
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01164981/file/v14.pdf BibTex
titre
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
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
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
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

2014

titre
Modeling and Measuring Graph Similarity: The Case for Centrality Distance
auteur
Matthieu Roy, Stefan Schmid, Gilles Trédan
article
FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01010901/file/fomc14TR.pdf BibTex
titre
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems
auteur
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy
article
26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01015476/file/FAC.pdf BibTex
titre
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
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
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
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
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
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
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
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
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

2013

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

2012

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://hal.inria.fr/hal-00711609/file/ubilab.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
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, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00699742/file/ARMOR_final_version_26mars.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
Mathieu, Fabien et Hanusse, Nicolas. 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00689991/file/baldellon.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
Elicitation of Executable Safety Rules for Critical Autonomous Systems
auteur
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
article
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01282237/file/ERTS2012MEKKI.pdf BibTex
titre
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
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

2011

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
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, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00643683/file/outoforder-baldellon-2011.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.archives-ouvertes.fr/hal-00595115/file/stoicescu_stmalo.pdf BibTex

2010

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
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, 2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00546934/file/rtns2010_robert.pdf BibTex
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) au sein de la conf?rence INFormatique des ORganisations et Syst?mes d?Information et de D?cision (INFORSID), May 2010, X, France. pp.1-15, 2010
Accès au bibtex
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
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, 2010, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00534372/file/Anceaume_et_al.pdf BibTex

2009

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
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
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.archives-ouvertes.fr/hal-00385203/file/wads-arum.pdf BibTex

2008

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

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.archives-ouvertes.fr/hal-00140129/file/killijian-uwb-submission.pdf BibTex

2001

titre
The behavior of Al, Mn, Ba, Sr, REE and Th isotopes during in vitro degradation of large marine particles
auteur
R. Arraes-Mescoff, M. Roy-Barman, L. Coppola, M. Souhaut, K. Tachikawa, C. Jeandel, Richard Sempere, C Yoro, M Roy
article
Marine Chemistry, Elsevier, 2001, 73, pp.1 - 19
Accès au texte intégral et bibtex
https://hal-amu.archives-ouvertes.fr/hal-02063103/file/Arraes-Mescoff%20et%20al.%202001-HAL.pdf BibTex