Sreeja Nair

Orcid: 0000-0001-7834-8881

Affiliations:
  • Sorbonne University, Paris, France (PhD 2021)
  • ABB Corporate Research, India (former)


According to our database1, Sreeja Nair authored at least 10 papers between 2015 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Data Flow Programming Framework for 6G-Enabled Internet of Things Applications.
Proceedings of the 9th IEEE World Forum on Internet of Things, 2023

2021
Designing safe and highly available distributed applications. (Conception d'applications distribuées sûres et hautement disponibles).
PhD thesis, 2021

A coordination-free, convergent, and safe replicated tree.
CoRR, 2021

2020
Proving the Safety of Highly-Available Distributed Objects.
Proceedings of the Programming Languages and Systems, 2020

2019
Invariant Safety for Distributed Applications.
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

2018
Improving the "Correct Eventual Consistency" Tool.
CoRR, 2018

A Generic Static Analysis Framework for Domain-specific Languages.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
A Static Analyzer for Industrial Robotic Applications.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016
Solving circular dependencies in industrial automation programs.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

2015
A static code analysis tool for control system software.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015


  Loading...