Herranz Nieva, Angel angel.herranz@upm.es
Actividades
- Artículos 15
- Libros 0
- Capítulos de libro 3
- Congresos 23
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 17
- Tesis dirigidas 1
- Patentes o licencias de software 1
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
- iMarina
- 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
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
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
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
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
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
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
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
- iMarina
- 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 Ver en origen
- iMarina
- iMarina
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
- iMarina
- 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 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
- iMarina
- 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
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
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))
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
- 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)
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))
Ejecución: 01-10-2014 - 31-12-2018
Tipo: Regional
Importe financiado: 101949,80 Euros.
- iMarina
Programming Large Scale Heterogeneous Infrastructures POLCA
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
- HERRANZ NIEVA, ANGEL (Participante)
Ejecución: 01-09-2013 - 31-08-2016
Tipo: Internacional
Importe financiado: 163302,00 Euros.
- iMarina
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID