Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Julio Mariño Carballo
Categoría Investigador
L.D. PRF.CONTR.DOCT.
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:
BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
Email (Directorio UPM)
julio.marino
upm.es
Teléfono (Directorio UPM)
910672962
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
52 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)
HADES: Hacia el desarrollo de INES: Iniciativa Española de Software y Servicios.
4: (2007)
PROMESAS-CM: Programa en Métodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
5: (2007)
Representación del Conocimiento con Información Negativa - Knowledge Representation with Negative Information
6: (2008)
DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro
7: (2008)
Desarrollo de Tecnologías colaborativas para el proceso Legislativo y su aplicación a la Ley de la Ciencia y la Tecnología 2009
8: (2008)
European Master Course in Computational Logic
9: (2008)
European Masters Course on Software Engineering (Erasmus Mundus). Curso 2008-2010.
10: (2008)
GGCC: Global GNU Compiler Collection
11: (2008)
Plan General de Calidad de la Investigación
12: (2008)
PROMESAS-CM: Programa en métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid.
13: (2008)
Protest: Property-Based Testing. Acción Complementaria
14: (2009)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
15: (2009)
DESARROLLO DE TECNOLOGÍAS COLABORATIVAS PARA EL PROCESO LEGISLATIVO Y SU APLICACIÓN A LA LEY DE LA CIENCIA Y LA TECNOLOGÍA 2009
16: (2009)
PROTEST
17: (2009)
REALIZACIÓN DE TRANSFORMES 2009
18: (2010)
Ayuda al grupo Babel
19: (2010)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
20: (2010)
PROGRAMA DE M¿TODOS RIGUROSOS DE DESARROLLO DE SOFTWARE DE LA COMUNIDAD DE MADRID
21: (2010)
PROTEST: Property Based Testing
22: (2011)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
23: (2011)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE. PARTE UPM BABEL
24: (2011)
ProTest: Property-based Testing
25: (2012)
Desarrollo de Software de Alta Calidad, Fiable, Distribuido y Seguro (DESAFIOS10)
26: (2012)
Programa en Métodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid (PROMETIDOS-CM)
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)
NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
31: (2013)
POLCA: Programming Large Scale Heterogeneous Infrastructures POLCA
32: (2013)
PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
33: (2013)
PROMETIDOS-CM
34: (2013)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE. PARTE UPM BABEL
35: (2013)
StrongSoft: Secure Technologies for Reliable Open New Generation Software
36: (2013)
TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION ABIERTO Y FIABLE
37: (2013)
2010 /001 - 001 - EM1 - EMMC . 2007 - 0065 - ERASMUS MUNDUS
38: (2014)
SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
39: (2015)
APOYO EN LA GESTIÓN DE ACTIVIDADES DE SPARCIM (SPANISH CONSORTIUM FOR INFORMATICS AND MATHEMATICS)
40: (2015)
NEXT-GENERATION ENERGY.EFFICIENT SECURE SOFTWARE (N-GRENNS SOFTWARE) BABEL
41: (2015)
NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
42: (2015)
StrongSoftBabel: Tecnologías rigurosas para software de nueva generación abierto y fiable
43: (2016)
BABEL. Next-Generation Energy-Efficient Secuere Software.
44: (2017)
APOYO EN LA GESTIÓN DE ACTIVIDADES DE SPARCIM (SPANISH CONSORTIUM FOR INFORMATICS AND MATHEMATICS)
45: (2017)
BABEL. Next-Generation Energy-Efficient Secuere Software.
46: (2017)
NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
47: (2017)
PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
48: (2018)
APOYO EN LA GESTIÓN DE ACTIVIDADES DE SPARCIM (SPANISH CONSORTIUM FOR INFORMATICS AND MATHEMATICS)
49: (2018)
BABEL. Next-Generation Energy-Efficient Secuere Software.
50: (2018)
GRUPO OPERATIVO PARA LA PROMOCION DEL USO PRUDENTE DE ANTIMICROBIANOS EN BOVINO DE CARNE -PROMANBOV
51: (2019)
BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
52: (2019)
eHi_ICTT: e-Health inclusion through ICT training
Formación de Investigadores y Movilidad
4 Tesis Doctorales
1: (2008)
Distributed implementation of functional logic programming.
2: (2011)
An Object-Oriented Formal Notation: Executable Specifications in Clay
3: (2012)
Relational and Allegorical Semantics for Constraint Functional Logic Programming
4: (2019)
A model-driven methodology for the construction of reliable concurrent software
Difusión de Resultados de Investigación
25 Artículos en revistas
1: (2007)
A Proposal for Disequality Constraints in Curry
2: (2007)
Demandedness Analysis with Partial Predicates
3: (2007)
Papiroflexia
4: (2008)
Las luces de la escalera
5: (2008)
Voto Útil
6: (2009)
A Coding Rule Conformance Checker Integrated into GCC
7: (2009)
Implementing Constructive Intensional Negation
8: (2009)
Modeling Concurrent Systems with Shared Resources
9: (2010)
First-order Unification Using Variable-free Relational Algebra
10: (2011)
First-order unification using variable-free relational algebra *
11: (2011)
Synthesis of Logic Programs from Object-Oriented Formal Specifications
12: (2012)
A Tool for the Integration of Constraint Programming in Spreadsheets
13: (2013)
A Model-Driven Approach to Teaching Concurrency
14: (2014)
Property-based Testing of JSON based Web Services
15: (2014)
Teaching students Property-based Testing
16: (2015)
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
17: (2015)
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
18: (2015)
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
19: (2015)
Applying property-based testing in teaching safety-critical system programming
20: (2015)
Declarative Compilation for Constraint Logic Programming
21: (2016)
A testing-based approach to ensure the safety of shared resource concurrent systems
22: (2017)
Constraint logic programming with a relational machine
23: (2017)
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
24: (2017)
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
25: (2019)
Synthesis of verifiable concurrent Java components from formal models
1 Capítulos de libros
1: (2018)
A Model-driven Methodology for Generating and Verifying CSP-based Java Code
2 Libros
1: (2011)
Functional and Constraint Logic Programming 19th International Workshop, WFLP2010 Revised Selected Papers
2: (2016)
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016)
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: (2015)
Towards a Rule-Based Approach to Generate High-Performance Scientific Code
22 Ponencia en Congresos
1: (2007)
A Generic Semantics for Constraint Functional Logic Programming
2: (2007)
Automatic Coding Rule Conformance Checking Using Logic Programs.
3: (2008)
A Coding Rule Conformance Checker Integrated into GCC.
4: (2008)
Adding Coding Rule Checking Capabilities to the GCC Toolchain
5: (2008)
Automatic Coding Rule Conformance Checking Using Logic Programming
6: (2008)
First-order Unification Using Variable-free Relational Algebra
7: (2010)
Executable Specifications in an Object Oriented Formal Notation
8: (2011)
A tool for the integration of constraint logic programming in spreadsheets
9: (2012)
A Verified Implementation of Priority Monitors in Java
10: (2012)
From the Pi-Calculus to to Flat GHC
11: (2014)
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
12: (2014)
Declarative Compilation for Constraint Logic Programming
13: (2014)
Execution and Verification of UML State Machines with Erlang
14: (2014)
Property-based Testing of JSON based Web Services
15: (2014)
Teaching Students Property-based Testing
16: (2015)
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
17: (2015)
A Model-driven Methodology for Generating and Verifying CSP-based Java Code
18: (2015)
Applying Property-Based Testing in Teaching Safety-Critical System Programming
19: (2016)
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
20: (2016)
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
21: (2016)
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
22: (2016)
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
• 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)
