Efficient Formal Verification in Banking Processes. - Antonella Santone; Valentina Intilangelo; Domenico Raucci (SERVICES, 2013)

Application of Equivalence Checking in a Loan Origination Process in Banking Industry. - Antonella Santone; Valentina Intilangelo; Domenico Raucci (WETICE, 2013)

Powerful Equivalence Checking in the Bank Supply Process. - Giuseppe De Ruvo; Antonella Santone; Domenico Raucci (SERVICES, 2014)

Model Checking to Support Action Controls in the Purchasing Process. - Vittoria Nardone; Domenico Raucci; Antonella Santone (WETICE, 2016)

Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques. - Fabio Martinelli; Francesco Mercaldo; Domenico Raucci; Antonella Santone (AINA Workshops, 2020)

Bank Credit Risk Management based on Data Mining Techniques. - Fabio Martinelli; Francesco Mercaldo; Domenico Raucci; Antonella Santone (ICISSP, 2020)

BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes. - Domenico Raucci; Antonella Santone; Francesco Mercaldo; Tomasz Dyczkowski (Ind. Manag. Data Syst., 2020)