Domenico Raucci

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 4

Top Topics

Formal Verification

Intrusion Detection System

Data Mining Techniques

Top Venues

Ind. Manag. Data Syst.

Publications

Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone
Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques. AINA Workshops (2020)
Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone
Bank Credit Risk Management based on Data Mining Techniques. ICISSP (2020)
Domenico Raucci, Antonella Santone, Francesco Mercaldo, Tomasz Dyczkowski
BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes. Ind. Manag. Data Syst. 120 (7) (2020)
Vittoria Nardone, Domenico Raucci, Antonella Santone
Model Checking to Support Action Controls in the Purchasing Process. WETICE (2016)
Giuseppe De Ruvo, Antonella Santone, Domenico Raucci
Powerful Equivalence Checking in the Bank Supply Process. SERVICES (2014)
Antonella Santone, Valentina Intilangelo, Domenico Raucci
Application of Equivalence Checking in a Loan Origination Process in Banking Industry. WETICE (2013)
Antonella Santone, Valentina Intilangelo, Domenico Raucci
Efficient Formal Verification in Banking Processes. SERVICES (2013)