Projets par an
Empreinte digitale
Passez en revue plus en détail les thèmes de recherche où James Jerson Ortiz Vega est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
-
CFV: Centre Fédéré en Vérification de Logiciel
Schobbens, P. Y. (Responsable du Projet), Bontemps, Y. (Chercheur), Ortiz Vega, J. J. (Chercheur) & KANG, E.-Y. (Chercheur)
1/10/99 → …
Projet: Recherche
-
CoTu: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
Schobbens, P. Y. (Responsable du Projet), Amrani, M. (Responsable du Projet) & Ortiz Vega, J. J. (Responsable du Projet)
1/08/19 → 31/07/22
Projet: Recherche
-
THCS: Testing Highly-configurable Systems
Perrouin, G. (Chercheur), Schobbens, P. Y. (Responsable du Projet), Amrani, M. (Chercheur), Ortiz Vega, J. J. (Chercheur) & Heymans, P. (Chercheur)
1/01/18 → 31/12/22
Projet: Recherche
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. (Chercheur) & Schobbens, P. Y. (Responsable du Projet)
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. (Responsable du Projet), Ortiz Vega, J. J. (Chercheur) & DEBIECHE, A. (Chercheur)
1/01/14 → 31/12/15
Projet: Recherche
Résultat de recherche
-
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., 2024, Dans: Software Testing, Verification and Reliability.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvertFile24 Téléchargements (Pure) -
Reasoning about Real-Time and Probability on Obstruction Logic
Ortiz Vega, J. J., Malvone, V. & Leneutre, J., 2024, (Accepté/sous presse) 3rd Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy. 11 p.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
File10 Téléchargements (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., 2024.Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs
Accès ouvertFile66 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
Activités
-
FOCUS Research Seminar
Vanhoof, W. (Organisateur), Jacquet, J.-M. (Organisateur), Barkallah, M. (Membre du Comité d'Organisation), Yernaux, G. (Membre du Comité d'Organisation), Schobbens, P.-Y. (Membre du Comité d'Organisation), Ortiz Vega, J. J. (Membre du Comité d'Organisation), Amrani, M. (Membre du Comité d'Organisation), Linden, I. (Membre du Comité d'Organisation) & Colot, C. (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
Ortiz Vega, J. J. (Orateur)
7 mai 2019 → 9 mai 2019Activité: Discours ou présentation › Présentation orale
-
International Conference on Quality, Reliability, and Security
Ortiz Vega, J. J. (Orateur)
16 juil. 2018 → 20 juil. 2018Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Orateur)
2017 → …Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (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
Ortiz Vega, J. J. (Auteur)SCHOBBENS, P.-Y. (Promoteur), JACQUET, J.-M. (Jury), Vanhoof, W. (Jury), Raskin, J.-F. (Jury), Tripakis, S. (Jury) & Akshay, S. (Jury), 4 juil. 2023Student thesis: Doc types › Docteur en Sciences
Fichier