Autor:
Titolo, Laura

Foto de perfil
E-mails conocidos
laura.titolo@lcc.uma.es
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Titolo
Nombre de pila
Laura
Nombre
Nombres alternativos
Afiliaciones conocidas
LCC, Universidad de Málaga
Dept. Lenguajes y Ciencias de la Computación E.T.S.I. Informatica University of Málaga
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor

Filtros

20151
Restablecer filtros

Ajustes

Autor: Titolo, Laura ×

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Miniatura
    Artículo
    A discretized operational semantics for the implementation of Hy-tccp
    Gallardo, María del Mar; Panizo, Laura; Titolo, Laura. Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015), 2015-09-15.
    The language Hy-tccp was proposed as an extension of the Timed Concurrent Constraint paradigm (tccp) with continuous time and suitable mechanisms to handle continuous behaviors. This language provides a powerful model for hybrid and cyber-physical systems including concurrency and syn chronization features. In this paper, we propose a discretized operational semantics for Hy-tccp and an extension of the standard LTL to reason about temporal properties of Hy-tccp programs. The semantics and the logics will be the basis for the definition of formal verification and analysis tools, such as model checkers and theorem provers.