Follow
Matthieu Roy
Matthieu Roy
UNAM, Mexico and LAAS-CNRS, Toulouse
Verified email at laas.fr - Homepage
Title
Cited by
Cited by
Year
Experience report: Log mining using natural language processing and application to anomaly detection
C Bertero, M Roy, C Sauvanaud, G Trédan
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
1822017
SMOF: A safety monitoring framework for autonomous systems
M Machin, J Guiochet, H Waeselynck, JP Blanquart, M Roy, L Masson
IEEE Transactions on Systems, Man, and Cybernetics: Systems 48 (5), 702-715, 2016
872016
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems
A Kritikakou, C Rochange, M Faugère, C Pagetti, M Roy, S Girbal, ...
Proceedings of the 22nd International Conference on Real-Time Networks and …, 2014
832014
PROPS: A privacy-preserving location proof system
S Gambs, MO Killijian, M Roy, M Traoré
2014 IEEE 33rd International Symposium on Reliable Distributed Systems, 1-10, 2014
512014
Run-time control to increase task parallelism in mixed-critical systems
A Kritikakou, C Pagetti, O Baldellon, M Roy, C Rochange
2014 26th Euromicro Conference on Real-Time Systems, 119-128, 2014
512014
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols
A Mostéfaoui, S Rajsbaum, M Raynal, M Roy
Distributed Computing 17 (1), 1-20, 2004
462004
Modeling and measuring graph similarity: The case for centrality distance
M Roy, S Schmid, G Tredan
Proceedings of the 10th ACM international workshop on Foundations of mobile …, 2014
402014
Fault injection in the automotive standard ISO 26262: An initial approach
L Pintard, JC Fabre, K Kanoun, M Leeman, M Roy
European Workshop on Dependable Computing, 126-133, 2013
332013
A topological perspective on distributed network algorithms
A Castañeda, P Fraigniaud, A Paz, S Rajsbaum, M Roy, C Travers
Theoretical Computer Science 849, 121-137, 2021
322021
Condition-based protocols for set agreement problems
A Mostéfaoui, S Rajsbaum, M Raynal, M Roy
Distributed Computing: 16th International Conference, DISC 2002 Toulouse …, 2002
322002
Safety trigger conditions for critical autonomous systems
A Mekki-Mokhtar, JP Blanquart, J Guiochet, D Powell, M Roy
2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing …, 2012
282012
A hierarchy of conditions for consensus solvability
A Mostefaoui, S Rajsbaum, M Raynal, M Roy
Proceedings of the twentieth annual ACM symposium on Principles of …, 2001
282001
Dynascore: Dynamic software controller to increase resource utilization in mixed-critical systems
A Kritikakou, T Marty, M Roy
ACM Transactions on Design Automation of Electronic Systems (TODAES) 23 (2 …, 2017
262017
Engineering adaptive fault-tolerance mechanisms for resilient computing on ROS
M Lauer, M Amy, JC Fabre, M Roy, W Excoffon, M Stoicescu
2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016
262016
Towards a theory of self-organization
E Anceaume, X Defago, M Gradinariu, M Roy
Distributed Computing: 19th International Conference, DISC 2005, Cracow …, 2005
262005
Architecting resilient computing systems: A component-based approach for adaptive fault tolerance
M Stoicescu, JC Fabre, M Roy
Journal of Systems Architecture 73, 6-16, 2017
252017
Towards a theory of self-organization
E Anceaume, X Défago, M Gradinariu, M Roy
Principles of Distributed Systems: 9th International Conference, OPODIS 2005 …, 2006
252006
Architecting resilient computing systems: overall approach and open issues
M Stoicescu, JC Fabre, M Roy
Software Engineering for Resilient Systems: Third International Workshop …, 2011
212011
Beyond San Fancisco Cabs: building a*-lity mining dataset for social traces analysis
MO Killijian, M Roy, G Trédan
Workshop on the Analysis of Mobile Phone Networks, 1-6, 2010
212010
Geo-registers: An abstraction for spatial-based distributed computing
M Roy, F Bonnet, L Querzoni, S Bonomi, MO Killijian, D Powell
International Conference On Principles Of Distributed Systems, 534-537, 2008
212008
The system can't perform the operation now. Try again later.
Articles 1–20