Photo of Pierre-Yves Schobbens

View Scopus Profile

Pierre-Yves Schobbens

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

  • Belgium

Accepting PhD Students

  • 2385 Citations
  • 23 h-Index
1986 …2021
If you made any changes in Pure these will be visible here soon.

Projects 1989 2021

Filter
Active
Active

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

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

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.

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.

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.

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