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

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

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

Teaching how to derive correct concurrent programs from state-based specifications and code patterns

  • Carro, M
  • Marino, J
  • Herranz, A
  • Moreno-Navarro, JJ;

Lecture Notes In Computer Science (p. 85-106) - 1/1/2004

  • ISSN 03029743
  • 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

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

A tool for the integration of constraint solving in spreadsheets

  • Fernández-Soriano A
  • Mariño J
  • Herranz A

Electronic Notes In Theoretical Computer Science (p. 35-45) - 5/5/2012

10.1016/j.entcs.2011.12.004 View at source

  • ISSN 15710661

A verified implementation of priority monitors in Java

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

Lecture Notes In Computer Science (p. 160-177) - 15/8/2012

10.1007/978-3-642-31762-0_11 View at source

  • ISSN 03029743

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

Automatic Coding Rule Conformance Checking Using Logic Programming

  • Marpons, Guillem
  • Marino, Julio
  • Carro, Manuel
  • Herranz, Angel
  • Moreno-Navarro, Juan Jose
  • Fredlund, Lars-Ake;

Practical Aspects Of Declarative Languages, 10th International Symposium, Padl 2008 (p. 18-34) - 7/1/2008

10.1007/978-3-540-77442-6_3 View at source

  • ISSN 03029743

Automatic Coding Rule Conformance Checking Using Logic Programs.

  • Manuel Carro Liñares
  • Guillem Marpons Ucero
  • Fredlund, Lars-Ake
  • Moreno Navarro, Juan José
  • HERRANZ NIEVA, ANGEL
  • MARIÑO CARBALLO, JULIO

17th Workshop On Logic-Based Methods In Programming Environments. - 13/9/2007

  • iMarina

Automatic Generation of Attacker Contracts in Solidity

  • Ballesteros I
  • Benac-Earle C
  • de Barrio LEB
  • Fredlund LÅ
  • Herranz Á
  • Mariño J

Openaccess Series In Informatics - 1/1/2022

10.4230/oasics.fmbc.2022.3 View at source

  • ISSN 21906807

Automatic Proof of Refinement among Design Patterns using the TLC

  • Toufik Taibi
  • HERRANZ NIEVA, ANGEL

15/4/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

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

This researcher has no working papers.

This researcher has no technical reports.

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

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

Analysis and Validation of Software and Web Resources

  • BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
  • Fredlund, Lars-Ake (Investigador principal (IP))
  • Benac Earle, Clara (Investigador principal (IP))
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)

Period: 01-06-2020 - 31-05-2024

Type of funding: National

Amount of funding: 61468,00 Euros.

  • 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

Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis

  • BUESO DE BARRIO, LUIS EDUARDO (Participante)
  • BALLESTEROS GONZALEZ, IGNACIO (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))
  • MARIÑO CARBALLO, JULIO (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Fredlund, Lars-Ake (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • ROMAN DIEZ, GUILLERMO (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • Benac Earle, Clara (Participante)
  • ZANARDINI, DAMIANO (Participante)
... View more Collapse

Period: 01-01-2019 - 30-04-2023

Type of funding: Regional

Amount of funding: 74100,85 Euros.

  • iMarina

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

Madrid Inclusión Digital (MID)

  • Muñoz Hernández, Susana (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Investigador/a)
  • Benac Earle, Clara (Investigador/a)
  • Clara Urbano Molina (Investigador/a)

Period: 15-10-2021 - 30-11-2022

Type of funding: Regional

Amount of funding: 49969,66 Euros.

  • iMarina

MadridDataSpace4Pandemics Inteligencia Artificial y tecnologías basadas en datos para la comprensión, detección, tratamiento y análisis de la COVID-19

  • Conde Díaz, Javier (Participante)
  • MUÑOZ ARCENTALES, JOSE ANDRES (Participante)
  • Sundar Goswami, Subhra (Participante)
  • TORRES INCHAURZA, IMANOL (Participante)
  • ARIAS LONDOÑO, Julian David (Participante)
  • GARCIA DELGADO, MIGUEL ANGEL (Participante)
  • JIMENEZ MARTIN, ANTONIO (Participante)
  • GALVAÑ SALA, DAVID AMARO (Participante)
  • QUESADA LOPEZ, DAVID (Participante)
  • GALOCHA DOMINGUEZ, LUIS (Participante)
  • González Guardia, Esteban (Participante)
  • ALCAZAR VALDARACETE, RAUL (Participante)
  • Moreno Sánchez-Capuchino, Ana María (Participante)
  • MIGUEL VELA, GONZALO C. DE (Participante)
  • BIELZA LOZOYA, MARIA CONCEPCION (Participante)
  • LARRAÑAGA MUGICA, PEDRO MARIA (Participante)
  • DIAZ HONRUBIA, ANTONIO JESUS (Participante)
  • ROBLES FORCADA, VICTOR (Participante)
  • MENASALVAS RUIZ, ERNESTINA (Participante)
  • LATORRE DE LA FUENTE, ANTONIO (Participante)
  • MATEOS CABALLERO, ALFONSO (Participante)
  • RODRIGUEZ GONZALEZ, ALEJANDRO (Participante)
  • VIGUERAS GONZALEZ, GUILLERMO ANTONIO (Participante)
  • BAJO PEREZ, JAVIER (Participante)
  • ALONSO GONZALEZ, ALVARO (Participante)
  • POZO HUERTAS, ALEJANDRO (Participante)
  • BERNARDOS BARBOLLA, ANA MARIA (Investigador principal (IP))
  • BERGESIO, LUCA (Participante)
  • CAMPAÑA RAMOS, IVAN (Participante)
  • Benac Earle, Clara (Participante)
  • ALONSO DE APELLANIZ, PATRICIA (Participante)
  • García Santos, Narciso (Participante)
  • GUTIERREZ SANCHEZ, JESUS (Investigador principal (IP))
  • LEDESMA CARBAYO, MARIA JESUS (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Participante)
  • Yelmo Garcia, Juan Carlos (Investigador principal (IP))
  • MARTIN GARCIA, YOD SAMUEL (Participante)
  • BARRA ARIAS, ENRIQUE (Participante)
  • PAVON GOMEZ, SANTIAGO (Participante)
  • ZAZO BELLO, SANTIAGO (Participante)
  • BELMONTE HERNÁNDEZ, ALBERTO (Participante)
  • CASAR CORREDERA, JOSE RAMON (Participante)
  • TORRE OLIVA, ALEJANDRO DE LA (Participante)
  • CORTES SANCHEZ, CARLOS (Participante)
  • Muñoz Hernández, Susana (Participante)
  • Díaz López, José Manuel (Participante)
  • RODRIGUEZ VAZQUEZ, JOSE LUIS (Participante)
  • PARRAS MORAL, JUAN (Investigador principal (IP))
  • BESADA PORTAS, JUAN ALBERTO (Participante)
  • CARRAMIÑANA JIMENEZ, DAVID (Participante)
  • CABRERA QUESADA, JULIAN (Participante)
  • ORDUNA CORTILLAS, MARTA (Participante)
  • GODINO LLORENTE, JUAN IGNACIO (Investigador principal (IP))
  • BURLAKA PETRASH, ARSEN (Participante)
  • ALVAREZ GARCIA, FEDERICO (Participante)
  • TORRE ASTANIN, ALEXANDER DE LA (Participante)
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Investigador principal (IP))
  • LOPEZ PERNAS, SONSOLES (Participante)
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
  • QUEMADA VIVES, JUAN (Participante)
  • MUÑOZ ARCENTALES, JOSÉ ADRÉS (Participante)
  • Corcho García, Oscar (Investigador principal (IP))
... View more Collapse

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

Type of funding: Regional

Amount of funding: 99859,50 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

Programming Large Scale Heterogeneous Infrastructures POLCA

  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Participante)

Period: 01-09-2013 - 31-08-2016

Type of funding: International

Amount of funding: 163302,00 Euros.

  • 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