Adding Type Classes to Functional-Logic Languages. - Juan José Moreno-Navarro; Julio Mariño; Andrés del Pozo-Prieto; Ángel Herranz-Nieva; Julio García-Martín (APPIA-GULP-PRODE, 1996)

Generation of and Debugging with Logical Pre and Post-Conditions. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (AADEBUG, 2000)

Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (JISBD, 2000)

On the Role of Functional-logic Languages for the Debugging of Imperative Programs. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (WFLP, 2000)

Partial Predicates for Demand Analysis. - Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (WFLP, 2000)

Declarative Reflection and its Application as a Pattern Language. - Ángel Herranz-Nieva; Juan José Moreno-Navarro; N. Maya (WFLP, 2002)

Rapid Prototyping and Incremental Evolution Using SLAM. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (IEEE International Workshop on Rapid System Prototyping, 2003)

Formal Extreme (and Extremely Formal) Programming. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (XP, 2003)

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. - Manuel Carro; Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (TFM, 2004)

Automatic Coding Rule Conformance Checking Using Logic Programs - Guillem Marpons-Ucero; Julio Mariño; Ángel Herranz-Nieva; Lars-Åke Fredlund; Manuel Carro; Juan José Moreno-Navarro (CoRR, 2007)

Demand analysis with partial predicates. - Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (Theory Pract. Log. Program., 2007)

Modelling Mash-up Resources. - Ivan Perez 001; Ángel Herranz-Nieva; Susana Muñoz-Hernández; Juan José Moreno-Navarro (JISBD, 2008)

Automatic Coding Rule Conformance Checking Using Logic Programming. - Guillem Marpons-Ucero; Julio Mariño-Carballo; Manuel Carro; Ángel Herranz-Nieva; Juan José Moreno-Navarro; Lars-Åke Fredlund (PADL, 2008)

A Coding Rule Conformance Checker Integrated into GCC. - Guillem Marpons-Ucero; Julio Mariño; Manuel Carro; Ángel Herranz-Nieva; Lars-Åke Fredlund; Juan José Moreno-Navarro; Álvaro Polo (PROLE, 2008)

Modeling Concurrent Systems with Shared Resources. - Ángel Herranz-Nieva; Julio Mariño; Manuel Carro; Juan José Moreno-Navarro (FMICS, 2009)

Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. - Toufik Taibi; Ángel Herranz-Nieva; Juan José Moreno-Navarro (J. Object Technol., 2009)

An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay. - Ángel Herranz-Nieva (2010)

A Verified Implementation of Priority Monitors in Java. - Ángel Herranz-Nieva; Julio Mariño (FoVeOOS, 2011)

Synthesis of Logic Programs from Object-Oriented Formal Specifications. - Ángel Herranz-Nieva; Julio Mariño (ICLP (Technical Communications), 2011)

A Tool for the Integration of Constraint Solving in Spreadsheets. - Ana María Fernández-Soriano; Julio Mariño; Ángel Herranz-Nieva (PROLE, 2011)

A model-driven approach to teaching concurrency. - Manuel Carro; Ángel Herranz-Nieva; Julio Mariño (ACM Trans. Comput. Educ., 2013)

Jsongen: a quickcheck based library for testing JSON web services. - Clara Benac Earle; Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (Erlang Workshop, 2014)

Property-Based Testing of JSON Based Web Services. - Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz-Nieva; Julio Mariño-Carballo (ICWS, 2014)

A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. - Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (SEFM Workshops, 2014)

Execution and Verification of UML State Machines with Erlang. - Ricardo J. Rodríguez; Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (SEFM, 2014)

Applying Property-Based Testing in Teaching Safety-Critical System Programming. - Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (EUROMICRO-SEAA, 2015)

Synthesis of verifiable concurrent Java components from formal models. - Julio Mariño; Raúl N. N. Alborodo; Lars-Åke Fredlund; Ángel Herranz-Nieva (Softw. Syst. Model., 2019)

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)

Persistence Factories Architectural Design Pattern. - Jorge D. Ortiz-Fuentes; Ángel Herranz-Nieva (ECSA, 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)

Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises. - José Antonio Calvo-Manzano; Tomás San Feliu; Ángel Herranz; Julio Mariño; Lars-Åke Fredlund; Ricardo Colomo-Palacios; Ana María Moreno 001 (EuroSPI (1), 2024)

Evaluation of Mixed Reality Technologies in Telemedicine-Assisted Childbirth Simulations. - Leonel Vasquez-Cevallos; Leticia Parpacen-Briones; Fabian Del-Pino-Bazan; Hermes Moran-Chaguay; Pryscilla Diaz-Mora; Juan Carlos Zevallos; Rebeca Estrada; Paul E. D. Soto-Rodriguez; Susana Muñoz-Hernández; Ángel Herranz-Nieva (EUSPN/ICTH, 2024)

Checking Concurrency Coding Rules. - Lars-Åke Fredlund; Ángel Herranz; Julio Mariño (PADL, 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)

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)