Projects per year
Projects 1999 2019
Active
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/19
Project: Research
CFV: Federated Centre for Software Verification
Schobbens, P., Bontemps, Y., Ortiz Vega, J. J. & Kang, E.
1/10/99 → …
Project: Research
Finished
SEMIA: Semantics Enhanced Medical Imaging Architecture
Schobbens, P., Ortiz Vega, J. J. & Debieche, A.
1/01/14 → 31/12/15
Project: Research
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
Project: Research
TPA: Theory and Practice of Automata and Logics
Schobbens, P., Cordy, M., Kang, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Project: Research
ORTHOGEN: Integrated Information System for Tracing and Managing Othopedic Infections
Schobbens, P., Ortiz Vega, J. J. & De Nizza, D.
1/01/10 → 30/06/13
Project: Research