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

Educational and Clinical Applications of a Web- and Android-Based Telemedicine Platform to Expand Rural Health Care in Ecuador

  • Vasquez-Cevallos, Leonel
  • Mitchell, Andrew
  • Munoz-Hernandez, Susana
  • Herranz-Nieva, Angel
  • Garcia-Mingo, Ana
  • De Corral-San Martin, Paula
  • Castro, Mijail
  • Soto-Rodriguez, Paul E D
  • Caicedo-Quiroz, Rosangela
... Ver más Contraer

Telemedicine Reports (p. 67-75) - 1/3/2025

40151789 Ver en origen

  • ISSN 26924366

Generation of algebraic data type values using evolutionary algorithms

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

Journal Of Logical And Algebraic Methods In Programming - 1/2/2025

10.1016/j.jlamp.2024.101022 Ver en origen

  • ISSN 15678326

Persistence Factories Architectural Design Pattern

  • Ortiz Fuentes, Jorge D
  • Herranz Nieva, Angel

Lecture Notes In Computer Science (p. 167-177) - 22/9/2022

10.1007/978-3-031-16697-6_12 Ver en origen

  • ISSN 03029743

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

Effect of the duration of commercial journeys between rearing farms and growing-finishing farms on the physiological stress response of weaned piglets

  • Averos, X
  • Herranz, A
  • Sanchez, R
  • Gosalvez, L F

Livestock Science (p. 339-344) - 1/6/2009

10.1016/j.livsci.2008.09.019 Ver en origen

  • ISSN 18711413

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

Logic Programming with Extensible Types

  • I Perez
  • A Herranz

Ntrs-Nasa - 1/1/2024

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

Controlled Scheduling of Concurrent Elixir Programs

  • LE Bueso de Barrio
  • LÅ Fredlund
  • C Benac Earle
  • Á Herranz
  • J Mariño

Proceedings Of The (p. 67-75) - 1/1/2024

10.1145/3677995.3678195 Ver en origen

Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises

  • Calvo-Manzano, Jose A
  • San Feliu, Tomas
  • Herranz, Angel
  • Marino, Julio
  • Fredlund, Lars-Ake
  • Colomo-Palacios, Ricardo
  • Moreno, Ana M
... Ver más Contraer

Communications In Computer And Information Science (p. 231-244) - 1/1/2024

10.1007/978-3-031-71139-8_16 Ver en origen

Evaluation of Mixed Reality Technologies in Telemedicine-Assisted Childbirth Simulations

  • Vasquez-Cevallos L
  • Parpacen-Briones L
  • Del-Pino-Bazan F
  • Moran-Chaguay H
  • Diaz-Mora P
  • Zevallos JC
  • Estrada R
  • Soto-Rodriguez PED
  • Muñoz-Hernández S
  • Herranz-Nieva Á
... Ver más Contraer

Procedia Computer Science (p. 438-445) - 1/1/2024

10.1016/j.procs.2024.11.131 Ver en origen

  • ISSN 18770509

Generation and Refinement of Testing Models

  • LE Bueso de Barrio
  • LÅ Fredlund
  • C Benac Earle
  • Á Herranz
  • J Mariño

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

  • Perez, Sergio
  • de Barrio, Luis Eduardo Bueso
  • Ballesteros, Ignacio
  • Herranz, Angel
  • Marino, Julio
  • Earle, Clara Benac
  • Fredlund, Lars-Ake
... Ver más Contraer

Proceedings Of The 21st Acm Sigplan International Workshop On Erlang, Erlang 2022 (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

  • Bueso de Barrio, Luis Eduardo
  • Fredlund, Lars-Ake
  • Herranz, Angel
  • Benac Earle, Clara
  • Marino, Julio

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

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

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

Marco de trabajo de Ciberseguridad Integrado para Pequeñas y Medianas Empresas

  • Moreno Sánchez-Capuchino, Ana María (Participante)
  • COLOMO PALACIOS, Ricardo (Participante)
  • Calvo-Manzano Villalón, José Antonio (Participante)
  • MARIÑO CARBALLO, JULIO (Participante)
  • SAN FELIU GILABERT, TOMAS (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Fredlund, Lars-Ake (Participante)
... Ver más Contraer

Ejecución: 29-12-2023 - 31-12-2025

Tipo: Nacional

Importe financiado: 231651,00 Euros.

  • iMarina

REEQUILIBRIO TERRITORIAL EN MADRID CON INCLUSIÓN DIGITAL (RETOMADRID)

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

Ejecución: 28-12-2023 - 31-12-2025

Tipo: Interno

  • iMarina

Madrid Inclusión Digital (MID)

  • RODRIGUEZ RIVERO, ROCIO (Miembro del equipo de investigación)
  • 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

Analysis and Validation of Software and Web Resources

  • BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
  • 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

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

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

Ejecución: 01-02-2020 - 31-12-2022

Tipo: Regional

Importe financiado: 99859,50 Euros.

  • iMarina

SCALING PLANS

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

Ejecución: 01-02-2020 - 31-12-2022

Tipo: Interno

  • iMarina

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

  • Muñoz Hernández, Susana (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • Benac Earle, Clara (Participante)
  • ZANARDINI, DAMIANO (Participante)
  • 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)
... Ver más Contraer

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

Tipo: Regional

Importe financiado: 74100,85 Euros.

  • iMarina

e-Health inclusion through ICT training

  • Muñoz Hernández, Susana (Investigador principal (IP))
  • MARIÑO CARBALLO, JULIO (Participante)
  • Fredlund, Lars-Ake (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Benac Earle, Clara (Participante)

Ejecución: 01-01-2019 - 31-12-2019

Tipo: Internacional

Importe financiado: 289375,00 Euros.

  • iMarina

TITULO ANALYSIS OF THE ARQUITECTURE OF COOWRY SYSTEMS, DEVELOPMENT OF THEIR DATA MODELS, DESIGN OF THE TESTING STRATEGY, DEVELOPMENT OF AUTOMATIC TESTING FOR THE TRANSACTIONAL CORE SYSTEM

  • MARIÑO CARBALLO, JULIO (Colaborador/a)
  • Fredlund, Lars-Ake (Colaborador/a)
  • HERRANZ NIEVA, ANGEL (Investigador principal (IP))

Ejecución: 30-04-2014 - 30-06-2020

Tipo: Interno

  • 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

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: 10/11/25 9:04