IEEE Requirement Engineering Conference 2021

“CARO: a Conflict Aware Requirement Ordering Tool for DevOps” was presented today at the 29th International Requirements Engineering Conference (RE’21). The paper is available here:

LiSA will be presented tomorrow at SOAP!

Tomorrow we will present LiSA (, our novel library for static analysis, and in particular its application to simple analyses at SOAP! The paper “Static analysis for Dummies: Experiencing LiSA” by Pietro Ferrara, Luca Negrini, Vincenzo Arceri, and Agostino Cortesi has been published (, and Vincenzo will present it tomorrow at 4.45pm GMT+2:00 in the 10th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (you

A new paper in Springer’s “Innovations in Systems and Software Engineering”

The article “Requirement-oriented risk management for incremental software development” by Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki and Nabendu Chaki just appeared in Springer’s “Innovations in Systems and Software Engineering”, volume 17, pages187–204 (2021). The paper is available here:

FISR 2020 “F2F” project approved

The project “F2F – Families-to-Families for sharing children care” coordinated by Agostino Cortesi (co-PI: Pietro Ferrara) having the University of Trento as a partner has been approved and financed. It will last 6 months (June to December 2021).

Pietro Ferrara awarded by the 2020 AWS Automated Reasoning ARA program!

We are excited to announce that Pietro Ferrara’s proposal “IAM access control policies verification and inference” has been awarded by Amazon in the AWS Automated Reasoning call! The project will apply LiSA to the inference and verification of IAM access policies that specify permissions allowing or denying AWS resources to users.

A new paper on Wiley’s “Systems Engineering”

We are glad to share the news that the article “NFR-aware prioritization of software requirements” by Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, and Nabendu Chaki just appeared in Wiley’s “Systems Engineering” journal. Please enjoy reading:

New paper published in the “International Journal on Expert Systems with Applications”

Just published in the International Journal on Expert Systems with Applications the paper “Semantic-driven Watermarking of Relational Textual Databases” by Maikel Lázaro Pérez Gort, Martina Olliaro, Agostino Cortesi, and Claudia Feregrino Uribe. Available here:

2 year Global@Venice fellowships

Are you working abroad? Are you looking for a postdoc on program analysis and its application to cybersecurity, robotics, and software engineering in particular? Please consider applying for a 2 year Global@Venice fellowship!Deadline: June, 30th. Requirements: PhD degree awarded not later than 8 years prior to this call deadline, at least one major publication without his/her PhD supervisor, and have not resided or carried out their main activity in Italy

Call for Expressions of interest at SSV@UniVE

The Software and System Verification group @ Ca’ Foscari University of Venice ( is a research team focused on static analysis and its applications. The group ( comprises a full professor (Agostino Cortesi), two tenure-track assistant professors (Pietro Ferrara and Stefano Calzavara), a researcher (Alvise Spano’), and several postdocs (Vincenzo Arceri, Mohammad Imran Alam) and PhD students (Gianluca Caiazza, Martina Olliaro, Luca Negrini, Zubair Ahmad). The group is currently active

New paper published in Springer’s “Innovation in Systems and Software Engineering”

We are glad to announce that our paper on “Skyline computation over multiple points and dimensions” has just been published in  the Springer-Nature journal “Innovation in Systems and Software Engineering”. You can download the paper here ([…]F7hBp-aIl5ocv3DN-kK59QyOdfyDepawMBdtFXdTEU0dHpkUDMzWLI20Q%3D).