- -

Listar por Entidad UPV "Universitat Politècnica de València. Grupo de Extensiones de la Programación Lógica (ELP)"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por Entidad UPV "Universitat Politècnica de València. Grupo de Extensiones de la Programación Lógica (ELP)"

Ordenar por:Orden:Resultados:

  • thumb
    A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2013)
    In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short) which is defined for the full language. In particular, is able to deal with the non- monotonic ...
  • thumb
    A Probabilistic Framework for Non-Cheating Machine Teaching 
    Ferri Ramírez, César; Hernández Orallo, José; Telle, Jan Arne (2022-05-03)
    Over the past decades in the field of machine teaching, several restrictions have been introduced to avoid ‘cheating’, such as collusion-free or non-clashing teaching. However, these restrictions forbid several teaching ...
  • thumb
    Abstract Contract Synthesis and Verification in the Symbolic K Framework 
    Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Universitat Politècnica de València, 2018-04-12)
    [EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
  • thumb
    Analysis of the IBM CCA Security API Protocols in Maude-NPA 
    González Burgueño, Antonio; Santiago Pinazo, Sonia; Escobar Román, Santiago; Meadows, Catherine; Meseguer, Jose (Springer International Publishing, 2014)
    Standards for cryptographic protocols have long been attractive candidates for formal verification. It is important that such standards be correct, and cryptographic protocols are tricky to design and subject to ...