RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Mariño Carballo, Julio julio.marino@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

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

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

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

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

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

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

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

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

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

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

Using static analysis to compile non-sequential functional logic programs

  • Mariño J
  • Moreno-Navarro J

Lecture Notes In Computer Science (p. 63-80) - 1/1/2000

10.1007/3-540-46584-7_5 Ver en origen

  • ISSN 03029743

Adding constraints to curry via flat guards

  • Mariño J
  • Rey J

Wcflp'05 - Proceedings Of The Acm Sigplan 2005 Workshop On Curry An Functional Logic Programming (p. 14-22) - 1/1/2005

  • iMarina

An overview of the Sloth2005 Curry system system description

  • Arias E
  • Mariño J

Wcflp'05 - Proceedings Of The Acm Sigplan 2005 Workshop On Curry An Functional Logic Programming (p. 66-69) - 1/12/2005

  • 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

A Generic Semantics for Constraint Functional Logic Programming

  • José María Rey Poza
  • Emilio Jesús Gallego Arias
  • MARIÑO CARBALLO, JULIO

25/6/2007

  • 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 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

Adding coding rule checking capabilities to the GCC toolchain

  • ÁLVARO POLO
  • MARIÑO CARBALLO, JULIO

Proceedings Of The Gcc Developers' Summit 2008 (p. 43-53) - 1/12/2008

  • iMarina

Modeling Concurrent Systems with Shared Resources

  • Herranz, Angel
  • Marino, Julio
  • Carro, Manuel
  • Moreno Navarro, Juan Jose

Lecture Notes In Computer Science (p. 102-+) - 1/12/2009

10.1007/978-3-642-04570-7_9 Ver en origen

  • ISSN 03029743

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

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

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))
... Ver más Contraer

Ejecución: 01-10-2014 - 31-12-2018

Tipo: Regional

Importe financiado: 101949,80 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

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

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)
... Ver más Contraer

Ejecución: 01-01-2019 - 30-04-2023

Tipo: Regional

Importe financiado: 74100,85 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

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

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

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 5/03/24 18:47