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
-
- 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
-
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
-
- 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
-
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
-
- titre
- Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts
- auteur
- Jean Ibarz, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre, Olivier Flébus
- article
- RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
- Accès au texte intégral et bibtex
-
- titre
- Safe Scheduling on Multicores: an approach leveraging multi-criticality and end-to-end deadlines
- auteur
- Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
- article
- 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France
- Accès au texte intégral et bibtex
-
- titre
- 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
-
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
-
- 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
-
- titre
- Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability
- auteur
- Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre
- article
- 5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy
- Accès au texte intégral et bibtex
-
- titre
- A Topological Perspective on Distributed Network Algorithms
- auteur
- Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Corentin Travers
- article
- 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩
- Accès au bibtex
-
- titre
- 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
-
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
-
- titre
- SMOF - A Safety MOnitoring Framework for Autonomous Systems
- auteur
- Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
- article
- IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
- Accès au texte intégral et bibtex
-
- titre
- 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
-
- titre
- DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems
- auteur
- Angeliki Kritikakou, Thibaut Marty, Matthieu Roy
- article
- ACM Transactions on Design Automation of Electronic Systems, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩
- Accès au texte intégral et bibtex
-
- titre
- Convergence and covering on graphs for wait-free robots
- auteur
- Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
- article
- Journal of the Brazilian Computer Society, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩
- Accès au texte intégral et bibtex
-
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
-
- 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
-
- titre
- Architecting resilient computing systems: A component-based approach for adaptive fault tolerance
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
- article
- Journal of Systems Architecture, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
- Accès au texte intégral et bibtex
-
- titre
- 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
-
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
-
- titre
- Towards Resilient Computing on ROS for Embedded Applications
- auteur
- Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Matthieu Amy, William Excoffon, Miruna Stoicescu
- article
- 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
- Accès au texte intégral et bibtex
-
- titre
- Asynchronous Coordination Under Preferences and Constraints
- auteur
- Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
- article
- 23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
- Accès au texte intégral et bibtex
-
- titre
- Two Convergence Problems for Robots on Graphs
- auteur
- Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
- article
- 7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩
- Accès au texte intégral et bibtex
-
- titre
- 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
-
- 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
-
- titre
- Asynchronous Coordination with Constraints and Preferences
- auteur
- Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
- article
- 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩
- Accès au texte intégral et bibtex
-
- titre
- Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
- auteur
- Angeliki Kritikakou, Thibaut Marty, Claire Pagetti, Christine Rochange, Michaël Lauer, Matthieu Roy
- article
- Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
- Accès au texte intégral et bibtex
-
- titre
- 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
-
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
-
- titre
- Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS
- auteur
- Michaël Lauer, Matthieu Amy, William Excoffon, Matthieu Roy, Miruna Stoicescu
- article
- CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- 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
-
- titre
- Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262
- auteur
- Ludovic Pintard, Michel Leeman, Abdelillah Ymlahi-Ouazzani, Jean-Charles Fabre, Karama Kanoun, Matthieu Roy
- article
- SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. ⟨10.4271/2015-01-0272⟩
- Accès au texte intégral et bibtex
-
- titre
- 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
-
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
-
- titre
- Dynamic software updates vs AUTOSAR
- auteur
- Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
- article
- Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps
- auteur
- Jesús Friginal, Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan
- article
- IEEE International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, United States. ⟨10.1109/NCA.2014.8⟩
- Accès au texte intégral et bibtex
-
- titre
- From Resilient Computing Architectural Concepts to Wireless Sensor Network-based Applications
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy, Animesh Pathak
- article
- EDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.46 - 49, ⟨10.1109/EDCC.2014.23⟩
- Accès au bibtex
-
- titre
- From Safety Analyses to Experimental Validation of Automotive Embedded Systems
- auteur
- Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy
- article
- PRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩
- Accès au texte intégral et bibtex
-
- titre
- Vssdb: A Verifiable Secret-Sharing Distance-Bounding Protocol
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Cédric Lauradoux, Cristina Onete, Matthieu Roy, Moussa Traoré
- article
- International Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France
- Accès au texte intégral et bibtex
-
- titre
- The Opinion Number of Set-Agreement
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
- article
- OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
- Accès au texte intégral et bibtex
-
- titre
- Run-time Control to Increase Task Parallelism in Mixed-Critical Systems
- auteur
- Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy
- article
- 26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
- Accès au texte intégral et bibtex
-
- titre
- Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems
- auteur
- Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez
- article
- 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
- Accès au texte intégral et bibtex
-
- titre
- PROPS: A PRivacy-Preserving Location Proof System
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
- article
- 33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014,, Oct 2014, Nara, Japan. ⟨10.1109/SRDS.2014.37⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatically Adjusting Concurrency to the Level of Synchrony
- auteur
- Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
- article
- International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling and Measuring Graph Similarity: The Case for Centrality Distance
- auteur
- Matthieu Roy, Stefan Schmid, Gilles Trédan
- article
- FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53
- Accès au texte intégral et bibtex
-
- titre
- Improving Adaptiveness of AUTOSAR Embedded Applications
- auteur
- Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
- article
- ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390
- Accès au texte intégral et bibtex
-
- titre
- 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
-
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
-
- titre
- Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems
- auteur
- Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
- article
- The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Dec 2013, Vancouver, Canada. 10p
- Accès au texte intégral et bibtex
-
- titre
- SOUK: Social Observation of hUman Kinetics
- auteur
- Marc-Olivier Killijian, Matthieu Roy, Gilles Trédan, Christophe Zanon
- article
- Ubicomp 2013 (2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing), Sep 2013, Zurich, Switzerland. 4p., ⟨10.1145/2493432.2494526⟩
- Accès au texte intégral et bibtex
-
- titre
- Design-Driven Development Methodology for Resilient Computing
- auteur
- Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy
- article
- CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada
- Accès au texte intégral et bibtex
-
- titre
- Monitoring On-line Timing Information to Support Mixed-Critical Workloads
- auteur
- Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas
- article
- IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
- Accès au texte intégral et bibtex
-
- titre
- 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
-
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
-
- titre
- From Design for Adaptation to Component-Based Resilient Computing
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
- article
- IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p
- Accès au texte intégral et bibtex
-
- titre
- Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
- article
- European Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p
- Accès au bibtex
-
- titre
- Distributed Monitoring of Temporal System Properties using Petri Nets
- auteur
- Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
- article
- 31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p
- Accès au texte intégral et bibtex
-
- titre
- Exécution répartie et temps-réel de réseaux de Petri
- auteur
- Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
- article
- 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Elicitation of Executable Safety Rules for Critical Autonomous Systems
- auteur
- Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
- article
- Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
- Accès au texte intégral et bibtex
-
- titre
- Locanyms: Towards privacy-preserving location-based services
- auteur
- Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
- article
- Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France
- Accès au bibtex
-
- titre
- Campagne de collecte de données et vie privée
- auteur
- Nicolas Haderer, Miguel Nuñez del Prado Cortez, Romain Rouvoy, Marc-Olivier Killijian, Matthieu Roy
- article
- 3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254
- Accès au texte intégral et bibtex
-
- titre
- Safety Trigger Conditions for Critical Autonomous Systems
- auteur
- Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
- article
- The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩
- Accès au texte intégral et bibtex
-
- titre
- 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
-
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
-
- 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
-
- titre
- Architecting Resilient Computing Systems: Overall Approach and Open Issues
- auteur
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
- article
- Software Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland. pp.48-62, ⟨10.1007/978-3-642-24124-6_5⟩
- Accès au texte intégral et bibtex
-
- titre
- 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
-
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
-
- 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
-
- titre
- Beyond San Fancisco Cabs : Building a *-lity Mining Dataset for Social Traces Analysis
- auteur
- Marc-Olivier Killijian, Matthieu Roy, Gilles Tredan
- article
- Workshop on the Analysis of Mobile Phone Networks, May 2010, Cambridge, MA, United States. 6p
- Accès au texte intégral et bibtex
-
- titre
- 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
-
- 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
-
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
-
- titre
- Application of Early Error Detection for Handling Degraded Modes of Operation
- auteur
- Thomas Robert, Jean-Charles Fabre, Matthieu Roy
- article
- 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
- Accès au texte intégral et bibtex
-
- titre
- Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform
- auteur
- Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac, Christophe Zanon
- article
- 2009
- Accès au texte intégral et bibtex
-
2008
- titre
- On-line Monitoring of Real Time Applications for Early Error Detection
- auteur
- Thomas Robert, Jean-Charles Fabre, Matthieu Roy
- article
- 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩
- Accès au bibtex
-
- titre
- Geo-registers : an abstraction for spatial-based distributed computing
- auteur
- Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell
- article
- Principles of Distributed Systems. OPODIS 2008, Dec 2008, Louxor, Egypt. 11p., ⟨10.1007/978-3-540-92221-6_34⟩
- Accès au texte intégral et bibtex
-
- titre
- 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
-