FRATANI Séverine
Laboratoire d'Informatique Fondamentale
Maître
de conférences à l'université
de Provence
Groupe
"Modélisation et Vérification" du LIF
.
|
Adresse postale: |
LIF Parc Scientifique et Technologique de Luminy 163, avenue de Luminy - Case 901 F-13288 Marseille Cedex 9 |
|
E-mail: |
|
|
Téléphone: |
+(33) 4 91 82 96 40 |
Publications
S. Fratani, E.M. Voundy, Homomorphic characterizations of indexed languages. In LATA 2016 .
N. Baudru, S. Fratani, On the treewidth of book embeddings.
S. Fratani, Regular sets over tree structures. In Theoretical Computer Science . 2012, vol 418, pp. 48-70.
S. Fratani and JM. Talbot, An Accurate Type System for Information Flow in Presence of Arrays. In Proceedings of FMOODS/FORTE. 2011, 153-167.
A.
Bouajjani, S. Fratani, S. Qadeer, Bounded Context Switch Analysis of
Multithreaded Programs with Dynamic Linked Structures .
In
Proc.
Intern. Conf. on Computer Aided Verification (CAV'07).
Full
paper.
S.
Fratani, G. Sénizergues, Iterated pushdown automata and sequences
of rational numbers .
In Annals
of Pure and Applied logic,
Volume 141, Number 3, September 2006, p. 363-411. pdf
file.