14 citations · 18 across the 6 of their papers we have counts for
6 papers
A denotational semantics for PROMELA addressing arbitrary jumps
Marco Comini, María del Mar Gallardo, Alicia Villanueva
PROMELA (Process Meta Language) is a high-level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the mode…
A Simulation Tool for tccp Programs
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate an…
Using Model Checking to Generate Test Cases for Android Applications
Ana Rosario Espada, María del Mar Gallardo, Alberto Salmerón +1
The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction of the user with its applications. In consequence, analyzing the correctnes…
Modeling Hybrid Systems in the Concurrent Constraint Paradigm
Damián Adalid, María del Mar Gallardo, Laura Titolo
Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is a…
Modeling Hybrid Systems in Hy-tccp
Damian Adalid, Maria del Mar Gallardo, Laura Titolo
Concurrent,reactive and hybrid systems require quality modeling languages to be described and analyzed. The Timed Concurrent Constraint Language (tccp) was introduced as a simple b…
Static Analysis using Parameterised Boolean Equation Systems
María Del Mar Gallardo, Christophe Joubert, Pedro Merino
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex…