Sreeja Nair

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Moment Invariants

Dependency Graph

Industrial Automation

Control Software

Top Venues

ISSRE Workshops

Publications

Gabriele Baldoni, Julien Loudet, Carlos Guimarães, Sreeja Nair, Angelo Corsaro
A Data Flow Programming Framework for 6G-Enabled Internet of Things Applications. WF-IoT (2023)
Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro
A coordination-free, convergent, and safe replicated tree. CoRR (2021)
Sreeja Nair, Gustavo Petri, Marc Shapiro
Invariant Safety for Distributed Applications. CoRR (2019)
Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, Meenakshi D'Souza
A Generic Static Analysis Framework for Domain-specific Languages. ETFA (2018)
Sreeja Nair, Marc Shapiro
Improving the "Correct Eventual Consistency" Tool. CoRR (2018)
Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair
A Static Analyzer for Industrial Robotic Applications. ISSRE Workshops (2017)
Sreeja Nair, Raoul Jetley
Solving circular dependencies in industrial automation programs. INDIN (2016)
Sreeja Nair, Raoul Jetley, Anil R. Nair, Stefan Hauck-Stattelmann
A static code analysis tool for control system software. SANER (2015)