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.

Fingerprint

Dive into the research topics where James Jerson Ortiz Vega is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

4 Finished
4 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
SEMIA: Semantics Enhanced Medical Imaging Architecture
SCHOBBENS, P., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Project: Research

13 Citations
2 h-Index
11 Conference contribution
2 Article
1 Chapter
1 Chapter (peer-reviewed)
More

ML_v: A distributed real-time modal logic
Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11460 LNCS).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 1 Jul 2018, p. 325-332. 8 p.
Research output: Contribution to conference › Paper › peer-review

Open Access
File
32 Downloads (Pure)
Multi-timed Bisimulation for Distributed Timed Automata
Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 1 Jan 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10227 LNCS).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Open Access
File
25 Downloads (Pure)
ArThUR: A Tool for Markov Logic Network
Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8842. p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8842).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

File
273 Downloads (Pure)
Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata
Ortiz Vega, J. J. & Schobbens, P-Y., 4 Apr 2014, Open problems in real-time computing. 2 p.
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

File

57 Downloads (Pure)

10 Participation in workshop, seminar, course
8 Participation in conference
3 Oral presentation

FOCUS Research Seminar
Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee) & Christian Colot (Member of Organizing Committee)
6 Dec 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
NASA Formal Methodos 2019
James Jerson Ortiz Vega (Speaker)
7 May 2019 → 9 May 2019
Activity: Talk or presentation types › Oral presentation
International Conference on Quality, Reliability, and Security
James Jerson Ortiz Vega (Speaker)
16 Jul 2018 → 20 Jul 2018
Activity: Talk or presentation types › Oral presentation
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Speaker)
2017 → …
Activity: Talk or presentation types › Oral presentation
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Contributor)
2017 → …
Activity: Participating in or organising an event types › Participation in conference