QuickFuzz: An automatic random fuzzer for common file formats G Grieco, M Ceresa, P Buiras ACM SIGPLAN Notices 51 (12), 13-20, 2016 | 61 | 2016 |
QuickFuzz testing for fun and profit G Grieco, M Ceresa, A Mista, P Buiras Journal of Systems and Software 134, 340-354, 2017 | 34 | 2017 |
Declarative stream runtime verification (hLola) M Ceresa, F Gorostiaga, C Sánchez Asian Symposium on Programming Languages and Systems, 25-43, 2020 | 14 | 2020 |
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers M Capretto, M Ceresa, AF Anta, A Russo, C Sánchez 2022 IEEE International Conference on Blockchain (Blockchain), 87-96, 2022 | 5 | 2022 |
Transaction monitoring of smart contracts M Capretto, M Ceresa, C Sánchez International Conference on Runtime Verification, 162-180, 2022 | 3 | 2022 |
Improving Blockchain Scalability with the Setchain Data-type M Capretto, M Ceresa, A Fernández Anta, A Russo, C Sánchez Distributed Ledger Technologies: Research and Practice, 2023 | 1 | 2023 |
Effectful improvement theory MA Ceresa, MJ Jaskelioff Science of Computer Programming 217, 102792, 2022 | 1 | 2022 |
Monitoring the Future of Smart Contracts M Capretto, M Ceresa, C Sánchez International Conference on Fundamental Approaches to Software Engineering …, 2024 | | 2024 |
Teoría de mejoras con efectos MA Ceresa | | 2023 |
Simulación de Programas Paralelos en Haskell MA Ceresa Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional …, 2015 | | 2015 |