Matthieu Roy
Publications
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 |
|
|
Towards the certification of vision based systems: modular architecture for airport line detection11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
Asynchronous Coordination Under Preferences and Constraints23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland |
|
|
Towards Resilient Computing on ROS for Embedded Applications8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France |
|
|
Two Convergence Problems for Robots on Graphs7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROSCARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France |
|
|
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⟩ |
|
|
Partial Updates of AUTOSAR Embedded Applications — To What Extent?11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France |
|
|
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 |
|
|
Improving Adaptiveness of AUTOSAR Embedded ApplicationsACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390 |
Fault injection and automotive development processEmbedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 9p |
|
|
|
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p |
|
|
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⟩ |
|
|
The Opinion Number of Set-AgreementOPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170 |
|
|
Inférence d'interactions sociales par colocalisation discrèteAtelier sur la Protection de la Vie Privée 2014 (APVP14), Jun 2014, Cabourg, France |
|
|
Vssdb: A Verifiable Secret-Sharing Distance-Bounding ProtocolInternational Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France |
|
|
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⟩ |
|
|
Dynamic software updates vs AUTOSAREmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France |
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⟩ |
|
|
|
From Safety Analyses to Experimental Validation of Automotive Embedded SystemsPRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
Monitoring On-line Timing Information to Support Mixed-Critical WorkloadsIEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10 |
|
|
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⟩ |
|
|
Locanyms: Towards Privacy-Preserving Location-Based Services1st European Workshop on AppRoaches to MObiquiTous Resilience, May 2012, Sibiu, Romania. pp.6 |
|
|
Distributed Monitoring of Temporal System Properties using Petri Nets31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p |
AMORES: an architecture for mobiquitous resilient systemsARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩ |
|
|
|
Experimenting with Component-Based Middleware for Adaptive Fault Tolerant ComputingEuropean Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p |
|
|
From Design for Adaptation to Component-Based Resilient ComputingIEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p |
|
|
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 |
|
|
Campagne de collecte de données et vie privée3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254 |
Locanyms: Towards privacy-preserving location-based servicesAtelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France |
|
|
|
Elicitation of Executable Safety Rules for Critical Autonomous SystemsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
Early Error Detection for Fault Tolerance Strategies18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168 |
|
|
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 |
|
|
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 |
|
|
Application of Early Error Detection for Handling Degraded Modes of Operation12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p |
|
|
A Platform for Experimenting with Mobile Algorithms in a LaboratoryPrinciples Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session |
|
|
Evaluation of a Real-Time Monitoring FrameworkEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France |
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
Towards a System Architecture for Resilient Computing2011 |
|
|
Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform2009 |
|
|
Experimental Evaluation of Ubiquitous Mobile Systems2007 |
|
|
Out-of-order Evaluation of Timed Petri Nets for Distributed Monitoring2011 |
|
|
A framework for proving the self-organization of dynamic systems[Research Report] Rapport LAAS n° 10746, LAAS. 2010, pp.26 |
|
|
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 |