Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Examinez les sujets de recherche où James Jerson Ortiz Vega est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 6 Profils similaires
Clocks Ingénierie et Science des Matériaux
Real time systems Ingénierie et Science des Matériaux
Temporal logic Ingénierie et Science des Matériaux
Taxonomies Ingénierie et Science des Matériaux
Modal Logic mathématiques
Labeled Transition System mathématiques
Ontology Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 1999 2019

Résultat de recherche 2004 2019

MLv: A distributed real-time modal logic

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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 août 2018, p. 325-332. 8 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Accès ouvert
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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Accès ouvert
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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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 avr. 2014, Open problems in real-time computing. 2 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File

Activités 2009 2019

  • 9 Participation à un atelier/workshop, un séminaire, un cours
  • 8 Participation à une conférence, un congrès
  • 3 Présentation orale

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Orateur)
7 mai 20199 mai 2019

Activité: Types de discours ou de présentationPrésentation orale

International Conference on Quality, Reliability, and Security

James Jerson Ortiz Vega (Orateur)
16 juil. 201820 juil. 2018

Activité: Types de discours ou de présentationPrésentation orale

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Orateur)
2017 → …

Activité: Types de discours ou de présentationPrésentation orale

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Orateur)
2017 → …

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Scade Academic Community Conference

James Jerson Ortiz Vega (Participant)
8 sept. 20169 sept. 2016

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Thèse

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

Auteur: Bodart, A. & Evrard, K., 29 août 2014

Superviseur: Schobbens, P. (Promoteur) & Ortiz Vega, J. J. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

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

Auteur: Volvert, S., 4 sept. 2015

Superviseur: Schobbens, P. (Promoteur) & Ortiz Vega, J. J. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier