Skip to content

David Déharbe

  • Docteur en Informatique
  • Software engineer and formal methods expert
  • ClearSy Systems Engineering
  • 9h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 246CitationsNumber of citations received by David's publications. Updated daily.

Research interests

B MethodSMTFormal verificationFormal methods

About

Professor at the Federal University of Rio Grande do Norte, where I have been working since 1997, my professional activities consist in lecturing undergraduate and graduate students, research in the area of formal methods, including formal verification, and miscellaneous administrative tasks. I am with the Department of Informatics and Applied Mathematics and the Graduate Program in Systems and Computing. I also head the Formal Methods and Languages Research Laboratory and participate in the National Institute of Science and Technology for Software Engineering.

Co-authors (55)

Publications (5)

  • Abstraction-driven verification of array programs

    • DEHARBE D
    • IMINE A
    • RANISE S
    N/AReaders
    N/ACitations
  • Consideracoes sobre Especificacao e Verificacao Formal de Sistemas Embarcados utilizando JML

    • Carro L
    • Deharbe D
    • Silva I
    • et al.
    N/AReaders
    N/ACitations
  • Verifying code generation tools for the B-method using tests: A case study

    • Moreira A
    • Hentz C
    • Déharbe D
    • et al.
    N/AReaders
    2Citations
    Get full text
  • Logic for Concurrency and Synchronisation

    • Déharbe D
    N/AReaders
    N/ACitations
  • HDL-based integration of formal methods and CAD tools in the PREVAIL environment

    • Borrione D
    • Bouamama H
    • Deharbe D
    • et al.
    N/AReaders
    0Citations
    Get full text

Professional experience

Software engineer and formal methods expert

ClearSy Systems Engineering

January 2016 - Present

Associate Professor (on leave)

UFRN - Universidade Federal do Rio Grande do Norte

March 1999 - Present

Visiting Professor

UFRN - Universidade Federal do Rio Grande do Norte

March 1998 - February 1999(a year)

Substitute Professor

UFRN - Universidade Federal do Rio Grande do Norte

March 1997 - February 1998(a year)

Visiting Researcher

Carnegie Mellon University

February 1995 - January 1997(2 years)

Education history

Doctoral Degree - Docteur en Informatique

Université Grenoble 1, (France)

October 1992 - November 1996(4 years)

Master's Degree - Diplôme d'Études Approfondies en Informatique

Grenoble INP - National Polytechnical Institute

September 1990 - July 1991(10 months)

Bachelor's Degree - Maîtrise en Sciences et Techniques - Expert en Systèmes Informatiques

Université Grenoble 1, (France)

February 1988 - July 1990(2 years)

Undergraduate Degree - Diplôme d'Études Universitaire Générales Sciences et Structures de la Matière

Université Nancy 1 - Université Henri Poincaré

September 1986 - June 1988(2 years)