A static code analysis tool for control system software. - Sreeja Nair 001; Raoul Jetley; Anil R. Nair; Stefan Hauck-Stattelmann (SANER, 2015)

Solving circular dependencies in industrial automation programs. - Sreeja Nair 001; Raoul Jetley (INDIN, 2016)

A Static Analyzer for Industrial Robotic Applications. - Avijit Mandal; Raoul Jetley; Meenakshi D'Souza; Sreeja Nair 001 (ISSRE Workshops, 2017)

A Generic Static Analysis Framework for Domain-specific Languages. - Avijit Mandal; Devina Mohan; Raoul Jetley; Sreeja Nair 001; Meenakshi D'Souza (ETFA, 2018)

Improving the "Correct Eventual Consistency" Tool. - Sreeja Nair 001; Marc Shapiro 001 (CoRR, 2018)

Invariant Safety for Distributed Applications. - Sreeja S. Nair; Gustavo Petri; Marc Shapiro 001 (PaPoC@EuroSys, 2019)

Proving the Safety of Highly-Available Distributed Objects. - Sreeja S. Nair; Gustavo Petri; Marc Shapiro 001 (ESOP, 2020)

A coordination-free, convergent, and safe replicated tree. - Sreeja Nair 001; Filipe Meirim; Mário Pereira; Carla Ferreira 001; Marc Shapiro 001 (CoRR, 2021)

Designing safe and highly available distributed applications. (Conception d'applications distribuées sûres et hautement disponibles). - Sreeja Sasidharan Nair (2021)

A Data Flow Programming Framework for 6G-Enabled Internet of Things Applications. - Gabriele Baldoni; Julien Loudet; Carlos Guimarães; Sreeja Nair 001; Angelo Corsaro (WF-IoT, 2023)