Matthieu Roy
83
Documents
Publications
- 29
- 16
- 11
- 11
- 9
- 8
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 5
- 5
- 4
- 9
- 5
- 14
- 6
- 10
- 4
- 5
- 3
- 3
- 1
|
|
Towards the certification of vision based systems: modular architecture for airport line detection11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France
Communication dans un congrès
hal-03717993v1
|
|
|
Détection des lignes aéroportuaires par méthode hybride de filtrage particulaire et de réseaux de neuronesCongrès Reconnaissance des Formes, Image, Apprentissage et Perception (RFIAP 2022), Jul 2022, Vannes, France
Communication dans un congrès
hal-03788203v1
|
|
|
Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling ConceptsRTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
Communication dans un congrès
hal-03167058v1
|
|
|
Safe Scheduling on Multicores: an approach leveraging multi-criticality and end-to-end deadlines10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France
Communication dans un congrès
hal-02465340v1
|
Synchronous t-Resilient Consensus in Arbitrary Graphs21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
Communication dans un congrès
hal-02433524v1
|
|
|
|
Tasks in Modular Proofs of Concurrent Algorithms21st 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⟩
Communication dans un congrès
hal-02903005v1
|
|
|
Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy
Communication dans un congrès
hal-02303216v1
|
A Topological Perspective on Distributed Network Algorithms26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩
Communication dans un congrès
hal-02433511v1
|
|
|
|
Experience Report: Log Mining using Natural Language Processing and Application to Anomaly Detection28th International Symposium on Software Reliability Engineering (ISSRE 2017), Oct 2017, Toulouse, France. 10p
Communication dans un congrès
hal-01576291v1
|
|
|
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided TourInternational Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩
Communication dans un congrès
hal-01559723v1
|
|
|
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROSHASE 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⟩
Communication dans un congrès
hal-01288098v1
|
|
|
Asynchronous Coordination with Constraints and Preferences35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩
Communication dans un congrès
hal-01326911v1
|
|
|
Loca: A Location-Oblivious Co-location Attack in Crowds2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ⟨10.1145/2971648.2971663⟩
Communication dans un congrès
hal-01372317v1
|
|
|
Towards Resilient Computing on ROS for Embedded Applications8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès
hal-01292318v1
|
|
|
Asynchronous Coordination Under Preferences and Constraints23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Communication dans un congrès
hal-01341710v1
|
|
|
Two Convergence Problems for Robots on Graphs7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩
Communication dans un congrès
hal-01386628v1
|
|
|
Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical SystemsWorkshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Communication dans un congrès
hal-01375576v1
|
|
|
Model-checking and Game Theory for the Synthesis of Safety RulesIEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
Communication dans un congrès
hal-01207657v1
|
|
|
Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. ⟨10.4271/2015-01-0272⟩
Communication dans un congrès
hal-01221422v1
|
|
|
Partial Updates of AUTOSAR Embedded Applications — To What Extent?11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Communication dans un congrès
hal-01194832v1
|
|
|
Model-Checking and Game theory for Synthesis of Safety Rules2015 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⟩
Communication dans un congrès
hal-01164981v1
|
|
|
Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROSCARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
Communication dans un congrès
hal-01193039v1
|
|
|
PROPS: A PRivacy-Preserving Location Proof System33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014,, Oct 2014, Nara, Japan. ⟨10.1109/SRDS.2014.37⟩
Communication dans un congrès
hal-01242266v1
|
|
|
Automatically Adjusting Concurrency to the Level of SynchronyInternational Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩
Communication dans un congrès
hal-01062031v1
|
|
|
Dynamic software updates vs AUTOSAREmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Communication dans un congrès
hal-02272217v1
|
|
|
Does Mobility Matter? An Evaluation Methodology for Opportunistic AppsIEEE International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, United States. ⟨10.1109/NCA.2014.8⟩
Communication dans un congrès
hal-01242260v1
|
From Resilient Computing Architectural Concepts to Wireless Sensor Network-based ApplicationsEDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.46 - 49, ⟨10.1109/EDCC.2014.23⟩
Communication dans un congrès
hal-00938389v1
|
|
|
|
From Safety Analyses to Experimental Validation of Automotive Embedded SystemsPRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩
Communication dans un congrès
hal-01265454v1
|
|
|
Inférence d'interactions sociales par colocalisation discrèteAtelier sur la Protection de la Vie Privée 2014 (APVP14), Jun 2014, Cabourg, France
Communication dans un congrès
hal-01382489v1
|
|
|
Vssdb: A Verifiable Secret-Sharing Distance-Bounding ProtocolInternational Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France
Communication dans un congrès
hal-01242265v1
|
|
|
Modeling and Measuring Graph Similarity: The Case for Centrality DistanceFOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53
Communication dans un congrès
hal-01010901v1
|
|
|
Improving Adaptiveness of AUTOSAR Embedded ApplicationsACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390
Communication dans un congrès
hal-01062054v1
|
Fault injection and automotive development processEmbedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 9p
Communication dans un congrès
hal-01931222v1
|
|
|
|
The Opinion Number of Set-AgreementOPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
Communication dans un congrès
hal-01073578v1
|
|
|
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Communication dans un congrès
hal-01015476v1
|
|
|
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Communication dans un congrès
hal-01096102v1
|
|
|
Design-Driven Development Methodology for Resilient ComputingCBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada
Communication dans un congrès
hal-00814298v1
|
|
|
SOUK: Social Observation of hUman KineticsUbicomp 2013 (2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing), Sep 2013, Zurich, Switzerland. 4p., ⟨10.1145/2493432.2494526⟩
Communication dans un congrès
hal-00839520v2
|
|
|
Towards Dynamic Updates In AUTOSARSAFECOMP 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
Communication dans un congrès
hal-00848361v1
|
|
|
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed SystemsThe 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Dec 2013, Vancouver, Canada. 10p
Communication dans un congrès
hal-00978475v1
|
|
|
Fault Injection in the Automotive Standard ISO 26262: An Initial Approach14th European Workshop, EWDC 2013, May 2013, Coimbra, Portugal. 8p., ⟨10.1007/978-3-642-38789-0_11⟩
Communication dans un congrès
hal-01615019v1
|
|
|
Monitoring On-line Timing Information to Support Mixed-Critical WorkloadsIEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
Communication dans un congrès
hal-01015455v1
|
|
|
From Design for Adaptation to Component-Based Resilient ComputingIEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p
Communication dans un congrès
hal-00747469v1
|
AMORES: an architecture for mobiquitous resilient systemsARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩
Communication dans un congrès
hal-00736020v1
|
|
Experimenting with Component-Based Middleware for Adaptive Fault Tolerant ComputingEuropean Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p
Communication dans un congrès
hal-00747429v1
|
|
|
|
Exécution répartie et temps-réel de réseaux de Petri14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4
Communication dans un congrès
hal-00689991v1
|
|
|
Elicitation of Executable Safety Rules for Critical Autonomous SystemsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
Communication dans un congrès
hal-01282237v1
|
Locanyms: Towards privacy-preserving location-based servicesAtelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France
Communication dans un congrès
hal-00765530v1
|
|
|
|
Campagne de collecte de données et vie privée3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254
Communication dans un congrès
hal-00711609v2
|
|
|
Safety Trigger Conditions for Critical Autonomous SystemsThe 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩
Communication dans un congrès
hal-01282203v1
|
|
|
Locanyms: Towards Privacy-Preserving Location-Based Services1st European Workshop on AppRoaches to MObiquiTous Resilience, May 2012, Sibiu, Romania. pp.6
Communication dans un congrès
hal-00699742v1
|
|
|
Distributed Monitoring of Temporal System Properties using Petri Nets31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p
Communication dans un congrès
hal-01015494v1
|
|
|
Architecting Resilient Computing Systems: Overall Approach and Open IssuesSoftware Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland. pp.48-62, ⟨10.1007/978-3-642-24124-6_5⟩
Communication dans un congrès
hal-01615018v1
|
|
|
The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems ApplicationsAMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1
Communication dans un congrès
hal-00667832v1
|
|
|
Beyond San Fancisco Cabs : Building a *-lity Mining Dataset for Social Traces AnalysisWorkshop on the Analysis of Mobile Phone Networks, May 2010, Cambridge, MA, United States. 6p
Communication dans un congrès
hal-01740343v1
|
|
|
Dependable Sensor NetworksAtelier sur la GEstion des Données dans les Systèmes d'Information Pervasifs (GEDSIP). Conférence INFORSID, May 2010, X, France. pp.1-15
Communication dans un congrès
hal-01125818v1
|
|
|
Early Error Detection for Fault Tolerance Strategies18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168
Communication dans un congrès
hal-00546934v1
|
|
|
ARUM: A cooperative middleware and an experimentation platform for mobile systems2010 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⟩
Communication dans un congrès
hal-01615017v1
|
|
|
A Platform for Experimenting with Mobile Algorithms in a LaboratoryPrinciples Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session
Communication dans un congrès
hal-00394002v1
|
|
|
Application of Early Error Detection for Handling Degraded Modes of Operation12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Communication dans un congrès
hal-00381913v1
|
On-line Monitoring of Real Time Applications for Early Error Detection14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩
Communication dans un congrès
hal-02315089v1
|
|
|
|
Geo-registers : an abstraction for spatial-based distributed computingPrinciples of Distributed Systems. OPODIS 2008, Dec 2008, Louxor, Egypt. 11p., ⟨10.1007/978-3-540-92221-6_34⟩
Communication dans un congrès
hal-01741220v1
|
|
|
Evaluation of a Real-Time Monitoring FrameworkEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Communication dans un congrès
hal-02269856v1
|
|
|
BG Distributed Simulation AlgorithmMing-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⟩
Chapitre d'ouvrage
hal-02087581v1
|
|
|
Towards a System Architecture for Resilient Computing2011
Autre publication scientifique
hal-00595115v1
|
|
|
Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform2009
Pré-publication, Document de travail
hal-00385203v1
|
|
|
Experimental Evaluation of Ubiquitous Mobile Systems2007
Pré-publication, Document de travail
hal-00140129v1
|
|
|
Out-of-order Evaluation of Timed Petri Nets for Distributed Monitoring2011
Rapport
hal-00643683v1
|
|
|
A framework for proving the self-organization of dynamic systems[Research Report] Rapport LAAS n° 10746, LAAS. 2010, pp.26
Rapport
inria-00534372v1
|
|
|
Adaptation dans les systèmes dynamiques : une vision informatique de la résilienceCalcul parallèle, distribué et partagé [cs.DC]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2018
HDR
tel-01801677v1
|