Projets par an
- 1 - 50 sur 69 résultats
Résultats de recherche
-
CYBEREXCELLENCE: Le projet d’excellence de la cyber sécurité dans le cadre du plan de la Région Wallonne (CyberWal)
Colin, J., Schobbens, P. Y., Dejaeghere, J., Devroey, X., Nguyen, G., Rochet, F., Schumacher, L., Knockaert, M., Jacquet, J., Linden, I., Elkoulak, H., Poeng, K., Ouardi, D., Goffaux, L. & Barkallah, M.
1/01/22 → 31/12/27
Projet: Recherche
-
SmartTune - Optimisation robuste et durable des hyperparamètres pour le Deep Learning
Gratia, A., Perrouin, G., Schobbens, P. Y., Temple, P., Tuci, E. & Acher, M.
1/07/21 → 28/06/25
Projet: Projet de thèse
-
Passage de la variabilité à l'échelle
Schobbens, P. Y. & Cordy, M.
1/01/21 → 31/12/24
Projet: Recherche
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & Schobbens, P. Y.
1/09/17 → 31/08/23
Projet: Projet de thèse
-
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P. Y., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Projet: Recherche
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frénay, B., Schobbens, P. Y., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/22
Projet: Recherche
-
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
1/11/15 → 31/10/22
Projet: Recherche
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
Projet: Recherche
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., 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. Y., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.
1/09/14 → 31/01/18
Projet: Recherche
-
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., Schobbens, P. Y. & Perrouin, G.
1/09/11 → 30/08/17
Projet: Projet de thèse
-
-
MIRROR: MedIcal Resource Real Time Optimizer
Lucas, S., Schobbens, P. Y., Cleve, A., Lobet-Maris, C., Hainaut, J., Heymans, P. & DE NIZZA, D.
1/01/12 → 31/12/15
Projet: Recherche
-
SEMIA: Architecture pour l'imagerie médicale augmentée sémantiquement
Schobbens, P. Y., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 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. Y.
1/10/11 → 30/09/15
Projet: Projet de thèse
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
Projet: Recherche
-
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P. Y., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
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. Y., Ortiz Vega, J. J. & DE NIZZA, D.
1/01/10 → 30/06/13
Projet: Recherche
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Projet: Recherche
-
Re2adapt: Réseau de recherche sur l'adaptabilité du logiciel
Heymans, P., BOUCHER, Q., Classen, A., HUBAUX, A. & Schobbens, P. Y.
1/06/08 → 1/06/12
Projet: Recherche
-
VEREV: Vérification de logiciel récursif, évolutif, et temps-réel
1/02/11 → 31/01/12
Projet: Recherche
-
IRIS: Integration of Research in Information Systems
Englebert, V., Habra, N., Hainaut, J., Heymans, P., Petit, M. & Schobbens, P. Y.
1/03/07 → 31/12/11
Projet: Recherche
-
Thesis-A-Hubaux: Séparation des préoccupations dans les modèles de variabilité
Heymans, P., HUBAUX, A. & Schobbens, P. Y.
1/09/07 → 31/12/11
Projet: Projet de thèse
-
-
MoVES: Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
Schobbens, P. Y., 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
-
Thèse-A-Classen: Modélisation et vérification de lignes de produits logiciel
Classen, A., Heymans, P. & Schobbens, P. Y.
1/10/07 → 1/10/11
Projet: Projet de thèse
-
Th-HTO: Modèle et vérification formels des politiques de contrôle d'accès
Schobbens, P. Y. & Toussaint, H.
20/11/07 → 1/10/11
Projet: Projet de thèse
-
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. Y. & Legay, A.
1/10/08 → 1/10/11
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
-
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. Y.
1/09/07 → 1/09/10
Projet: Recherche
-
Thèse-JC-Trigaux: Evaluation et Formalisation de Langages de Modélisation de "Features"
Heymans, P., Schobbens, P. Y. & Trigaux, J.
30/09/03 → 27/12/07
Projet: Projet de thèse
-
Artist: Réseau d'Excellence sur la conception de systèmes embarqués
Schobbens, P. Y. & 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. Y., DALLONS, G., Heymans, P., Petit, M., POLLET, I. & VERMAUT, F.
1/12/03 → 1/05/07
Projet: Recherche
-
PLENTY: Ingénierie de lignes de produits pour logiciels de traçabilité alimentaire
Heymans, P., Schobbens, P. Y. & Trigaux, J.
1/03/03 → 28/02/07
Projet: Recherche
-
CadProfSant: Cadastre des professions de la santé
Schobbens, P. Y., DUMONT, V., LETOCART, V., Meurisse, J. & SAVAL, G.
27/07/04 → 31/05/05
Projet: Recherche
-
YBO: Relation entre spécification inter-agent et intra-agent
Schobbens, P. Y. & Bontemps, Y.
1/10/01 → 30/05/05
Projet: Projet de thèse
-
-
MODIVOC: Systèmes MObiles et DIstribués à interface VOCale
Habra, N., Englebert, V., Mayala Lusilabo mfumua'Nsi, F. & Schobbens, P. Y.
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
-
BAAR: Extension de méthodes formelles en ingénierie des besoins pour la gestion de risques
1/11/99 → 31/10/03
Projet: Recherche
-
ARTHUR: ARchitecture de Télécommunication Hospitalière pour les services d'URgence
Deville, G., Lobet-Maris, C., Poullet, Y., Schobbens, P. Y., DEPLANQUE, L., DUMONT, V., Herveg, J., Petit, M. & Rousseau, A.
1/10/00 → 1/10/03
Projet: Recherche
-
-
-