Photo of PIERRE-YVES SCHOBBENS

View Scopus Profile

PIERRE-YVES SCHOBBENS

 https://orcid.org/0000-0001-8677-4485
  • 2569 Citations
  • 23 h-Index
1986 …2023
If you made any changes in Pure these will be visible here soon.

Projects 1989 2023

Filter
Active
Active

CoTu: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

SCHOBBENS, P., AMRANI, M. & ORTIZ VEGA, J. J.

1/08/19 → 31/07/22

Project: Research

VeriLearn: Verifying Learning Artificial Intelligence Systems

HEYMANS, P., FRENAY, B., SCHOBBENS, P., TEMPLE, P., Nanfack, G., AMRANI, M. & BIBAL, A.

1/01/18 → 31/12/21

Project: Research

Thesis-JRO: Formal Methods for the Verification of Distributed Timed Systems

ORTIZ VEGA, J. J. & SCHOBBENS, P.

1/09/17 → 31/08/23

Project: PHD

EUTYPES: The European research network on types for programming and verification

SCHOBBENS, P.

21/03/16 → 20/03/20

Project: Research

wal-e-cities LIV: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

SCHOBBENS, P., Dumas, B., Michel, A. & CLARINVAL, A.

1/03/16 → 31/12/20

Project: Research

wal-e-cities GOV: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

SCHOBBENS, P., Van Gyseghem, J., Michel, A. & Gillard, N.

1/03/16 → 31/12/20

Project: Research

wal-e-cities MOB: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

SCHOBBENS, P., Dumas, B., Michel, A. & CLARINVAL, A.

1/03/16 → 31/12/20

Project: Research

CFV: Federated Centre for Software Verification

SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.

1/10/99 → …

Project: Research