@article{22,
  author = {Xugui Zhou and Bulbul Ahmed and J.H. Aylor and Philip Asare and Homa Alemzadeh},
  title = {Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems},
  year = {2024},
  journal = {IEEE Transactions on Dependable and Secure Computing},
  url = {https://doi.org/10.1109/tdsc.2023.3242653}
}

{"_id":"72hLCZPewoDbrXnkW","bibbaseid":"zhou-ahmed-aylor-asare-alemzadeh-hybridknowledgeanddatadrivensynthesisofruntimemonitorsforcyberphysicalsystems-2024","author_short":["Zhou, X.","Ahmed, B.","Aylor, J.","Asare, P.","Alemzadeh, H."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Xugui"],"propositions":[],"lastnames":["Zhou"],"suffixes":[]},{"firstnames":["Bulbul"],"propositions":[],"lastnames":["Ahmed"],"suffixes":[]},{"firstnames":["J.H."],"propositions":[],"lastnames":["Aylor"],"suffixes":[]},{"firstnames":["Philip"],"propositions":[],"lastnames":["Asare"],"suffixes":[]},{"firstnames":["Homa"],"propositions":[],"lastnames":["Alemzadeh"],"suffixes":[]}],"title":"Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems","year":"2024","journal":"IEEE Transactions on Dependable and Secure Computing","url":"https://doi.org/10.1109/tdsc.2023.3242653","bibtex":"@article{22,\n author = {Xugui Zhou and Bulbul Ahmed and J.H. Aylor and Philip Asare and Homa Alemzadeh},\n title = {Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems},\n year = {2024},\n journal = {IEEE Transactions on Dependable and Secure Computing},\n url = {https://doi.org/10.1109/tdsc.2023.3242653}\n}\n\n","author_short":["Zhou, X.","Ahmed, B.","Aylor, J.","Asare, P.","Alemzadeh, H."],"key":"22","id":"22","bibbaseid":"zhou-ahmed-aylor-asare-alemzadeh-hybridknowledgeanddatadrivensynthesisofruntimemonitorsforcyberphysicalsystems-2024","role":"author","urls":{"Paper":"https://doi.org/10.1109/tdsc.2023.3242653"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/fFERMKNwKyHLsDPJ3/Link_Lab_Publications.bib","dataSources":["mwAui9iKniQyhTc49","RbCkvcfqfbgtxTyNT","m6hDbtiptxFxNGk8y","Kg2u32BaLYeEZkT9t","PbrtYBE4kqkc5ZtpJ"],"keywords":[],"search_terms":["hybrid","knowledge","data","driven","synthesis","runtime","monitors","cyber","physical","systems","zhou","ahmed","aylor","asare","alemzadeh"],"title":"Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems","year":2024}