Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. - Ahmed Bouajjani; Séverine Fratani; Shaz Qadeer (CAV, 2007)

An Accurate Type System for Information Flow in Presence of Arrays. - Séverine Fratani; Jean-Marc Talbot (FMOODS/FORTE, 2011)

Regular sets over extended tree structures. - Séverine Fratani (Theor. Comput. Sci., 2012)

Homomorphic Characterizations of Indexed Languages. - Séverine Fratani; El Makki Voundy (LATA, 2016)

Epsilon-reducible context-free languages and characterizations of indexed languages. - Séverine Fratani; El Makki Voundy (Inf. Comput., 2019)

On exteriority notions in book embeddings and treewidth. - Nicolas Baudru; Séverine Fratani (Discret. Math., 2020)

A Robust Class of Languages of 2-Nested Words. - Séverine Fratani; Guillaume Maurras; Pierre-Alain Reynier (MFCS, 2022)