11 citations · 18 across the 4 of their papers we have counts for
4 papers
New results on pushdown module checking with imperfect information
Laura Bozzelli
Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in…
Opacity Issues in Games with Imperfect Information
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
We study in depth the class of games with opacity condition, which are two-player games with imperfect information in which one of the players only has imperfect information, and w…
Model checking for Process Rewrite Systems and a class of action--based regular properties
Laura Bozzelli
We consider the model checking problem for Process Rewrite Systems (PRSs), an infinite-state formalism (non Turing-powerful) which subsumes many common models such as Pushdown Proc…
Verification of Process Rewrite Systems in normal form
Laura Bozzelli
We consider the problem of model--checking for Process Rewrite Systems (PRSs) in normal form. In a PRS in normal form every rewrite rule either only deals with procedure calls and…