Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures

Vivek Nigam and Carolyn L. Talcott. Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. In Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 1–19, Lecture Notes in Computer Science 13931, Springer, 2023.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

@inproceedings{nigam23tase,
  author       = {Vivek Nigam and
                  Carolyn L. Talcott},
  editor       = {Cristina David and
                  Meng Sun},
  title        = {Automating Recoverability Proofs for Cyber-Physical Systems with Runtime
                  Assurance Architectures},
  booktitle    = {Theoretical Aspects of Software Engineering - 17th International Symposium,
                  {TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13931},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-35257-7\_1},
  doi          = {10.1007/978-3-031-35257-7\_1},
  timestamp    = {Fri, 30 Jun 2023 22:41:16 +0200},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/tase23.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57