2009 |
20 | EE | Laura Bozzelli,
Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
On decidability of LTL model checking for process rewrite systems.
Acta Inf. 46(1): 1-28 (2009) |
19 | EE | Laura Bozzelli:
CaRet With Forgettable Past.
Electr. Notes Theor. Comput. Sci. 231: 343-361 (2009) |
2008 |
18 | EE | Laura Bozzelli:
The Complexity of CTL* + Linear Past.
FoSSaCS 2008: 186-200 |
17 | EE | Laura Bozzelli,
Ruggero Lanotte:
Complexity and Succinctness Issues for Linear-Time Hybrid Logics.
JELIA 2008: 48-61 |
16 | EE | Laura Bozzelli:
The Complexity of CaRet + Chop.
TIME 2008: 23-31 |
15 | EE | Laura Bozzelli,
Salvatore La Torre,
Adriano Peron:
Verification of well-formed communicating recursive state machines.
Theor. Comput. Sci. 403(2-3): 382-405 (2008) |
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) |