Ángel Herranz-Nieva

According to our database, Ángel Herranz-Nieva authored at least 34 papers between 1996 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

Persistence Factories Architectural Design Pattern.

Jorge D. Ortiz-Fuentes, Ángel Herranz-Nieva

Proceedings of the Software Architecture - 16th European Conference, 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

2019

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

2015

Applying Property-Based Testing in Teaching Safety-Critical System Programming.

Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Execution and Verification of UML State Machines with Erlang.

Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.

Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño

Proceedings of the Software Engineering and Formal Methods, 2014

Property-Based Testing of JSON Based Web Services.

Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Jsongen: a quickcheck based library for testing JSON web services.

Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

A model-driven approach to teaching concurrency.

Manuel Carro, Ángel Herranz-Nieva, Julio Mariño

ACM Trans. Comput. Educ., 2013

2011

A Tool for the Integration of Constraint Solving in Spreadsheets.

Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz-Nieva

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

Synthesis of Logic Programs from Object-Oriented Formal Specifications.

Ángel Herranz-Nieva, Julio Mariño

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

A Verified Implementation of Priority Monitors in Java.

Ángel Herranz-Nieva, Julio Mariño

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay.

Ángel Herranz-Nieva

PhD thesis, 2010

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

Modeling Concurrent Systems with Shared Resources.

Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

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

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 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

Proceedings of the Practical Aspects of Declarative Languages, 2008

Modelling Mash-up Resources.

Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro

Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008

2007

Demand analysis with partial predicates.

Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro

Theory Pract. Log. Program., 2007

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

2004

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

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

2003

Formal Extreme (and Extremely Formal) Programming.

Ángel Herranz-Nieva, Juan José Moreno-Navarro

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

Rapid Prototyping and Incremental Evolution Using SLAM.

Ángel Herranz-Nieva, Juan José Moreno-Navarro

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

2002

Declarative Reflection and its Application as a Pattern Language.

Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

2000

Partial Predicates for Demand Analysis.

Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

On the Role of Functional-logic Languages for the Debugging of Imperative Programs.

Ángel Herranz-Nieva, Juan José Moreno-Navarro

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Towards Automating the Iterative Rapid Prototyping Process with the SLAM system.

Ángel Herranz-Nieva, Juan José Moreno-Navarro

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Generation of and Debugging with Logical Pre and Post-Conditions.

Ángel Herranz-Nieva, Juan José Moreno-Navarro

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1996

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

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996