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

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. Rozier, K. Y. & Badger, J. M. (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 proceedingConference contribution

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
14 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
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 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

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 20199 May 2019

Activity: Talk or presentation typesOral presentation

International Conference on Quality, Reliability, and Security

James Jerson Ortiz Vega (Speaker)
16 Jul 201820 Jul 2018

Activity: Talk or presentation typesOral 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

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