| 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 | 194 | 2017 |
| 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 | 95 | 2016 |
| 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 | 83 | 2014 |
| 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 | 52 | 2014 |
| 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 | 52 | 2014 |
| 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 | 45 | 2004 |
| 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 | 42 | 2014 |
| 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 | 36 | 2013 |
| 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 | 35 | 2021 |
| 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 | 34 | 2002 |
| 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 | 30 | 2001 |
| 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 | 28 | 2012 |
| 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 | 26 | 2017 |
| 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 | 26 | 2016 |
| 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 | 26 | 2006 |
| Towards a theory of self-organization E Anceaume, X Defago, M Gradinariu, M Roy Distributed Computing: 19th International Conference, DISC 2005, Cracow …, 2005 | 26 | 2005 |
| 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 | 25 | 2017 |
| 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 | 22 | 2010 |
| 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 | 22 | 2008 |
| 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 | 21 | 2015 |
Marc-Olivier KillijianUQAM, CNRSبريد إلكتروني تم التحقق منه على uqam.ca
