@inproceedings{inproceedings, title  = {{Toward automated compliance checking of fund activities using runtime verification techniques}},

 publisher = {{Association for Computing Machinery}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/220045 }},

 year = {{2024}},

 month = {{8}},

 author = {{Ceci M and Sannier N and Abualhaija S and Shin D and Bianculli D and Halling M}},

 doi = {{10.1145/3643665.3648045}},

 isbn = {{9798400705687}},

 volume = {{18}},

 journal = {{FinanSE '24: Proceedings of the 1st IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms}},

 pages = {{19-20}},

 note = {{Accessed on 2025/11/28}}}