pub.bib

@inproceedings{nair2015static,
  title = {A Static Code Analysis Tool for Control System Software},
  author = {Nair, Sreeja S and Jetley, Raoul and Nair, Anil and Hauck-Stattelmann, Stefan},
  booktitle = {IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER)},
  pages = {459--463},
  year = {2015}
}

@inproceedings{nair2016solving,
  title = {Solving Circular Dependencies in Industrial Automation Programs},
  author = {Nair, Sreeja and Jetley, Raoul},
  booktitle = {INDIN},
  year = {2016}
}

@misc{nair2017evaluation,
  title = {Evaluation of the CEC (Correct Eventual Consistency) Tool},
  author = {Nair, Sreeja S},
  journal = {https://hal.inria.fr/hal-01628719v2},
  number = {RR 9111},
  year = {2017}
}

@inproceedings{mandal2017static,
  title = {A static analyzer for Industrial robotic applications},
  author = {Mandal, Avijit and Nair, Sreeja and Jetley, Raoul and D'Souza, Meenakshi},
  booktitle = {International Symposium on Software Reliability Engineering},
  year = {2017}
}

@article{nair2018improving,
  title = {Improving the" Correct Eventual Consistency" Tool},
  author = {Nair, Sreeja and Shapiro, Marc},
  journal = {arXiv preprint arXiv:1807.06431},
  year = {2018}
}

@inproceedings{mandal2018generic,
  title = {A Generic Static Analysis Framework for Domain-specific Languages},
  author = {Mandal, Avijit and Mohan, Devina and Jetley, Raoul and Nair, Sreeja and D'Souza, Meenakshi},
  booktitle = {2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)},
  volume = {1},
  pages = {27--34},
  year = {2018},
  organization = {IEEE}
}

@inproceedings{nair2019invariant,
  title = {Invariant Safety for Distributed Applications},
  author = {Nair, Sreeja and Petri, Gustavo and Shapiro, Marc},
  booktitle = {Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany.},
  year = {2019}
}

@inproceedings{nair2020proving,
  title = {Proving the safety of highly-available distributed objects},
  author = {Nair, Sreeja and Petri, Gustavo and Shapiro, Marc},
  booktitle = {29th European Symposium on Programming},
  year = {2020}
}

@phdthesis{nair:tel-03339393,
  title = {{Designing safe and highly available distributed applications}},
  author = {Nair, Sreeja Sasidharan},
  url = {https://tel.archives-ouvertes.fr/tel-03339393},
  school = {{Sorbonne Universit{\'e}}},
  year = {2021},
  month = jul,
  keywords = {Distributed locks ; Replicated data types ; Safety and availability ; Formal verification ; Replication ; Distributed systems ; Verrous distribu{\'e}s ; Types de donn{\'e}es r{\'e}pliqu{\'e}s ; S{\^u}ret{\'e} et disponibilit{\'e} ; V{\'e}rification formelle ; R{\'e}plication ; Syst{\`e}mes distribu{\'e}s},
  type = {Theses},
  pdf = {https://tel.archives-ouvertes.fr/tel-03339393/file/main.pdf},
  hal_id = {tel-03339393},
  hal_version = {v1}
}

@techreport{nair:hal-03150817,
  title = {{A coordination-free, convergent, and safe replicated tree}},
  author = {Nair, Sreeja S and Meirim, Filipe and Pereira, M{\'a}rio and Ferreira, Carla and Shapiro, Marc},
  url = {https://hal.archives-ouvertes.fr/hal-03150817},
  type = {Research Report},
  number = {RR-9395},
  pages = {36},
  institution = {{LIP6, Sorbonne Universit{\'e}, Inria de Paris ; Universidade nova de Lisboa}},
  year = {2021},
  month = feb,
  keywords = {Conflict-free Replicated Data Type ; Distributed data structures ; Formal verification ; Structures de donn{\'e}es distribu{\'e}es ; CRDT ; V{\'e}rification formelle},
  pdf = {https://hal.archives-ouvertes.fr/hal-03150817v3/file/RR-9395.pdf},
  hal_id = {hal-03150817},
  hal_version = {v3}
}

This file was generated by bibtex2html 1.99.