| 2008 |
|---|
| 15 | EE | Laura Bozzelli:
The Complexity of CTL* + Linear Past.
FoSSaCS 2008: 186-200 |
| 2007 |
|---|
| 14 | EE | Laura Bozzelli:
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.
CONCUR 2007: 476-491 |
| 13 | EE | Laura Bozzelli,
Salvatore La Torre:
Decision Problems for Lower/Upper Bound Parametric Timed Automata.
ICALP 2007: 925-936 |
| 12 | EE | Laura Bozzelli:
Complexity results on branching-time pushdown model checking.
Theor. Comput. Sci. 379(1-2): 286-297 (2007) |
| 2006 |
|---|
| 11 | EE | Patricia Bouyer,
Laura Bozzelli,
Fabrice Chevalier:
Controller Synthesis for MTL Specifications.
CONCUR 2006: 450-464 |
| 10 | EE | Laura Bozzelli,
Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
On Decidability of LTL Model Checking for Process Rewrite Systems.
FSTTCS 2006: 248-259 |
| 9 | EE | Laura Bozzelli,
Régis Gascon:
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints.
LPAR 2006: 197-211 |
| 8 | EE | Laura Bozzelli,
Salvatore La Torre,
Adriano Peron:
Verification of Well-Formed Communicating Recursive State Machines.
VMCAI 2006: 412-426 |
| 7 | EE | Laura Bozzelli:
Complexity Results on Branching-Time Pushdown Model Checking.
VMCAI 2006: 65-79 |
| 6 | EE | Laura Bozzelli:
Model checking for process rewrite systems and a class of action-based regular properties.
Theor. Comput. Sci. 360(1-3): 352-372 (2006) |
| 2005 |
|---|
| 5 | EE | Laura Bozzelli,
Aniello Murano,
Adriano Peron:
Pushdown Module Checking.
LPAR 2005: 504-518 |
| 4 | EE | Laura Bozzelli:
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties.
VMCAI 2005: 282-297 |
| 2004 |
|---|
| 3 | EE | Laura Bozzelli:
Verification of Process Rewrite Systems in normal form
CoRR cs.OH/0401013: (2004) |
| 2 | EE | Laura Bozzelli:
Model checking for Process Rewrite Systems and a class of action - based regular properties
CoRR cs.OH/0405003: (2004) |
| 2003 |
|---|
| 1 | EE | Laura Bozzelli,
Massimo Benerecetti,
Adriano Peron:
Verification of recursive parallel systems
CoRR cs.OH/0312019: (2003) |
