Vivek Nigam's Publications

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

Towards Automating Safety and Security Co-Analysis with Patterns (Position Paper)

Yuri Gil Dantas, Antoaneta Kondeva, and Vivek Nigam. Towards Automating Safety and Security Co-Analysis with Patterns (Position Paper). In Safecomp, 2020.

Download

[PDF] 

Abstract

(unavailable)

@inproceedings{dantas20safecomp,
  author    = {Yuri Gil Dantas and 
               Antoaneta Kondeva and
               Vivek Nigam},
  title     = {Towards Automating Safety and Security Co-Analysis with Patterns (Position Paper)},
  booktitle = {Safecomp},
  year      = {2020},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/safecomp20.pdf"
}

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