Projects per year
- 200 - 250 out of 510 results
Search results
-
-
FEDER-IDEES-Fondations technologiques: Fondations technologiques
Colin, J., Cleve, A., Vanderose, B., Habra, N. & Lambiotte, R.
1/01/15 → 31/12/20
Project: Research
-
THESE-Jacquemin: Formalism to Contract Parties in a Weak Position
Montero Redondo, E. & Jacquemin, H.
1/10/03 → 28/04/09
Project: PHD
-
Formal Issues in Modelling and Automated Checking of Software Product Lines
1/09/10 → 31/08/11
Project: Research
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & Schobbens, P. Y.
1/09/17 → 31/08/23
Project: PHD
-
Th-HTO: Formal Modelling and Verification of Access Control Policies
Schobbens, P. Y. & Toussaint, H.
20/11/07 → 1/10/11
Project: PHD
-
MPE: Formal Requirements Engineering of Manufacturing Systems: A Multi-Formalism and Component-Based Approach
1/10/92 → 27/10/99
Project: PHD
-
FORMATIC: FORMATIC - Development of a Web entry point for certified documentation and formation in IS
Lobet-Maris, C., Massart, A. & VANDENBROUCKE, A.
1/07/04 → 31/05/06
Project: Research
-
THESE-Kabré: Formation and proof of contracts by electronic means
KABRE, W. & Montero Redondo, E.
1/09/07 → 30/08/12
Project: PHD
-
Framework for the Elaboration and the Validation of Software Measurement
Habra, N. & DALLONS, G.
21/12/04 → 31/12/06
Project: Research
-
MoVES: Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software
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
Project: Research
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Schobbens, P. Y. & Legay, A.
1/10/08 → 1/10/11
Project: Research
-
Thesis-Q-Boucher: Generating Domain-Specific Configuration GUIs from Feature Models
BOUCHER, Q. & Heymans, P.
12/03/10 → 26/09/14
Project: PHD
File -
Génération de données de test basée sur les contraintes pour des programmes orientés base de données.
1/10/10 → 30/09/14
Project: Research
-
-
Responsability: Global Model and Observatory for International Responsible Research and Innovation Coordination
1/02/13 → 1/02/16
Project: Research
-
GREAT: Governance for Responsible innovATion
Goujon, P., Gilbert Geoffrey, N. & Pyka, A.
1/02/13 → 1/03/16
Project: Research
-
-
-
-
InterDB: Heterogeneous and Distributed Systems Integration
Hainaut, J., HICK, J. & Thiran, P.
30/09/95 → 31/08/02
Project: Research
-
RW-Recommandé: How to replace the formal requirement of a registered mail in the Walloon administrative process
Montero Redondo, E. & COPPENS, F.
1/10/08 → 31/03/09
Project: Research
-
HECTOR: Hybrid Electronic Curation, Transformation & Organization of Records
De Terwangne, C., Delforge, A. & VANRECK, O.
1/12/13 → 31/08/18
Project: Research
-
-
ICT tools for knowledge management and innovation
Castiaux, A., Hermans, J. & Klein, A.
10/03/03 → 31/08/11
Project: Research
-
pilotes industriels: IDEES: m-Health
Lobet-Maris, C., PAGACZ, P., Van Gyseghem, J. & Forget, C.
1/10/16 → 31/12/19
Project: Research
-
CE-Egov: Identification of legal, regulatory and organisational barriers to e-government provision
De Terwangne, C., Poullet, Y., DE ROY, D., DE VILLENFAGNE DE VOGELSANCK, F., DOS SANTOS, C. & VEREECKEN, I.
1/02/05 → 24/12/07
Project: Research
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
Project: Research
-
Implementation of organisational changes in the Division Nature et Forêts
Lobet-Maris, C., DE VOS, A. & DIENG, D.
1/12/00 → 1/12/01
Project: Research
-
DNF-plan action: Implementation of the action board whithin the nature and forest department
Lobet-Maris, C. & MARSIGNY, C.
1/01/03 → 31/12/03
Project: Research
-
SPFECO-Transposition: Implementation of the Electronic Commerce Directive into Belgian Law
Montero Redondo, E., Cruquenaire, A., DEMOULIN, M., LAZARO, C. & Leroux, O.
1/09/00 → 30/09/01
Project: Research
-
COE-Cloud Computing: Implications of cloud computing on data protection
Poullet, Y., GAYREL, C., Gerard, J., MOINY, J. & Van Gyseghem, J.
1/12/09 → 28/02/11
Project: Research
-
INSTINCT: Improving Database Interactions in NoSQL Applications
Cleve, A. & Lanza, M.
1/01/20 → 31/12/23
Project: Research
-
Thesis-M-Mahaux: Improvisational Theater for Software Requirements Engineering
1/12/09 → 30/11/13
Project: PHD
-
MINECO: Incentives policy for ICT use by SMEs
Lobet-Maris, C. & MARSIGNY, C.
1/11/05 → 1/06/06
Project: Research
-
Icarus: Incremental Construction and Reuse of Requirements Specifications
DUBOIS, E. & Schobbens, P. Y.
1/01/89 → 31/01/94
Project: Research
-
SSTC-Infogénération1: InfoGeneration. Development Programme for youth information - Phase I
DUSOLLIER, S., Poullet, Y. & VILCHES ARMESTO, L.
1/05/04 → 30/04/05
Project: Research
-
SSTC-InfoGénération2: InfoGeneration. Development Programme for youth information - Phase II
DUSOLLIER, S., Dock, M. & Dumortier, F.
1/10/05 → 30/09/07
Project: Research
-
Information reporting and respect for fundamental rights : positive and prospective analysis in Belgian tax law in the light of International and European developments
Lachapelle, A., De Terwangne, C. & Verdussen, M.
1/10/15 → 30/09/19
Project: Research
-
THESE-deTerwangne: Information society and public mission of information
Poullet, Y. & De Terwangne, C.
1/01/93 → 31/12/01
Project: PHD
-
Information systems in health networks. A pertinent socio-technical system for the actors cooperation ?
Lobet-Maris, C., Rigaux, N., Rousseau, A. & DUMONT, V.
1/10/05 → 1/10/08
Project: PHD
-
-
HISTOIRE: Initiating the History of Computing in Belgium
d'Udekem d'Acoz Gevers, M., Lobet-Maris, C., MOLS, S., Tixhon, A. & VANDENBROUCKE, A.
1/10/07 → 30/09/08
Project: Research
-
-
File
-
-
-
-
SIICA: Integrated information and communication system for air traffic control
15/12/01 → 31/12/03
Project: Research