Projets par année
Projets 1989 2023
Actif
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
Projet: Recherche
Thesis-JRO: 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
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
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é
THCS: Testing Highly-configurable Systems
PERROUIN, G., SCHOBBENS, P., AMRANI, M., ORTIZ VEGA, J. J. & HEYMANS, P.
1/01/18 → 31/12/19
Projet: Recherche
UNII: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
1/06/16 → 31/07/18
Projet: Recherche
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
1/11/15 → 31/10/17
Projet: Recherche
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
SCHOBBENS, P., HEYMANS, P. & AMRANI, M.
21/11/14 → 24/11/18
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
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
GASICS: Analyse et Synthèse de Systèmes d'Information Interactifs grâce à la Théorie des Jeux (Théorie de la Décision)
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
1/01/08 → 31/12/10
Projet: Recherche
Th-HTO: Modèle et vérification formels des politiques de contrôle d'accès
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
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
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
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
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
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
SIICA: Système Intégré d'Information et de Communication pour le Contrôle Aérien
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
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
1/11/99 → 31/10/03
Projet: Recherche
RENOIR: Réseau de recherche international en ingénierie des exigences
SCHOBBENS, P., HEYMANS, P. & Petit, M.
1/06/97 → 31/05/00
Projet: Recherche