Faculte d'informatique

Projets

Projets par an 1988 2026

• 2 Restreint
• 16 Pas commencé
• 77 Actif
• 463 Terminé

Projets par an

Résultats de recherche

• INTERPOL: Etude sur la protection des données et ses mécanismes d'application au sein d'INTERPOL

  DE VILLENFAGNE DE VOGELSANCK, F. & GAYREL, C.

  1/12/10 → 13/05/11

  Projet: Recherche

  • Data Protection 100%
  • Enforcement 68%
  • Personal Data 48%
  • Functioning 30%
  • Information Systems 26%

• Thesis-B-Vanderose: MoCQA :A framework for quality-oriented model-driven engineering

  Habra, N. & Vanderose, B.

  1/09/05 → 31/05/11

  Projet: Projet de thèse

  • Software design 100%

• Thesis-E-Abbasi: Operational Semantics of Multi-Level Staged Configuration

  Abbasi, E. K. & HEYMANS, P.

  1/06/09 → 31/05/11

  Projet: Projet de thèse

• RW-Walibi: Collecte de Données Physiologiques par Réseaux Corporels Sans Fil

  Herveg, J. & SCHUMACHER, L.

  1/09/07 → 31/05/11

  Projet: Recherche

  • Monitoring 100%
  • Refractory materials 97%
  • Electroencephalography 85%
  • Telecommunication links 81%
  • Demonstrations 72%

• ETICA: Ethical Issues of Emerging ICT Applications

  Goujon, P.

  1/04/09 → 1/06/11

  Projet: Recherche

  • funding 100%
  • private enterprise 42%
  • credibility 29%
  • corporate social responsibility 28%
  • innovation 26%

• DB Quality: Evaluation de la qualité des schémas de bases de données et des applications de bases de données

  HAINAUT, J. & LEMAITRE, J.

  19/11/07 → 31/08/11

  Projet: Projet de thèse

  • Industry 100%

• Software Adaptability

  HEYMANS, P.

  1/09/09 → 31/08/11

  Projet: Recherche

• GISELE: Gestion d'Itinéraires de Soins guidée par modELE

  HAINAUT, J. & Cleve, A.

  1/09/07 → 31/08/11

  Projet: Recherche

  • Health care 100%
  • Semantics 67%

• Thèse-G-Saval: Sélection de Systèmes de Gestion de Conférences

  HEYMANS, P. & SAVAL, G.

  1/09/06 → 31/08/11

  Projet: Projet de thèse

  • Reusability 100%
  • Software engineering 71%
  • Requirements engineering 51%
  • Life cycle 38%

• Formal Issues in Modelling and Automated Checking of Software Product Lines

  HEYMANS, P.

  1/09/10 → 31/08/11

  Projet: Recherche

• S@T: SAT : Centre de Compétences pour l'industrie Aéronautique (Plan Marshall) : Aspects liés à la Certification

  Habra, N., HEYMANS, P. & PEETERS, C.

  1/09/09 → 31/08/11

  Projet: Recherche

• ICT tools for knowledge management and innovation

  CASTIAUX, A., Hermans, J. & Klein, A.

  10/03/03 → 31/08/11

  Projet: Recherche

  • Wikis 100%
  • Knowledge Management 93%
  • Blogs 76%
  • Virtual Community 75%
  • Management of Innovation 74%

• Knowledge transfer and interactive learning between universities and firms through collaborative research projects

  CASTIAUX, A. & Hermans, J.

  1/10/04 → 31/08/11

  Projet: Projet de thèse

  • Transfer Learning 100%
  • Interactive Learning 93%
  • Collaborative Research 81%
  • Knowledge Flow 71%
  • Private Firms 67%

• Acquisition de spécifications à partir de l'analyse d'interfaces Homme-Machine

  FRAITURE, M., HAINAUT, J. & RAMDOYAL, R.

  24/11/04 → 1/09/11

  Projet: Projet de thèse

  • Human-computer Interface 100%
  • Reverse Engineering 43%
  • User Interface 37%
  • Data Base 27%

• FSR-Ker: Propriété intellectuelle, droit à l'alimentation et biodiversité

  De Terwangne, C., DUSOLLIER, S. & KER, C.

  1/09/09 → 1/09/11

  Projet: Recherche

  • food 100%
  • Intellectual Property Rights 79%
  • intellectual property 73%
  • resources 31%

• TELECOM: Skywin : Modèle et outils pour la création d'un Centre de Certification logicielle pour l'industrie Aéronautique (Plan Marshall)

  Habra, N. & Trigaux, J.

  1/06/07 → 30/09/11

  Projet: Recherche

  • Aeronautics 100%
  • Certification 45%
  • Quality Certification 34%
  • Competitiveness 32%
  • Telecom 25%

• CIGER: Évaluation de la faisabilité d'une numérisation géolocalisée de l'Atlas de Voiries Vicinales - Identification des enjeux techniques et juridiques sur base d'un cas d'étude de terrain.

  DENDONCKER, N., Van Gyseghem, J., DAIX, N. & FONTAINE, C.

  1/05/11 → 30/09/11

  Projet: Recherche

• Problem-driven Specification and Verification of Software Product Lines

  Classen, A. & HEYMANS, P.

  1/10/07 → 30/09/11

  Projet: Recherche

• 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

  • Transition Systems 100%
  • Model checking 86%
  • Quality assurance 57%
  • Verification and Validation 27%
  • Explosions 25%

• Thesis-B-Vanderose: MoCQA Un cadre générique, basé sur la méta-modélisation pour l'évaluation de la qualité.

  Vanderose, B.

  1/10/05 → 1/10/11

  Projet: Projet de thèse

  • Software design 100%

• 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

• 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

  • Access control 100%

• UNHCR: Règlement de protection des données à caractère personnel

  Van Gyseghem, J.

  18/03/11 → 18/10/11

  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

• PHD-AHE: Définition d'une méthodologie pour la modélisation de l'alignement stratégique Business/IT

  HENI, A. & Petit, M.

  1/10/08 → 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

  • Information systems 100%
  • Knowledge engineering 77%
  • Modeling languages 68%
  • Terminology 67%
  • Automation 46%

• 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

  • Model checking 100%
  • Software engineering 76%
  • Quality assurance 66%
  • Mathematical models 21%
  • Chemical analysis 20%

• VEREV: Vérification de logiciel récursif, évolutif, et temps-réel

  SCHOBBENS, P. & KANG, E.

  1/02/11 → 31/01/12

  Projet: Recherche

  • Formal Verification 100%
  • Formal Analysis 94%
  • Architecture 37%
  • Requirements 27%
  • Timing 27%

• PoC TIMESTAT: Proof of Concept du projet "TIMESTAT, Développement et exploitation de bases de données statistiques évolutives

  BROGNEAUX, A.

  1/09/10 → 29/02/12

  Projet: Recherche

  • cadre 100%
  • exploitation 39%

• Personnalisation et validation des données utilisateurs dans les applications de commerce électronique

  THIRAN, P.

  1/01/09 → 3/04/12

  Projet: Recherche

• Delhaize: Data Protection Programme

  DUSOLLIER, S., Lobet-Maris, C. & VAN WINCKEL, M.

  1/09/11 → 30/04/12

  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

• Phd Ricken: Method for SOA implementation and underlying models of abstraction

  Petit, M. & Ricken, J.

  15/07/08 → 15/07/12

  Projet: Projet de thèse

• THESE-Kabré: La conclusion et la preuve des contrats par voie électronique

  KABRE, W. & Montero Redondo, E.

  1/09/07 → 30/08/12

  Projet: Projet de thèse

  • Electronic commerce 100%

• SecureProcMetrics: Security Certification of Processes

  HEYMANS, P. & Mangin, O.

  1/09/09 → 31/08/12

  Projet: Recherche

• Gestion des droits digitaux appliqués aux données confidentielles nomades

  COLIN, J. & RATH, T. M. A.

  1/09/10 → 31/08/12

  Projet: Projet de thèse

  • Information systems 100%
  • Information Systems 90%
  • Access control 77%
  • Privacy 74%
  • Enforcement 59%

• RW-SEE: SEE "Système d'échange électronique sur base de l'eID"

  De Terwangne, C., Jacquemin, H. & DOS SANTOS, C.

  1/09/09 → 31/08/12

  Projet: Recherche

  • Data privacy 100%
  • Authentication 27%

• THESE-Herveg: L'auto-détermination informationnelle du patient

  Poullet, Y. & Herveg, J.

  6/02/04 → 1/09/12

  Projet: Projet de thèse

  • Information and Communication Technology 100%
  • Self-determination 96%
  • Nature 58%
  • Healthcare 48%

• THESE-Marchetti: Les immunités de responsabilité civile

  Montero Redondo, E. & MARCHETTI, R.

  1/10/06 → 30/09/12

  Projet: Projet de thèse

  • Liability 99%
  • General Theory 16%
  • Privilege 13%
  • Wishes 11%
  • Person 8%

• Variability in Base Models: Annotative vs. Compositional Approaches

  HEYMANS, P. & ACHER, M.

  1/10/11 → 30/09/12

  Projet: Recherche

• CE-LAPSI: Réseau thématique européen LAPSI (Legal Aspects of Public Sector Information)

  DOS SANTOS, C., COLIN, C., De Terwangne, C., DUSOLLIER, S. & IGLESIAS PORTELA, M. J.

  22/03/10 → 30/09/12

  Projet: Recherche

  • public sector 100%
  • European Community 58%

• ARC 08/13-011: Transformation du rapport à l'information en communication multimédia

  Lobet-Maris, C., ROSAS MORALES, O., SIMONSON, M., Van Enis, Q. & Grevisse, B.

  1/01/08 → 1/10/12

  Projet: Recherche

• CE-Practis: PRACTIS - Protection de la vie privée - Relever le défi posé par les technologies émergentes

  DUSOLLIER, S., Lobet-Maris, C., COLIN, C., VAN ESPEN, A. & Grandjean, N.

  1/01/10 → 31/12/12

  Projet: Recherche

  • legal rights 100%
  • legal system 84%
  • ethics 68%
  • project 60%

• Qualité de la documentation en génie logiciel : Un modèle d'évaluation

  Habra, N. & KAMSEU, F.

  1/10/09 → 31/12/12

  Projet: Recherche

  • Software engineering 100%
  • Experiments 44%

• 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

  • Model checking 100%
  • Formal Verification 43%
  • Formal Analysis 41%
  • Adaptive systems 33%
  • Quality assurance 21%

• NAPLES - SPW: New Agile Platform for a Lifelong Engineering of Software.

  HEYMANS, P., BOUCHER, Q. & PERROUIN, G.

  1/03/10 → 28/02/13

  Projet: Recherche

• THESE-Degrave: L'e-gouvernement et la protection de la vie privée. Légalité, transparence et contrôle.

  Poullet, Y. & Degrave, E.

  15/10/07 → 17/05/13

  Projet: Projet de thèse

• 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

  • radiology 100%
  • tomography 88%
  • information systems 85%
  • infection 72%
  • genetic analysis 61%

• Phd Feltus: Elaboration and Implementation of a Responsibility Meta-Model to Improve the Alignment of Access Right Management with Governance Needs

  Petit, M. & FELTUS, C.

  15/07/08 → 15/07/13

  Projet: Projet de thèse

• GreenNess: Software Engineering for Sustainable Development

  HEYMANS, P. & MAHAUX, M.

  1/09/08 → 31/08/13

  Projet: Recherche