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

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

Projects

Research Output

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 proceedingConference contribution

  • 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
  • 25 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
  • 20 Downloads (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).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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

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

    FOCUS Research Seminar

    Wim Vanhoof (Organiser), , Jean-Marie Jacquet (Organiser), , Manel Barkallah (Member of Organizing Committee), , Gonzague Yernaux (Member of Organizing Committee), , Pierre-Yves Schobbens (Member of Organizing Committee), , James Jerson Ortiz Vega (Member of Organizing Committee), , Moussa Amrani (Member of Organizing Committee), , Isabelle Linden (Member of Organizing Committee), & Christian Colot (Member of Organizing Committee)

    6 Dec 2019

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

    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

    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