View Scopus Profile

James Jerson Ortiz Vega

Belgium

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity per year

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

4 Finished
4 Active

4 results

Filter

Active

CoTu: Erasmus+ICT: 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
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

Your message has successfully been sent.

Your message was not sent due to an error.