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
A Coding Rule Conformance Checker Integrated into GCC
- ÁLVARO POLO
- Fredlund, Lars-Ake
- Moreno Navarro, Juan José
- HERRANZ NIEVA, ANGEL
- CARRO LIÑARES, MANUEL
- MARIÑO CARBALLO, JULIO
Electronic Notes In Theoretical Computer Science (p. 149-159) - 5/8/2009
10.1016/j.entcs.2009.07.065 Ver en origen
- ISSN 03044238
- iMarina
- iMarina
A Model-Driven Approach to Teaching Concurrency
- Carro, Manuel
- Herranz, Angel
- Marino, Julio;
Acm Transactions On Computing Education - 1/1/2013
10.1145/2414446.2414451 Ver en origen
- ISSN 19466226
A formal semantics for agent distribution and fault tolerance in Jason
- Díaz, AF
- Fredlund, LÅ
- Benac-Earle, C
- Mariño, J
Journal Of Logical And Algebraic Methods In Programming - 1/6/2023
10.1016/j.jlamp.2023.100874 Ver en origen
- ISSN 15678326
A testing-based approach to ensure the safety of shared resource concurrent systems
- Fredlund, Lars-Ake
- HERRANZ NIEVA, ANGEL
- MARIÑO CARBALLO, JULIO
Proceedings Of The Institution Of Mechanical Engineers Part O-Journal Of Risk And Reliability (p. 457-472) - 1/10/2016
10.1177/1748006x15614231 Ver en origen
- ISSN 1748006X
Constraint logic programming with a relational machine
- Arias, Emilio Jesus Gallego
- Lipton, James
- Marino, Julio;
Formal Aspects Of Computing (p. 97-124) - 1/1/2017
10.1007/s00165-016-0369-z Ver en origen
- ISSN 09345043
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
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
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
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
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
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
Applying property-based testing in teaching safety-critical system programming
- Fredlund, Lars-Ake
- HERRANZ NIEVA, ANGEL
- MARIÑO CARBALLO, JULIO
Proceedings 41st Euromicro Conference On Software Engineering And Advanced Applications Seaa 2015 (p. 309-316) - 20/10/2015
Automatic Coding Rule Conformance Checking Using Logic Programming
- Marpons, Guillem
- Marino, Julio
- Carro, Manuel
- Herranz, Angel
- Moreno-Navarro, Juan Jose
- Fredlund, Lars-Ake;
Practical Aspects Of Declarative Languages, 10th International Symposium, Padl 2008 (p. 18-34) - 7/1/2008
10.1007/978-3-540-77442-6_3 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
Automatic Coding Rule Conformance Checking Using Logic Programs.
- Manuel Carro Liñares
- Guillem Marpons Ucero
- Fredlund, Lars-Ake
- Moreno Navarro, Juan José
- HERRANZ NIEVA, ANGEL
- MARIÑO CARBALLO, JULIO
17th Workshop On Logic-Based Methods In Programming Environments. - 13/9/2007
- iMarina
Automatic Generation of Attacker Contracts in Solidity
- Ballesteros I
- Benac-Earle C
- de Barrio LEB
- Fredlund LÅ
- Herranz Á
- Mariño J
Openaccess Series In Informatics - 1/1/2022
10.4230/oasics.fmbc.2022.3 Ver en origen
- ISSN 21906807
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
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
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
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
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
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
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
APOYO EN LA GESTIÓN DE ACTIVIDADES DE SPARCIM (SPANISH CONSORTIUM FOR INFORMATICS AND MATHEMATICS)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Ejecución: 01-03-2013 - 01-04-2020
Tipo: Interno
- iMarina
BABEL. Next Generation Energy Efficient Secure Software
- Gomez Martinez, Maria Elena (Participante)
- Deedar, Ohammad Halim (Participante)
- Muñoz Hernández, Susana (Participante)
- Benac Earle, Clara (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Nogueira Iglesias, Pablo (Participante)
- Fredlund, Lars-Ake (Participante)
- Moreno Navarro, Juan José (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Ejecución: 01-10-2014 - 31-12-2018
Tipo: Regional
Importe financiado: 101949,80 Euros.
- iMarina
Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis
- BUESO DE BARRIO, LUIS EDUARDO (Participante)
- BALLESTEROS GONZALEZ, IGNACIO (Participante)
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
- MARIÑO CARBALLO, JULIO (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Fredlund, Lars-Ake (Participante)
- BUENO CARRILLO, FRANCISCO (Participante)
- ROMAN DIEZ, GUILLERMO (Participante)
- Muñoz Hernández, Susana (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- Benac Earle, Clara (Participante)
- ZANARDINI, DAMIANO (Participante)
Ejecución: 01-01-2019 - 30-04-2023
Tipo: Regional
Importe financiado: 74100,85 Euros.
- iMarina
Desarrollo de software de alta calidad, fiable, distribuido y seguro
- KRIZANC ., DAVID DANIEL (Participante)
- SVENSSON ., HANS (Participante)
- Hughes ., John (Participante)
- Benac Earle, Clara (Participante)
- Nogueira Iglesias, Pablo (Participante)
- Fredlund, Lars-Ake (Participante)
- Muñoz Hernández, Susana (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Ejecución: 01-01-2010 - 30-06-2013
Tipo: Nacional
Importe financiado: 158994,01 Euros.
- iMarina
GGCC: new global GNU compiler collection ITEA 05012
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-01-2006 - 31-12-2009
- iMarina
GRUPO OPERATIVO PARA LA PROMOCION DEL USO PRUDENTE DE ANTIMICROBIANOS EN BOVINO DE CARNE -PROMANBOV
- Muñoz Hernández, Susana (Colaborador/a)
- Benac Earle, Clara (Colaborador/a)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Ejecución: 11-05-2018 - 23-11-2022
Tipo: Interno
- iMarina
Programa en métodos para el desarrollo de software, fiable, de alta calidad y seguro de la Comunidad de Madrid
- Muñoz Hernández, Susana (Participante)
- Fredlund, Lars-Ake (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Moreno Navarro, Juan José (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Ejecución: 01-12-2005 - 01-01-2010
Tipo: Regional
- 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
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
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
A Model Driven Methodology for the Construction of Reliable Concurrent Software
- MARIÑO CARBALLO, JULIO (Director) Doctorando: Alborodo, Raúl Nestor Neri
1/9/2019
- 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