Research departments

Home > Research > AS2M > Presentation > directory

AS2M directory


Return to the list

Gérard Cece

Informatique

DISC
Group : VESONTIO

  • Tel. : 03.81.99.47.76
  • Email : gcece@femto-st.fr
  • Office : 03.81.99.47.05
  • Address : Pôle Universitaire de Montbéliard 25211 MONTBELIARD cedex

Depuis 1999, je suis maître de conférences en informatique à l'Université de Franche-Comté au département Réseaux & Télécommunications de l'IUT Belfort-Montbéliard.

Expériences

2002-2005 : Chef du département R&T (Réseaux & Télécommunications) de l'IUT Belfort-Montbéliard

1998-1999 : Postdoctorat à l'institut Montefiore de l'Université de Liège en Belgique

1998 : Doctorat d'Informatique de L'ENS Cachan au laboratoire LSV

You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

Publication list :

Category article
2008
  • Clôtures transitives de semi-commutations et model-checking régulier
    Technique et Science Informatiques (TSI) (Volume 27, Issue (1-2), 2008, Pages :7 - 28)
    Heam, Pierre-Cyrille | Cece, Gérard | Mainier, Yann
    doi | bibtex
  • Efficiency of Automata in Semi-Commutation Verification Techniques
    RAIRO - Theoretical Informatics and Applications (Volume 42, Issue (2), mar 2008, Pages :197--215)
    Heam, Pierre-Cyrille | Cece, Gérard | Mainier, Yann
    doi | bibtex
2005
  • Verification of programs with half-duplex communication
    Information and Computation (Volume 202, Issue (2), nov 2005, Pages :166 - 190)
    Cece, Gérard | Finkel, A.
    doi | bibtex
Category inproceedings
2011
  • Simulations over Two-Dimensional On-Line Tessellation Automata
    DLT 2011, Developments in Language Theory / Milan, Italy (Volume 6795, 2011, Pages pages 141--152)
    Cece, Gérard | Giorgetti, Alain
    doi | bibtex
2004
  • Clôtures transitives de semi-commutations et model-checking régulier
    Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04 / Besançon, France (2004, Pages pages 257--268)
    Cece, Gérard | Heam, Pierre-Cyrille | Mainier, Yann
    bibtex
2003
  • Automatic Approximation for the Verification of Cryptographic Protocols
    Int. Conf. on Formal Aspects of Security, FASec 2002 / London, United Kingdom (Publisher : Springer, Volume 2629, 2003, Pages pages 33--48)
    Oehl, F. | Cece, Gérard | Kouchnarenko, Olga | Sinclair, D.
    bibtex
Category techreport
2003
  • Efficiency of Automata in Semi-Commutation Verification Techniques
    INRIA (nov 2003, Research report, Number RR-5001)
    Cece, Gérard | Heam, Pierre-Cyrille | Mainier, Yann
    bibtex
2002
  • Automatic Approximation for the Verification of Cryptographic Protocols
    INRIA (oct 2002, Rapport de Recherche, Number RR-4599)
    Oehl, F. | Cece, Gérard | Kouchnarenko, Olga | Synclair, D.
    bibtex