Projects per year
- 1 - 50 out of 65 results
Search results
-
Active
-
PloneGov: PloneGov - A Configurable Open-Source Platform for e-Government
1/09/07 → …
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
-
Finished
LIFTS: Learning Featured Transition Systems
Fortz, S., Perrouin, G. & Heymans, P.
1/01/22 → 30/09/23
Project: Research
-
LIFTS: Learning Featured Transition Systems
Fortz, S., Perrouin, G. & Heymans, P.
1/10/20 → 31/12/21
Project: Research
-
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
Project: Research
-
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P. Y., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Project: Research
-
-
-
Adaptive Recommendations in Complex Mass Customization Systems
Heymans, P. & DAVRIL, J.
1/10/15 → 31/12/17
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
-
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
-
-
ARC 13/18-054: Modeling, Design and Optimization of Software defined Networks
1/09/13 → 31/08/18
Project: Research
-
-
Assurance Qualité Automatisée de Systèmes Hautement Variables basée sur les Modèles.
1/10/12 → 30/09/15
Project: Research
-
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
Project: Research
-
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M., Heymans, P. & Schobbens, P. Y.
1/10/11 → 30/09/15
Project: PHD
-
Variability in Base Models: Annotative vs. Compositional Approaches
1/10/11 → 30/09/12
Project: Research
-
CONF&TI: Conf&ti: development aid software configurations for Information Technology
Heymans, P. & SAVAL, G.
1/09/11 → 31/08/15
Project: Research
-
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
Project: PHD
-
POC PoCoLoCo: PoCoLoCo - Proof of Concept d'un Configurateur Logiciel
1/09/11 → 31/08/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
-
Thesis-R-Michel: Configuration Support for a Rich Feature Modelling Language
Heymans, P. & MICHEL, R.
1/09/10 → 31/08/14
Project: PHD
-
Formal Issues in Modelling and Automated Checking of Software Product Lines
1/09/10 → 31/08/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 -
NAPLES - SPW: New Agile Platform for a Lifelong Engineering of Software.
Heymans, P., BOUCHER, Q. & Perrouin, G.
1/03/10 → 28/02/13
Project: Research
-
CALiPro: Automated Configuration of Software Product Lines
Heymans, P. & MICHEL, R.
1/01/10 → 1/01/14
Project: Research
File -
Thesis-M-Mahaux: Improvisational Theater for Software Requirements Engineering
1/12/09 → 30/11/13
Project: PHD
-
S@T: SAT : Centre for Technological Support for Aeronautical Industry : certification issues
Habra, N., Heymans, P. & PEETERS, C.
1/09/09 → 31/08/11
Project: Research
-
-
Thesis-O-Mangin: Capturing and Managing Security Management Requirements
DUBOIS, E., Heymans, P. & Mangin, O.
1/09/09 → 31/08/13
Project: PHD
-
SecureProcMetrics: Security Certification of Processes
Heymans, P. & Mangin, O.
1/09/09 → 31/08/12
Project: Research
-
Thesis-E-Abbasi: Operational Semantics of Multi-Level Staged Configuration
1/06/09 → 31/05/11
Project: PHD
-
-
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
-
-
-
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
-
Re2adapt: Research network on software adaptability
Heymans, P., BOUCHER, Q., Classen, A., HUBAUX, A. & Schobbens, P. Y.
1/06/08 → 1/06/12
Project: Research
-
Thèse-A-Classen: Modelling and Model Checking Variability-Intensive Systems
Classen, A., Heymans, P. & Schobbens, P. Y.
1/10/07 → 1/10/11
Project: PHD
-
Problem-driven Specification and Verification of Software Product Lines
Classen, A. & Heymans, P.
1/10/07 → 30/09/11
Project: Research
-
Thesis-A-Hubaux: Separation of Concerns in Variability Models
Heymans, P., HUBAUX, A. & Schobbens, P. Y.
1/09/07 → 31/12/11
Project: PHD
-
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
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