Παρακολούθηση
James Ortiz
James Ortiz
Άλλα ονόματαJames Ortiz Vega
Researcher Universiity of Namur
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unamur.be - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Distributed event clock automata
J Ortiz, A Legay, PY Schobbens
International Conference on Implementation and Application of Automata, 250-263, 2011
132011
Model-based mutation operators for timed systems: a taxonomy and research agenda
JJO Vega, G Perrouin, M Amrani, PY Schobbens
2018 IEEE International Conference on Software Quality, Reliability and …, 2018
112018
Multi-timed bisimulation for distributed timed automata
J Ortiz, M Amrani, PY Schobbens
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
92017
Memory event clocks
J Jerson Ortiz, A Legay, PY Schobbens
Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 2010
82010
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
J Cuartas, J Aranda, M Cordy, J Ortiz, G Perrouin, PY Schobbens
2023 IEEE International Conference on Software Testing, Verification and …, 2023
52023
Formal Verification of a Mechanical Ventilator Using UPPAAL
J Cuartas, D Cortés, JS Betancourt, J Aranda, JI García, AM Valencia, ...
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal …, 2023
42023
ArThUR: A tool for Markov logic network
A Bodart, K Evrard, J Ortiz, PY Schobbens
On the Move to Meaningful Internet Systems: OTM 2014 Workshops: Confederated …, 2014
42014
The problem of assigning evaluators to the articles submitted in an academic event: A practical solution incorporating constraint programming and heuristics
BJ Aranda, FJF Díaz, VJ Ortíz
International Conference on Multiparadigm Programming in Mozart/OZ, 305-316, 2004
42004
: A Distributed Real-Time Modal Logic
J Ortiz, M Amrani, PY Schobbens
NASA Formal Methods Symposium, 19-35, 2019
32019
CREAR: Consejero para la Repartición de Artículo y Evaluadores en Eventos Académicos
JA Aranda, JFD Frias, JJ Ortíz
Ingeniería y Competitividad 6 (1), 53-62, 2004
32004
Providing command and control agility: a software product line approach
JC Amorim, EL Rocha, L Minardi, V Alves, EP de Freitas, T Castro, ...
Expert Systems with Applications 216, 119473, 2023
22023
Time for Networks: Mutation Testing for Timed Automata Networks
D Cortés, J Ortiz, D Basile, J Aranda, G Perrouin, PY Schobbens
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024
12024
Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems
J Betancourt, J Aranda, J Ortiz
Ingeniería y Competitividad 25 (Suplemento), 2023
12023
Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques
D De Nizza, J Ortiz, H Meurisse, PY Schobbens
IC-24èmes Journées francophones d'Ingénierie des Connaissances, 2013
12013
Orthogen: Système d'information intégré pour la traçabilité et la gestion multi-paramètres des infections orthopédiques
D De Nizza, JJO Vega, H Meurisse, PY Schobbens
INFORSID 2013: Informatique des Organisation et Systèmes d'Information et de …, 2013
12013
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems
J Cuartas, D Cortés, J Betancourt, J Aranda, M Cordy, J Ortiz, G Perrouin, ...
Software Testing, Verification and Reliability 35 (1), e1907, 2025
2025
Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
J Leneutre, V Malvone, J Ortiz
arXiv preprint arXiv:2411.00025, 2024
2024
Reasoning about Real-Time and Probability on Obstruction Logic
J Leneutre, V Malvone, J Ortiz
2024
Reasoning about Real-Time and Probability on Obstruction Logic
JJO Vega, V Malvone, J Leneutre
3rd Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, 2024
2024
An Alternative Semantics for Timed Automata with Independent Clocks
JJO Vega, PY Schobbens
2023
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20