Bueno Carrillo, Francisco francisco.bueno@upm.es

Actividades

Multivariant non-failure analysis via standard abstract interpretation

  • Bueno, F
  • Lopez-Garcia, P
  • Hermenegildo, M;

Lecture Notes In Computer Science (p. 100-116) - 1/1/2004

  • ISSN 03029743
  • iMarina

A generic framework for context-sensitive analysis of modular programs

  • Puebla, G
  • Correas, J
  • Hermenegildo, MV
  • Bueno, F
  • de la Banda, MG
  • Marriott, K
  • Stuckey, PJ;
... Ver más Contraer

Lecture Notes In Computer Science (p. 233-260) - 1/1/2004

10.1007/978-3-540-25951-0_8 Ver en origen

  • ISSN 03029743

Program development using Abstract Interpretation (and the Ciao system preprocessor)

  • Hermenegildo, MV
  • Puebla, G
  • Bueno, F
  • Lopez-Garcia, P;

Lecture Notes In Computer Science (p. 127-152) - 1/1/2003

10.1007/3-540-44898-5_8 Ver en origen

  • ISSN 03029743

Este/a investigador/a no tiene libros.

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

Interval-based resource usage verification: Formalization and prototype

  • Pedro Lopez Garcia
  • Luthfi Darmawan
  • HERMENEGILDO SALINAS, MANUEL DE
  • BUENO CARRILLO, FRANCISCO

Lecture Notes In Computer Science (p. 54-71) - 13/8/2012

10.1007/978-3-642-32495-6_4 Ver en origen

  • ISSN 03029743

A Framework for Verification and Debugging of Resource Usage Properties

  • BUENO CARRILLO, FRANCISCO

Technical Communications Of The 26th International Conference On Logic Programming, Iclp 2010 (p. 104-113) - 16/7/2010

  • iMarina

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis

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

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

Tipo: Regional

Importe financiado: 74100,85 Euros.

  • iMarina

StrongSoft-CLIP: Tecnologías rigurosas para software de nueva generación, abierto y fiable

  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))
  • Dustdar ., Scharham (Otros)
  • Pistore ., Marco (Otros)
  • Schubert ., Lutz (Otros)
  • Pohl ., Klaus (Otros)
  • IVANOVIC, DRAGAN (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
... Ver más Contraer

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

Tipo: Nacional

Importe financiado: 34117,20 Euros.

  • iMarina

Desarrollo de Software Verificable y Eficiente (DOVES)

  • Codish ., Michael (Participante)
  • GIACOBAZZI ., ROBERTO (Participante)
  • MENDEZ LOJO, MARIO (Participante)
  • CASAS CUADRADO, AMADEO (Participante)
  • GOMEZ-ZAMALLOA GIL, Miguel (Participante)
  • PUEBLA SANCHEZ, Alvaro Germán (Participante)
  • GIL QUIRÓS, VÍCTOR (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
  • MERA MENENDEZ, EDISON FERNANDO (Participante)
  • CARRO LIÑARES, MANUEL (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
  • MORALES CABALLERO, José Francisco (Participante)
  • NAVAS LASEMA, JORGE A. (Participante)
  • MASTROENI ., ISABELLA (Participante)
  • GALLAGHER ., JOHN (Participante)
  • King ., Andy (Participante)
... Ver más Contraer

Ejecución: 01-01-2009 - 31-12-2014

Tipo: Nacional

  • iMarina

Computación móvil verificable y consciente de los recursos

  • MERA MENENDEZ, EDISON FERNANDO (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • CARRO LIÑARES, MANUEL (Participante)
  • PUEBLA SANCHEZ, Alvaro Germán (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
  • MORALES CABALLERO, José Francisco (Participante)
  • GALLAGHER ., JOHN PATRICK (Participante)
... Ver más Contraer

Ejecución: 31-12-2005 - 30-06-2009

Tipo: Nacional

  • iMarina

Programa en métodos para el desarrollo de software, fiable, de alta calidad y seguro de la Comunidad de Madrid

  • Fredlund, Lars-Ake (Participante)
  • Muñoz Hernández, Susana (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

NEDINE: Intelligent news distribution network for multinational business news exchange and dissemination

  • BUENO CARRILLO, FRANCISCO (Investigador principal (IP))

Ejecución: 01-04-2004 - 31-03-2006

Tipo: Internacional

  • iMarina

Este/a investigador/a no tiene tesis dirigidas.

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

Última actualización de los datos: 1/08/24 18:47