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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Clocks Engineering & Materials Science
Temporal logic Engineering & Materials Science
Real time systems Engineering & Materials Science
Taxonomies Engineering & Materials Science
Information Systems Medicine & Life Sciences
Orthopedics Medicine & Life Sciences
Ontology Engineering & Materials Science
Logic Mathematics

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

Projects 1999 2019

Research Output 2004 2018

10 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 conferencePaper

Open Access
File
Taxonomies
Testing
Specifications
Costs
11 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 proceedingChapter (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 proceedingConference 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 proceedingConference contribution

File

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, PFIA 2013: French Symposium of Artificial Intelligence. Lille, 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

File

Activities 2009 2017

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

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Contributor)
2017 → …

Activity: Participating in or organising an event typesParticipation in conference

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Speaker)
2017 → …

Activity: Talk or presentation typesOral presentation

Scade Academic Community Conference

James Jerson Ortiz Vega (Participant)
8 Sep 20169 Sep 2016

Activity: Participating in or organising an event typesParticipation in conference

Open problems in real-time computing

James Jerson Ortiz Vega (Speaker)
4 Apr 2014

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Mobile and Information Technologies in Medicine and Health 2013

James Jerson Ortiz Vega (Speaker)
20 Nov 2013

Activity: Participating in or organising an event typesParticipation 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 typesMaster 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 typesMaster in Computer science

File