Photo of JAMES JERSON ORTIZ VEGA

View Scopus Profile

JAMES JERSON ORTIZ VEGA

  • 13 Citations
  • 2 h-Index
19992023

Research output per year

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

Projects

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

Thesis-JRO: 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

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

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