%0 Conference Paper %1 conf/icse/TranMLYNXJ19 %A Tran, Hoang-Dung %A Musau, Patrick %A Lopez, Diego Manzanas %A Yang, Xiaodong %A Nguyen, Luan Viet %A Xiang, Weiming %A Johnson, Taylor T. %B FormaliSE@ICSE %D 2019 %E Gnesi, Stefania %E Plat, Nico %E Day, Nancy A. %E Rossi, Matteo %I IEEE / ACM %K dblp %P 31-40 %T Parallelizable reachability analysis algorithms for feed-forward neural networks. %U http://dblp.uni-trier.de/db/conf/icse/formalise2019.html#TranMLYNXJ19 %@ 978-1-7281-3373-7

@inproceedings{conf/icse/TranMLYNXJ19, added-at = {2024-04-08T00:00:00.000+0200}, author = {Tran, Hoang-Dung and Musau, Patrick and Lopez, Diego Manzanas and Yang, Xiaodong and Nguyen, Luan Viet and Xiang, Weiming and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/2444eaf78c271ddd3644a8a7702b2b5ba/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse/2019formalise}, editor = {Gnesi, Stefania and Plat, Nico and Day, Nancy A. and Rossi, Matteo}, ee = {https://dl.acm.org/citation.cfm?id=3338820}, interhash = {3fe67a8412306135c75b82edd95c0c2d}, intrahash = {444eaf78c271ddd3644a8a7702b2b5ba}, isbn = {978-1-7281-3373-7}, keywords = {dblp}, pages = {31-40}, publisher = {IEEE / ACM}, timestamp = {2024-04-12T14:43:24.000+0200}, title = {Parallelizable reachability analysis algorithms for feed-forward neural networks.}, url = {http://dblp.uni-trier.de/db/conf/icse/formalise2019.html#TranMLYNXJ19}, year = 2019 }