Biblio

Filters: Author is Ayoub, Anaheed  [Clear All Filters]
2018-05-23
Masci, Paolo, Ayoub, Anaheed, Curzon, Paul, Harrison, Michael D., Lee, Insup, Thimbleby, Harold.  2013.  Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems. :81–90.
Wang, Shaohui, Ayoub, Anaheed, Sokolsky, Oleg, Lee, Insup.  2012.  Runtime Verification of Traces Under Recording Uncertainty. Proceedings of the Second International Conference on Runtime Verification (RV'11). :442–456.