| 2007 |
|---|
| 7 | EE | Stephane Gaubert,
Eric Goubault,
Ankur Taly,
Sarah Zennou:
Static Analysis by Policy Iteration on Relational Domains.
ESOP 2007: 237-252 |
| 2005 |
|---|
| 6 | EE | Denis Lugiez,
Peter Niebert,
Sarah Zennou:
A partial order semantics approach to the clock explosion problem of timed automata.
Theor. Comput. Sci. 345(1): 27-59 (2005) |
| 2004 |
|---|
| 5 | EE | Denis Lugiez,
Peter Niebert,
Sarah Zennou:
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata.
TACAS 2004: 296-311 |
| 2003 |
|---|
| 4 | EE | Sarah Zennou,
Manuel Yguel,
Peter Niebert:
ELSE: A New Symbolic State Generator for Timed Automata.
FORMATS 2003: 273-280 |
| 2002 |
|---|
| 3 | EE | Denis Lugiez,
Peter Niebert,
Sarah Zennou:
Dynamic Bounds and Transition Merging for Local First Search.
SPIN 2002: 221-229 |
| 2 | EE | Sébastien Bornot,
Rémi Morin,
Peter Niebert,
Sarah Zennou:
Black Box Unfolding with Local First Search.
TACAS 2002: 386-400 |
| 2001 |
|---|
| 1 | EE | Peter Niebert,
Michaela Huhn,
Sarah Zennou,
Denis Lugiez:
Local First Search - A New Paradigm for Partial Order Reductions.
CONCUR 2001: 396-410 |
