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
Almejas gigantes e interfaces de usuario: (solución del Programa E)
- Pablo Sánchez Torralba
- Manuel Carro Liñares
- Angel Herranz Nieva
- Julio Mariño Carballo
Novática: Revista De La Asociación De Técnicos De Informática (p. 70-76) - 1/1/2003
- 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
- iMarina
- iMarina
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
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
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
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
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
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
Este/a investigador/a no tiene libros.
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
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
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
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
- iMarina
- iMarina
Automatic proof of refinement among design patterns using the TLC model checker
- Taibi, Toufik
- Herranz, Angel;
Proceedings Of The 6th Wseas International Conference On Applied Computer Science (p. 543-+) - 1/1/2007
- iMarina
Automatic coding rule conformance checking using logic programs
- Marpons G
- Mariño J
- Herranz A
- Fredlund L
- Carro M
- Moreno-Navarro J
Proceedings Of The 17th Workshop On Logic-Based Methods In Programming Environments, Wlpe 2007 - 1/12/2007
- iMarina
Automatic Proof of Refinement among Design Patterns using the TLC
- Toufik Taibi
- HERRANZ NIEVA, ANGEL
15/4/2007
- iMarina
Automatic Coding Rule Conformance Checking Using Logic Programs.
- Manuel Carro Liñares
- Guillem Marpons Ucero
- Fredlund, Lars-Ake
- Moreno Navarro, Juan José
- HERRANZ NIEVA, ANGEL
- MARIÑO CARBALLO, JULIO
17th Workshop On Logic-Based Methods In Programming Environments. - 13/9/2007
- iMarina
Automatic Coding Rule Conformance Checking Using Logic Programming
- Marpons, Guillem
- Marino, Julio
- Carro, Manuel
- Herranz, Angel
- Moreno-Navarro, Juan Jose
- Fredlund, Lars-Ake;
Practical Aspects Of Declarative Languages, 10th International Symposium, Padl 2008 (p. 18-34) - 7/1/2008
10.1007/978-3-540-77442-6_3 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
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
- iMarina
- iMarina
Executable Specifications in an Object Oriented Formal Notation
- HERRANZ NIEVA, ANGEL
- MARIÑO CARBALLO, JULIO
20th International Symposium On Logic-Based Program Synthesis And Transformation, Lopstr 2010 (p. 144-158) - 23/7/2010
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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
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
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))
Ejecución: 01-01-2010 - 30-06-2013
Tipo: Nacional
Importe financiado: 158994,01 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
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
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
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))
Ejecución: 01-01-2013 - 30-06-2017
Tipo: Nacional
Importe financiado: 36644,40 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
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
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
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID