Jiannan Zhai, Yuheng Du, Shiree Hughes, Jason O. Hallstrom. DriverGen: Automating the Generation of Serial Device Drivers. In Benny Mandler, Johann Márquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagánová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov, Radu-Laurentiu Vieriu, editors, Internet of Things. IoT Infrastructures - Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II. Volume 170 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 325-330, 2015. [doi]
@inproceedings{ZhaiDHH15,
title = {DriverGen: Automating the Generation of Serial Device Drivers},
author = {Jiannan Zhai and Yuheng Du and Shiree Hughes and Jason O. Hallstrom},
year = {2015},
doi = {10.1007/978-3-319-47075-7_37},
url = {http://dx.doi.org/10.1007/978-3-319-47075-7_37},
researchr = {https://researchr.org/publication/ZhaiDHH15},
cites = {0},
citedby = {0},
pages = {325-330},
booktitle = {Internet of Things. IoT Infrastructures - Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II},
editor = {Benny Mandler and Johann Márquez-Barja and Miguel Elias Mitre Campista and Dagmar Cagánová and Hakima Chaouchi and Sherali Zeadally and Mohamad Badra and Stefano Giordano and Maria Fazio and Andrey Somov and Radu-Laurentiu Vieriu},
volume = {170},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
isbn = {978-3-319-47074-0},
}