Skip to content

Pierre-Yves Schobbens

  • Professor
  • Professor
  • FUNDP, University of Namur
  • 21h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 1990CitationsNumber of citations received by Pierre-Yves's publications. Updated daily.

Research interests

program semanticsformal methodssoftware verificationsoftware specificationagent logicsreal-timemodel checkingTemporal logic

About

Born 29 April 1961.

Co-authors (86)

Publications (5)

  • Feature interaction in software product line engineering: A systematic mapping study

    • Soares L
    • Schobbens P
    • do Carmo Machado I
    • et al.
    N/AReaders
    0Citations
    Get full text
  • Model-based mutant equivalence detection using automata language equivalence and simulations

    • Devroey X
    • Perrouin G
    • Papadakis M
    • et al.
    N/AReaders
    0Citations
    Get full text
  • Formalization and construction of an ontology in the field of orthopedic infections

    • De Nizza D
    • Ortiz J
    • Meurisse H
    • et al.
    N/AReaders
    0Citations
  • On featured transition systems

    • Legay A
    • Perrouin G
    • Devroey X
    • et al.
    N/AReaders
    1Citations
    Get full text
  • LPG: A generic, logic and functional programming language

    • Bert D
    • Drabik P
    • Echahed R
    • et al.
    N/AReaders
    1Citations
    Get full text

Professional experience

Professor

FUNDP, University of Namur

September 1994 - Present

Chargé de Recherche

CNRS

September 1993 - September 1994(a year)

Chercheur

Faculté des Sciences Appliquées, Université catholique de Louvain

September 1984 - September 1994(10 years)

Education

Doctorat

Faculté des Sciences Appliquées, Université catholique de Louvain

May 1994 - Present

Ir. Applied Math

Faculté des Sciences Appliquées, Université catholique de Louvain

September 1984 - Present

Ir. Computer Science

Faculté des Sciences Appliquées, Université catholique de Louvain

September 1983 - Present

Bac.

Institut Supérieur de Philosophie, Université catholique de Louvain

September 1979 - September 1982(3 years)