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

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où JAMES JERSON ORTIZ VEGA est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 5 Profils similaires

Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

Projets

Résultat de recherche

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. 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).

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

  • 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
  • 25 Téléchargements (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
  • 20 Téléchargements (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).

    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
  • 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

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

    FOCUS Research Seminar

    Wim Vanhoof (Organisateur), , Jean-Marie Jacquet (Organisateur), , Manel Barkallah (Membre du Comité d'Organisation), , Gonzague Yernaux (Membre du Comité d'Organisation), , Pierre-Yves Schobbens (Membre du Comité d'Organisation), , James Jerson Ortiz Vega (Membre du Comité d'Organisation), , Moussa Amrani (Membre du Comité d'Organisation), , Isabelle Linden (Membre du Comité d'Organisation), & Christian Colot (Membre du Comité d'Organisation)

    6 déc. 2019

    Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

    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

    Thèse

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

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

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