Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Angel Herranz Nieva
Categoría Investigador
L.D. PRF.COLABORADOR
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE (N)
Area Conocimiento
LENGUAJES Y SISTEMAS INFORMATICOS
Grupo de Investigación:
BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
Email (Directorio UPM)
angel.herranz
upm.es
Teléfono (Directorio UPM)
910672956
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
31 Proyectos de I+D+i
1: (2007)
DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro.
2: (2007)
GGCC: Global GNU Compiler Collection
3: (2007)
PROMESAS-CM: Programa en Métodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
4: (2007)
Representación del Conocimiento con Información Negativa - Knowledge Representation with Negative Information
5: (2007)
Vulcano: forja de proyectos software de calidad.
6: (2008)
DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro
7: (2008)
GGCC: Global GNU Compiler Collection
8: (2008)
Master de Ingeniería del Software - Modalidad Presencial
9: (2008)
PROMESAS-CM: Programa en métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid.
10: (2009)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
11: (2009)
REALIZACIÓN DE TRANSFORMES 2009
12: (2010)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
13: (2011)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
14: (2011)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE. PARTE UPM BABEL
15: (2011)
ProTest: Property-based Testing
16: (2012)
Desarrollo de Software de Alta Calidad, Fiable, Distribuido y Seguro (DESAFIOS10)
17: (2012)
Programa en Métodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid (PROMETIDOS-CM)
18: (2013)
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
19: (2013)
APOYO PARA EL DISEÑO E IMPLEMENTACIÓN DE FRAMEWORK PARA EL PROCESADO MASIVO DE DATOS SOCIAL MEDIA
20: (2013)
POLCA: Programming Large Scale Heterogeneous Infrastructures POLCA
21: (2013)
PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
22: (2013)
StrongSoft: Secure Technologies for Reliable Open New Generation Software
23: (2015)
APOYO PARA EL DISEÑO E IMPLEMENTACIÓN DE FRAMEWORK PARA EL PROCESADO MASIVO DE DATOS SOCIAL MEDIA
24: (2015)
APOYO PARA EL DISEÑO E IMPLEMENTACIÓN DE FRAMEWORK PARA EL PROCESADO MASIVO DE DATOS SOCIAL MEDIA
25: (2015)
StrongSoftBabel: Tecnologías rigurosas para software de nueva generación abierto y fiable
26: (2015)
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
27: (2017)
PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
28: (2018)
BABEL. Next-Generation Energy-Efficient Secuere Software.
29: (2018)
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
30: (2019)
BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
31: (2019)
eHi_ICTT: e-Health inclusion through ICT training
Formación de Investigadores y Movilidad
1 Tesis Doctorales
1: (2011)
An Object-Oriented Formal Notation: Executable Specifications in Clay
Difusión de Resultados de Investigación
12 Artículos en revistas
1: (2007)
Demandedness Analysis with Partial Predicates
2: (2009)
A Coding Rule Conformance Checker Integrated into GCC
3: (2009)
Modeling Concurrent Systems with Shared Resources
4: (2009)
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ Using the TLC Model Checker
5: (2011)
Synthesis of Logic Programs from Object-Oriented Formal Specifications
6: (2012)
A Tool for the Integration of Constraint Programming in Spreadsheets
7: (2012)
A Tool for the Integration of Constraint Programming in Spreadsheets
8: (2014)
Property-based Testing of JSON based Web Services
9: (2015)
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
10: (2015)
Applying property-based testing in teaching safety-critical system programming
11: (2016)
A testing-based approach to ensure the safety of shared resource concurrent systems
12: (2019)
Synthesis of verifiable concurrent Java components from formal models
1 Capítulos de libros
1: (2007)
Modeling and Reasoning about Design Patterns in SLAM-SL
4 Otras Publicaciones
1: (2007)
Automatic Coding Rule Conformance Checking Using Logic Programs
2: (2007)
Study of existing coding rule formalisms and compendium of common hazards. Use of Coding Rules in Software Industry.
3: (2007)
Towards Checking Coding Rule Conformance Using Logic Programming
4: (2010)
Communication Models for Resource Mashups
13 Ponencia en Congresos
1: (2007)
Automatic Coding Rule Conformance Checking Using Logic Programs.
2: (2007)
Automatic Proof of Refinement among Design Patterns using the TLC
3: (2008)
A Coding Rule Conformance Checker Integrated into GCC.
4: (2008)
Automatic Coding Rule Conformance Checking Using Logic Programming
5: (2008)
Modelling Mash-Up Resources
6: (2010)
Executable Specifications in an Object Oriented Formal Notation
7: (2011)
A tool for the integration of constraint logic programming in spreadsheets
8: (2012)
A Verified Implementation of Priority Monitors in Java
9: (2013)
From UML State-Machine Diagrams to Erlang
10: (2014)
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
11: (2014)
Execution and Verification of UML State Machines with Erlang
12: (2014)
Property-based Testing of JSON based Web Services
13: (2015)
Applying Property-Based Testing in Teaching Safety-Critical System Programming
Explotación de Resultados y Transferencia de Tecnología
1 Patentes
1: (2008)
Sistema para la detección y discriminación de objetos en movimiento
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2022 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)
