Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability

by Alvise Spanò, Agostino Cortesi
Published 2020-03-01

Replaceability and negotiation in a cloud service ecosystem

by Adrija Bhattacharya, Sankhayan Choudhury, Agostino Cortesi
Published 2019-09-01

A Survey on Product Operators in Abstract Interpretation

by Agostino Cortesi, Giulia Costantini, Pietro Ferrara
Published 2013-09-01

Abstracting Strings for Model Checking of C Programs

by Henrich Lauko, Martina Olliaro, Agostino Cortesi, Petr Roc̆kai
Published 2020-11-01

A Hierarchical and Abstraction-Based Blockchain Model

by Swagatika Sahoo, Akshay M. Fajge, Raju Halder, Agostino Cortesi
Published 2019-06-01

A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization

by Maikel Lazaro Perez Gort, Claudia Feregrino-Uribe, Agostino Cortesi, Felix Fernandez-Pena
Published 2020-01-01