Sara Belluccini

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Security And Privacy Issues

Data Preparation

Privacy Enhancing

Top Venues

Publications

Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi
PALM: A Technique for Process ALgebraic Specification Mining. IFM (2020)
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi
Verification of Privacy-Enhanced Collaborations. FormaliSE@ICSE (2020)