Sreeja S Nair
Sreeja S Nair
Sorbonne Université
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
Proving the safety of highly-available distributed objects
SS Nair, G Petri, M Shapiro
European Symposium on Programming, 544-571, 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
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
Invariant Safety for Distributed Applications
S Nair, G Petri, M Shapiro
Workshop on Principles and Practice of Consistency for Distributed Data …, 2019
Improving the" Correct Eventual Consistency" Tool
S Nair, M Shapiro
arXiv preprint arXiv:1807.06431, 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
A coordination-free, convergent, and safe replicated tree
S Nair, F Meirim, M Pereira, C Ferreira, M Shapiro
arXiv preprint arXiv:2103.04828, 2021
Evaluation of the CEC (Correct Eventual Consistency) Tool
SS Nair, 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
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
Solving Circular Dependencies in Industrial Automation Programs
S Nair, R Jetley
INDIN, 2016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–11