We are extremely happy to announce that a paper on the application of static analysis to the certification of decision trees has been accepted at ESORICS 2020! This paper is the first result of a new collaboration between Pietro Ferrara, Stefano Calzavara and Claudio Lucchese (University of Venice). Stay tuned for further developments!
The SSV is moving into start up affairs! We are extremely happy to announce that our business idea FACTORS (about the application of formal methods to robotic software) has been admitted at the final stage of Start Cup Veneto (more details here – unfortunately, only in Italian). The project is lead by Gianluca Caiazza and Ruffin White (UC San Diego), and in collaboration with prof. Agostino Cortesi and Pietro Ferrara.Starting
We are glad to announce that the paper “SARL: OO Framework Specification for Static Analysis” (co-authored by Pietro Ferrara Luca Negrini) has been accepted for publication at VSTTE 2020! This paper introduces a novel language aimed at specifying some components of object oriented frameworks (such as Java Spring and Hibernate, and .NET Windows Forms and ASP.NET) in order to improve the precision and soundness of static analysis applied to program