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

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

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

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

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

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

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

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

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

Este/a investigador/a no tiene libros.

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

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

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

https://doi.org/10.1145/3546186.3549930 Ver en origen

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

HaskCell: Experiments with Purely Functional Spreadsheets

  • Ignacio Ballesteros González, Luis Eduardo Bueso de Barrio, Julio Mariño

22/9/2021

  • iMarina

A formal semantics for agent distribution and fault tolerance in Jason

  • Álvaro Fernández Díaz, Lars-Ake Fredlund, Clara Benac, Julio Mariño

22/9/2021

  • 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

Runtime Verification in Erlang by Using Contracts

  • Fredlund L
  • Mariño J
  • Pérez S
  • Tamarit S

Lecture Notes In Computer Science (p. 56-73) - 1/1/2019

10.1007/978-3-030-16202-3_4 Ver en origen

  • ISSN 03029743

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.

  • Salvador Tamarit
  • Guillermo Vigueras
  • CARRO LIÑARES, MANUEL
  • MARIÑO CARBALLO, JULIO

Proceedings Of The First Workshop On Program Transformation For Programmability In Heterogeneous Architectures (p. 1-11) - 12/3/2016

  • iMarina

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.

  • Salvador Tamarit
  • Guillermo Vigueras
  • CARRO LIÑARES, MANUEL
  • MARIÑO CARBALLO, JULIO

Proceedings Of The First Workshop On Program Transformation For Programmability In Heterogeneous Architectures (p. 1-11) - 12/3/2016

10.4204/eptcs.237 Ver en origen

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

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

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

Ejecución: 01-01-2010 - 30-06-2013

Tipo: Nacional

Importe financiado: 158994,01 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

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

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

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

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.

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