default search action

combined dblp search
author search
venue search
publication search

ask others

Ángel Herranz-Nieva

Ángel Herranz

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarrioFHME25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarrioFHME25
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño, Clara Benac Earle:
Executable contracts for Elixir. J. Log. Algebraic Methods Program. 142: 101019 (2025)
2024
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BarrioFEHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BarrioFEHM24
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño:
Controlled Scheduling of Concurrent Elixir Programs. Erlang 2024: 67-75
2023
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BarrioFEHM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BarrioFEHM23
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: 14-23
2022
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BallesterosEBFH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BallesterosEBFH22
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: 3:1-3:14
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/Ortiz-FuentesH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/Ortiz-FuentesH22
Jorge D. Ortiz-Fuentes, Ángel Herranz-Nieva:
Persistence Factories Architectural Design Pattern. ECSA 2022: 167-177
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/0001BBHMEF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/0001BBHMEF22
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: 40-46
2021
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BarrioFHEM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BarrioFHEM21
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: 41-53

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MarinoAFH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MarinoAFH19
Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz-Nieva:
Synthesis of verifiable concurrent Java components from formal models. Softw. Syst. Model. 18(1): 71-105 (2019)
2015
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/FredlundHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/FredlundHM15
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño:
Applying Property-Based Testing in Teaching Safety-Critical System Programming. EUROMICRO-SEAA 2015: 309-316
2014
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/EarleFHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/EarleFHM14
Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño:
Jsongen: a quickcheck based library for testing JSON web services. Erlang Workshop 2014: 33-41
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/FredlundEHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/FredlundEHM14
Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo:
Property-Based Testing of JSON Based Web Services. ICWS 2014: 704-707
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FredlundHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FredlundHM14
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño:
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. SEFM Workshops 2014: 116-130
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/RodriguezFHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/RodriguezFHM14
Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño:
Execution and Verification of UML State Machines with Erlang. SEFM 2014: 284-289
2013
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jeric/CarroHM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jeric/CarroHM13
Manuel Carro, Ángel Herranz-Nieva, Julio Mariño:
A model-driven approach to teaching concurrency. ACM Trans. Comput. Educ. 13(1): 5:1-5:19 (2013)
2011
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/Herranz-NievaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/Herranz-NievaM11
Ángel Herranz-Nieva, Julio Mariño:
A Verified Implementation of Priority Monitors in Java. FoVeOOS 2011: 160-177
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/Herranz-NievaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Herranz-NievaM11
Ángel Herranz-Nieva, Julio Mariño:
Synthesis of Logic Programs from Object-Oriented Formal Specifications. ICLP (Technical Communications) 2011: 95-105
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Fernandez-SorianoMH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Fernandez-SorianoMH12
Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz-Nieva:
A Tool for the Integration of Constraint Solving in Spreadsheets. PROLE 2011: 35-45
2010
[b1]
- view
  - electronic edition @ upm.es
  - no references & citations available
- export record
  dblp key:
  - phd/es/Nieva10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/es/Nieva10
Ángel Herranz-Nieva:
An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay. Technical University of Madrid, Spain, 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/TaibiHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/TaibiHM09
Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. J. Object Technol. 8(2): 137-161 (2009)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Herranz-NievaMCM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Herranz-NievaMCM09
Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro:
Modeling Concurrent Systems with Shared Resources. FMICS 2009: 102-116
2008
[c12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/PerezHMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/PerezHMM08
Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Modelling Mash-up Resources. JISBD 2008: 135-146
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Marpons-UceroMCHMF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Marpons-UceroMCHMF08
Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund:
Automatic Coding Rule Conformance Checking Using Logic Programming. PADL 2008: 18-34
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Marpons-UceroMCHFMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Marpons-UceroMCHFMP09
Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo:
A Coding Rule Conformance Checker Integrated into GCC. PROLE 2008: 149-159
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/MarinoHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/MarinoHM07
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Demand analysis with partial predicates. Theory Pract. Log. Program. 7(1-2): 153-182 (2007)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0711-0344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0711-0344
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro:
Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR abs/0711.0344 (2007)
2006
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0602008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0602008
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Demand Analysis with Partial Predicates. CoRR abs/cs/0602008 (2006)
2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/CarroMHM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/CarroMHM04
Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM 2004: 85-106
2003
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/Herranz-NievaM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/Herranz-NievaM03
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Rapid Prototyping and Incremental Evolution Using SLAM. IEEE International Workshop on Rapid System Prototyping 2003: 201-
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/Herranz-NievaM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/Herranz-NievaM03
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Formal Extreme (and Extremely Formal) Programming. XP 2003: 88-96
2002
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HerranzMM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HerranzMM02
Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya:
Declarative Reflection and its Application as a Pattern Language. WFLP 2002: 197-215
2000
[c5]
- view
  - electronic edition @ arxiv.org
  - references & citations
- export record
  dblp key:
  - conf/aadebug/Herranz-NievaM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Herranz-NievaM00
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Generation of and Debugging with Logical Pre and Post-Conditions. AADEBUG 2000
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/Herranz-NievaM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/Herranz-NievaM00
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. JISBD 2000: 217-228
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wflp/Herranz-NievaM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Herranz-NievaM00
Ángel Herranz-Nieva, Juan José Moreno-Navarro:
On the Role of Functional-logic Languages for the Debugging of Imperative Programs. WFLP 2000: 23-41
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wflp/MarinoHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/MarinoHM00
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Partial Predicates for Demand Analysis. WFLP 2000: 324-339

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1996
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/Moreno-NavarroMPHG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Moreno-NavarroMPHG96
Juan José Moreno-Navarro, Julio Mariño, Andrés del Pozo-Prieto, Ángel Herranz-Nieva, Julio García-Martín:
Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE 1996: 427-438

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.