Sarah Zennou

According to our database, Sarah Zennou authored at least 8 papers between 2001 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

2014

Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241).

Roberto Giacobazzi, Axel Simon, Sarah Zennou

Dagstuhl Reports, 2014

2007

Static Analysis by Policy Iteration on Relational Domains.

Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou

Proceedings of the Programming Languages and Systems, 2007

2005

A partial order semantics approach to the clock explosion problem of timed automata.

Denis Lugiez, Peter Niebert, Sarah Zennou

Theor. Comput. Sci., 2005

2003

ELSE: A New Symbolic State Generator for Timed Automata.

Sarah Zennou, Manuel Yguel, Peter Niebert

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Black Box Unfolding with Local First Search.

Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Dynamic Bounds and Transition Merging for Local First Search.

Denis Lugiez, Peter Niebert, Sarah Zennou

Proceedings of the Model Checking of Software, 2002

2001

Local First Search - A New Paradigm for Partial Order Reductions.

Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez

Proceedings of the CONCUR 2001, 2001