Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
RESEARCHERS
RDI STRUCTURES
RESEARCH ACTIVITIES
INNOVATION
Investigador
Alvaro German Puebla Sanchez
Researcher Category
TITULAR UNIVERSIDAD
UPM Centre
E.T.S. DE INGENIEROS INFORMÁTICOS
Department:
LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE (N)
Knowledge Area
LENGUAJES Y SISTEMAS INFORMATICOS
Research Group:
Sin grupo de investigación
Email
german.puebla
upm.es
Researcher isn't working at UPM
Research Reports
Proyectos de I+D+i y generación de recursos
34 Proyectos de I+D+i
1: (2007)
Ayuda por preparación de propuesta Mobius
2: (2007)
Complementaria de Mobius
3: (2007)
MERIT
4: (2007)
MOBIUS
5: (2007)
PROMESAS
6: (2008)
European Master Course in Computational Logic
7: (2008)
European Masters Course on Software Engineering (Erasmus Mundus). Curso 2008-2010.
8: (2008)
MERIT: MEtodos RIgurosos para sistemas heTerogeneos y Moviles
9: (2008)
MOBIUS:Mobility, Ubiquity and Security
10: (2008)
Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
11: (2009)
CONTRACT. N. 015905 - MOBIUS MOBILITY UBIQUITY AND SECURITY
12: (2009)
CONTRACT 231620
13: (2009)
COORDINATED ACTIVIES IN RESOURCE ANALYSIS
14: (2009)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
15: (2009)
EDUCATION AUDIOVISUAL AND CULTURE EXECUTIVE AGENCY. ERASMUS MUNDUS EUROPEAN MASTERS COURSE INSOFTWARE ENGINEERING
16: (2009)
EUROPEAN MASTER IN SOFTWARE ENGINEERING CURSO 2009-2011
17: (2009)
HIGHL Y ADAPTABLE AND TRUSTWORTHY SOFTWARE USING FORMAL MODELS
18: (2009)
PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
19: (2010)
CONTRACT 231620
20: (2010)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
21: (2010)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
22: (2011)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
23: (2011)
HATS: Highly Adaptable and Trustworthy Software using Formal Models
24: (2011)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
25: (2011)
Resolución de Relaciones de Coste utilizando Técnicas de Análisis de Programas
26: (2013)
DOVES (Development Of Verifiable and Efficient Software)
27: (2013)
EUROPEAN MASTERS ON SOFTWARE ENGINEERING
28: (2013)
EUROPEAN MASTERS ON SOFTWARE ENGINEERING, 2010/2012 EDITION
29: (2013)
EUROPEAN MASTERS ON SOFTWARE ENGINEERING, 2011/2013 EDITION
30: (2013)
PROMETIDOS: PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
31: (2013)
TECNICAS AVANZADAS DE VERIFICACION DE APLICACIONES CONCURRENTES
32: (2013)
ValIdación y Verificación de Aplicaciones Concurrentes (VIVAC)
33: (2013)
2010 /001 - 001 - EM1 - EMMC . 2007 - 0065 - ERASMUS MUNDUS
34: (2015)
VERA: Técnicas avanzadas de verificación de aplicaciones concurrentes
Formación de Investigadores y Movilidad
7 Tesis Doctorales
1: (2007)
Dirección de la Tesis Doctoral de Claudio Ochoa
2: (2007)
Miembro del Tribunal de la Tesis Doctoral de Francois Gobert
3: (2007)
Miembro del Tribunal de la Tesis Doctoral de José Guadalupe Ramos
4: (2008)
Modelling the Heap: a Practical Approach
5: (2011)
Modular and field-sensitive termination analysis of java bytecode
6: (2013)
Termination and Cost Analysis: Complexity and Precision Issues
7: (2013)
Test Case Generation in Object-Oriented Programming
Difusión de Resultados de Investigación
21 Artículos en revistas
1: (2007)
Combining Static Analysis and Profiling for Estimating Execution Times
2: (2007)
Cost Analysis of Java Bytecode
3: (2007)
MOBIUS: Mobility, Ubiquity, Security: Objectives and progress report
4: (2007)
Poly-Controlled Partial Evaluation in Practice
5: (2007)
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
6: (2008)
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
7: (2009)
Decompilation of Java Bytecode to Prolog by Partial Evaluation
8: (2009)
Type-based Homeomorphic Embedding for Online Termination
9: (2010)
Test case generation for object-oriented imperative languages in CLP
10: (2011)
Closed-Form Upper Bounds in Static Cost Analysis
11: (2011)
Efficient local unfolding with ancestor stacks
12: (2012)
Certificate Size Reduction in Abstraction-Carrying Code
13: (2012)
An overview of Ciao and its design philosophy
14: (2012)
Cost analysis of object-oriented bytecode programs
15: (2014)
Conditional termination of loops over heap-allocated data
16: (2014)
Selected and extended papers from Bytecode 2013 Preface
17: (2015)
Quantified Abstract Configurations of Distributed Systems
18: (2015)
A multi-domain incremental analysis engine and its application to incremental resource analysis
19: (2015)
Object-sensitive cost analysis for concurrent objects
20: (2015)
Resource Analysis: From Sequential to Concurrent and Distributed Programs
21: (2016)
A formal verification framework for static analysis
2 Conferencias invitadas en congresos
1: (2007)
Scenarios for Proof Carrying Code
2: (2011)
An Overview of the Ciao System
1 Libros
1: (2007)
Logic Based Program Synthesis and Transformation (LOPSTR'06)
7 Otras Publicaciones
1: (2007)
Automatic Inference of Upper Bounds for Cost Equation Systems
2: (2007)
Java Bytecode Timing Cost Models
3: (2007)
Partial Evaluation Types for Improving the Decompilation of Java Bytecode to Prolog
4: (2007)
Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report
5: (2008)
Modular Decompilation of Low-Level Code by Partial Evaluation
6: (2009)
Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation (PEPM'09)
7: (2011)
Towards Incremental Resource Usage Analysis
31 Ponencia en Congresos
1: (2007)
A Generic Framework for the Cost Analysis of Java Bytecode
2: (2007)
A Study on the Practicality of Poly-Controlled Partial Evaluation
3: (2007)
ACM TOPLAS, revisión de artículos
4: (2007)
Applications of Static Slicing in Cost Analysis of Java Bytecode
5: (2007)
Experiments in Cost Analysis of Java Bytecode
6: (2007)
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
7: (2007)
PADL'07, miembro del Comité de Programa
8: (2007)
PADL'07, revisión de artículos
9: (2007)
PEPM'07, miembro del Comité de Programa
10: (2007)
PEPM'07, revisión de artículos
11: (2007)
PPDP'07, miembro del Comité de Programa
12: (2007)
PPDP'07, revisión de artículos
13: (2007)
PROLE'07, miembro del Comité de Programa
14: (2007)
PROLE'07, revisión de artículos
15: (2007)
TACAS'07, revisión de artículos
16: (2007)
Termination Analysis of Java Bytecode
17: (2007)
Typed-based Homeomorphic Embedding for Online Termination
18: (2007)
WLPE'07, miembro del Comité de Programa
19: (2007)
WLPE'07, revisión de artículos
20: (2008)
A Practical Type Analysis for Verification of Modular Prolog Programs
21: (2009)
Field-Sensitive Value Analysis by Field-Insensitive Analysis
22: (2009)
Asymptotic Resource Usage Bounds
23: (2009)
Comparing Cost Functions in Resource Analysis
24: (2009)
Termination and Cost Analysis with COSTA and its User Interfaces
25: (2009)
Test Data Generation of Bytecode by CLP Partial Evaluation
26: (2010)
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
27: (2010)
A Partial Evaluation-based Test Case Generation Tool for Java Bytecode
28: (2010)
Compositional CLP-based Test Data Generation for Imperative Languages
29: (2010)
Towards Compositional CLP-based Test Data Generation for Imperative Languages.
30: (2011)
Verified Resource Guarantees using COSTA and KeY
31: (2013)
Quantified Abstractions of Distributed Systems
Explotación de Resultados y Transferencia de Tecnología
2 Know-How
1: (2008)
COSTA: COST and Termination Analyzer
2: (2008)
PUBS: A Practical Upper Bounds Solver
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2019 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)
