var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=diner007.github.io%2Fref.bib&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=diner007.github.io%2Fref.bib&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=diner007.github.io%2Fref.bib&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2023\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Exposing Reliability Degradation and Mitigation in Approximate DNNs Under Permanent Faults.\n \n \n \n\n\n \n Siddique, A.; and Hoque, K. A.\n\n\n \n\n\n\n IEEE Transactions on Very Large Scale Integration (VLSI) Systems,1-12. 2023.\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@ARTICLE{10028723,\n  author={Siddique, Ayesha and Hoque, Khaza Anuarul},\n  journal={IEEE Transactions on Very Large Scale Integration (VLSI) Systems}, \n  title={Exposing Reliability Degradation and Mitigation in Approximate DNNs Under Permanent Faults}, \n  year={2023},\n  volume={},\n  number={},\n  pages={1-12},\n  doi={10.1109/TVLSI.2023.3238907}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Security-Aware Approximate Spiking Neural Networks.\n \n \n \n\n\n \n Ahmad, S. T.; Siddique, A.; and Hoque, K. A.\n\n\n \n\n\n\n arXiv preprint arXiv:2301.05264. 2023.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{ahmad2023security,\n  title={Security-Aware Approximate Spiking Neural Networks},\n  author={Ahmad, Syed Tihaam and Siddique, Ayesha and Hoque, Khaza Anuarul},\n  journal={arXiv preprint arXiv:2301.05264},\n  year={2023}\n}\n  \n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization.\n \n \n \n\n\n \n Siddique, A.; and Hoque, K. A.\n\n\n \n\n\n\n arXiv preprint arXiv:2301.05266. 2023.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{siddique2023improving,\n  title={Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization},\n  author={Siddique, Ayesha and Hoque, Khaza Anuarul},\n  journal={arXiv preprint arXiv:2301.05266},\n  year={2023}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI.\n \n \n \n\n\n \n Kundu, R. K.; Islam, R.; Quarles, J.; and Hoque, K. A.\n\n\n \n\n\n\n arXiv preprint arXiv:2302.03037. 2023.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{kundu2023litevr,\n  title={LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI},\n  author={Kundu, Ripan Kumar and Islam, Rifatul and Quarles, John and Hoque, Khaza Anuarul},\n  journal={arXiv preprint arXiv:2302.03037},\n  year={2023}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality.\n \n \n \n\n\n \n Kundu, R. K.; Elsaid, O. Y.; Calyam, P.; and Hoque, K. A.\n\n\n \n\n\n\n arXiv preprint arXiv:2302.01985. 2023.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{kundu2023vr,\n  title={VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality},\n  author={Kundu, Ripan Kumar and Elsaid, Osama Yahia and Calyam, Prasad and Hoque, Khaza Anuarul},\n  journal={arXiv preprint arXiv:2302.01985},\n  year={2023}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n RobustPdM: Designing Robust Predictive Maintenance against Adversarial Attacks.\n \n \n \n\n\n \n Siddique, A.; Kundu, R. K.; Mode, G. R.; and Hoque, K. A.\n\n\n \n\n\n\n arXiv preprint arXiv:2301.10822. 2023.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{siddique2023robustpdm,\n  title={RobustPdM: Designing Robust Predictive Maintenance against Adversarial Attacks},\n  author={Siddique, Ayesha and Kundu, Ripan Kumar and Mode, Gautam Raj and Hoque, Khaza Anuarul},\n  journal={arXiv preprint arXiv:2301.10822},\n  year={2023}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Runtime Monitoring of Time Window Temporal Logic.\n \n \n \n \n\n\n \n Bonnah, E.; and Hoque, K. A.\n\n\n \n\n\n\n IEEE Robotics and Automation Letters, 7(3): 5888-5895. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Runtime paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@ARTICLE{9738484,\nauthor={Bonnah, Ernest and Hoque, Khaza Anuarul},\njournal={IEEE Robotics and Automation Letters}, \ntitle={Runtime Monitoring of Time Window Temporal Logic}, \nyear={2022},\nvolume={7},\nnumber={3},\npages={5888-5895},\ndoi={10.1109/LRA.2022.3160592},\nurl_Paper =  {https://ieeexplore.ieee.org/document/9738484}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks?.\n \n \n \n\n\n \n Siddique, A.; and Hoque, K. A.\n\n\n \n\n\n\n In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 364-369, 2022. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{9774563,\n  author={Siddique, Ayesha and Hoque, Khaza Anuarul},\n  booktitle={2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)}, \n  title={Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks?}, \n  year={2022},\n  volume={},\n  number={},\n  pages={364-369},\n  doi={10.23919/DATE54114.2022.9774563}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments.\n \n \n \n\n\n \n Valluripally, S.; Frailey, B.; Kruse, B.; Palipatana, B.; Oruche, R.; Gulhane, A.; Hoque, K. A.; and Calyam, P.\n\n\n \n\n\n\n IEEE Transactions on Services Computing,1-14. 2022.\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@ARTICLE{9963687,\n  author={Valluripally, Samaikya and Frailey, Benjamin and Kruse, Brady and Palipatana, Boonakij and Oruche, Roland and Gulhane, Aniket and Hoque, Khaza Anuarul and Calyam, Prasad},\n  journal={IEEE Transactions on Services Computing}, \n  title={Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments}, \n  year={2022},\n  volume={},\n  number={},\n  pages={1-14},\n  doi={10.1109/TSC.2022.3216539}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning.\n \n \n \n\n\n \n Kundu, R. K.; Islam, R.; Calyam, P.; and Hoque, K. A.\n\n\n \n\n\n\n In 2022 IEEE International Symposium on Mixed and Augmented Reality (ISMAR), pages 777-786, 2022. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{9995115,\n  author={Kundu, Ripan Kumar and Islam, Rifatul and Calyam, Prasad and Hoque, Khaza Anuarul},\n  booktitle={2022 IEEE International Symposium on Mixed and Augmented Reality (ISMAR)}, \n  title={TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning}, \n  year={2022},\n  volume={},\n  number={},\n  pages={777-786},\n  doi={10.1109/ISMAR55827.2022.00096}}\n\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Exploring Fault-Energy Trade-offs in Approximate DNN Hardware Accelerators.\n \n \n \n \n\n\n \n Siddique, A.; Basu, K.; and Hoque, K. A.\n\n\n \n\n\n\n In 2021 22nd International Symposium on Quality Electronic Design (ISQED), pages 343-348, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Exploring paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 10 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{9424345,  \n author={Siddique, Ayesha and Basu, Kanad and Hoque, Khaza Anuarul},  \n booktitle={2021 22nd International Symposium on Quality Electronic Design (ISQED)},   \n title={Exploring Fault-Energy Trade-offs in Approximate DNN Hardware Accelerators},   \n year={2021},  \n volume={},  \n number={},  \n pages={343-348},  \n doi={10.1109/ISQED51717.2021.9424345},\n url_Paper =  {https://arxiv.org/abs/2101.02860}\n }\n \n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Modeling and Defense of Social Virtual Reality Attacks Inducing Cybersickness.\n \n \n \n \n\n\n \n Valluripally, S.; Gulhane, A.; Hoque, K. A.; and Calyam, P.\n\n\n \n\n\n\n IEEE Transactions on Dependable and Secure Computing,1-1. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Modeling paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@ARTICLE{9580681,  \nauthor={Valluripally, Samaikya and Gulhane, Aniket and Hoque, Khaza Anuarul and Calyam, Prasad},  \njournal={IEEE Transactions on Dependable and Secure Computing},   \ntitle={Modeling and Defense of Social Virtual Reality Attacks Inducing Cybersickness},   \nyear={2021},  \nvolume={},  \nnumber={},  \npages={1-1},  \ndoi={10.1109/TDSC.2021.3121216},\nurl_Paper =  {papers/TDSC2021.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments.\n \n \n \n \n\n\n \n Valluripally, S.; Akashe, V.; Fisher, M.; Falana, D.; Hoque, K. A.; and Calyam, P.\n\n\n \n\n\n\n In 2021 IEEE 8th International Conference on Future Internet of Things and Cloud (FiCloud), pages 1-9, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Rule-based paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{ficloud21,\n  author={Valluripally, Samaikya and Akashe, Vaibhav and Fisher, Michael and Falana, David and Hoque, Khaza Anuarul and Calyam, Prasad},\n  booktitle={2021 IEEE 8th International Conference on Future Internet of Things and Cloud (FiCloud)}, \n  title={Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments}, \n  year={2021},\n  volume={},\n  number={},\n  pages={1-9},\n  url_Paper =  {papers/FiCloud21.pdf}\n  }\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators.\n \n \n \n \n\n\n \n Kundu, S.; Soyyiğit, A.; Hoque, K. A.; and Basu, K.\n\n\n \n\n\n\n In 2020 IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS), pages 1-4, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"High-level paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{9159704,\n  author={S. {Kundu} and A. {Soyyiğit} and K. A. {Hoque} and K. {Basu}},\n  booktitle={2020 IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS)}, \n  title={High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators}, \n  year={2020},\n  volume={},\n  number={},\n  pages={1-4},\n  url_Paper =  {https://arxiv.org/pdf/2006.03616}\n  }\n  \n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Crafting Adversarial Examples for Deep Learning Based Prognostics.\n \n \n \n\n\n \n Mode, G. R.; and Hoque, K. A.\n\n\n \n\n\n\n In 2020 19th IEEE International Conference on Machine Learning and Applications (ICMLA), pages 467-472, 2020. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{9356218,  \nauthor={Mode, Gautam Raj and Hoque, Khaza Anuarul},  \nbooktitle={2020 19th IEEE International Conference on Machine Learning and Applications (ICMLA)},   \ntitle={Crafting Adversarial Examples for Deep Learning Based Prognostics},   \nyear={2020},  volume={},  number={},  pages={467-472},  \ndoi={10.1109/ICMLA51294.2020.00079}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Adversarial Examples in Deep Learning for Multivariate Time Series Regression.\n \n \n \n \n\n\n \n Mode, G. R.; and Hoque, K. A.\n\n\n \n\n\n\n In 2020 IEEE Applied Imagery Pattern Recognition Workshop (AIPR), pages 1-10, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Adversarial paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{9425190,  \nauthor={Mode, Gautam Raj and Hoque, Khaza Anuarul},  \nbooktitle={2020 IEEE Applied Imagery Pattern Recognition Workshop (AIPR)},   \ntitle={Adversarial Examples in Deep Learning for Multivariate Time Series Regression},   \nyear={2020},  volume={},  number={},  \npages={1-10},  \ndoi={10.1109/AIPR50011.2020.9425190},\nurl_Paper =  {https://arxiv.org/pdf/2009.11911}\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Attack trees for security and privacy in social virtual reality learning environments.\n \n \n \n \n\n\n \n Valluripally, S.; Gulhane, A.; Mitra, R.; Hoque, K. A.; and Calyam, P.\n\n\n \n\n\n\n In 2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC), pages 1–9, 2020. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Attack paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{valluripally2020attack,\n  title={Attack trees for security and privacy in social virtual reality learning environments},\n  author={Valluripally, Samaikya and Gulhane, Aniket and Mitra, Reshmi and Hoque, Khaza Anuarul and Calyam, Prasad},\n  booktitle={2020 IEEE 17th Annual Consumer Communications \\& Networking Conference (CCNC)},\n  pages={1--9},\n  year={2020},\n  organization={IEEE},\n  url_Paper =  {papers/CCNC2020.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Crafting Adversarial Examples for Deep Learning Based Prognostics (Extended Version).\n \n \n \n \n\n\n \n Mode, G. R.; and Hoque, K. A.\n\n\n \n\n\n\n arXiv preprint arXiv:2009.10149. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"Crafting paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{mode2020crafting,\n  title={Crafting Adversarial Examples for Deep Learning Based Prognostics (Extended Version)},\n  author={Mode, Gautam Raj and Hoque, Khaza Anuarul},\n  journal={arXiv preprint arXiv:2009.10149},\n  year={2020},\n  url_Paper =  {https://arxiv.org/pdf/2009.10149.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Impact of False Data Injection Attacks on Deep Learning enabled Predictive Analytics.\n \n \n \n \n\n\n \n Mode, G. R.; Calyam, P.; and Hoque, K. A.\n\n\n \n\n\n\n In NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, pages 1–7, 2020. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Impact paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{mode2020impact,\n  title={Impact of False Data Injection Attacks on Deep Learning enabled Predictive Analytics},\n  author={Mode, Gautam Raj and Calyam, Prasad and Hoque, Khaza Anuarul},\n  booktitle={NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium},\n  pages={1--7},\n  year={2020},\n  organization={IEEE},\n  url_Paper =  {papers/NOMS2020.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Dependability Modeling and Optimization of Triple Modular Redundancy Partitioning for SRAM-based FPGAs.\n \n \n \n \n\n\n \n Hoque, K. A.; Mohamed, O. A.; and Savaria, Y.\n\n\n \n\n\n\n Reliability Engineering and System Safety. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"Dependability paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{hoque2019dependability,\n  title={Dependability Modeling and Optimization of Triple Modular Redundancy Partitioning for SRAM-based FPGAs},\n  author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon},\n  journal={Reliability Engineering and System Safety},\n  year={2019},\n  publisher={Elsevier},\n  url_Paper =  {https://arxiv.org/pdf/1801.04886}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings.\n \n \n \n \n\n\n \n Hoque, K. A.; Cauchi, N.; and Abate, A.\n\n\n \n\n\n\n arXiv preprint arXiv:1903.06123. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"Analyzing paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{hoque2019analyzing,\n  title={Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings},\n  author={Hoque, Khaza Anuarul and Cauchi, Nathalie and Abate, Alessandro},\n  journal={arXiv preprint arXiv:1903.06123},\n  year={2019},\n  url_Paper =  {https://arxiv.org/pdf/1903.06123}\n  \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications.\n \n \n \n \n\n\n \n Gulhane, A.; Vyas, A.; Mitra, R.; Oruche, R.; Hoefer, G.; Valluripally, S.; Calyam, P.; and Hoque, K. A.\n\n\n \n\n\n\n In 2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC), pages 1–9, 2019. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Security, paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{gulhane2019security,\n  title={Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications},\n  author={Gulhane, Aniket and Vyas, Akhil and Mitra, Reshmi and Oruche, Roland and Hoefer, Gabriela and Valluripally, Samaikya and Calyam, Prasad and Hoque, Khaza Anuarul},\n  booktitle={2019 16th IEEE Annual Consumer Communications \\& Networking Conference (CCNC)},\n  pages={1--9},\n  year={2019},\n  organization={IEEE},\n  url_Paper =  {papers/CCNC2018.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).\n \n \n \n \n\n\n \n Sardar, M. U.; Afaq, N.; Hasan, O.; and Hoque, K. A.\n\n\n \n\n\n\n Journal of Automated Reasoning, 60(1): 85–105. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"Towards paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{sardar2018towards,\n  title={Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)},\n  author={Sardar, Muhammad Usama and Afaq, Nida and Hasan, Osman and Hoque, Khaza Anuarul},\n  journal={Journal of Automated Reasoning},\n  volume={60},\n  number={1},\n  pages={85--105},\n  year={2018},\n  publisher={Springer Netherlands},\n  url_Paper =  {papers/JAR2017.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Cyber-physical specification mismatches.\n \n \n \n \n\n\n \n Nguyen, L. V; Hoque, K. A.; Bak, S.; Drager, S.; and Johnson, T. T\n\n\n \n\n\n\n ACM Transactions on Cyber-Physical Systems, 2(4): 1–26. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"Cyber-physical paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{nguyen2018cyber,\n  title={Cyber-physical specification mismatches},\n  author={Nguyen, Luan V and Hoque, Khaza Anuarul and Bak, Stanley and Drager, Steven and Johnson, Taylor T},\n  journal={ACM Transactions on Cyber-Physical Systems},\n  volume={2},\n  number={4},\n  pages={1--26},\n  year={2018},\n  publisher={ACM New York, NY, USA},\n  url_Paper =  {papers/TCPS2018.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Maintenance of Smart Buildings using Fault Trees.\n \n \n \n \n\n\n \n Cauchi, N.; Hoque, K. A.; Stoelinga, M.; and Abate, A.\n\n\n \n\n\n\n ACM Transactions on Sensor Networks (TOSN). 2018.\n \n\n\n\n
\n\n\n\n \n \n \"Maintenance paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cauchi2018maintenance,\n  title={Maintenance of Smart Buildings using Fault Trees},\n  author={Cauchi, Nathalie and Hoque, Khaza Anuarul and Stoelinga, Marielle and Abate, Alessandro},\n  journal={ACM Transactions on Sensor Networks (TOSN)},\n  year={2018},\n  publisher={ACM},\n  url_Paper =  {https://arxiv.org/pdf/1806.05174.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees.\n \n \n \n \n\n\n \n Abate, A.; Budde, C. E; Cauchi, N.; Hoque, K. A.; and Stoelinga, M.\n\n\n \n\n\n\n In Proceedings of the European Conference of the PHM Society, volume 4, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"Assessment paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{abate2018assessment,\n  title={Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees},\n  author={Abate, Alessandro and Budde, Carlos E and Cauchi, Nathalie and Hoque, Khaza Anuarul and Stoelinga, Mari{\\"e}lle},\n  booktitle={Proceedings of the European Conference of the PHM Society},\n  volume={4},\n  number={1},\n  year={2018},\n  url_Paper =  {papers/PHME2018.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Modelling Smart Buildings Using Fault Maintenance Trees.\n \n \n \n \n\n\n \n van Harmelen, A.; Hoque, K. A.; and Stoelinga, M.\n\n\n \n\n\n\n In Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings, volume 11178, pages 110, 2018. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Modelling paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{van2018modelling,\n  title={Modelling Smart Buildings Using Fault Maintenance Trees},\n  author={van Harmelen, Arnaud and Hoque, Khaza Anuarul and Stoelinga, Mari{\\"e}lle},\n  booktitle={Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings},\n  volume={11178},\n  pages={110},\n  year={2018},\n  organization={Springer},\n  url_Paper =  {papers/EPEW2018.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Formal Specification and Dependability Analysis of Optical Communication Networks.\n \n \n \n \n\n\n \n Siddique, U.; Hoque, K. A.; and Johnson, T. T.\n\n\n \n\n\n\n In Design, Automation, and Test in Europe, 2017. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Formal paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{siddique2017formal,\n  title={Formal Specification and Dependability Analysis of Optical Communication Networks},\n  author={Siddique, Umair and Hoque, Khaza Anuarul and Johnson, Taylor T.},\n  booktitle={Design, Automation, and Test in Europe},\n  year={2017},\n  organization={IEEE},\n  url_Paper =  {papers/DATE2017.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications.\n \n \n \n \n\n\n \n Hoque, K. A.; Mohamed, O. A.; and Savaria, Y.\n\n\n \n\n\n\n Journal of Applied Logic, 25: 47–68. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"Formal paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{hoque2017formal,\n  title={Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications},\n  author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon},\n  journal={Journal of Applied Logic},\n  volume={25},\n  pages={47--68},\n  year={2017},\n  publisher={Elsevier},\n  url_Paper =  {papers/JAL_final.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Efficient probabilistic model checking of smart building maintenance using fault maintenance trees.\n \n \n \n \n\n\n \n Cauchi, N.; Hoque, K. A.; Abate, A.; and Stoelinga, M.\n\n\n \n\n\n\n In Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, pages 1–10, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"Efficient paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cauchi2017efficient,\n  title={Efficient probabilistic model checking of smart building maintenance using fault maintenance trees},\n  author={Cauchi, Nathalie and Hoque, Khaza Anuarul and Abate, Alessandro and Stoelinga, Mari{\\"e}lle},\n  booktitle={Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments},\n  pages={1--10},\n  year={2017},\n  url_Paper =  {papers/BuildSys2017.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification.\n \n \n \n \n\n\n \n Hoque, K. A.\n\n\n \n\n\n\n Ph.D. Thesis, Concordia University, 2016.\n \n\n\n\n
\n\n\n\n \n \n \"Early paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@phdthesis{hoque2016early,\n  title={Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification},\n  author={Hoque, Khaza Anuarul},\n  year={2016},\n  school={Concordia University},\n  url_Paper =  {http://spectrum.library.concordia.ca/981023}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Formal Analysis of Fault Tree using Probabilistic Model Checking: A Solar Array Case Study.\n \n \n \n \n\n\n \n Ammar, M.; Hoque, K. A.; and Mohamed, O. A.\n\n\n \n\n\n\n In 10th IEEE International Systems Conference, 2016. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Formal paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{ammar2016formal,\n  title={Formal Analysis of Fault Tree using Probabilistic Model Checking: A Solar Array Case Study},\n  author={Ammar, Marwan and Hoque, Khaza Anuarul and Mohamed, Otmane Ait},\n  booktitle={10th IEEE International Systems Conference},\n  year={2016},\n  organization={IEEE},\n  url_Paper =  {papers/SysCon2016_Fault_CR.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Applying Formal Verification to Early Assessment of FPGA-based Aerospace Applications: Methodology and Experience.\n \n \n \n \n\n\n \n Hoque, K. A.; Mohamed, O. A.; and Savaria, Y.\n\n\n \n\n\n\n In 10th IEEE International Systems Conference, 2016. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Applying paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{hoque2016applying,\n  title={Applying Formal Verification to Early Assessment of FPGA-based Aerospace Applications: Methodology and Experience},\n  author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon},\n  booktitle={10th IEEE International Systems Conference},\n  year={2016},\n  organization={IEEE},\n  url_Paper =  {papers/SysCon2016_CR.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Probabilistic formal verification of the SATS concept of operation.\n \n \n \n \n\n\n \n Sardar, M. U.; Afaq, N.; Hoque, K. A.; Johnson, T. T; and Hasan, O.\n\n\n \n\n\n\n In NASA Formal Methods Symposium, pages 191–205, 2016. Springer, Cham\n \n\n\n\n
\n\n\n\n \n \n \"Probabilistic paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{sardar2016probabilistic,\n  title={Probabilistic formal verification of the SATS concept of operation},\n  author={Sardar, Muhammad Usama and Afaq, Nida and Hoque, Khaza Anuarul and Johnson, Taylor T and Hasan, Osman},\n  booktitle={NASA Formal Methods Symposium},\n  pages={191--205},\n  year={2016},\n  organization={Springer, Cham},\n  url_Paper =  {papers/NFM_2016_CR.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Towards An Accurate Reliability, Availability and Maintainability Analysis Approach for Satellite Systems Based on Probabilistic Model Checking.\n \n \n \n \n\n\n \n Hoque, K. A.; Mohamed, O. A.; and Savaria, Y.\n\n\n \n\n\n\n In Design, Automation, and Test in Europe, 2015. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Towards paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{hoque2015towards,\n  title={Towards An Accurate Reliability, Availability and Maintainability Analysis Approach for Satellite Systems Based on Probabilistic Model Checking},\n  author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon},\n  booktitle={Design, Automation, and Test in Europe},\n  year={2015},\n  organization={IEEE},\n  url_Paper =  {papers/DATE2015.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking.\n \n \n \n \n\n\n \n Hoque, K. A.; Mohamed, O. A.; Savaria, Y.; and Thibeault, C.\n\n\n \n\n\n\n In Formal Techniques for Safety-Critical Systems, volume 419, pages 54–70. Springer, 2014.\n \n\n\n\n
\n\n\n\n \n \n \"Early paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@incollection{hoque2014early,\n  title={Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking},\n  author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon and Thibeault, Claude},\n  booktitle={Formal Techniques for Safety-Critical Systems},\n  volume={419},\n  pages={54--70},\n  year={2014},\n  publisher={Springer},\n  url_Paper =  {papers/FTSCS2013.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Probabilistic Model Checking Based DAL Analysis to Optimize a Combined TMR-Blind-Scrubbing Mitigation Technique for FPGA-Based Aerospace Applications.\n \n \n \n \n\n\n \n Hoque, K. A.; Mohamed, O. A.; Savaria, Y.; and Thibeault, C.\n\n\n \n\n\n\n In International Conference on Formal Methods and Models for Co-Design, 2014. ACM-IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Probabilistic paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{hoque2014probabilistic,\n  title={Probabilistic Model Checking Based DAL Analysis to Optimize a Combined TMR-Blind-Scrubbing Mitigation Technique for FPGA-Based Aerospace Applications},\n  author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon and Thibeault, Claude},\n  booktitle={International Conference on Formal Methods and Models for Co-Design},\n  year={2014},\n  organization={ACM-IEEE},\n  url_Paper =  {papers/MEMOCODE.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2012\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n MDG-SAT: an automated methodology for efficient safety checking.\n \n \n \n \n\n\n \n Hoque, K. A.; Ait Mohamed, O.; Abed, S.; and Boukadoum, M.\n\n\n \n\n\n\n International Journal of Critical Computer-Based Systems 2, 3(1-2): 4–25. 2012.\n \n\n\n\n
\n\n\n\n \n \n \"MDG-SAT: paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{hoque2012mdg,\n  title={MDG-SAT: an automated methodology for efficient safety checking},\n  author={Hoque, Khaza Anuarul and Ait Mohamed, Otmane and Abed, Sa’ed and Boukadoum, Mounir},\n  journal={International Journal of Critical Computer-Based Systems 2},\n  volume={3},\n  number={1-2},\n  pages={4--25},\n  year={2012},\n  publisher={Inderscience Publishers Ltd},\n  url_Paper =  {papers/IJCCBS_Khaza.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2011\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Integrating SAT with MDG for Efficient Invariant Checking.\n \n \n \n \n\n\n \n Hoque, K. A.\n\n\n \n\n\n\n Ph.D. Thesis, Concordia University, 2011.\n \n\n\n\n
\n\n\n\n \n \n \"Integrating paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@phdthesis{hoque2011integrating,\n  title={Integrating SAT with MDG for Efficient Invariant Checking},\n  author={Hoque, Khaza Anuarul},\n  year={2011},\n  school={Concordia University},\n  url_Paper =  {http://spectrum.library.concordia.ca/7171}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2010\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n An automated SAT encoding-verification approach for efficient model checking.\n \n \n \n \n\n\n \n Hoque, K. A.; Mohamed, O A.; Boukadoum, M.; and others\n\n\n \n\n\n\n In 2010 International Conference on Microelectronics, pages 419–422, 2010. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"An paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{hoque2010automated,\n  title={An automated SAT encoding-verification approach for efficient model checking},\n  author={Hoque, Khaza Anuarul and Mohamed, O Ait and Boukadoum, Mounir and others},\n  booktitle={2010 International Conference on Microelectronics},\n  pages={419--422},\n  year={2010},\n  organization={IEEE},\n  url_Paper =  {papers/ICM.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n SAT based model checking for MDG models.\n \n \n \n \n\n\n \n Hoque, K. A.; Mohamed, O A.; Boukadoum, M.; and others\n\n\n \n\n\n\n In Proceedings of the 8th IEEE International NEWCAS Conference 2010, pages 241–244, 2010. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"SAT paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{hoque2010sat,\n  title={SAT based model checking for MDG models},\n  author={Hoque, Khaza Anuarul and Mohamed, O Ait and Boukadoum, Mounir and others},\n  booktitle={Proceedings of the 8th IEEE International NEWCAS Conference 2010},\n  pages={241--244},\n  year={2010},\n  organization={IEEE},\n  url_Paper =  {papers/NEWCAS.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);