James Jerson Ortiz Vega – Projects — the Research Portal - University of Namur

View Scopus Profile

Belgium

h-index

Research activity per year

If you made any changes in Pure these will be visible here soon.

2 Active
6 Finished

8 results

Active
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & SCHOBBENS, P.
1/09/17 → 31/08/23
Project: PHD
CFV: Federated Centre for Software Verification
SCHOBBENS, P., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Project: Research
Finished

CoTu: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
SCHOBBENS, P., Amrani, M. & Ortiz Vega, J. J.
1/08/19 → 31/07/22
Project: Research
THCS: Testing Highly-configurable Systems
Perrouin, G., SCHOBBENS, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Project: Research
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

Your message has successfully been sent.

Your message was not sent due to an error.