Mariño Carballo, Julio - Portal de Investigación del Consorcio Madroño

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

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

iMarina

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

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

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

iMarina

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

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

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

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

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

Este/a investigador/a no tiene libros.

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

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

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

A Model-driven Methodology for Generating and Verifying CSP-based Java Code

MARIÑO CARBALLO, JULIO

Communicating Process Architectures, Cpa 2015 (p. 85-108) - 23/8/2015

iMarina

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 Ver en origen

ISSN 10896503

iMarina
iMarina

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 Ver en origen

ISSN 15710661

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 Ver en origen

ISSN 00010782

iMarina
iMarina

Makina: A new QuickCheck state machine library

De Barrio LEB
Fredlund LÅ
Herranz Á
Earle CB
Mariño J

Erlang 2021 - Proceedings Of The 20th Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2021 (p. 41-53) - 1/1/2021

10.1145/3471871.3472964 Ver en origen

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

10.1145/3609022.3609415 Ver en origen

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

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

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

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

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

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

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

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