
Matthieu Roy
84
Documents
Publications
29
16
12
11
9
8
8
6
6
6
5
5
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
2
2
1
4
5
5
4
9
5
14
6
10
4
5
3
3
1
Publications
|
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-03788203
v1
|
|
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-03717993
v1
|
|
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-03167058
v1
|
|
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-02465340
v1
|
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-02433524
v1
|
|
|
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-02433511
v1
|
|
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-02303216
v1
|
|
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-02903005
v1
|
|
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-01576291
v1
|
|
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-01559723
v1
|
|
Asynchronous Coordination Under Preferences and Constraints23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Communication dans un congrès
hal-01341710
v1
|
|
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-01372317
v1
|
|
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-01292318
v1
|
|
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-01386628
v1
|
|
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-01326911
v1
|
|
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-01288098
v1
|
|
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-01375576
v1
|
|
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-01164981
v1
|
|
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-01193039
v1
|
|
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-01194832
v1
|
|
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-01221422
v1
|
|
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-01207657
v1
|
|
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-01073578
v1
|
|
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-01015476
v1
|
|
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-01096102
v1
|
|
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-01382489
v1
|
|
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-01242265
v1
|
|
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-01242260
v1
|
|
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-01265454
v1
|
|
Dynamic software updates vs AUTOSAREmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Communication dans un congrès
hal-02272217
v1
|
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-00938389
v1
|
|
|
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-01062031
v1
|
|
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-01242266
v1
|
|
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-01010901
v1
|
Fault injection and automotive development processEmbedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 9p
Communication dans un congrès
hal-01931222
v1
|
|
|
Improving Adaptiveness of AUTOSAR Embedded ApplicationsACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390
Communication dans un congrès
hal-01062054
v1
|
|
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-00978475
v1
|
|
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-00848361
v1
|
|
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-00839520
v2
|
|
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-00814298
v1
|
|
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-01015455
v1
|
|
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-01615019
v1
|
|
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-01015494
v1
|
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-00736020
v1
|
|
|
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-00747429
v1
|
|
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-00747469
v1
|
|
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-01282237
v1
|
|
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-00711609
v2
|
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-00765530
v1
|
|
|
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-00689991
v1
|
|
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-01282203
v1
|
|
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-00699742
v1
|
|
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-00667832
v1
|
|
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-01615018
v1
|
|
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-01125818
v1
|
|
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-01740343
v1
|
|
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-01615017
v1
|
|
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-00546934
v1
|
|
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-00381913
v1
|
|
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-00394002
v1
|
|
Evaluation of a Real-Time Monitoring FrameworkEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Communication dans un congrès
hal-02269856
v1
|
|
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-01741220
v1
|
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-02315089
v1
|
|
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-02087581
v1
|
|
Towards a System Architecture for Resilient Computing2011
Autre publication scientifique
hal-00595115
v1
|
|
Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform2009
Pré-publication, Document de travail
hal-00385203
v1
|
|
Experimental Evaluation of Ubiquitous Mobile Systems2007
Pré-publication, Document de travail
hal-00140129
v1
|
|
Out-of-order Evaluation of Timed Petri Nets for Distributed Monitoring2011
Rapport
hal-00643683
v1
|
|
A framework for proving the self-organization of dynamic systems[Research Report] Rapport LAAS n° 10746, LAAS. 2010, pp.26
Rapport
(rapport de recherche)
inria-00534372
v1
|
|
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-01801677
v1
|
Chargement...
Chargement...