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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
CFV: Federated Centre for Software Verification
Schobbens, P. Y. (PI), Bontemps, Y. (Researcher), Ortiz Vega, J. J. (Researcher) & KANG, E.-Y. (Researcher)
1/10/99 → …
Project: Research
-
CoTu: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
Schobbens, P. Y. (PI), Amrani, M. (PI) & Ortiz Vega, J. J. (PI)
1/08/19 → 31/07/22
Project: Research
-
THCS: Testing Highly-configurable Systems
Perrouin, G. (Researcher), Schobbens, P. Y. (PI), Amrani, M. (Researcher), Ortiz Vega, J. J. (Researcher) & Heymans, P. (Researcher)
1/01/18 → 31/12/22
Project: Research
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. (Researcher) & Schobbens, P. Y. (PI)
1/09/17 → 31/08/23
Project: PHD
-
SEMIA: Semantics Enhanced Medical Imaging Architecture
Schobbens, P. Y. (PI), Ortiz Vega, J. J. (Researcher) & DEBIECHE, A. (Researcher)
1/01/14 → 31/12/15
Project: Research
-
Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason about Demon Coalitions
Catta, D., Leneutre, J., Malvone, V. & Ortiz Vega, J. J., 2025, 34th International Joint Conference on Artificial Intelligence (IJCAI),.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File -
Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning
Leneutre, J., Malvone, V. & Ortiz Vega, J. J., 2025, 24th International Conference on Autonomous Agents and Multiagent Systems .Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File45 Downloads (Pure) -
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems
CUARTAS GRANADA, J., Cortés, D., BETANCOURT ARIAS, J. S., ARANDA BUENO, J. A., Cordy, M., Ortiz Vega, J. J., Perrouin, G. & Schobbens, P.-Y., 12 Nov 2024, In: Software Testing, Verification and Reliability. 35, 1, e1907.Research output: Contribution to journal › Article › peer-review
Open AccessFile63 Downloads (Pure) -
Reasoning about Real-Time and Probability on Obstruction Logic
Ortiz Vega, J. J., Malvone, V. & Leneutre, J., 2024, (Accepted/In press) 3rd Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy. 11 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File33 Downloads (Pure) -
Time for Networks: Mutation Testing for Timed Automata Networks
Cortés, D., Ortiz Vega, J. J., Basile, D., Aranda Bueno, J. A., Perrouin, G. & Schobbens, P.-Y., 14 Apr 2024, p. 44-54. 11 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile89 Downloads (Pure)
Activities
-
FOCUS Research Seminar
Vanhoof, W. (Organiser), Jacquet, J.-M. (Organiser), Barkallah, M. (Member of Organizing Committee), Yernaux, G. (Member of Organizing Committee), Schobbens, P.-Y. (Member of Organizing Committee), Ortiz Vega, J. J. (Member of Organizing Committee), Amrani, M. (Member of Organizing Committee), Linden, I. (Member of Organizing Committee) & Colot, C. (Member of Organizing Committee)
6 Dec 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
NASA Formal Methodos 2019
Ortiz Vega, J. J. (Speaker)
7 May 2019 → 9 May 2019Activity: Talk or presentation types › Oral presentation
-
International Conference on Quality, Reliability, and Security
Ortiz Vega, J. J. (Speaker)
16 Jul 2018 → 20 Jul 2018Activity: Talk or presentation types › Oral presentation
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Speaker)
2017 → …Activity: Talk or presentation types › Oral presentation
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Contributor)
2017 → …Activity: Participating in or organising an event types › Participation in conference
Thesis
-
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
Ortiz Vega, J. J. (Author), SCHOBBENS, P.-Y. (Supervisor), JACQUET, J.-M. (Jury), Vanhoof, W. (Jury), Raskin, J.-F. (Jury), Tripakis, S. (Jury) & Akshay, S. (Jury), 4 Jul 2023Student thesis: Doc types › Doctor of Sciences
File