Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
CFV: Federated Centre for Software Verification
Schobbens, P. Y., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Project: Research
-
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P. Y., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Project: Research
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & Schobbens, P. Y.
1/09/17 → 31/08/23
Project: PHD
-
SEMIA: Semantics Enhanced Medical Imaging Architecture
Schobbens, P. Y., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Project: Research
-
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., 2024.Research output: Contribution to conference › Paper › peer-review
Open AccessFile27 Downloads (Pure) -
An Alternative Semantics for Timed Automata with Independent Clocks
Ortiz Vega, J. J. & Schobbens, P-Y., 18 Sept 2023.Research output: Contribution to conference › Abstract › peer-review
File30 Downloads (Pure) -
Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems
Ortiz Vega, J. J., ARANDA BUENO, J. A. & BETANCOURT ARIAS, J. S., 29 Nov 2023, In: Ingeniería Y Competitividad. 25, e-20713144, 19 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Formal Verification of a Mechanical Ventilator using UPPAAL
Cuartas, J., Cortés, D., Betancourt, J. S., Aranda, J., García, J. I., Valencia, A. M. & Ortiz, J., 18 Oct 2023, FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023. Artho, C. & Olveczky, P. C. (eds.). ACM Press, p. 2-13 12 p. (FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile59 Downloads (Pure) -
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
CUARTAS GRANADA, J., ARANDA BUENO, J. A., Cordy, M., Ortiz Vega, J. J., Perrouin, G. & Schobbens, P-Y., 16 Apr 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Institute of Electrical and Electronics Engineers Inc., p. 52-61 10 p. (2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile87 Downloads (Pure)
Activities
-
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 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
NASA Formal Methodos 2019
James Jerson Ortiz Vega (Speaker)
7 May 2019 → 9 May 2019Activity: Talk or presentation types › Oral presentation
-
International Conference on Quality, Reliability, and Security
James Jerson Ortiz Vega (Speaker)
16 Jul 2018 → 20 Jul 2018Activity: Talk or presentation types › Oral presentation
-
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Speaker)
2017 → …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
Thesis
-
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
Author: Ortiz Vega, J. J., 4 Jul 2023Supervisor: SCHOBBENS, P. (Supervisor), JACQUET, J. (Jury), Vanhoof, W. (Jury), Raskin, J. (External person) (Jury), Tripakis, S. (External person) (Jury) & Akshay, S. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
File