Ángel Herranz

13 papers B 1C 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Makina: A QuickCheck state machine library.
J. Log. Algebraic Methods Program.
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño
2025 C conf
Checking Concurrency Coding Rules.
PADL
Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
2025 J jnl
CyberESP: An Integrated Cybersecurity Framework for SMEs.
J. Softw. Evol. Process.
José A. Calvo-Manzano, Tomás San Feliu, Ángel Herranz, Julio Mariño, Lars-Åke Fredlund, Ana María Moreno
2025 — conf
Cybersecurity Vulnerabilities Management for Small and Medium Enterprises.
EuroSPI (1)
José Antonio Calvo-Manzano, Tomás San Feliu, Ángel Herranz, Julio Mariño, Lars-Åke Fredlund, Ricardo Colomo-Palacios, Ana M. Moreno
2025 J jnl
Executable contracts for Elixir.
J. Log. Algebraic Methods Program.
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño, Clara Benac Earle
2025 J jnl
Generation of algebraic data type values using evolutionary algorithms.
J. Log. Algebraic Methods Program.
Ignacio Ballesteros, Clara Benac Earle, Julio Mariño, Lars-Åke Fredlund, Ángel Herranz
2025 B conf
Logic Programming with Extensible Types.
ICLP
Ivan Perez, Ángel Herranz
2024 — conf
Controlled Scheduling of Concurrent Elixir Programs.
Erlang
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
2024 — conf
Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises.
EuroSPI (1)
José Antonio Calvo-Manzano, Tomás San Feliu, Ángel Herranz, Julio Mariño, Lars-Åke Fredlund, Ricardo Colomo-Palacios, Ana María Moreno
2023 — conf
Generation and Refinement of Testing Models.
Erlang Workshop
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
2022 — conf
Automatic Generation of Attacker Contracts in Solidity.
FMBC@CAV
Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
2022 — conf
Executable contracts for Elixir.
Erlang Workshop
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund
2021 — conf
Makina: a new QuickCheck state machine library.
Erlang Workshop
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño