Follow
Sreeja S Nair
Sreeja S Nair
Sorbonne Université
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
Proving the safety of highly-available distributed objects
SS Nair, G Petri, M Shapiro
European Symposium on Programming, 544-571, 2020
292020
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
162015
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
112018
Invariant Safety for Distributed Applications
S Nair, G Petri, M Shapiro
Workshop on Principles and Practice of Consistency for Distributed Data …, 2019
72019
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
72017
A coordination-free, convergent, and safe replicated tree
S Nair, F Meirim, M Pereira, C Ferreira, M Shapiro
arXiv preprint arXiv:2103.04828, 2021
62021
Improving the" Correct Eventual Consistency" Tool
S Nair, M Shapiro
arXiv preprint arXiv:1807.06431, 2018
62018
Evaluation of the CEC (Correct Eventual Consistency) Tool
SS Nair
https://hal.inria.fr/hal-01628719v2, 2017
22017
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
12020
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
The system can't perform the operation now. Try again later.
Articles 1–11