Mariño Carballo, Julio julio.marino@upm.es
Actividades
- Artículos 14
- Libros 0
- Capítulos de libro 0
- Congresos 34
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 17
- Tesis dirigidas 3
- Patentes o licencias de software 0
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
- Salvador Tamarit
- Julio Mari{ñ}o
- Guillermo Vigueras
- Manuel Carro
Electronic Proceedings In Theoretical Computer Science (p. 34-51) - 11/1/2017
10.4204/eptcs.237.3 Ver en origen
- ISSN 20752180
- iMarina
- iMarina
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
- Guillermo Vigueras
- Manuel Carro
- Salvador Tamarit
- Julio Mari{ñ}o
Electronic Proceedings In Theoretical Computer Science (p. 52-67) - 11/1/2017
10.4204/eptcs.237.4 Ver en origen
- ISSN 20752180
- 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
Synthesis of verifiable concurrent Java components from formal models
- Marino, Julio
- Alborodo, Raul N. N.
- Fredlund, Lars-Ake
- Herranz, Angel;
Software And Systems Modeling (p. 71-105) - 8/2/2019
10.1007/s10270-017-0581-1 Ver en origen
- ISSN 16191366
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
- Barker-Plummer D
- Cox R
- Swoboda N
Lecture Notes In Computer Science (p. V-VI) - 10/10/2013
Editor: Springer Verlag
10.1007/978-3-642-39593-2 Ver en origen
- ISSN 03029743
- ISSN/ISBN 9783540402114
Implementing Constructive Intensional Negation
- Marino, Julio
- Jose Moreno-Navarro, Juan
- Munoz-Hernandez, Susana;
New Generation Computing (p. 25-56) - 1/11/2008
10.1007/s00354-008-0053-9 Ver en origen
- ISSN 02883635
First-order unification using variable-free relational algebra *
- Nogueira Iglesias, Pablo
- MARIÑO CARBALLO, JULIO
Logic Journal Of The Igpl (p. 790-820) - 1/12/2011
10.1093/jigpal/jzq011 Ver en origen
- ISSN 13670751
- iMarina
- 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
Constructive intensional negation
- Munoz-Hernandez, S
- Marino, J
- Moreno-Navarro, JJ;
Lecture Notes In Computer Science (p. 39-54) - 1/1/2004
- ISSN 03029743
- iMarina
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
HaskCell: Experiments with Purely Functional Spreadsheets
- Ignacio Ballesteros González, Luis Eduardo Bueso de Barrio, Julio Mariño
22/9/2021
- iMarina
Generation and Refinement of Testing Models
- de Barrio, LEB
- Fredlund, LÅ
- Earle, CB
- Herranz, A
- Mariño, J
Erlang 2023 - Proceedings Of The 22nd Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2023 (p. 14-23) - 1/1/2023
From the π-calculus to flat GHC
- Monjaraz R
- Mariño J
Ppdp'12 - Proceedings Of The 2012 Acm Sigplan Principles And Practice Of Declarative Programming (p. 163-172) - 22/10/2012
From the Pi-Calculus to to Flat GHC
- MARIÑO CARBALLO, JULIO
Principles And Practice Of Declarative Programming Ppdp 2012 (p. 163-172) - 19/9/2012
- iMarina
Execution and Verification of UML State Machines with Erlang
- Rodríguez R
- Fredlund L
- Herranz A
- Mariño J
Software Engineering And Formal Methods (p. 284-289) - 1/9/2014
10.1007/978-3-319-10431-7_22 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
Executable contracts for Elixir
- Fredlund, Lars-Ake
- BUESO DE BARRIO, LUIS EDUARDO, Sergio Pérez, Ignacio Ballesteros, Ángel Herranz, Julio Mariño,
(p. 46) - 6/9/2022
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
Efficient lazy narrowing using demandedness analysis
- Moreno-Navarro J
- Kuchen H
- Mariño-Carballo J
- Winkler S
- Hans W
Lecture Notes In Computer Science (p. 167-183) - 1/1/1993
- ISSN 03029743
- iMarina
Declarative Compilation for Constraint Logic Programming
- MARIÑO CARBALLO, JULIO
Lecture Notes In Computer Science (p. 299-316) - 1/1/2015
10.1007/978-3-319-17822-6_17 Ver en origen
- ISSN 03029743
- iMarina
- 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
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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
e-Health inclusion through ICT training
- Muñoz Hernández, Susana (Investigador principal (IP))
- MARIÑO CARBALLO, JULIO (Participante)
- Fredlund, Lars-Ake (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Benac Earle, Clara (Participante)
Ejecución: 01-01-2019 - 31-12-2019
Tipo: Internacional
Importe financiado: 289375,00 Euros.
- iMarina
Verification of Object Oriented Languajes
- MARIÑO CARBALLO, JULIO (Participante)
- Bernhard Beckert (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-01-2008 - 31-12-2012
- 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
TITULO ANALYSIS OF THE ARQUITECTURE OF COOWRY SYSTEMS, DEVELOPMENT OF THEIR DATA MODELS, DESIGN OF THE TESTING STRATEGY, DEVELOPMENT OF AUTOMATIC TESTING FOR THE TRANSACTIONAL CORE SYSTEM
- MARIÑO CARBALLO, JULIO (Colaborador/a)
- Fredlund, Lars-Ake (Colaborador/a)
- HERRANZ NIEVA, ANGEL (Investigador principal (IP))
Ejecución: 30-04-2014 - 30-06-2020
Tipo: Interno
- iMarina
STRONGSOFT: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
- Gilles Barthe (Investigador principal (IP))
- Moreno Navarro, Juan José (Investigador/a)
Ejecución: 01-10-2012 - 30-09-2015
- iMarina
S-CUBE: The Software Services and Systems Network, Red de Excelencia ICT- 215483
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-01-2008 - 31-12-2012
- 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
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
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
Una notación formal orientada a objetos: Especificaciones ejecutables con Clay
- MARIÑO CARBALLO, JULIO (Director) Doctorando: HERRANZ NIEVA, Angel
1/1/2010
- iMarina
An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay
- MARIÑO CARBALLO, JULIO (Director) Doctorando: Herranz Nieva, Ángel
1/1/2010
- iMarina
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
-
BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
Rol: Investigador Principal
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID