Photo of Pierre-Yves Schobbens

View Scopus Profile

Pierre-Yves Schobbens

 https://orcid.org/0000-0001-8677-4485

  • Belgium

  • 2507 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

THCS: Testing Highly-configurable Systems

Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.

1/01/18 → 31/12/19

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

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

Castiaux, A., Van Gyseghem, J., Schobbens, P., Gebka, E. & Michel, A.

1/01/17 → 31/12/19

Project: Research

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

Schobbens, P.

21/03/16 → 20/03/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 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 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