RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Herranz Nieva, Angel angel.herranz@upm.es

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

Actividades

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

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 Ver en origen

  • ISSN 16191366

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 Ver en origen

  • ISSN 20711050

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

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

Stepwise refinement validation of design patterns formalized in TLA+ using the TLC model checker

  • Taibi T
  • Herranz A
  • Moreno-Navarro J

Journal Of Object Technology (p. 137-161) - 1/1/2009

10.5381/jot.2009.8.2.a3 Ver en origen

  • ISSN 16601769

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

Persistence Factories Architectural Design Pattern

  • Jorge D. Ortiz Fuentes & Ángel Herranz Nieva

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

  • 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

Formal extreme (and extremely formal) programming

  • Herranz A
  • Moreno-Navarro J

Lecture Notes In Computer Science (p. 88-96) - 1/1/2003

10.1007/3-540-44870-5_12 Ver en origen

  • ISSN 03029743

Este/a investigador/a no tiene libros.

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 Ver en origen

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

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

Using static analysis to compile non-sequential functional logic programs

  • Mariño J
  • Moreno-Navarro J

Lecture Notes In Computer Science (p. 63-80) - 1/1/2000

10.1007/3-540-46584-7_5 Ver en origen

  • ISSN 03029743

Synthesis of logic programs from object-oriented formal specifications

  • Herranz A
  • Mariño J

Leibniz International Proceedings In Informatics, Lipics (p. 95-105) - 1/12/2011

  • ISSN 18688969
  • iMarina

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 Ver en origen

  • ISSN 10746005

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 Ver en origen

Modelling Mash-Up Resources

  • Iván Pérez Domínguez
  • Muñoz Hernández, Susana
  • Moreno Navarro, Juan José
  • HERRANZ NIEVA, ANGEL

13th Conference On Software Engineering And Databases, Jisbd'08. (p. 135-146) - 7/10/2008

  • iMarina

Modeling Concurrent Systems with Shared Resources

  • Herranz, Angel
  • Marino, Julio
  • Carro, Manuel
  • Moreno Navarro, Juan Jose

Lecture Notes In Computer Science (p. 102-+) - 1/12/2009

10.1007/978-3-642-04570-7_9 Ver en origen

  • ISSN 03029743

Makina: A new QuickCheck state machine library

  • De Barrio LEB
  • Fredlund LÅ
  • Herranz Á
  • Earle CB
  • Mariño J

Erlang 2021 - Proceedings Of The 20th Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2021 (p. 41-53) - 1/1/2021

10.1145/3471871.3472964 Ver en origen

Jsongen: A QuickCheck based library for testing JSON web services

  • Benac Earle C
  • Fredlund L
  • Herranz A
  • Mariño J

Erlang 2014 - Proceedings Of The 2014 Acm Sigplan Erlang Workshop (p. 33-41) - 1/1/2014

10.1145/2633448.2633454 Ver en origen

  • ISSN 00010782

Generation and Refinement of Testing Models

  • de Barrio, LEB
  • Fredlund, LÅ
  • Earle, CB
  • Herranz, A
  • Mariño, J

Erlang 2023 - Proceedings Of The 22nd Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2023 (p. 14-23) - 1/1/2023

10.1145/3609022.3609415 Ver en origen

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

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

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)

Ejecución: 15-10-2021 - 30-11-2022

Tipo: Regional

Importe financiado: 49969,66 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))
... Ver más Contraer

Ejecución: 01-01-2010 - 30-06-2013

Tipo: Nacional

Importe financiado: 158994,01 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)
... Ver más Contraer

Ejecución: 01-01-2019 - 30-04-2023

Tipo: Regional

Importe financiado: 74100,85 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))
... Ver más Contraer

Ejecución: 01-10-2014 - 31-12-2018

Tipo: Regional

Importe financiado: 101949,80 Euros.

  • 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)

Ejecución: 01-06-2020 - 31-05-2024

Tipo: Nacional

Importe financiado: 61468,00 Euros.

  • 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))

Ejecución: 24-05-2013 - 30-06-2020

Tipo: Interno

  • 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))

Ejecución: 01-12-2012 - 31-12-2017

Tipo: Interno

  • 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
Última actualización de los datos: 5/03/24 18:47