Theo dõi
Matthieu Roy
Matthieu Roy
UNAM, Mexico and LAAS-CNRS, Toulouse
Email được xác minh tại laas.fr - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
1922017
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
932016
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
522014
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
522014
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
452004
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
422014
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
362013
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
352021
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
342002
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
302001
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
272012
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
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 Défago, M Gradinariu, M Roy
Principles of Distributed Systems: 9th International Conference, OPODIS 2005 …, 2006
262006
Towards a theory of self-organization
E Anceaume, X Defago, M Gradinariu, M Roy
Distributed Computing: 19th International Conference, DISC 2005, Cracow …, 2005
262005
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
252017
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
222010
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
222008
Model-checking and game theory for synthesis of safety rules
M Machin, F Dufossé, J Guiochet, D Powell, M Roy, H Waeselynck
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
212015
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20