Travelled to:1 × France
1 × Portugal
1 × Spain
Collaborated with:P.Niebert D.Lugiez S.Gaubert E.Goubault A.Taly S.Bornot R.Morin
Talks about:automata (1) approach (1) problem (1) partial (1) analysi (1) unfold (1) static (1) semant (1) search (1) polici (1)
Person: Sarah Zennou
DBLP: Zennou:Sarah
Contributed to:
2007
20042002Wrote 3 papers:
- ESOP-2007-GaubertGTZ #policy #relational #static analysis
- Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.
- TACAS-2004-LugiezNZ #approach #automaton #explosion #partial order #problem #semantics
- A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata (DL, PN, SZ), pp. 296–311.
- TACAS-2002-BornotMNZ #black box
- Black Box Unfolding with Local First Search (SB, RM, PN, SZ), pp. 386–400.