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

Persistence Factories Architectural Design Pattern

  • Jorge D. Ortiz Fuentes & Ángel Herranz Nieva

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

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

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

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

  • ISSN 1748006X

A Model-Driven Approach to Teaching Concurrency

  • Carro, Manuel
  • Herranz, Angel
  • Marino, Julio;

Acm Transactions On Computing Education - 1/1/2013

10.1145/2414446.2414451 Ver en origen

  • ISSN 19466226

A Coding Rule Conformance Checker Integrated into GCC

  • ÁLVARO POLO
  • Fredlund, Lars-Ake
  • Moreno Navarro, Juan José
  • HERRANZ NIEVA, ANGEL
  • CARRO LIÑARES, MANUEL
  • MARIÑO CARBALLO, JULIO

Electronic Notes In Theoretical Computer Science (p. 149-159) - 5/8/2009

10.1016/j.entcs.2009.07.065 Ver en origen

  • ISSN 03044238

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

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

  • ISSN 14710684

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

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

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

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

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

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

  • ISSN 21906807

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

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

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

  • ISSN 03029743

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

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

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

  • ISSN 03029743

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

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

Tecnologías rigurosas para software de nueva generación abierto y fiable

  • BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
  • BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
  • Mycroft ., Alan (Otros)
  • Tonetta ., Stefano (Otros)
  • Lipton ., James (Otros)
  • Moreno Navarro, Juan José (Participante)
  • Nogueira Iglesias, Pablo (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Fredlund, Lars-Ake (Participante)
  • Benac Earle, Clara (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
... Ver más Contraer

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

Tipo: Nacional

Importe financiado: 36644,40 Euros.

  • 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

Property-based testing of Web services

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

Ejecución: 01-10-2012 - 31-10-2015

Tipo: Internacional

Importe financiado: 262905,00 Euros.

  • iMarina

pSafety Certification of software-intensive systems with reusable components

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

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

Tipo: Nacional

Importe financiado: 33646,32 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

Property-based Testing

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

Ejecución: 01-05-2008 - 30-12-2011

Tipo: Internacional

Importe financiado: 318788,00 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))

Ejecución: 01-12-2005 - 01-01-2010

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