| Proving the safety of highly-available distributed objects SS Nair, G Petri, M Shapiro European Symposium on Programming, 544-571, 2020 | 32 | 2020 |
| A Static Code Analysis Tool for Control System Software SS Nair, R Jetley, A Nair, S Hauck-Stattelmann IEEE 22nd International Conference on Software Analysis, Evolution, and …, 2015 | 17 | 2015 |
| A Generic Static Analysis Framework for Domain-specific Languages A Mandal, D Mohan, R Jetley, S Nair, M D'Souza 2018 IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018 | 12 | 2018 |
| A static analyzer for Industrial robotic applications A Mandal, R Jetley, M D’Souza, S Nair 2017 IEEE International Symposium on Software Reliability Engineering …, 2017 | 8 | 2017 |
| Invariant Safety for Distributed Applications S Nair, G Petri, M Shapiro Workshop on Principles and Practice of Consistency for Distributed Data …, 2019 | 7 | 2019 |
| A coordination-free, convergent, and safe replicated tree S Nair, F Meirim, M Pereira, C Ferreira, M Shapiro arXiv preprint arXiv:2103.04828, 2021 | 6 | 2021 |
| Improving the" Correct Eventual Consistency" Tool S Nair, M Shapiro arXiv preprint arXiv:1807.06431, 2018 | 6 | 2018 |
| Evaluation of the CEC (Correct Eventual Consistency) Tool SS Nair https://hal.inria.fr/hal-01628719v2, 2017 | 2 | 2017 |
| Proving the safety of highly-available distributed objects (Extended version) S Nair, G Petri, M Shapiro LIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK, 2020 | 1 | 2020 |
| Worst case execution time estimation for control code of automation systems S Jha, M D'Souza, R Jetley, S Nairy 2018 International Conference on Advances in Computing and Communication …, 2018 | | 2018 |
| Solving Circular Dependencies in Industrial Automation Programs S Nair, R Jetley INDIN, 2016 | | 2016 |
Marc ShapiroSorbonne-Université—LIP6 & InriaVerified email at acm.org
