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

Bueno Carrillo, Francisco francisco.bueno@upm.es

INTELIGENCIA ARTIFICIAL / Universidad Politécnica de Madrid

Actividades

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses

  • Lopez-Garcia, Pedro
  • Bueno, Francisco
  • Hermenegildo, Manuel;

New Generation Computing (p. 177-206) - 1/4/2010

10.1007/s00354-008-0085-1 Ver en origen

  • ISSN 02883635

Experiments in context-sensitive analysis of modular programs

  • Correasi, Jesus
  • Puebla, German
  • Hermenegildo, Manuel V.
  • Bueno, Francisco;

Lecture Notes In Computer Science (p. 163-178) - 10/7/2006

10.1007/11680093_11 Ver en origen

  • ISSN 03029743

Efficient top-down set-sharing analysis using cliques

  • Navas, J
  • Bueno, F
  • Hermenegildo, M

Lecture Notes In Computer Science (p. 183-198) - 1/12/2005

10.1007/11603023_13 Ver en origen

  • ISSN 03029743

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

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

Science Of Computer Programming (p. 115-140) - 1/10/2005

10.1016/j.scico.2005.02.006 Ver en origen

  • ISSN 01676423

Determinacy analysis for logic programs using mode and type information

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

Lecture Notes In Computer Science (p. 19-35) - 1/1/2005

10.1007/11506676_2 Ver en origen

  • ISSN 03029743

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

Abstract verification and debugging of constraint logic programs

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

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

10.1007/3-540-36607-5_1 Ver en origen

  • ISSN 03029743

Combined static and dynamic assertion-based debugging of constraint logic programs

  • Puebla, G
  • Bueno, F
  • Hermenegildo, M;

Lecture Notes In Computer Science (p. 273-292) - 1/1/2000

10.1007/10720327_16 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

A study of set-sharing analysis via cliques

  • Navas J
  • Bueno F
  • Hermenegildo M

1/12/2005

  • iMarina

Program debugging and validation using semantic approximations and partial specifications

  • Hermenegildo, M
  • Puebla, G
  • Bueno, F
  • Lopez-Garcia, P

Lecture Notes In Computer Science (p. 69-72) - 1/1/2002

10.1007/3-540-45465-9_7 Ver en origen

  • ISSN 03029743

A framework for assertion-based debugging in constraint logic programming

  • Puebla G
  • Bueno F
  • Hermenegildo M

Lecture Notes In Computer Science (p. 472-472) - 1/1/1998

10.1007/3-540-49481-2_43 Ver en origen

  • ISSN 03029743

An algebraic approach to sharing analysis of logic programs

  • Codish M
  • Lagoon V
  • Bueno F

Lecture Notes In Computer Science (p. 68-82) - 1/1/1997

  • ISSN 03029743
  • iMarina

Global analysis of standard Prolog programs

  • Bueno F
  • Cabeza D
  • Hermenegildo M
  • Puebla G

Lecture Notes In Computer Science (p. 108-124) - 1/1/1996

  • ISSN 03029743
  • iMarina

Towards independent and-parallelism in CLP

  • de la Banda M
  • Bueno F
  • Hermenegildo M

Lecture Notes In Computer Science (p. 77-91) - 1/1/1996

10.1007/3-540-61756-6_78 Ver en origen

  • ISSN 03029743

From eventual to atomic and locally atomic CC programs: A concurrent semantics

  • Bueno F
  • Hermenegildo M
  • Montanari U
  • Rossi F

Lecture Notes In Computer Science (p. 114-132) - 1/1/1994

  • ISSN 03029743
  • iMarina

Towards a concurrent semantics based analysis of CC and CLP

  • Montanari U
  • Rossi F
  • Bueno F
  • Garcia De La Banda M
  • Hermenegildo M

Lecture Notes In Computer Science (p. 151-161) - 1/1/1994

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

  • Dustdar ., Scharham (Otros)
  • Pistore ., Marco (Otros)
  • Schubert ., Lutz (Otros)
  • Pohl ., Klaus (Otros)
  • IVANOVIC, DRAGAN (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))
... 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)

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

  • MORALES CABALLERO, José Francisco (Participante)
  • GALLAGHER ., JOHN PATRICK (Participante)
  • 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))
... 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

  • 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

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/12/24 11:37