Sarah Zennou

Publication Activity (10 Years)

Years Active: 2001-2017
Publications (10 Years): 1

Top Topics

Fault Tolerance

Scalability Issues

Top Venues

Dagstuhl Reports

Publications

Sarah Zennou, Saumya K. Debray, Thomas Dullien, Arun Lakhotia
Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281). Dagstuhl Reports 7 (7) (2017)
Roberto Giacobazzi, Axel Simon, Sarah Zennou
Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). Dagstuhl Reports 4 (6) (2014)
Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
Static Analysis by Policy Iteration on Relational Domains. ESOP (2007)
Denis Lugiez, Peter Niebert, Sarah Zennou
A partial order semantics approach to the clock explosion problem of timed automata. Theor. Comput. Sci. 345 (1) (2005)
Denis Lugiez, Peter Niebert, Sarah Zennou
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. TACAS (2004)
Sarah Zennou, Manuel Yguel, Peter Niebert
ELSE: A New Symbolic State Generator for Timed Automata. FORMATS (2003)
Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou
Black Box Unfolding with Local First Search. TACAS (2002)
Denis Lugiez, Peter Niebert, Sarah Zennou
Dynamic Bounds and Transition Merging for Local First Search. SPIN (2002)
Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez
Local First Search - A New Paradigm for Partial Order Reductions. CONCUR (2001)