Local First Search - A New Paradigm for Partial Order Reductions. - Peter Niebert; Michaela Huhn; Sarah Zennou; Denis Lugiez (CONCUR, 2001)

Dynamic Bounds and Transition Merging for Local First Search. - Denis Lugiez; Peter Niebert; Sarah Zennou (SPIN, 2002)

Black Box Unfolding with Local First Search. - Sébastien Bornot; Rémi Morin; Peter Niebert; Sarah Zennou (TACAS, 2002)

ELSE: A New Symbolic State Generator for Timed Automata. - Sarah Zennou; Manuel Yguel; Peter Niebert (FORMATS, 2003)

A partial order semantics approach to the clock explosion problem of timed automata. - Denis Lugiez; Peter Niebert; Sarah Zennou (Theor. Comput. Sci., 2005)

Static Analysis by Policy Iteration on Relational Domains. - Stephane Gaubert; Eric Goubault; Ankur Taly; Sarah Zennou (ESOP, 2007)

Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). - Roberto Giacobazzi; Axel Simon; Sarah Zennou (Dagstuhl Reports, 2014)

Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281). - Sarah Zennou; Saumya K. Debray; Thomas Dullien; Arun Lakhotia (Dagstuhl Reports, 2017)