Projets

Projets par an

1989 2023

• 10 Actif
• 56 Terminé

Projets par an

Résultats de recherche

• Actif

  CoTu: Erasmus+ICT: 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

• 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

• 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

• 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

• 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

• 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

• 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 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

• 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é

  UNII: Erasmus+ICT: 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

• 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

• 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