On Reasoning About Black-Box Udfs by Classifying their Performance Characteristics. - Michal Bodziony; Bartosz Ciesielski; Anna Lehnhardt; Robert Wrembel (ISD, 2024)