Autor:
Gallardo Melgarejo, María del Mar

Cargando...
Foto de perfil

E-mails conocidos

mdgallardo@uma.es
gallardo@lcc.uma.e
gallardo@lcc.uma.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Gallardo Melgarejo

Nombre de pila

María del Mar

Nombre

Nombres alternativos

Gallardo, Maria-Del-Mar
Gallardo, María-Del-Mar
Gallardo, Maria del Mar
Gallardo, María del Mar
Gallardo, María-del-Mar

Afiliaciones conocidas

Universidad de Málaga, Andalucía Tech, Dept. de Ciencias de la Computación
LCC, Universidad de Málaga
ITIS Software, University of Malaga, Spain
University of Málaga, Spain
Universidad de Málaga, Spain
ITIS Software, Universidad de Málaga, Spain

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Artículo
    xeLTL: Extending eLTL with variables
    Panizo Jaime, Laura; Gallardo Melgarejo, María del Mar. Actas de las XXII Jornadas sobre Programación y Lenguajes (PROLE 2023), 2023-09-12.
    Our daily activity is increasingly integrated with systems that somehow adapt their behaviour to our state or reactions. These systems are usually called reactive systems since they evolve based on internal or external events produced by their environment. The massive use of smartphones and wearable devices for health monitoring is just an example of how these systems impact in our lives. In addition, some systems, such as those for assisted or autonomous driving, carry out critical tasks. Thus, it is important to ensure that reactive systems satisfy safety requirements in which, in many cases, is relevant the evolution of time or other physical magnitudes. In this paper, we present the eXtended Event-driven Temporal Logic (xeLTL) that can express requirements over intervals of parameterized events.