Photo de Pierre-Yves Schobbens

Voir le profil Scopus

Pierre-Yves Schobbens

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

  • Belgique

  • 2528 Citations
  • 23 h-Index
1986 …2023
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche 1986 2019

Filtre
Article
2019
95 Downloads (Pure)

Customizing Adversarial Machine Learning to test Deep Learning techniques

Temple, P., Perrouin, G., Frenay, B. & Schobbens, P-Y., 28 mai 2019.

Résultats de recherche: Contribution à un événement scientifique (non publié) › Article

Accès ouvert
File
2018
18 Downloads (Pure)

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 août 2018, p. 325-332. 8 p.

Résultats de recherche: Contribution à un événement scientifique (non publié) › Article

Accès ouvert
File
Taxonomies
Testing
Specifications
Costs
2013

Formalisation et Construction d’une Ontologie dans le Domaine des Infections Orthopédiques

De Nizza, D., Ortiz, J., Meurisse, H. & Schobbens, P. Y., 1 janv. 2013.

Résultats de recherche: Contribution à un événement scientifique (non publié) › Article

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., août 2013, p. 141 - 146. 6 p.

Résultats de recherche: Contribution à un événement scientifique (non publié) › Article

Model checking
Mathematical models
Formal verification