TY - CONF T1 - Toward automated compliance checking of fund activities using runtime verification techniques CY - New York, United States JO - FinanSE '24: Proceedings of the 1st IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms UR - https://eprints.whiterose.ac.uk/id/eprint/220045 PY - 2024/08/09 AU - Ceci M AU - Sannier N AU - Abualhaija S AU - Shin D AU - Bianculli D AU - Halling M ED - DO - DOI: 10.1145/3643665.3648045 PB - Association for Computing Machinery SN - 9798400705687 VL - 18 SP - 19 EP - 20 Y2 - 2025/11/28 ER -