Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Manuel Carro Liñares
Categoría Investigador
TITULAR UNIVERSIDAD
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE
Area Conocimiento
LENGUAJES Y SISTEMAS INFORMATICOS
Grupo de Investigación:
Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Email (Directorio UPM)
manuel.carro
upm.es
Web personal (Directorio UPM)
http://clip.dia.fi.upm.es/~mcarro
Teléfono (Directorio UPM)
910672939
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
71 Proyectos de I+D+i
1: (2007)
ESPASS, EU ITEA2 cluster of EUREKA Programme, Project number 06042, Spanish PROFIT grant FIT-340005-2007-14
2: (2007)
MERIT
3: (2007)
PROMESAS
4: (2008)
ES_PASS, Embedded Software Product-based Assurance
5: (2008)
European Master Course in Computational Logic
6: (2008)
European Masters Course on Software Engineering (Erasmus Mundus). Curso 2008-2010.
7: (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.
8: (2008)
GGCC: Global GNU Compiler Collection
9: (2008)
MERIT: MEtodos RIgurosos para sistemas heTerogeneos y Moviles
10: (2008)
Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
11: (2008)
SCUBE, Excellence of the Software and Services Architectures objective of the Information & Communication and Technologies programme
12: (2009)
RED DE SISTEMAS Y SERVICIOS SOFTWARE S-CUEBE
13: (2009)
Ayuda para la participación en comités internacionales
14: (2009)
CONTRACT N. 511618.-GRIDCOORD - ERA PILOT ON A CO-ORDINATED EUROPE-WIDE INITIATIVE IN GRID RESEARCH.
15: (2009)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
16: (2009)
EMBEDDED SOFTWARE PRODUCT-BASED ASSURANCE (ES_PASS)
17: (2009)
EMBEDDED SOFWARE PRODUCT-BASED ASSURANCE (ES PASS)
18: (2009)
FINES: FAVARECIENDO LA PARTICIPACION ESPAÑOLA EN PROGRAMAS....
19: (2009)
PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
20: (2009)
RED DE SSTEMAS Y SERVICIOS SOFTWARES CUEBE-.....
21: (2009)
S-Cube: the European Network on Software, Services, and Systems
22: (2010)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
23: (2010)
S-CUBE - N. 215483
24: (2011)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
25: (2011)
S-CUBE: Software Services and Systems Network
26: (2011)
SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
27: (2012)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
28: (2012)
DISEÑO Y DIRECCIÓN DE IMPLEMENTACIÓN DE MÉTODOS DE ANÁLISIS PROBABILÍSTICO DE USO DE RECURSOS EN SISTEMAS BASADOS EN SERVICIOS USANDO INFORMACIÓN PARCIAL SOBRE SUS COMPONENTES
29: (2012)
ESTUDIO DE LA VIABILIDAD Y CORRESPONDIENTE DISEÑO DE UN LENGUAJE Y SISTEMA DE TABULACIÓN CON RESTRICCIONES PARA PROGRAMACIÓN LÓGICA
30: (2012)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
31: (2013)
DOVES (Development Of Verifiable and Efficient Software)
32: (2013)
PROMETIDOS: PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
33: (2013)
STRONGSOFT: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
34: (2014)
ASISTENCIA CIENTÍFICA EN LA REALIZACIÓN DEL PROYECTO DE INVESTIGACIÓN FP7 POLCA
35: (2014)
CONSULTORÍA Y ASISTENCIA CIENTÍFICO-ESTRATÉGICA PARA EL DESARROLLO DEL NODO ESPAÑOL DE EIT ICT LABS
36: (2014)
CONSULTORÍA Y ASISTENCIA EN LA DIRECCIÓN CIENTÍFICA DEL IMDEA SOFTWARE INSTITUTE
37: (2014)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
38: (2014)
N-Greens Software. Next-GeneRation Energy-EfficieNt Secure Software
39: (2014)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
40: (2014)
STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
41: (2015)
ASISTENCIA CIENTÍFICA EN LA REALIZACIÓN DEL PROYECTO DE INVESTIGACIÓN FP7 POLCA
42: (2015)
CONSULTORÍA Y ASISTENCIA CIENTÍFICO-ESTRATÉGICA PARA EL DESARROLLO DEL NODO ESPAÑOL DE EIT ICT LABS
43: (2015)
CONSULTORÍA Y ASISTENCIA EN LA DIRECCIÓN CIENTÍFICA DEL IMDEA SOFTWARE INSTITUTE
44: (2015)
DISEÑO Y DIRECCIÓN DE IMPLEMENTACIÓN DE MÉTODOS DE ANÁLISIS PROBABILÍSTICO DE USO DE RECURSOS EN SISTEMAS BASADOS EN SERVICIOS USANDO INFORMACIÓN PARCIAL SOBRE SUS COMPONENTES
45: (2015)
ESTUDIO DE LA VIABILIDAD Y CORRESPONDIENTE DISEÑO DE UN LENGUAJE Y SISTEMA DE TABULACIÓN CON RESTRICCIONES PARA PROGRAMACIÓN LÓGICA
46: (2015)
IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
47: (2015)
NEXT-GENERATION ENERGY.EFFICIENT SECURE SOFTWARE (N-GRENNS SOFTWARE) CLIP
48: (2015)
StrongSoft-CLIP: StrongSoft-CLIP: Tecnologías rigurosas para software de nueva generación, abierto y fiable
49: (2016)
CLIP, Next-Generation Energy-Efficiennt Secure Software.
50: (2016)
DISEÑO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
51: (2016)
DISEÑO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
52: (2016)
IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
53: (2016)
IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
54: (2016)
STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
55: (2017)
CLIP, Next-Generation Energy-Efficiennt Secure Software.
56: (2017)
CONSULTORÍA Y ASISTENCIA EN EL DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTÍICA DE LA FUNDACIÓN IMDEA SOFTWARE
57: (2017)
DISEÑO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
58: (2017)
DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTIFICA DE LA FUNDACIÓN IMDEA SOFTWARE
59: (2017)
IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
60: (2017)
INVESTIGACIÓN SOBRE EL DISEÑO E IMPLEMENTACIÓN DE SISTEMAS DE PROGRAMACIÓN LÓGICA UTILIZANDO TÉCNICAS DE TABULACIÓN EN LA FUNDACIÓN IMDEA SOFTWARE
61: (2017)
STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
62: (2018)
CLIP, Next-Generation Energy-Efficiennt Secure Software.
63: (2018)
CONSULTORÍA Y ASISTENCIA EN EL DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTÍICA DE LA FUNDACIÓN IMDEA SOFTWARE
64: (2018)
DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTIFICA DE LA FUNDACIÓN IMDEA SOFTWARE
65: (2018)
INVESTIGACIÓN SOBRE EL DISEÑO E IMPLEMENTACIÓN DE SISTEMAS DE PROGRAMACIÓN LÓGICA UTILIZANDO TÉCNICAS DE TABULACIÓN EN LA FUNDACIÓN IMDEA SOFTWARE
66: (2019)
BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
67: (2019)
DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTIFICA DE LA FUNDACIÓN IMDEA SOFTWARE
68: (2019)
ESTUDIO DE LA VIABILIDAD DEL ANÁLISIS DE PROGRAMAS MEDIANTE INTERPRETACIÓN ABSTRACTA UTILIZANDO LENGUAJES LÓGICOS CON TABULACIÓN COMO MEDIO DE IMPLEMENTACIÓN.
69: (2019)
INVESTIGACIÓN SOBRE EL DISEÑO E IMPLEMENTACIÓN DE SISTEMAS DE PROGRAMACIÓN LÓGICA UTILIZANDO TÉCNICAS DE TABULACIÓN EN LA FUNDACIÓN IMDEA SOFTWARE
70: (2019)
LENGUAJES PARA RAZONAMIENTO Y REPRESENTACION DE CONOCIMIENTO
71: (2019)
PROCODE - Rigorous methods for the development of software systems with certified quality and reliability
Formación de Investigadores y Movilidad
2 Estancias y sabáticos recogidos en programas oficiales
1: (2007)
Scube Project
2: (2017)
Stay of Joaquín Arias at the University of Texas at Dallas (USA).
15 Tesis Doctorales
1: (2007)
Miembro del Comité de evaluación de la Tesis Doctoral de Claudio Ochoa
2: (2008)
Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages
3: (2010)
Advanced Compilation Tecniques for Logic Programming.
4: (2012)
Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs
5: (2013)
Analysis of Service-Oriented Computing Systems
6: (2015)
Design and implementation of a modular interface to integrate CLP and tabled execution
7: (2015)
Design and implementation of a modular interface to integrate CLP and tabled execution
8: (2015)
A Framework for Implementing Outsourcing Schemes
9: (2015)
A Framework for Implementing Outsourcing Schemes
10: (2015)
Implementing a Term Rewriting Engine for the EasyCrypt Framework
11: (2015)
Implementing a Term Rewriting Engine for the EasyCrypt Framework
12: (2015)
Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation
13: (2015)
Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation
14: (2016)
Optimización del proceso de análisis y razonamiento sobre flujos de datos
15: (2016)
Optimización del proceso de análisis y razonamiento sobre flujos de datos
Difusión de Resultados de Investigación
37 Artículos en revistas
1: (2007)
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
2: (2007)
Combining Static Analysis and Profiling for Estimating Execution Times
3: (2007)
Towards Description and Optimization of Abstract Machines in an Extension of Prolog
4: (2008)
An Improved Continuation Call-Based Implementation of Tabling
5: (2008)
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
6: (2008)
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
7: (2008)
Sound Multi-Party Business Protocols for Service Networks
8: (2009)
Modeling Concurrent Systems with Shared Resources
9: (2010)
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling
10: (2011)
Parallel backtracking with answer memoing for independent and-parallelism
11: (2012)
A Sharing-Based Approach to Supporting Adaptation in Service Compositions.
12: (2012)
An overview of Ciao and its design philosophy
13: (2012)
Lightweight compilation of (C)LP to JavaScript
14: (2013)
A Model-Driven Approach to Teaching Concurrency
15: (2013)
A sharing-based approach to supporting adaptation in service compositions
16: (2013)
A Survey on Service Quality Description
17: (2013)
Genetic Algorithm-based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips
18: (2013)
Reversible Language Extensions and their Application in Debugging
19: (2013)
Supporting Pruning in Tabled LP
20: (2014)
Comparing and Combining Predictive Business Process Monitoring Techniques
21: (2014)
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models
22: (2014)
Transforming Service Compositions into Cloud-Friendly Actor Networks
23: (2015)
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
24: (2015)
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
25: (2015)
Comparing and Combining Predictive Business Process Monitoring Techniques
26: (2016)
Description and Optimization of Abstract Machines in a Dialect of Prolog
27: (2016)
Introduction to the 32nd International Conference on Logic Programming Special Issue
28: (2017)
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
29: (2017)
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
30: (2018)
Constraint Answer Set Programming without Grounding
31: (2018)
Constraint Answer Set Programming without Grounding (JCR-Q1)
32: (2019)
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
33: (2019)
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP (JCR-Q1)
34: (2019)
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
35: (2019)
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
36: (2019)
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
37: (2019)
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
4 Capítulos de libros
1: (2010)
Analytical Quality Assurance
2: (2010)
Modeling and Negotiating Service Quality
3: (2011)
Logic Languages
4: (2016)
Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution
6 Conferencias invitadas en congresos
1: (2007)
Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints
2: (2011)
An Overview of the Ciao System
3: (2012)
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
4: (2013)
Digital Cities ? Making it Happen!; Invited speaker at the ?Digital cities of the Future? meeting, Trento, September 2013.
5: (2018)
25 Years of Ciao
6: (2019)
AI now: it really fits!
9 Cursos, seminarios y tutoriales
1: (2009)
Licenses for Open Source Software
2: (2011)
First PROMETIDOS-CM Summer School
3: (2013)
Enseñando concurrencia con modelos formales.
4: (2014)
Rigorous Software Development
5: (2019)
AI: It Really Fits
6: (2019)
Blockchain: Tecnología y aplicaciones
7: (2019)
Blockchain: Tecnología y aplicaciones
8: (2019)
Investigación e Innovación en Madrid. El papel de los Institutos y Centros de I+D. Misión y modelos de organización
9: (2019)
Programas horizontales de Horizon 2020: el European Institute of Innovation and Technology
9 Libros
1: (2010)
Practical Aspects of Declarative Languages - 12th. International Symposium, PADL 2010
2: (2011)
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011
3: (2015)
Design and implementation of a modular interface to integrate CLP and tabled execution
4: (2015)
Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation
5: (2016)
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016)
6: (2016)
Technical Communications of the 32nd International Conference on Logic Programming.
7: (2016)
Technical Communications of the 32nd International Conference on Logic Programming.
8: (2016)
32nd International Conference on Logic Programming (ICLP 2016)
9: (2016)
32nd International Conference on Logic Programming (ICLP 2016)
15 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 Coding Rule Conformance Checking Using Logic Programming
5: (2007)
Automatic Unrestricted Independent And-Parallelism in Logic Programs
6: (2007)
Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report
7: (2007)
Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism
8: (2007)
Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
9: (2007)
Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages
10: (2008)
Bridge Transformation for Continuation Call-Based Tabled Execution
11: (2008)
CICLOPS 2008
12: (2015)
Towards a Generic Interface to Integrate CLP and Tabled Execution
13: (2015)
Towards a Rule-Based Approach to Generate High-Performance Scientific Code
14: (2018)
Horizontal Programs in Horizon 2020: The European Institute of Innovation and Technology
15: (2018)
The Event-B Software Development Method
41 Ponencia en Congresos
1: (2007)
CICLOPS'07, miembro del Comité de Programa
2: (2007)
CICLOPS'07, revisión de artículos
3: (2007)
EUROGRAPHICS'07, revisión de artículos
4: (2007)
Journal of Applied Logics, revisión de artículos
5: (2007)
PADL'07, revisión de artículos
6: (2007)
PEPM'07, revisión de artículos
7: (2007)
SAS'07, revisión de artículos
8: (2007)
Some Improvements over the Continuation Call Tabling Implementation Technique
9: (2007)
TGCS'07, revisión de artículos
10: (2007)
Towards A High-Level Implementation of Flexible Parallelism Primitives for Symbolic Languages
11: (2007)
Towards High-Level Execution Primitives for And-Parallelism: Preliminary Results
12: (2008)
A Coding Rule Conformance Checker Integrated into GCC.
13: (2008)
Automatic Coding Rule Conformance Checking Using Logic Programming
14: (2008)
Comparing Tag Scheme Variations Using an Abstract Machine Generator
15: (2008)
Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
16: (2009)
Modeling Concurrent Systems with Shared Resources
17: (2009)
A Coding Rule Conformance Checker Integrated into GCC
18: (2009)
A Tabling Implementation Based on Variables with Multiple Bindings
19: (2009)
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
20: (2010)
A Soft Constraint-Based Approach to QoS-Aware Service Selection
21: (2010)
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring
22: (2010)
Automatic Fragment Identification in Workflows Based on Sharing Analysis
23: (2010)
Building Dynamic Models of Service Compositions With Simulation of Provision Resources
24: (2010)
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations
25: (2011)
Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis
26: (2011)
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
27: (2011)
Third international workshop on principles of engineering service-oriented systems: (PESOS 2011)
28: (2012)
A Constraint-Based Approach to Quality Assurance in Service Choreographies
29: (2012)
A General Implementation Framework for Tabled CLP
30: (2012)
A Segment-Swapping Approach for Executing Trapped Computations.
31: (2012)
Deriving Specifications for Composite Web Services
32: (2013)
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Environment Models
33: (2015)
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
34: (2015)
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract)
35: (2016)
Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution
36: (2016)
Program Transformations in the POLCA Project
37: (2016)
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
38: (2016)
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
39: (2016)
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
40: (2016)
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
41: (2019)
Constraint Answer Set Program- ming without Grounding and its Applications
• 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)
