Ángel Herranz

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Attribute Grammars

Adverse Selection

Automatically Generate

Top Venues

Erlang Workshop

Publications

Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
Controlled Scheduling of Concurrent Elixir Programs. Erlang (2024)
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
Generation and Refinement of Testing Models. Erlang Workshop (2023)
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund
Executable contracts for Elixir. Erlang Workshop (2022)
Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
Automatic Generation of Attacker Contracts in Solidity. FMBC@CAV (2022)
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño
Makina: a new QuickCheck state machine library. Erlang Workshop (2021)