6 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.SE2026
Syntax-driven Incremental Program Verification of Matching Logic Properties
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi +2
Incrementality is a fundamental design principle to master the complexity of large, long-lived software systems. This principle has been embraced by agile development processes and…
cs.LO2018
Integrating Topological Proofs with Model Checking to Instrument Iterative Design
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
System development is not a linear, one-shot process. It proceeds through refinements and revisions. To support assurance that the system satisfies its requirements, it is desirabl…
cs.DC2016★ 6 cited
Support vector regression model for BigData systems
Alessandro Maria Rizzi
Nowadays Big Data are becoming more and more important. Many sectors of our economy are now guided by data-driven decision processes. Big Data and business intelligence application…