| Distributed event clock automata J Ortiz, A Legay, PY Schobbens International Conference on Implementation and Application of Automata, 250-263, 2011 | 13 | 2011 |
| 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 | 10 | 2018 |
| Multi-timed bisimulation for distributed timed automata J Ortiz, M Amrani, PY Schobbens NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 8 | 2017 |
| Memory event clocks J Jerson Ortiz, A Legay, PY Schobbens Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 2010 | 8 | 2010 |
| 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 | 4 | 2023 |
| 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 | 4 | 2023 |
| 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 | 4 | 2014 |
| 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 | 4 | 2004 |
| : A Distributed Real-Time Modal Logic J Ortiz, M Amrani, PY Schobbens NASA Formal Methods Symposium, 19-35, 2019 | 3 | 2019 |
| 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 | 3 | 2004 |
| 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 | 1 | 2023 |
| 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 | 1 | 2013 |
| 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 | 1 | 2013 |
| 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 | | 2024 |
| Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems J Betancourt, J Ortiz, J Aranda Ingeniería y Competitividad 25 (Suplemento), 2023 | | 2023 |
| An Alternative Semantics for Timed Automata with Independent Clocks JJO Vega, PY Schobbens | | 2023 |
| Aplicando paralelismo a un algoritmo de bisimulación para mejorar la eficiencia de pruebas de software de sistemas de tiempo crítico J Betancourt, J Ortiz, J Aranda Facultad de Ingeniería-Universidad del Valle, 2023 | | 2023 |
| Edición especial 25 años del doctorado en ingeniería JS Betancourt, J Aranda, J Ortiz Ingeniería y Competitividad 25, 2023 | | 2023 |
| Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks JJ Ortiz University of Namur, Belgium, 2023 | | 2023 |
| Modelamiento y especificación de sistemas distribuidos y temporizados JJ Ortiz Ingeniería y Competitividad 15 (2), 115-124, 2013 | | 2013 |
