Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified 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)

BibTeX

@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 Sat Aug 29, 2020 10:39:20