- -

Listar por autor "Titolo, Laura"

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

Listar por autor "Titolo, Laura"

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 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-04-13)
    In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short). Such semantics is defined for the full language. In particular, is able to deal with the ...
  • thumb
    A program analysis framework for tccp based on abstract interpretation 
    Comini, Marco; Gallardo, Maria-del-Mar; Titolo, Laura; Villanueva, Alicia (Springer-Verlag, 2017-05)
    [EN] The timed concurrent constraint language (tccp) is a timed extension of the concurrent constraint paradigm. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous works, a ...
  • thumb
    Abstract Analysis of Universal Properties for tccp 
    Comini, Marco; Gallardo Melgarejo, Maria del Mar; Titolo, Laura; Villanueva, Alicia (Springer, 2015)
    [EN] The Timed Concurrent Constraint Language (tccp) is a time extension of the concurrent constraint paradigm of Saraswat. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous ...
  • thumb
    Abstract Diagnosis for tccp using a Linear Temporal Logic 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2014-02-15)
    Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which rep- resents the behavior ...
  • thumb
    Abstract Diagnosis for tccp using a Linear Temporal Logic 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2014-07)
    [EN] Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which represents the ...
  • thumb
    Abstract diagnosis for timed concurrent constraint programs 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2011)
    The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced ...