Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > FAYOLLE Julien
About LRI
Mr FAYOLLE Julien

Warning: this member left the laboratory on 31/08/2008
 
FAYOLLE ATER Post-Doc
IUT Orsay
Formal Testing and System Exploration

Tel : 0172925978
Fax :
Office :

Personal web page : http://www.lri.fr/~fayolle
Email : fayolle@lri.fr

Research activities
   - Verification
   - Software Testing
   - Algorithms
   - Formal Methods for Software Engineering
   - Combinatory
   - Combinatorics on words

Publications







Software & Patents
   - sALLUSTe: Statistical Testing based on Lustre Descriptions



Contracts & Grants
   - Software Factory