Projets par an
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
-
CFV: Centre Fédéré en Vérification de Logiciel
Schobbens, P. Y., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Projet: Recherche
-
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P. Y., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Projet: Recherche
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & Schobbens, P. Y.
1/09/17 → 31/08/23
Projet: Projet de thèse
-
SEMIA: Architecture pour l'imagerie médicale augmentée sémantiquement
Schobbens, P. Y., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Projet: Recherche
Résultat de recherche
-
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.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs
Accès ouvertFile34 Téléchargements (Pure) -
An Alternative Semantics for Timed Automata with Independent Clocks
Ortiz Vega, J. J. & Schobbens, P-Y., 18 sept. 2023.Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs
File36 Téléchargements (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, Dans: Ingeniería Y Competitividad. 25, e-20713144, 19 p.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvert -
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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile63 Téléchargements (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 avr. 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)).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile93 Téléchargements (Pure)
Activités
-
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. 2019Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
NASA Formal Methodos 2019
James Jerson Ortiz Vega (Orateur)
7 mai 2019 → 9 mai 2019Activité: Discours ou présentation › Présentation orale
-
International Conference on Quality, Reliability, and Security
James Jerson Ortiz Vega (Orateur)
16 juil. 2018 → 20 juil. 2018Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Orateur)
2017 → …Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Orateur)
2017 → …Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
Thèse
-
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
Auteur: Ortiz Vega, J. J., 4 juil. 2023Superviseur: SCHOBBENS, P. (Promoteur), JACQUET, J. (Jury), Vanhoof, W. (Jury), Raskin, J. (Personne externe) (Jury), Tripakis, S. (Personne externe) (Jury) & Akshay, S. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier