PIERRE-YVES SCHOBBENS – Projets — Portail de la recherche de l'Université de Namur

Voir le profil Scopus

Belgique

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

7 Actif
60 Terminé

1 - 50 sur 67 résultats

Actif
Passage de la variabilité à l'échelle
SCHOBBENS, P. & Cordy, M.
1/01/21 → 31/12/24
Projet: Recherche
CoTu: Erasmus+ICM: 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
Projet: Recherche
THCS: Testing Highly-configurable Systems
PERROUIN, G., SCHOBBENS, P., Amrani, M., Ortiz Vega, J. J. & HEYMANS, P.
1/01/18 → 31/12/22
Projet: Recherche
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/22
Projet: Recherche
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & SCHOBBENS, P.
1/09/17 → 31/08/23
Projet: Projet de thèse
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
SCHOBBENS, P.
1/11/15 → 31/10/22
Projet: Recherche
CFV: Centre Fédéré en Vérification de Logiciel
SCHOBBENS, P., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Projet: Recherche
Terminé

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/20
Projet: Recherche
UNII: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
SCHOBBENS, P. & Lambiotte, R.
1/06/16 → 31/07/18
Projet: Recherche
EUTYPES: The European research network on types for programming and verification
SCHOBBENS, P.
21/03/16 → 20/03/20
Projet: Recherche
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
Projet: Recherche
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
Projet: Recherche
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
Projet: Recherche
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
SCHOBBENS, P., HEYMANS, P. & Amrani, M.
21/11/14 → 24/11/18
Projet: Recherche
MoCReTT: Model-Checking Real-Time Transformations
Amrani, M. & SCHOBBENS, P.
1/10/14 → 30/09/16
Projet: Recherche
WebDeb: Création d'une application pédagogique open source de cartographie des débats et de sa plateforme générique
SCHOBBENS, P., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.
1/09/14 → 31/01/18
Projet: Recherche
SEMIA: Architecture pour l'imagerie médicale augmentée sémantiquement
SCHOBBENS, P., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Projet: Recherche
IFLEC : Informatisation du flux des études cliniques
SCHOBBENS, P. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
Projet: Recherche
MIRROR: MedIcal Resource Real Time Optimizer
Lucas, S., SCHOBBENS, P., Cleve, A., Lobet-Maris, C., HAINAUT, J., HEYMANS, P. & DE NIZZA, D.
1/01/12 → 31/12/15
Projet: Recherche
Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.
CORDY, M., HEYMANS, P. & SCHOBBENS, P.
1/10/11 → 30/09/15
Projet: Projet de thèse
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., HEYMANS, P., SCHOBBENS, P. & PERROUIN, G.
1/09/11 → 30/08/17
Projet: Projet de thèse
VEREV: Vérification de logiciel récursif, évolutif, et temps-réel
SCHOBBENS, P. & KANG, E.
1/02/11 → 31/01/12
Projet: Recherche
TPA: Théorie et Pratique des Automates et des Logiques
SCHOBBENS, P., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Projet: Recherche
VLPL: Vérification de Lignes de Produits Logiciels
HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Projet: Recherche
ORTHOGEN: Système d'information intégré pour la traçabilité et la gestion multi-paramètres des infections orthopédiques.
SCHOBBENS, P., Ortiz Vega, J. J. & DE NIZZA, D.
1/01/10 → 30/06/13
Projet: Recherche
GASICS: Analyse et Synthèse de Systèmes d'Information Interactifs grâce à la Théorie des Jeux (Théorie de la Décision)
SCHOBBENS, P. & Legay, A.
1/10/08 → 1/10/11
Projet: Recherche
Re2adapt: Réseau de recherche sur l'adaptabilité du logiciel
HEYMANS, P., BOUCHER, Q., Classen, A., HUBAUX, A. & SCHOBBENS, P.
1/06/08 → 1/06/12
Projet: Recherche
Quasimodo: Propriétés quantitatives pour la conception orientée modèle de systèmes embarqués
SCHOBBENS, P.
1/01/08 → 31/12/10
Projet: Recherche
LogiCCC: Modèles Logiques de l'Interaction Intelligente
SCHOBBENS, P.
9/12/07 → 31/12/11
Projet: Recherche
Th-HTO: Modèle et vérification formels des politiques de contrôle d'accès
SCHOBBENS, P. & TOUSSAINT, H.
20/11/07 → 1/10/11
Projet: Projet de thèse
Thèse-A-Classen: Modélisation et vérification de lignes de produits logiciel
Classen, A., HEYMANS, P. & SCHOBBENS, P.
1/10/07 → 1/10/11
Projet: Projet de thèse
Thesis-A-Hubaux: Séparation des préoccupations dans les modèles de variabilité
HEYMANS, P., HUBAUX, A. & SCHOBBENS, P.
1/09/07 → 31/12/11
Projet: Projet de thèse
Vigile: Visualisation Intégrée de Grandes Images médicales et création des Liens de façon Extensible
Madani, H., PEETERS, C. & SCHOBBENS, P.
1/09/07 → 1/09/10
Projet: Recherche
IRIS: Integration of Research in Information Systems
ENGLEBERT, V., Habra, N., HAINAUT, J., HEYMANS, P., Petit, M. & SCHOBBENS, P.
1/03/07 → 31/12/11
Projet: Recherche
MoVES: Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
SCHOBBENS, P., BAINA, S., Bontemps, Y., BROGNEAUX, A., Classen, A., Cleve, A., DETIENNE, V., ENGLEBERT, V., FAULKNER, S., GENON, N., Habra, N., HAINAUT, J., HEYMANS, P., HUBAUX, A., JURETA, I., MATULEVICIUS, R., Mayer, N., OGER, L., Petit, M., RAMDOYAL, R., SANDRON, S., SAVAL, G., TOUSSAINT, H., Trigaux, J., Vanderose, B. & Zeippen, J.
1/01/07 → 31/12/11
Projet: Recherche
CadProfSant: Cadastre des professions de la santé
SCHOBBENS, P., DUMONT, V., LETOCART, V., MEURISSE, J. & SAVAL, G.
27/07/04 → 31/05/05
Projet: Recherche
Artist: Réseau d'Excellence sur la conception de systèmes embarqués
SCHOBBENS, P. & Bontemps, Y.
1/07/04 → 1/07/07
Projet: Recherche
Interop: Réseau d'Excellence en Interopérabilité de Systèmes d'Information pour Entreprises en Réseaux (InterOP)
SCHOBBENS, P., DALLONS, G., HEYMANS, P., Petit, M., POLLET, I. & VERMAUT, F.
1/12/03 → 1/05/07
Projet: Recherche
Thèse-JC-Trigaux: Evaluation et Formalisation de Langages de Modélisation de "Features"
HEYMANS, P., SCHOBBENS, P. & Trigaux, J.
30/09/03 → 27/12/07
Projet: Projet de thèse
PUR-PostDoc: Ingénierie de services orientée agents
SCHOBBENS, P.
1/09/03 → 1/09/04
Projet: Recherche
PLENTY: Ingénierie de lignes de produits pour logiciels de traçabilité alimentaire
HEYMANS, P., SCHOBBENS, P. & Trigaux, J.
1/03/03 → 28/02/07
Projet: Recherche
MODIVOC: Systèmes MObiles et DIstribués à interface VOCale
Habra, N., ENGLEBERT, V., Mayala Lusilabo mfumua'Nsi, F. & SCHOBBENS, P.
6/03/02 → 30/06/04
Projet: Recherche
UEML: Langage Unifié de Modélisation d'Entreprise
SCHOBBENS, P. & Petit, M.
1/03/02 → 30/05/03
Projet: Recherche
SIICA: Système Intégré d'Information et de Communication pour le Contrôle Aérien
SCHOBBENS, P.
15/12/01 → 31/12/03
Projet: Recherche
DISSCO: Système intégré de gestion de documents pour les organisations scientifiques
SCHOBBENS, P., DE VOS, A., HEYMANS, P., Lobet-Maris, C. & Petit, M.
1/12/01 → 31/10/02
Projet: Recherche
YBO: Relation entre spécification inter-agent et intra-agent
SCHOBBENS, P. & Bontemps, Y.
1/10/01 → 30/05/05
Projet: Projet de thèse
ARTHUR: ARchitecture de Télécommunication Hospitalière pour les services d'URgence
Deville, G., Lobet-Maris, C., Poullet, Y., SCHOBBENS, P., DEPLANQUE, L., DUMONT, V., Herveg, J., Petit, M. & Rousseau, A.
1/10/00 → 1/10/03
Projet: Recherche
BAAR: Extension de méthodes formelles en ingénierie des besoins pour la gestion de risques
SCHOBBENS, P.
1/11/99 → 31/10/03
Projet: Recherche
AgentLink: Informatique orientée agents
SCHOBBENS, P. & Petit, M.
1/08/98 → 1/07/03
Projet: Recherche
LCL: Parcours d'expression/interprétation
SCHOBBENS, P.
20/12/97 → 20/12/02
Projet: Projet de thèse

Votre message a bien été envoyé.

Votre message n’a pas été envoyé en raison d’une erreur.