Photo of James Jerson Ortiz Vega

View Scopus Profile

James Jerson Ortiz Vega

  • Belgium

  • 9 Citations
  • 2 h-Index
19992019
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
Clocks Engineering & Materials Science
Real time systems Engineering & Materials Science
Temporal logic Engineering & Materials Science
Taxonomies Engineering & Materials Science
Modal Logic Mathematics
Labeled Transition System Mathematics
Ontology Engineering & Materials Science
Semantics Engineering & Materials Science

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

Projects 1999 2019

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

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

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

Research Output 2004 2019

MLv: 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

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
15 Downloads (Pure)

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.

Research output: Contribution to conference › Paper

Open Access
File
Taxonomies
Testing
Specifications
Costs
18 Downloads (Pure)

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 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)

Open Access
File
Real time systems
Clocks
Computability and decidability
Explosions

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
Ontology
Logic
Description Logics
Open Source Software
Semantic Web

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

Activities 2009 2019

  • 9 Participation in workshop, seminar, course
  • 8 Participation in conference
  • 3 Oral presentation

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 (Contributor)
2017 → …

Activity: Participating in or organising an event types › Participation in conference

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Speaker)
2017 → …

Activity: Talk or presentation types › Oral presentation

Scade Academic Community Conference

James Jerson Ortiz Vega (Participant)
8 Sep 2016 → 9 Sep 2016

Activity: Participating in or organising an event types › Participation in conference

Thesis

ArThUR: Un outil d'aide à la manipulation d'ontologies et de la logique de Markov

Author: Bodart, A. & Evrard, K., 29 Aug 2014

Supervisor: Schobbens, P. (Supervisor) & Ortiz Vega, J. J. (Co-Supervisor)

Student thesis: Master types › Master in Computer science

File

Création d'un Outil Interactif d'Analyse de Données Patients

Author: Volvert, S., 4 Sep 2015

Supervisor: Schobbens, P. (Supervisor) & Ortiz Vega, J. J. (Co-Supervisor)

Student thesis: Master types › Master in Computer science

File