RDF/XML JSON-LD N3/Turtle RDF/JSON
Author profile at the institutional portal

Herranz Nieva, Angel angel.herranz@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Publications

Persistence Factories Architectural Design Pattern

  • Jorge D. Ortiz Fuentes & Ángel Herranz Nieva

(p. 167-177) - 22/9/2022

  • iMarina

Demand analysis with partial predicates

  • Marino, Julio
  • Herranz, Angel
  • Moreno-Navarro, Juan Jose;

Theory And Practice Of Logic Programming (p. 153-182) - 1/1/2007

10.1017/s1471068406002882 View at source

  • ISSN 14710684

Sustainable Methodology for Operational and Formal Digital Skills Acquisition: A Case Study of e-Health Inclusion

  • Munoz-Hernandez, Susana
  • Benac-Earle, Clara
  • Nieva, Angel Herranz
  • Gonzalez-McGuinness, Mayte;

Sustainability - 1/8/2021

https://doi.org/10.3390/su13179698 View at source

  • ISSN 20711050

Synthesis of verifiable concurrent Java components from formal models

  • Marino, Julio
  • Alborodo, Raul N. N.
  • Fredlund, Lars-Ake
  • Herranz, Angel;

Software And Systems Modeling (p. 71-105) - 8/2/2019

10.1007/s10270-017-0581-1 View at source

  • ISSN 16191366

A testing-based approach to ensure the safety of shared resource concurrent systems

  • Fredlund, Lars-Ake
  • HERRANZ NIEVA, ANGEL
  • MARIÑO CARBALLO, JULIO

Proceedings Of The Institution Of Mechanical Engineers Part O-Journal Of Risk And Reliability (p. 457-472) - 1/10/2016

10.1177/1748006x15614231 View at source

  • ISSN 1748006X

Subexpresiones (CUPCAM 2005, problema H, enunciado)

  • Manuel Carro Liñares, Angel Herranz Nieva

Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2006

  • ISSN 02112124
  • iMarina

Subexpresiones (CUPCAM 2005, problema H, solución)

  • Angel Herranz Nieva, Manuel Carro Liñares

Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2006

  • ISSN 02112124
  • iMarina

Almejas gigantes e interfaces de usuario: (solución del Programa E)

  • Pablo Sánchez Torralba
  • Manuel Carro Liñares
  • Angel Herranz Nieva
  • Julio Mariño Carballo

Novática: Revista De La Asociación De Técnicos De Informática (p. 70-76) - 1/1/2003

  • ISSN 02112124
  • iMarina

Polígonos en malla (CUPCAM 2006, problema A, solución)

  • Dolores Lodares González, Angel Herranz Nieva

Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2007

  • ISSN 02112124
  • iMarina

La casa más grande (CUPCAM 2005, problema B, solución)

  • Angel Herranz Nieva, Manuel Abellanas Oar

Novática: Revista De La Asociación De Técnicos De Informática (p. 74-74) - 1/1/2005

  • ISSN 02112124
  • iMarina

This researcher has no books.

Declarative Reflection and its Application as a Pattern Language

  • Juan José Moreno Navarro
  • Angel Herranz Nieva

Primeras Jornadas Sobre Programación Y Lenguajes: (Prole 2001) : [Celebradas En] Almagro, [El] 23 Y 24 De Noviembre De 2001 (p. 179-198) - 1/1/2001

  • iMarina

From Executable Specifications to Java

  • Angel Herranz Nieva
  • Juan José Moreno Navarro
  • Noelia Maya

Iii Jornadas De Programación Y Lenguajes (Prole'03): Actas, Alicante, Del 12 Al 14 De Noviembre De 2003 / Juan José Moreno Navarro (Ed. Lit.), Manuel Palomar Sanz (Ed. Lit.) - 1/1/2003

  • iMarina

Modeling and reasoning about design patterns in SLAM-SL

  • Herranz A
  • Moreno-Navarro J

Design Pattern Formalization Techniques (p. 206-235) - 1/12/2007

10.4018/978-1-59904-219-0.ch010 View at source

Executable contracts for Elixir

  • Fredlund, Lars-Ake
  • BUESO DE BARRIO, LUIS EDUARDO, Sergio Pérez, Ignacio Ballesteros, Ángel Herranz, Julio Mariño,

(p. 46) - 6/9/2022

https://doi.org/10.1145/3546186.3549930 View at source

Automatic Proof of Refinement among Design Patterns using the TLC

  • Toufik Taibi
  • HERRANZ NIEVA, ANGEL

15/4/2007

  • iMarina

From UML State-Machine Diagrams to Erlang

  • Fredlund, Lars-Ake
  • HERRANZ NIEVA, ANGEL

Xii Jornadas Sobre Programación Y Lenguajes (Prole) Y V Taller De Programación Funcional (p. 288-299) - 18/9/2013

  • iMarina

A tool for the integration of constraint logic programming in spreadsheets

  • HERRANZ NIEVA, ANGEL
  • MARIÑO CARBALLO, JULIO

Xi Jornadas De Programación Y Lenguajes Prole 2011 (p. 20-32) - 6/9/2011

  • iMarina

Property-based Testing of JSON based Web Services

  • Fredlund, Lars-Ake
  • Herranz, Angel
  • Benac Earle, Clara
  • Marino, Julio;

Web Services (Icws), 2014 Ieee International Conference On (p. 704-707) - 27/6/2014

10.1109/icws.2014.110 View at source

Execution and Verification of UML State Machines with Erlang

  • Rodríguez R
  • Fredlund L
  • Herranz A
  • Mariño J

Software Engineering And Formal Methods (p. 284-289) - 1/9/2014

10.1007/978-3-319-10431-7_22 View at source

  • ISSN 03029743

Rapid prototyping and incremental evolution using SLAM

  • Herranz, A
  • Moreno-Navarro, JJ;

Proceedings Of The International Workshop On Rapid System Prototyping (p. 201-208) - 1/1/2003

10.1109/iwrsp.2003.1207049 View at source

  • ISSN 10746005

Automatic proof of refinement among design patterns using the TLC model checker

  • Taibi, Toufik
  • Herranz, Angel;

Proceedings Of The 6th Wseas International Conference On Applied Computer Science (p. 543-+) - 1/1/2007

  • iMarina

Automatic coding rule conformance checking using logic programs

  • Marpons G
  • Mariño J
  • Herranz A
  • Fredlund L
  • Carro M
  • Moreno-Navarro J

Proceedings Of The 17th Workshop On Logic-Based Methods In Programming Environments, Wlpe 2007 - 1/12/2007

  • iMarina

Applying property-based testing in teaching safety-critical system programming

  • Fredlund, Lars-Ake
  • HERRANZ NIEVA, ANGEL
  • MARIÑO CARBALLO, JULIO

Proceedings 41st Euromicro Conference On Software Engineering And Advanced Applications Seaa 2015 (p. 309-316) - 20/10/2015

10.1109/seaa.2015.53 View at source

This researcher has no working papers.

This researcher has no technical reports.

Desarrollo de software de alta calidad, fiable, distribuido y seguro

  • KRIZANC ., DAVID DANIEL (Participante)
  • SVENSSON ., HANS (Participante)
  • Hughes ., John (Participante)
  • Benac Earle, Clara (Participante)
  • Nogueira Iglesias, Pablo (Participante)
  • Fredlund, Lars-Ake (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
... View more Collapse

Period: 01-01-2010 - 30-06-2013

Type of funding: National

Amount of funding: 158994,01 Euros.

  • iMarina

Property-based Testing

  • Fredlund, Lars-Ake (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Participante)
  • MARIÑO CARBALLO, JULIO (Participante)
  • Benac Earle, Clara (Participante)

Period: 01-05-2008 - 30-12-2011

Type of funding: International

Amount of funding: 318788,00 Euros.

  • iMarina

SCALING PLANS

  • HERRANZ NIEVA, ANGEL (Investigador principal (IP))

Period: 01-02-2020 - 31-12-2022

Type of funding: Internal

  • iMarina

APOYO PARA EL DISEÑO E IMPLEMENTACIÓN DE FRAMEWORK PARA EL PROCESADO MASIVO DE DATOS SOCIAL MEDIA

  • HERRANZ NIEVA, ANGEL (Investigador principal (IP))

Period: 24-05-2013 - 30-06-2020

Type of funding: Internal

  • iMarina

APOYO EN LA ELABORACIÓN DE UNA PROPUESTA DE PROYECTO EUROPEO STREP (ICT 2013.3,4) POLCA EMBEDDED SYSTEMS AND HPC GET TOGETHER. PROGRAMMING LARGE SCALE HETEREGENEOUS INFRASTRUCTURES

  • HERRANZ NIEVA, ANGEL (Investigador principal (IP))

Period: 01-12-2012 - 31-12-2017

Type of funding: Internal

  • iMarina

BABEL. Next Generation Energy Efficient Secure Software

  • Gomez Martinez, Maria Elena (Participante)
  • Deedar, Ohammad Halim (Participante)
  • Muñoz Hernández, Susana (Participante)
  • Benac Earle, Clara (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Nogueira Iglesias, Pablo (Participante)
  • Fredlund, Lars-Ake (Participante)
  • Moreno Navarro, Juan José (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
... View more Collapse

Period: 01-10-2014 - 31-12-2018

Type of funding: Regional

Amount of funding: 101949,80 Euros.

  • iMarina

Programa en métodos para el desarrollo de software, fiable, de alta calidad y seguro de la Comunidad de Madrid

  • Muñoz Hernández, Susana (Participante)
  • Fredlund, Lars-Ake (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Moreno Navarro, Juan José (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))

Period: 01-12-2005 - 01-01-2010

Type of funding: Regional

  • iMarina

Plataforma para el desarrollo, publicación y seguimiento de retos de programación

  • HERRANZ NIEVA, ANGEL (Director) Doctorando: Mareca Mínguez, Andrés

4/3/2022

  • iMarina

SISTEMA PARA LA DETECCIÓN Y DISCRIMINACIÓN DE OBJETOS EN MOVIMIENTO

  • HERRANZ NIEVA ANGEL (Inventores/autores/obtentores)

18/4/2007

  • iMarina
Last data update: 3/5/24 6:47 PM