Inproceedings,
ARTINALI: dynamic invariant detection for cyber-physical system security.
M. Aliabadi, A. Kamath, J. Gascon-Samson, and K. Pattabiraman.ESEC/SIGSOFT FSE, page 349-361. ACM, (2017)
Meta data
- BibTeX key
- conf/sigsoft/AliabadiKGP17
- entry type
- inproceedings
- booktitle
- ESEC/SIGSOFT FSE
- year
- 2017
- pages
- 349-361
- publisher
- ACM
- crossref
- conf/sigsoft/2017
- ee
- https://doi.org/10.1145/3106237.3106282
- isbn
- 978-1-4503-5105-8
- url
- http://dblp.uni-trier.de/db/conf/sigsoft/fse2017.html#AliabadiKGP17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigsoft/AliabadiKGP17
%A Aliabadi, Maryam Raiyat
%A Kamath, Amita Ajith
%A Gascon-Samson, Julien
%A Pattabiraman, Karthik
%B ESEC/SIGSOFT FSE
%D 2017
%E Bodden, Eric
%E Schäfer, Wilhelm
%E van Deursen, Arie
%E Zisman, Andrea
%I ACM
%K dblp
%P 349-361
%T ARTINALI: dynamic invariant detection for cyber-physical system security.
%U http://dblp.uni-trier.de/db/conf/sigsoft/fse2017.html#AliabadiKGP17
%@ 978-1-4503-5105-8
@inproceedings{conf/sigsoft/AliabadiKGP17,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Aliabadi, Maryam Raiyat and Kamath, Amita Ajith and Gascon-Samson, Julien and Pattabiraman, Karthik},
biburl = {https://www.bibsonomy.org/bibtex/2b9ffecebd9220493669e95ee8a02046e/dblp},
booktitle = {ESEC/SIGSOFT FSE},
crossref = {conf/sigsoft/2017},
editor = {Bodden, Eric and Schäfer, Wilhelm and van Deursen, Arie and Zisman, Andrea},
ee = {https://doi.org/10.1145/3106237.3106282},
interhash = {1223cbf4d62ca9c6b1b8558465526e9f},
intrahash = {b9ffecebd9220493669e95ee8a02046e},
isbn = {978-1-4503-5105-8},
keywords = {dblp},
pages = {349-361},
publisher = {ACM},
timestamp = {2024-04-09T17:52:12.000+0200},
title = {ARTINALI: dynamic invariant detection for cyber-physical system security.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2017.html#AliabadiKGP17},
year = 2017
}