Matthieu Roy
Matthieu Roy
UNAM, Mexico and LAAS-CNRS, Toulouse
Adresse e-mail validée de laas.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
532014
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
452017
Towards a theory of self-organization
E Anceaume, X Défago, M Gradinariu, M Roy
International Conference On Principles Of Distributed Systems, 191-205, 2005
392005
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
322016
Condition-based protocols for set agreement problems
A Mostéfaoui, S Rajsbaum, M Raynal, M Roy
International Symposium on Distributed Computing, 48-62, 2002
302002
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
282014
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
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
262004
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
232014
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, 6p., 2010
222010
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, 6p., 2010
222010
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
202013
Architecting resilient computing systems: overall approach and open issues
M Stoicescu, JC Fabre, M Roy
International Workshop on Software Engineering for Resilient Systems, 48-62, 2011
202011
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
192012
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
192008
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
182014
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
172015
Efficient condition-based consensus
A Mostefaoui, S Rajsbaum, M Raynal, M Roy
IRISA: PI 1397, 2001
172001
From design for adaptation to component-based resilient computing
M Stoicescu, JC Fabre, M Roy
2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing, 1-10, 2012
162012
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
152016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20