Martín Ceresa

According to our database, Martín Ceresa authored at least 9 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Monitoring the Future of Smart Contracts.

Margarita Capretto, Martín Ceresa, César Sánchez

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Improving Blockchain Scalability with the Setchain Data-type.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez

CoRR, 2023

2022

Effectful improvement theory.

Martín Ceresa, Mauro Jaskelioff

Sci. Comput. Program., 2022

Transaction Monitoring of Smart Contracts.

Margarita Capretto, Martín Ceresa, César Sánchez

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Multi: A Formal Playground for Multi-Smart Contract Interaction.

Martín Ceresa, César Sánchez

Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022

Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez

Proceedings of the IEEE International Conference on Blockchain, 2022

2020

Declarative Stream Runtime Verification (hLola).

Martín Ceresa, Felipe Gorostiaga, César Sánchez

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2017

QuickFuzz testing for fun and profit.

Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras

J. Syst. Softw., 2017

2016

QuickFuzz: an automatic random fuzzer for common file formats.

Gustavo Grieco, Martín Ceresa, Pablo Buiras

Proceedings of the 9th International Symposium on Haskell, 2016