According to our database1, Séverine Fratani authored at least 4 papers between 2007 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Homomorphic Characterizations of Indexed Languages.
Proceedings of the Language and Automata Theory and Applications, 2016
Regular sets over extended tree structures.
Theor. Comput. Sci., 2012
An Accurate Type System for Information Flow in Presence of Arrays.
Proceedings of the Formal Techniques for Distributed Systems, 2011
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007