Makina: a new QuickCheck state machine library. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Clara Benac Earle; Julio Mariño (Erlang Workshop, 2021)

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 (FMBC@CAV, 2022)

Executable contracts for Elixir. - Sergio Pérez 001; Luis Eduardo Bueso de Barrio; Ignacio Ballesteros; Ángel Herranz; Julio Mariño; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2022)

Generation and Refinement of Testing Models. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz; Julio Mariño (Erlang Workshop, 2023)

Controlled Scheduling of Concurrent Elixir Programs. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz; Julio Mariño (Erlang, 2024)

Haskell Based Spreadsheets. - Ignacio Ballesteros; Luis Eduardo Bueso de Barrio; Julio Mariño (PADL, 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)