ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis (bibtex)

by Ziyan An, Daniel Moyer, Ipek Oguz, Meiyi Ma and Taylor T. Johnson

Reference:

Ziyan An, Daniel Moyer, Ipek Oguz, Meiyi Ma and Taylor T. Johnson, "ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis", In 25th International Conference on Runtime Verification (RV 2025), pp. 477–496, 2025.

Bibtex Entry:

@inproceedings{an2025rv,
  title = {ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis},
  author = {Ziyan An and Daniel Moyer and Ipek Oguz and Meiyi Ma and Taylor T. Johnson},
  year = {2025},
  booktitle = {25th International Conference on Runtime Verification (RV 2025)},
  pages = {477--496},
  doi = {10.1007/978-3-032-05435-7_26},
  publabel = {OC19},
  pubtype = {OC},
  dblp = {conf/rv/AnMOJM25},
}