Projects per year
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
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/19
Project: Research
CFV: Federated Centre for Software Verification
Schobbens, P., Bontemps, Y., Ortiz Vega, J. J. & Kang, E.
1/10/99 → …
Project: Research
SEMIA: Semantics Enhanced Medical Imaging Architecture
Schobbens, P., Ortiz Vega, J. J. & Debieche, A.
1/01/14 → 31/12/15
Project: Research
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
Project: Research
TPA: Theory and Practice of Automata and Logics
Schobbens, P., Cordy, M., Kang, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Project: Research
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 proceeding › Conference contribution
Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
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 conference › Paper
Open Access
File
Taxonomies
Testing
Specifications
Costs
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 proceeding › Chapter (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 proceeding › Conference 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 proceeding › Conference contribution
File
Activities 2009 2019
NASA Formal Methodos 2019
James Jerson Ortiz Vega (Speaker)7 May 2019 → 9 May 2019
Activity: Talk or presentation types › Oral presentation
International Conference on Quality, Reliability, and Security
James Jerson Ortiz Vega (Speaker)16 Jul 2018 → 20 Jul 2018
Activity: Talk or presentation types › Oral presentation
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Contributor)2017 → …
Activity: Participating in or organising an event types › Participation in conference
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Speaker)2017 → …
Activity: Talk or presentation types › Oral presentation
Scade Academic Community Conference
James Jerson Ortiz Vega (Participant)8 Sep 2016 → 9 Sep 2016
Activity: Participating in or organising an event types › Participation 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 2014Supervisor: Schobbens, P. (Supervisor) & Ortiz Vega, J. J. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File
Création d'un Outil Interactif d'Analyse de Données Patients
Author: Volvert, S., 4 Sep 2015Supervisor: Schobbens, P. (Supervisor) & Ortiz Vega, J. J. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File