Luis Eduardo Bueso de Barrio

According to our database, Luis Eduardo Bueso de Barrio authored at least 6 papers between 2021 and 2025.

Collaborative distances:

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

2025

Executable contracts for Elixir.

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

J. Log. Algebraic Methods Program., 2025

2024

Controlled Scheduling of Concurrent Elixir Programs.

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

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2023

Generation and Refinement of Testing Models.

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

Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2023

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

2021

Makina: a new QuickCheck state machine library.

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

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021