drapeau_fr drapeau_en
Aurore Collomb (Annichini)

 
Adresse : INRIA-VASY
655 av. de l'Europe 
F- 38330 Montbonnot
FRANCE 
Email : Aurore.Collomb-at-inria.fr
Tel : +(33) 4 76 61 53 37

BARRE
[Position courante] [CV] [Recherche] [Enseignement] [Publications]
BARRE

GREENBALL Position Courante GREENBALL
(depuis septembre 2003)

Postdoc dans l'équipe VASY de l'INRIA Rhône-Alpes.

[haut]
BARRE

GREENBALL Curriculum Vitae GREENBALL
(mon cv en pdf)

REDBALL
   
 2002 - 2003 : Attaché Temporaire à l'Enseignement et à la Recherche à l' UPMF (University Grenoble II).
Research in the VASY team at INRIA Rhône-Alpes.
REDBALL 2001 - 2002 : Attaché Temporaire à l'Enseignement et à la Recherche à l'UPMF (université Grenoble II).
Recherche effectuée au laboratoire Verimag .
REDBALL 1998 - 2001 : Thèse en informatique à l'université Joseph Fourier, Grenoble I. Titre : "Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre". Thèse réalisée au laboratoire Verimag . (pour plus d'information, ici)
REDBALL 1997 - 1998 : "Diplôme d'Etudes Approfondies" (Master Thesis) en Informatique et Systemes de Communication de  l'IMAG. Titre: "Analyse symbolique de systèmes communicants par file d'attente". Projet réalisé au laboratoire  Verimag. 

[haut]
BARRE

GREENBALL Recherche GREENBALL

REDBALL Vérification de systèmes d'états infinis :
  TReX :Tool for Reachability Analysis of CompleX Systems :   un outil d'analyse d'atteignabilité pour des systèmes complexes. Un outil pour l'analyse de systèmes ayant une infinité de configurations atteignables, pour les calculer TReX utilise des semi-algorithmes génériques sur des représentations symboliques.
 
REDBALL Algèbres de processus temporisées
  Je m'intéresse aux algèbres de processus temporisées et notamment à E-LOTOS.

[haut]
BARRE

GREENBALL Enseignement GREENBALL

REDBALL Enseignements :

1998-2001  Expression fonctionnelle
Langages fonctionnels (Scheme, Caml).
Définition récursives : preuve par récurrence, analyse récurrente.
Introduction au type arbre.
1999-2001  Architecture Logicielle et Materielle
Initiation aux langages d'assemblage (SPARC).
Projet etudiant : un assembleur et un editeur de liens pour SPARC. 
2001-2003  Travailler avec un ordinateur
Utilisation générale d'un ordinateur,
Principe de l'organisation des documents,
Connaissance et utilisation des matériels et logiciels courants et leurs périphériques.
2001-2003 Sites Web Documentaires
Utilisation de Dreamweaver.
Conception de pages web, architecture...
2002-2003 Produit documentaire et service internet
Recherche web.
Utilisation de la messagerie.
Manipuler des favoris.
2003-2004 Temps-Réel
Problématique des systèmes temps-réel.
Systèmes asynchrones : automates communicants, réseaux de Petri, algèbres de processus, logique temporelle et vérification.
Systèmes avec contraintes temps-réel : automates temporisés, réseaux de Petri temporisés, algèbres de processus temporisées, techniques et outils de vérification symbolique.
2003-2004 Algorithmique
Notion de type.
Fonctions itératives et récursives.
Mnipulation de vecteurs, fichiers, listes, arbres.

REDBALL Divers :

             Evaluation des enseignements et des formations.

[haut]
BARRE

 GREENBALL Publications GREENBALL

REDBALL Using Forward Reachability Analysis for Verification of Lossy Channel Systems
P. Abdulla, A. Bouajjani, A. Collomb-Annichini, B. Jonsson,
à paraître dans le journal international : Formal Methods in System Design.
REDBALL Parametrized Reachability Analysis of the IEEE 1394 Root Contention Protocol Using TReX.
A. Collomb-Annichini, M. Sighireanu, RT-TOOLS'01,
Aalborg, Aout 2001. [ps]
REDBALL TReX : A Tool for Reachability Analysis of Complex Systems.
A. Annichini, A. Bouajjani, M. Sighireanu, CAV'01,
LNCS 2102, pp 368-372, Paris, Juillet 2001. [ps]
REDBALL Analysing Fair Parametric Extended Automata.
A. Bouajjani, A. Collomb-Annichini, Y. Lakhnech, M. Sighireanu, SAS'01,
LNCS 2126, pp 335-355, Paris, Juillet 2001. [ps]
REDBALL Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems.
A. Annichini, E. Asarin, A. Bouajjani, CAV'00,
LNCS 1855, pp 419-449, Chicago, Juillet 2000. [ps]
REDBALL Verification of Infinite State Systems by combining Abstraction and Reachability Analysis.
P. Abdulla, A. Annichini, S. Bensalem, A. Bouajjani, P. Habermehl, Y. Lakhnech, CAV'99,
LNCS 1633, pp 146-159, Trento, Juillet 1999.
REDBALL Symbolic Verification of Lossy Channel Systems : Application to the Bounded Retransmission Protocol.
P. Abdulla, A. Annichini, A. Bouajjani, TACAS'99,
LNCS 1579, pp 208-222, Amsterdam, Mars 1999. [ps]
REDBALL Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre.
A. Annichini Collomb, Thèse de l'Université Joseph Fourier, Grenoble I, France, Décembre 2001. 
[ps (french)]


[haut]

BARRE


MAIL Contacter Aurore Collomb pour plus de détails.

Back to Vasy Home Page