Projects per year
- 250 - 300 out of 670 results
Search results
-
Research
VAMOS: Venus Atmosphere exploration through machine learning and open science in preparation to EnVision
Vandaele ICPAE, A. C., Frénay, B., Sermeus, J. & Claes, S.
15/09/22 → 14/09/26
Project: Research
-
CFV: Federated Centre for Software Verification
Schobbens, P. Y., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Project: Research
-
-
COMPASS: Comprehensive Algebraic Approach to System Specification and Development
1/04/89 → 31/03/96
Project: Research
-
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
Project: Research
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Project: Research
-
FEDER-CELLaVI: Building up of a Centre of Expertise on Open source
DUSOLLIER, S., Heymans, P. & LAURENT, P.
1/09/08 → 31/12/13
Project: Research
-
-
-
Analyse empirique de la co-évolution et l'interaction sociale dans les systèmes logiciels orientés données
Cleve, A. & Mens, T.
1/07/13 → 30/06/17
Project: Research
-
TeSLA: An Adaptive Trust-based e-assessment System for Learning
Van Gyseghem, J., Lobet-Maris, C., Knockaert, M. & DE VOS, N.
1/01/16 → 31/12/18
Project: Research
-
Reaction-diffusion processes on temporal and non-normal networks
de Kemmeter, J. & Carletti, T.
1/10/22 → 30/09/24
Project: Research
-
CAML: Characterization of Extrasolar Systems with Machine Learning
Libert, A., Frénay, B., Dardenne, C. & Caliman, A.
1/09/21 → 31/08/26
Project: Research
-
Problem-driven Specification and Verification of Software Product Lines
Classen, A. & Heymans, P.
1/10/07 → 30/09/11
Project: Research
-
RIStart: RIStart: Migration of Large Information Systems through Automated Data-Centered Program Conversion
1/09/04 → 31/08/08
Project: Research
-
DIGI4FED: Digital (R)evolution in Belgian Federal Government: An Open Governance Ecosystem for Big Data, Artificial Intelligence, and Blockchain
Crompvoets, J., Vanderose, B., De Terwangne, C., Van de Walle, S., Steen, T., Janssen, M., Lember, V., Van Dooren, W., Verhoest, K., WALRAVE, M., Fallon, C. & Frénay, B.
15/12/19 → 15/03/22
Project: Research
-
RENOIR: Requirements Engineering Network Of International cooperating Research groups
Schobbens, P. Y., Heymans, P. & Petit, M.
1/06/97 → 31/05/00
Project: Research
-
METADONE: A graphical environment for domain specific graphical modeling languages (MetaCASE)
Englebert, V., CONSTANTIN, G. C., GENON, N., GILSON, F., Heymans, P., KOSHIMA, A. & VERMAUT, F.
1/01/03 → …
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
-
Interop: Interoperability Research for Networked Enterprises Applications and Software (InterOP)
Schobbens, P. Y., DALLONS, G., Heymans, P., Petit, M., POLLET, I. & VERMAUT, F.
1/12/03 → 1/05/07
Project: Research
-
IS Migration: Architectures and transformational techniques for database applications migration, including data and programs
Hainaut, J., Cleve, A., HENRARD, J., HICK, J., ROLAND, D. & Thiran, P.
1/09/02 → 31/08/04
Project: Research
-
-
RW/FEDER-IQS: Expertise Centre for Engineering & Quality Systems
Habra, N., Heymans, P., Montero Redondo, E., BOUCHER, Q., DEMOULIN, M., KAMSEU, F. & MAHAUX, M.
1/09/08 → 31/12/13
Project: Research
-
VLPL: Software Product Lines Verification
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
-
BAAR: Extending formal methods for requirements engineering to risk management
1/11/99 → 31/10/03
Project: Research
-
SILENT: Towards a corpus-based online tool for French-LSFB bilingual needs
1/01/16 → 31/12/16
Project: Research
-
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
1/11/15 → 31/10/22
Project: Research
-
DISSCO: Document management Integrated System for Scientific Organisations
Schobbens, P. Y., DE VOS, A., Heymans, P., Lobet-Maris, C. & Petit, M.
1/12/01 → 31/10/02
Project: Research
-
Développement d’un dictionnaire contextuel bilingue : langue des signes (de Belgique francophone) – langue vocale (français)
1/01/19 → 31/12/21
Project: Research
-
ILEE-stability modelling: Pairwise interactions & community stability
De Laender, F., Carletti, T. & Holmes, M.
1/10/22 → 31/12/22
Project: Research
-
SEAMPAT: Amélioration de la continuité des traitements médicamenteux par le développement d'une plate-forme de réconciliation médicamenteuse favorisant la participation active du patient
VANMEERBEEK, P., BURNET, C., Heymans, P., De Terwangne, C., PAGACZ, P., Forget, C. & Lobet-Maris, C.
1/06/14 → 31/05/17
Project: Research
-
-
FEDER-IDEES-Fondations technologiques: Fondations technologiques
Colin, J., Cleve, A., Vanderose, B., Habra, N. & Lambiotte, R.
1/01/15 → 31/12/20
Project: Research
-
Fireworks: Feature Integration in Requirements Engineering
Schobbens, P. Y. & Zeippen, J.
1/05/97 → 30/11/00
Project: Research
-
Rigorous-UEML: Rigorous Definition of a Unified Enterprise Modelling Language (UEML)
Heymans, P. & MATULEVICIUS, R.
1/11/05 → 31/10/06
Project: Research
-
CxG-LEARN: Syntactico-semantic generalisation operators for learning largescale usage-based construction grammars
Beuls, K. & Van Eecke, P.
1/01/24 → 31/12/27
Project: Research
-
-
INSTINCT: Improving Database Interactions in NoSQL Applications
Cleve, A. & Lanza, M.
1/01/20 → 31/12/23
Project: Research
-
LIFTS: Learning Featured Transition Systems
Fortz, S., Perrouin, G. & Heymans, P.
1/01/22 → 30/09/23
Project: Research
-
Projet PUNCH 3.0 : évaluation formative
Fischer, L., De Grove, K., Biemar, S., Romainville, M., Mele, G. & Collard, A.
1/09/19 → …
Project: Research
-
Consortiums - Pacte pour un Enseignement d'excellence 01/09/23 - 31/08/24
1/09/23 → 31/08/24
Project: Research
-
Appui scientifique au processus d'élboration du Pacte pour un Enseignement d'excellence
Romainville, M., HENRY, V. & Collard, A.
1/12/16 → 30/11/17
Project: Research
-
CE-Respect: RESPECT
Poullet, Y., De Terwangne, C., DUSOLLIER, S., Rosier, K. & VEREECKEN, I.
1/04/02 → 31/03/04
Project: Research
-
F.Pub-Convergence: Convergence and distribution of competences in federal Belgium
Poullet, Y., QUECK, R. & JOST, J.
1/01/06 → 31/10/06
Project: Research