Nombre de documents

51

CV de Matthieu Roy


Communication dans un congrès43 documents

  • Angeliki Kritikakou, Thibaut Marty, Claire Pagetti, Christine Rochange, Michaël Lauer, et al.. Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems. Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden. 2016, CARS 2016 - Critical Automotive applications : Robustness & Safety. <http://conf.laas.fr/cars>. <hal-01375576>
  • Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Matthieu Amy, William Excoffon, et al.. Towards Resilient Computing on ROS for Embedded Applications. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), <http://www.erts2016.org/>. <hal-01292318>
  • Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy. Asynchronous Coordination with Constraints and Preferences. 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. 2016, Proceedings of the 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016). <10.1145/2933057.2933081>. <hal-01326911>
  • Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, et al.. Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS. HASE 2016 — IEEE 17th International Symposium on High Assurance Systems Engineering Symposium, Jan 2016, Orlando, FL, United States. IEEE, pp.94-101, 2016, HASE 2016 — IEEE High Assurance Systems Engineering Symposium. <10.1109/HASE.2016.30>. <hal-01288098>
  • Roberto Pasqua, Matthieu Roy, Gilles Trédan. Loca: A Location-Oblivious Co-location Attack in Crowds. 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ACM, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2016, Ubicomp 2016. <10.1145/2971648.2971663>. <hal-01372317>
  • Armando Castañeda, Sergio Rajsbaum, Matthieu Roy. Two Convergence Problems for Robots on Graphs. 7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. Proceedings of the 7th IEEE Latin-American Symposium on Dependable Computing, 2016, LADC 2016. <http://www.unicauca.edu.co/ladc2016>. <10.1109/LADC.2016.21>. <hal-01386628>
  • Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Matthieu Amy, William Excoffon, et al.. Towards Resilient Computing on ROS for Embedded Applications. 8th European Congress on Embedded real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France. Electronic proceedings on http://www.erts2016.org, 2016. <hal-01288113>
  • Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy. Asynchronous Coordination Under Preferences and Constraints. 23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland. SIROCCO 2016 pre-proceedings. <hal-01341710>
  • Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-Checking and Game theory for Synthesis of Safety Rules. 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, 2015, <10.1109/HASE.2015.15>. <hal-01164981>
  • Michaël Lauer, Matthieu Amy, William Excoffon, Matthieu Roy, Miruna Stoicescu. Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS. CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France. <hal-01193039>
  • Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-checking and Game Theory for the Synthesis of Safety Rules. IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States. <hal-01207657>
  • Hélène Martorell, Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Régis Valentin. Partial Updates of AUTOSAR Embedded Applications — To What Extent?. 11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France. 2015. <hal-01194832>
  • Ludovic Pintard, Michel Leeman, Abdelillah Ymlahi-Ouazzani, Jean-Charles Fabre, Karama Kanoun, et al.. Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262. SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. SAE International, 2015, Journal Articles from SAE 2015 World Congress & Exhibition. <10.4271/2015-01-0272>. <hal-01221422>
  • Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, et al.. Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. <10.1145/2659787.2659799>. <hal-01096102>
  • Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy. Automatically Adjusting Concurrency to the Level of Synchrony. International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. LNCS (8784), pp.1-15, 2014, <10.1007/978-3-662-45174-8_1>. <hal-01062031>
  • Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin. Improving Adaptiveness of AUTOSAR Embedded Applications. ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. Volume I: Artificial intelligence & agents, distributed systems, and information systems: dependable, pp.384-390, 2014. <hal-01062054>
  • Matthieu Roy, Stefan Schmid, Gilles Trédan. Modeling and Measuring Graph Similarity: The Case for Centrality Distance. FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53, 2014. <hal-01010901>
  • Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy. Run-time Control to Increase Task Parallelism in Mixed-Critical Systems. 26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p, 2014. <hal-01015476>
  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy, Animesh Pathak. From Resilient Computing Architectural Concepts to Wireless Sensor Network-based Applications. EDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. IEEE, pp.46 - 49, 2014, <10.1109/EDCC.2014.23>. <hal-00938389>
  • Roberto Pasqua, Matthieu Roy, Gilles Trédan. Inférence d'interactions sociales par colocalisation discrète. Atelier sur la Protection de la Vie Privée 2014 (APVP14), Jun 2014, Cabourg, France. <hal-01382489>
  • Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy. From Safety Analyses to Experimental Validation of Automotive Embedded Systems. PRDC 2014, Nov 2014, Singapore, Singapore. IEEE, IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), pp.125-134, 2014, 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014). <10.1109/PRDC.2014.23>. <hal-01265454>
  • Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers. The Opinion Number of Set-Agreement. Marcos K. Aguilera; Leonardo Querzoni; Marc Shapiro. OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. Springer, 8878, pp.155-170, 2014, LNCS - Lecture Notes in Computer Science. <hal-01073578>
  • Jesús Friginal, Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan. Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps. IEEE International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, United States. IEEE International Symposium on Network Computing and Applications (NCA), 2014, <http://www.ieee-nca.org>. <10.1109/NCA.2014.8>. <hal-01242260>
  • Sébastien Gambs, Marc-Olivier Killijian, Cédric Lauradoux, Cristina Onete, Matthieu Roy, et al.. Vssdb: A Verifiable Secret-Sharing Distance-Bounding Protocol. International Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France. BalkanCryptSec 2014. <http://www.gstl.itu.edu.tr/BalkanCryptSec/>. <hal-01242265>
  • Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré. PROPS: A PRivacy-Preserving Location Proof System. 33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014,, Oct 2014, Nara, Japan. 2014, 33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014. <http://www-nishio.ist.osaka-u.ac.jp/conf/srds2014/index.html>. <10.1109/SRDS.2014.37>. <hal-01242266>
  • Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, et al.. Monitoring On-line Timing Information to Support Mixed-Critical Workloads. IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10, 2013. <hal-01015455>
  • Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy. Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems. The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Dec 2013, Vancouver, Canada. 10p., 2013. <hal-00978475>
  • Marc-Olivier Killijian, Matthieu Roy, Gilles Trédan, Christophe Zanon. SOUK: Social Observation of hUman Kinetics. Ubicomp 2013 (2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing), Sep 2013, Zurich, Switzerland. 4p., 2013, <10.1145/2493432.2494526>. <hal-00839520v2>
  • Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, et al.. Design-Driven Development Methodology for Resilient Computing. CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada. 2013. <hal-00814298>
  • Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin. Towards Dynamic Updates In AUTOSAR. Matthieu ROY. 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, 2013. <hal-00848361>
  • Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy. Exécution répartie et temps-réel de réseaux de Petri. 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. <hal-00689991>
  • Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy. Distributed Monitoring of Temporal System Properties using Petri Nets. 31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p., 2012. <hal-01015494>
  • Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré. Locanyms: Towards privacy-preserving location-based services. Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France. 2012. <hal-00765530>
  • Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy. Safety Trigger Conditions for Critical Autonomous Systems. The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. Dependable Computing (PRDC), 2012 IEEE 18th Pacific Rim International Symposium on 10p., 2012, <10.1109/PRDC.2012.22>. <hal-01282203>
  • Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy. Elicitation of Executable Safety Rules for Critical Autonomous Systems. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ERTS 2012 proceedings, 10p., 2012. <hal-01282237>
  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing. European Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p., 2012. <hal-00747429>
  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. From Design for Adaptation to Component-Based Resilient Computing. IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., 2012. <hal-00747469>
  • Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré. Locanyms: Towards Privacy-Preserving Location-Based Services. 1st European Workshop on AppRoaches to MObiquiTous Resilience, May 2012, Sibiu, Romania. pp.6, 2012. <hal-00699742>
  • Nicolas Haderer, Miguel Nuñez del Prado Cortez, Romain Rouvoy, Marc-Olivier Killijian, Matthieu Roy. Campagne de collecte de données et vie privée. 3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254, 2012. <hal-00711609v2>
  • Marc-Olivier Killijian, Matthieu Roy, Gaetan Severac. The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems Applications. AMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1, 2011. <hal-00667832>
  • Thomas Robert, Matthieu Roy, Jean-Charles Fabre. Early Error Detection for Fault Tolerance Strategies. 18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168, 2010. <hal-00546934>
  • Marc-Olivier Killijian, Matthieu Roy. A Platform for Experimenting with Mobile Algorithms in a Laboratory. Principles Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session, 2009. <hal-00394002>
  • Thomas Robert, Jean-Charles Fabre, Matthieu Roy. Application of Early Error Detection for Handling Degraded Modes of Operation. Hélène WAESELYNCK. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p., 2009. <hal-00381913>

Pré-publication, Document de travail2 documents

  • Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac, Christophe Zanon. Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform. Rapport LAAS n° 09186. 2009. <hal-00385203>
  • Marc-Olivier Killijian, Nicolas Rivière, Matthieu Roy. Experimental Evaluation of Ubiquitous Mobile Systems. Extended abstract: 2 pages. 2007. <hal-00140129>

Article dans une revue2 documents

  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. Architecting resilient computing systems: A component-based approach for adaptive fault tolerance. Journal of Systems Architecture, Elsevier, 2017, 73, pp.6-16. <10.1016/j.sysarc.2016.12.005>. <hal-01472877>
  • Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon. Souk: Spatial Observation of hUman Kinetics. Computer Networks, Elsevier, 2016, <10.1016/j.comnet.2016.08.008>. <hal-01372329>

Rapport2 documents

  • Olivier Baldellon, Matthieu Roy, Jean-Charles Fabre. Out-of-order Evaluation of Timed Petri Nets for Distributed Monitoring. 2011. <hal-00643683>
  • Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy. A framework for proving the self-organization of dynamic systems. [Research Report] Rapport LAAS n° 10746, 2010, pp.26. <inria-00534372>

Poster1 document

  • Francoise Sailhan, Thierry Delot, Animesh Pathak, Aymeric Puech, Matthieu Roy. Dependable Sensor Networks. 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. <hal-01125818>

Autre publication1 document

  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. Towards a System Architecture for Resilient Computing. Rapport LAAS n° 11269. This paper was presented at "Journée Sécurité des Systèmes & Sûreté des Logiciels" (3SL). 2011. <hal-00595115>