Research Group on the Foundations of Computer Science

Namur Digital Institute

Websitehttp://directory.unamur.be/entities/focus?_LOCALE_=en

Postal addressShow on map
5000
Belgium

1 Not started
9 Active
27 Finished

27 results

Filter

Finished

ROBIN: A high level Reconstruction Of BIological PipeliNes
Jacquet, J. & Zeippen, J.
1/09/21 → 31/10/22
Project: Research
MP: Academic research on the exploitation of local government data
Burnay, C., Castiaux, A., Dodeigne, J., Linden, I. & Jacquet, V.
1/01/21 → 31/12/22
Project: Research
CoTu: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
Schobbens, P. Y., Amrani, M. & Ortiz Vega, J. J.
1/08/19 → 31/07/22
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
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
wal-e-cities ECO: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities
Castiaux, A., Van Gyseghem, J., Schobbens, P. Y., Gebka, E. & Michel, A.
1/01/17 → 31/12/20
Project: Research
UNII: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
Schobbens, P. Y. & Lambiotte, R.
1/06/16 → 31/07/18
Project: Research
EUTYPES: The European research network on types for programming and verification
Schobbens, P. Y.
21/03/16 → 20/03/20
Project: Research
wal-e-cities MOB: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities
Schobbens, P. Y., Dumas, B., Michel, A. & Clarinval, A.
1/03/16 → 31/12/20
Project: Research
wal-e-cities GOV: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities
Schobbens, P. Y., Van Gyseghem, J., Michel, A. & Gillard, N.
1/03/16 → 31/12/20
Project: Research
wal-e-cities LIV: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities
Schobbens, P. Y., Dumas, B., Michel, A. & Clarinval, A.
1/03/16 → 31/12/20
Project: Research
EFFaTA-MeM: Evocative Frameworks for Texts Analysis – Mediality Models – A transdisciplinary Approach
Linden, I., Wallemacq, A., BOSSE, A., Deville, G. & Dumas, B.
2/11/15 → 31/12/20
Project: Research
Leveraging the Value of Mobile Data in Depth and Breadth
Colot, C., Linden, I. & Baecke, P.
1/10/15 → 29/01/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
WebDeb: The Web Deb Project
Schobbens, P. Y., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.
1/09/14 → 31/01/18
Project: Research
SEMIA: Semantics Enhanced Medical Imaging Architecture
Schobbens, P. Y., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Project: Research
POC ProCEPlanS: PROof of Concept of an Estate PLANning Software
Jacquet, J., Helbois, D. & Linden, I.
1/11/13 → 31/10/14
Project: Research
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/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
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
TPA: Theory and Practice of Automata and Logics
Schobbens, P. Y., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
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
Génération de données de test basée sur les contraintes pour des programmes orientés base de données.
Vanhoof, W.
1/10/10 → 30/09/14
Project: Research
Declarative Approach to Dynamic Workflow Management
Schwanen, G., Linden, I. & Vanhoof, W.
28/06/10 → 30/09/13
Project: PHD
BEM: Business Event Manager
DERBALI, M. A., Jacquet, J., Linden, I., Schwanen, G. & STAICU, M.
1/05/10 → 30/10/13
Project: Research