[1] Sreeja S Nair, Raoul Jetley, Anil Nair, and Stefan Hauck-Stattelmann. A static code analysis tool for control system software. In IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER), pages 459--463, 2015. [ bib ]
[2] Sreeja Nair and Raoul Jetley. Solving circular dependencies in industrial automation programs. In INDIN, 2016. [ bib ]
[3] Sreeja S Nair. Evaluation of the cec (correct eventual consistency) tool, 2017. [ bib ]
[4] Avijit Mandal, Sreeja Nair, Raoul Jetley, and Meenakshi D'Souza. A static analyzer for industrial robotic applications. In International Symposium on Software Reliability Engineering, 2017. [ bib ]
[5] Sreeja Nair and Marc Shapiro. Improving the" correct eventual consistency" tool. arXiv preprint arXiv:1807.06431, 2018. [ bib ]
[6] Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, and Meenakshi D'Souza. A generic static analysis framework for domain-specific languages. In 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), volume 1, pages 27--34. IEEE, 2018. [ bib ]
[7] Sreeja Nair, Gustavo Petri, and Marc Shapiro. Invariant safety for distributed applications. In Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany., 2019. [ bib ]
[8] Sreeja Nair, Gustavo Petri, and Marc Shapiro. Proving the safety of highly-available distributed objects. In 29th European Symposium on Programming, 2020. [ bib ]
[9] Sreeja Sasidharan Nair. Designing safe and highly available distributed applications. Theses, Sorbonne Université, July 2021. [ bib | http | .pdf ]
Keywords: Distributed locks ; Replicated data types ; Safety and availability ; Formal verification ; Replication ; Distributed systems ; Verrous distribués ; Types de données répliqués ; Sûreté et disponibilité ; Vérification formelle ; Réplication ; Systèmes distribués
[10] Sreeja S Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, and Marc Shapiro. A coordination-free, convergent, and safe replicated tree. Research Report RR-9395, LIP6, Sorbonne Université, Inria de Paris ; Universidade nova de Lisboa, February 2021. [ bib | http | .pdf ]
Keywords: Conflict-free Replicated Data Type ; Distributed data structures ; Formal verification ; Structures de données distribuées ; CRDT ; Vérification formelle

This file was generated by bibtex2html 1.99.