Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Manuel de Hermenegildo Salinas
Categoría Investigador
CATEDRATICO UNIVERSIDAD
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
INTELIGENCIA ARTIFICIAL (ANTIGUO)
Centros/Institutos I+D+i
C.TECNOLÓGICO EN INTELIGENCIA ARTIFICIAL
Area Conocimiento
CC. DE COMPUTACION E INTELIGENCIA ARTIFICIAL
Grupo de Investigación:
Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Email (Directorio UPM)
manuel.hermenegildo
upm.es
Web personal (Directorio UPM)
http://cliplab.org/herme
Teléfono (Directorio UPM)
910672893
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
72 Proyectos de I+D+i
1: (2007)
Complementaria de Mobius
2: (2007)
ESPASS, EU ITEA2 cluster of EUREKA Programme, Project number 06042, Spanish PROFIT grant FIT-340005-2007-14
3: (2007)
MERIT
4: (2007)
MOBIUS
5: (2007)
PROMESAS
6: (2007)
Sabático De Michael Codish
7: (2008)
Ayuda FEDER INFRAESTRUCTURAS
8: (2008)
Colaboración con la Fundación Imdea Software
9: (2008)
ES_PASS, Embedded Software Product-based Assurance
10: (2008)
FINES: Favoreciendo la participación española en programas internacionales de colaboración relacionados con Software y Servicios por medio de la Plataforma Tecnológica Española INES.
11: (2008)
MERIT: MEtodos RIgurosos para sistemas heTerogeneos y Moviles
12: (2008)
Morfeo EzWeb
13: (2008)
Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
14: (2009)
RED DE SISTEMAS Y SERVICIOS SOFTWARE S-CUEBE
15: (2009)
Ayuda para la participación en comités internacionales
16: (2009)
COMPUTACION MOVIL VERIFICABLE Y CONSCIENTE DE LOS RECURSOS
17: (2009)
CONTRACT. N. 015905 - MOBIUS MOBILITY UBIQUITY AND SECURITY
18: (2009)
CONTRACT N. 511618.-GRIDCOORD - ERA PILOT ON A CO-ORDINATED EUROPE-WIDE INITIATIVE IN GRID RESEARCH.
19: (2009)
CONTRACT 231620
20: (2009)
CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
21: (2009)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
22: (2009)
EMBEDDED SOFTWARE PRODUCT-BASED ASSURANCE (ES_PASS)
23: (2009)
EMBEDDED SOFWARE PRODUCT-BASED ASSURANCE (ES PASS)
24: (2009)
FINES: FAVARECIENDO LA PARTICIPACION ESPAÑOLA EN PROGRAMAS....
25: (2009)
PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
26: (2009)
RED DE SSTEMAS Y SERVICIOS SOFTWARES CUEBE-.....
27: (2009)
S-Cube: the European Network on Software, Services, and Systems
28: (2010)
CONVENIO DE COLABORACI¿N ENTRE EL INSTITUTO MADRILE¿O DE ESTUDIOS AVANZADOS EN TECNOLOG¿A DE DESARROLLO SOFTWARE Y LA U.P.M.
29: (2010)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
30: (2010)
EMBEDDED SOFWARE PRODUCT-BASED ASSURANCE (ES PASS)
31: (2010)
PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
32: (2010)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
33: (2010)
S-CUBE - N. 215483
34: (2010)
SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
35: (2011)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
36: (2011)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
37: (2011)
S-CUBE: Software Services and Systems Network
38: (2011)
SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
39: (2012)
CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
40: (2012)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
41: (2012)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
42: (2013)
DOVES (Development Of Verifiable and Efficient Software)
43: (2013)
PROMETIDOS: PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
44: (2013)
SPARCIM: CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS
45: (2013)
STRONGSOFT: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
46: (2014)
CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
47: (2014)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
48: (2014)
N-Greens Software. Next-GeneRation Energy-EfficieNt Secure Software
49: (2014)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
50: (2014)
SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
51: (2014)
STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
52: (2015)
NEXT-GENERATION ENERGY.EFFICIENT SECURE SOFTWARE (N-GRENNS SOFTWARE) CLIP
53: (2015)
StrongSoft-CLIP: StrongSoft-CLIP: Tecnologías rigurosas para software de nueva generación, abierto y fiable
54: (2016)
CLIP, Next-Generation Energy-Efficiennt Secure Software.
55: (2016)
CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
56: (2016)
STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
57: (2017)
CLIP, Next-Generation Energy-Efficiennt Secure Software.
58: (2017)
CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
59: (2017)
DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE LA FUNDACIÓN IMDEA SOFTWARE EN EL CONTEXTO DEL KIC EIT DIGITAL
60: (2017)
DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE PERSONAL DE LA FUNDACIÓN IMDEA SOFTWARE
61: (2017)
OVERHEADS PROYECTOS ESPRIT Y OTROS SALDOS
62: (2017)
STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
63: (2018)
CLIP, Next-Generation Energy-Efficiennt Secure Software.
64: (2018)
DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE LA FUNDACIÓN IMDEA SOFTWARE EN EL CONTEXTO DEL KIC EIT DIGITAL
65: (2018)
DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE PERSONAL DE LA FUNDACIÓN IMDEA SOFTWARE
66: (2018)
OVERHEADS PROYECTOS ESPRIT Y OTROS SALDOS
67: (2019)
ANALISIS INCREMENTAL Y MODULAR GUIADO POR ASERCIONES
68: (2019)
ASERCIONES PARA ANALISIS DE CODIGO DE ORDEN SUPERIOR EN LENGUAJES LOGICOS
69: (2019)
BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
70: (2019)
CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
71: (2019)
DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE LA FUNDACIÓN IMDEA SOFTWARE EN EL CONTEXTO DEL KIC EIT DIGITAL
72: (2019)
PROCODE - Rigorous methods for the development of software systems with certified quality and reliability
Formación de Investigadores y Movilidad
7 Estancias y sabáticos recogidos en programas oficiales
1: (2007)
Estancia de Edward Morehouse. Objetivo: Investigación
2: (2007)
Realización del proyecto fin de carrera
3: (2007)
Research stay with professor John Gallagher
4: (2007)
Viaje de Emilio Gallego Arias para visitar la Universidad de Yale University y reunirse con Paul Hudak.
5: (2007)
Visita como Titular de la Cátedra Príncipe de Asturias en Ciencia y Tecnología Informáticas
6: (2008)
Stay for technology transfer results: implementation in CIAO of a CO-Logic Programing interpreter.
7: (2008)
Visita como Titular de la Catedra Principe de Asturias en Ciencia y Tecnologia Informaticas
17 Tesis Doctorales
1: (2007)
Examinador tesis Fernando Silva, Universidade Nova de Lisboa (2007)
2: (2008)
A Generic Approach to Bytecode Analysis
3: (2008)
Analysis and Inference of Resource Usage Information
4: (2008)
Analysis and Verification of Modular Programs
5: (2008)
Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages
6: (2008)
Modelling the Heap: a Practical Approach
7: (2010)
A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing (Un Marco Unificado para Análisis de Recursos y Tiempo de Ejecución, Validación Dinámica y Pruebas Unitarias)
8: (2010)
Advanced Compilation Tecniques for Logic Programming.
9: (2010)
Fuzzy Granularity Control in Parallel/Distributed Computing.
10: (2012)
Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs
11: (2013)
Dynamic Checking of Assertions for Higher-order Predicates
12: (2016)
A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development
13: (2016)
Automatic and Incremental Inference of Accumulated Cost and it Application to Static Profiling
14: (2016)
Desarrollo escalable de programas verificados
15: (2016)
Higher-order Assertions and their Verification
16: (2018)
A Multi-Language and Multi-Platform Framework for Resource Consumption Analysis and its Application to Energy-Efficient Software Development
17: (2018)
Improving Run-time Checking in Dynamic Programming Languages
Difusión de Resultados de Investigación
47 Artículos en revistas
1: (2007)
A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs
2: (2007)
Analyzing Non-Interference with respect to Classes
3: (2007)
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
4: (2007)
Automatic Binding-related Error Diagnosis in Logic Programs
5: (2007)
Combining Static Analysis and Profiling for Estimating Execution Times
6: (2007)
Higher Order Logic Programming Languages with Constraints: A Semantics
7: (2007)
Towards Description and Optimization of Abstract Machines in an Extension of Prolog
8: (2007)
User-Definable Resource Bounds Analysis for Logic Programs
9: (2008)
An Improved Continuation Call-Based Implementation of Tabling
10: (2008)
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
11: (2008)
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
12: (2008)
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
13: (2008)
Precise Set Sharing Analysis for Java-Style Programs
14: (2009)
Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information.
15: (2010)
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
16: (2010)
Introduction to the 26th international conference on logic programming special issue
17: (2010)
Lock-free parallel dynamic programming
18: (2011)
Efficient local unfolding with ancestor stacks
19: (2012)
A Sharing-Based Approach to Supporting Adaptation in Service Compositions.
20: (2012)
Certificate Size Reduction in Abstraction-Carrying Code
21: (2012)
Lightweight compilation of (C)LP to JavaScript
22: (2013)
Reversible Language Extensions and their Application in Debugging
23: (2013)
Sized Type Analysis for Logic Programs (Technical Communication)
24: (2013)
Supporting Pruning in Tabled LP
25: (2013)
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types
26: (2014)
Pre-indexed Terms for Prolog
27: (2014)
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
28: (2014)
Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
29: (2015)
Pre-Indexed Terms for Prolog
30: (2015)
Practical Run-time Checking via Unobtrusive Property Caching
31: (2015)
Pre-indexed Terms for Prolog
32: (2016)
A General Framework for Static Profiling of Parametric Resource Usage.
33: (2016)
A Transformational Approach to Parametric Accumulated-Cost Static Profiling
34: (2016)
Description and Optimization of Abstract Machines in a Dialect of Prolog
35: (2016)
ENTRA: Whole-Systems Energy Transparency.
36: (2016)
Semantic Code Browsing.
37: (2017)
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors
38: (2017)
An Evolutionary Scheduling Approach for Trading-off Accuracy vs. Verifiable Energy in Multicore Processors. JCR: tercer cuartil de las categorias LOGIC y MATHEMATICS.
39: (2017)
Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis (JCR Q3)
40: (2018)
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. JCR: primer cuartil de la categoria LOGIC. CORE: A
41: (2018)
Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis
42: (2019)
A General Framework for Static Cost Analysis of Parallel Logic Programs
43: (2019)
An Integrated Approach to Assertion-Based Random Testing in Prolog
44: (2019)
Computing Abstract Distances in Logic Programs
45: (2019)
Incremental Analysis of Logic Programs with Assertions and Open Predicates
46: (2019)
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs
47: (2019)
Towards Computing Abstract Distances in Logic Programs
6 Capítulos de libros
1: (2011)
Logic Languages
2: (2016)
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
3: (2016)
Reducing the Overhead of Assertion Run-time Checks via Static Analysis
4: (2018)
Exploiting Term Hiding to Reduce Run-time Checking Overhead (CORE B)
5: (2019)
Multivariant Assertion-based Guidance in Abstract Interpretation
6: (2019)
Multivariant Assertion-based Guidance inAbstract Interpretation
9 Conferencias invitadas en congresos
1: (2007)
Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints
2: (2010)
An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization
3: (2010)
Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP
4: (2011)
An Overview of the Ciao System
5: (2012)
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
6: (2013)
Analysis and Verification ?of and with? CLP. Keynote speech at COST action ?rich model toolkit? meeting, Malta, 2013
7: (2016)
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
8: (2018)
Horn Clause-based Program Analysis and Verification with CiaoPP
9: (2018)
25 Years of Ciao
5 Libros
1: (2008)
Functional and Logic Programs
2: (2010)
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010
3: (2010)
Theory and Practice of Logic Programming 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue
4: (2016)
Proceedings of the 25th International Conference on Compiler Construction
5: (2017)
Logic-Based Program Synthesis and Transformation
24 Otras Publicaciones
1: (2007)
An Improved Continuation Call-Based Implementation of Tabling
2: (2007)
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
3: (2007)
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
4: (2007)
Automatic Unrestricted Independent And-Parallelism in Logic Programs
5: (2007)
Inferring Determinacy in Logic Programs Using Mode and Type Information
6: (2007)
Precise Set Sharing and Nullity Analysis for Java-style Programs
7: (2007)
Precise Set Sharing for Java-style Programs (and proofs)
8: (2007)
Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report
9: (2007)
Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism
10: (2007)
Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
11: (2007)
Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages
12: (2008)
Bridge Transformation for Continuation Call-Based Tabled Execution
13: (2011)
Modular Extensions for Modular (Logic)
14: (2014)
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs
15: (2014)
Towards LLVM-Based Energy Consumption Analysis of Programs.
16: (2015)
Towards Energy Consumption Verification via Static Analysis
17: (2015)
Parametric Static Profiling
18: (2017)
Cost Analysis with Recurrence Relations (using CiaoPP).
19: (2017)
Energy Consumption Analysis and Verification using CiaoPP
20: (2017)
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
21: (2017)
Term Hiding and its Impact on Run-time Check Simplification (Extended Abstract)
22: (2018)
An Approach to Incremental and Modular Context-sensitive Analysis
23: (2018)
An Approach to Static Performance Guarantees for Programs with Run-time Checks
24: (2018)
CODE. ANALYZE. REPEAT. Incremental and Modular Static Program Analysis
74 Ponencia en Congresos
1: (2007)
An Efficient, Context and Path Sensitive Analysis Framework for Java Programs
2: (2007)
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode
3: (2007)
An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy
4: (2007)
BYTECODE'07, revisión de artículos
5: (2007)
Heap Analysis in the Presence of Collection Libraries
6: (2007)
ICLP'07, revisión de artículos
7: (2007)
Journal of Applied Logic, Editor
8: (2007)
Journal of New Generation Computing, Editor Asociado
9: (2007)
PADL'07, revisión de artículos
10: (2007)
PEPM'07, revisión de artículos
11: (2007)
PROLE'07, revisión de artículos
12: (2007)
Referee for Information and Computation
13: (2007)
Referee for LPAR 07
14: (2007)
SAS'07, miembro del Comité de Programa
15: (2007)
SAS'07, revisión de artículos
16: (2007)
Some Improvements over the Continuation Call Tabling Implementation Technique
17: (2007)
TGC'07, miembro del Comité de Programa
18: (2007)
TGC'07, revisión de artículos
19: (2007)
Theory and Practice of Logic Programming, Miembro del Comité Editorial
20: (2007)
Towards A High-Level Implementation of Flexible Parallelism Primitives for Symbolic Languages
21: (2007)
Towards High-Level Execution Primitives for And-Parallelism: Preliminary Results
22: (2007)
TPR 07 (Types, Proofs and Rewriting)
23: (2008)
A Practical Type Analysis for Verification of Modular Prolog Programs
24: (2008)
Comparing Tag Scheme Variations Using an Abstract Machine Generator
25: (2008)
Data dependencies and program slicing: from syntax to abstract semantics
26: (2008)
Efficient Set Sharing Using ZBDDs
27: (2008)
Identification of Heap¿Carried Data Dependence Via Explicit Store Heap Models
28: (2008)
Negative Ternary Set-Sharing
29: (2008)
The Semantics of Abstract Program Slicing
30: (2008)
Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
31: (2009)
A Tabling Implementation Based on Variables with Multiple Bindings
32: (2009)
Identification of Logically Related Heap Regions
33: (2009)
Parallelization using Synchronized Pipelining
34: (2009)
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
35: (2009)
User-Definable Resource Usage Bounds Analysis for Java Bytecode
36: (2010)
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring
37: (2010)
Automatic Fragment Identification in Workflows Based on Sharing Analysis
38: (2010)
Program Parallelization using Synchronized Pipelining
39: (2010)
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations
40: (2011)
Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis
41: (2011)
CLP Projection for Constraint Handling Rules
42: (2011)
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
43: (2011)
Profiling for Run-Time Checking of Computational Properties and Performance Debugging
44: (2012)
A Constraint-Based Approach to Quality Assurance in Service Choreographies
45: (2012)
A General Implementation Framework for Tabled CLP
46: (2012)
A Segment-Swapping Approach for Executing Trapped Computations.
47: (2012)
Interval-Based Resource Usage Verification: Formalization and Prototype
48: (2013)
Energy Consumption Analysis of Programs based on XMOS ISA-Level Models
49: (2013)
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types
50: (2014)
Assertion-based Debugging of Higher-Order (C)LP Programs
51: (2014)
Energy Consumption Analysis of Programs based on XMOS ISA-Level Models.
52: (2014)
Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
53: (2014)
Towards Pre-Indexed Terms
54: (2015)
Higher-order Runtime Verification Challenges in (Constraint) Logic Programming
55: (2015)
Practical Run-time Checking via Unobtrusive Property Caching
56: (2015)
Pre-Indexed Terms for Prolog
57: (2016)
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.
58: (2016)
A Transformational Approach to Parametric Accumulated-Cost Static Profiling
59: (2016)
Reducing the Overhead of Assertion Run-time Checks via Static Analysis
60: (2017)
Energy Consumption Analysis and Verification
61: (2017)
Energy Consumption Analysis and Verification by Transformantion into Horn Clauses and Abstract Interpretation
62: (2017)
From Logic Programming to Constraint Programming
63: (2017)
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
64: (2017)
Towards Run-time Checks Simplification via Term Hiding
65: (2017)
User-Definable Resource Bounds Analysis for Logic Programs
66: (2018)
Static Performance Guarantees for Programs with Run-time Checks
67: (2018)
A General Framework for Static Profiling of Parametric Resource Usage
68: (2018)
Exploiting Term Hiding to Reduce Run-time Checking Overhead
69: (2018)
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
70: (2018)
Multivariant Assertion-Based Guidance in Abstract Interpretation
71: (2018)
Towards Incremental and Modular Context-sensitive Analysis
72: (2018)
Towards Static Performance Guarantees for Programs with Run-time Checks
73: (2019)
Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP
74: (2019)
Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2023 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)
