Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Sreeja Nair 0001

Sreeja S. Nair – Sreeja Sasidharan Nair

> Home > Persons

Person information

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

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/wf-iot/BaldoniLGNC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wf-iot/BaldoniLGNC23
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: 1-8
2021
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Nair21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Nair21
Sreeja Sasidharan Nair:
Designing safe and highly available distributed applications. (Conception d'applications distribuées sûres et hautement disponibles). Sorbonne University, Paris, France, 2021
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-04828
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-04828
Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro:
A coordination-free, convergent, and safe replicated tree. CoRR abs/2103.04828 (2021)
2020
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/NairP020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/NairP020
Sreeja S. Nair, Gustavo Petri, Marc Shapiro:
Proving the Safety of Highly-Available Distributed Objects. ESOP 2020: 544-571

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/NairP019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/NairP019
Sreeja S. Nair, Gustavo Petri, Marc Shapiro:
Invariant Safety for Distributed Applications. PaPoC@EuroSys 2019: 4:1-4:7
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-02759
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-02759
Sreeja Nair, Gustavo Petri, Marc Shapiro:
Invariant Safety for Distributed Applications. CoRR abs/1903.02759 (2019)
2018
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/MandalMJND18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/MandalMJND18
Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, Meenakshi D'Souza:
A Generic Static Analysis Framework for Domain-specific Languages. ETFA 2018: 27-34
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06431
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06431
Sreeja Nair, Marc Shapiro:
Improving the "Correct Eventual Consistency" Tool. CoRR abs/1807.06431 (2018)
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MandalJDN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MandalJDN17
Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair:
A Static Analyzer for Industrial Robotic Applications. ISSRE Workshops 2017: 24-27
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/NairJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/NairJ16
Sreeja Nair, Raoul Jetley:
Solving circular dependencies in industrial automation programs. INDIN 2016: 397-404
2015
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/NairJNH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/NairJNH15
Sreeja Nair, Raoul Jetley, Anil R. Nair, Stefan Hauck-Stattelmann:
A static code analysis tool for control system software. SANER 2015: 459-463

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.