Ignacio Ballesteros

According to our database, Ignacio Ballesteros authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Generation of algebraic data type values using evolutionary algorithms.

Ignacio Ballesteros, Clara Benac Earle, Julio Mariño, Lars-Åke Fredlund, Ángel Herranz

J. Log. Algebraic Methods Program., 2025

2022

Executable contracts for Elixir.

Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

Automatic Generation of Attacker Contracts in Solidity.

Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño

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