drapeau_fr drapeau_en
Aurore Collomb (Annichini)

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

BARRE

[ CV ]  [ Research ]  [ Teaching ]  [ Publications ]
BARRE

GREENBALL Current Position GREENBALL
(since September 2003)

Postdoc in the VASY team at INRIA Rhône-Alpes.

BARRE
GREENBALL Curriculum Vitae GREENBALL
(my cv in pdf format, in french)

REDBALL
   
 2002 - 2003: ATER position in  UPMF (University Grenoble II).
Research in the VASY team at INRIA Rhône-Alpes.
REDBALL
   
 2001 - 2002: ATER position in  UPMF (University Grenoble II).
Research in the Verimag laboratory.
REDBALL 1998 - 2001: Phd Thesis in Computer Science from IMAG. Title : "Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre". Thesis project carried out at the Verimag laboratory. (For more information click here).
 
REDBALL 1997 - 1998: "Diplôme d'Etudes Approfondies" (Master Thesis) in Computer Science from IMAG. Title: "Analyse symbolique de systèmes communicants par file d'attente". Master thesis project carried out at the Verimag laboratory.

[top]
BARRE

GREENBALL Research interests GREENBALL

REDBALL Infinite state system verification: 

TReX  : a Tool for Reachability Analysis of CompleX Systems : a tool for the analysis of systems having infinitely many configurations by using generic reachability semi-algorithms on symbolic representation of configurations. 
 

REDBALL

Timed Process Algebra: 

I am interested in timed process algebra, in particular E-LOTOS.


[ top ]
BARRE

GREENBALL Teaching GREENBALL

(for more details see my web page in french.)

REDBALL 1998-1999: Initiation to computer science, functional languages (Scheme). 
REDBALL 1999-2001: Initiation to assembler languages (SPARC). Programming student project: an assembler and linker for SPARC. 
REDBALL 1999-2001: Initiation to computer science, functionnal languages (Caml).
REDBALL 2001-2003: Working with a computer (initiation to Windows), making a web site (Dreamweaver).
REDBALL 2003-2004: Courses on Real-Time Systems Verification.
REDBALL 2003-2004: Initiation to algorithmic.


[ top ]
BARRE

GREENBALL Publications GREENBALL

REDBALL Using Forward Reachability Analysis for Verification of Lossy Channel Systems
P. Abdulla, A. Bouajjani, A. Collomb-Annichini, B. Jonsson, to appear in Int. Journal on 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, August 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, July 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, July 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, July 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, July 1999. [ps]
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, March 1999. [ps]
REDBALL Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre.
A. Annichini Collomb, Phd Thesis in Joseph Fourier University, Grenoble I, France, December 2001. 
[ps (french)]

[ top ]
BARRE

MAIL Please contact Aurore Collomb for more details.

Back to Vasy Home Page