RDF/XML JSON-LD N3/Turtle RDF/JSON
Author profile at the institutional portal

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

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

Publications

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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • ISSN 09345043

This researcher has no books.

This researcher has no book chapters.

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

Synthesis of logic programs from object-oriented formal specifications

  • Herranz A
  • Mariño J

Leibniz International Proceedings In Informatics, Lipics (p. 95-105) - 1/12/2011

  • ISSN 18688969
  • iMarina

A tool for the integration of constraint logic programming in spreadsheets

  • HERRANZ NIEVA, ANGEL
  • MARIÑO CARBALLO, JULIO

Xi Jornadas De Programación Y Lenguajes Prole 2011 (p. 20-32) - 6/9/2011

  • iMarina

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

10.1145/2370776.2370797 View at source

A tool for the integration of constraint solving in spreadsheets

  • Fernández-Soriano A
  • Mariño J
  • Herranz A

Electronic Notes In Theoretical Computer Science (p. 35-45) - 5/5/2012

10.1016/j.entcs.2011.12.004 View at source

  • ISSN 15710661

A verified implementation of priority monitors in Java

  • HERRANZ NIEVA, ANGEL
  • MARIÑO CARBALLO, JULIO

Lecture Notes In Computer Science (p. 160-177) - 15/8/2012

10.1007/978-3-642-31762-0_11 View at source

  • ISSN 03029743

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

Jsongen: A QuickCheck based library for testing JSON web services

  • Benac Earle C
  • Fredlund L
  • Herranz A
  • Mariño J

Erlang 2014 - Proceedings Of The 2014 Acm Sigplan Erlang Workshop (p. 33-41) - 1/1/2014

10.1145/2633448.2633454 View at source

  • ISSN 00010782

Teaching students Property-based Testing

  • Fredlund, Lars-Ake
  • MARIÑO CARBALLO, JULIO
  • Benac Earle, Clara

Conference Proceedings Of The Euromicro (p. 437-442) - 17/10/2014

10.1109/seaa.2014.74 View at source

  • ISSN 10896503

Property-based Testing of JSON based Web Services

  • Fredlund, Lars-Ake
  • Herranz, Angel
  • Benac Earle, Clara
  • Marino, Julio;

Web Services (Icws), 2014 Ieee International Conference On (p. 704-707) - 27/6/2014

10.1109/icws.2014.110 View at source

This researcher has no working papers.

This researcher has no technical reports.

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

Period: 01-12-2005 - 01-01-2010

Type of funding: Regional

  • iMarina

GGCC: new global GNU compiler collection ITEA 05012

  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
  • Moreno Navarro, Juan José (Participante)

Period: 01-01-2006 - 31-12-2009

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

Period: 01-01-2008 - 31-12-2012

  • iMarina

Verification of Object Oriented Languajes

  • MARIÑO CARBALLO, JULIO (Participante)
  • Bernhard Beckert (Investigador principal (IP))
  • Moreno Navarro, Juan José (Participante)

Period: 01-01-2008 - 31-12-2012

  • iMarina

Property-based Testing

  • Fredlund, Lars-Ake (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Participante)
  • MARIÑO CARBALLO, JULIO (Participante)
  • Benac Earle, Clara (Participante)

Period: 01-05-2008 - 30-12-2011

Type of funding: International

Amount of funding: 318788,00 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))
... View more Collapse

Period: 01-01-2010 - 30-06-2013

Type of funding: National

Amount of funding: 158994,01 Euros.

  • iMarina

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

Period: 01-01-2011 - 31-12-2012

Type of funding: National

Amount of funding: 33646,32 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)

Period: 01-10-2012 - 31-10-2015

Type of funding: International

Amount of funding: 262905,00 Euros.

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

Period: 01-10-2012 - 30-09-2015

  • 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))
... View more Collapse

Period: 01-01-2013 - 30-06-2017

Type of funding: National

Amount of funding: 36644,40 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

This researcher has no patents or software licenses.

Last data update: 3/5/24 6:47 PM