| Distributed event clock automata J Ortiz, A Legay, PY Schobbens International Conference on Implementation and Application of Automata, 250-263, 2011 | 15 | 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 | 11 | 2018 |
| Multi-timed bisimulation for distributed timed automata J Ortiz, M Amrani, PY Schobbens NASA Formal Methods Symposium, 52-67, 2017 | 10 | 2017 |
| 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 | 8 | 2023 |
| Memory event clocks J Jerson Ortiz, A Legay, PY Schobbens International Conference on Formal Modeling and Analysis of Timed Systems …, 2010 | 8 | 2010 |
| 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 | 6 | 2023 |
| : A Distributed Real-Time Modal Logic J Ortiz, M Amrani, PY Schobbens NASA Formal Methods Symposium, 19-35, 2019 | 6 | 2019 |
| 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 | 5 | 2023 |
| ArThUR: A tool for Markov logic network A Bodart, K Evrard, J Ortiz, PY Schobbens OTM Confederated International Conferences" On the Move to Meaningful …, 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 |
| Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason about Demon Coalitions D Catta, J Leneutre, V Malvone, JJO Vega 34th International Joint Conference on Artificial Intelligence (IJCAI),, 2025 | 3 | 2025 |
| Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning J Leneutre, V Malvone, JJO Vega 24th International Conference on Autonomous Agents and Multiagent Systems, 2025 | 3 | 2025 |
| 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 |
| 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 | 2 | 2024 |
| 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 | 2 | 2013 |
| 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 | 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 |
| Extending Timed Automata with Clock Derivatives D Cortés, J Leneutre, V Malvone, J Ortiz, PY Schobbens International Conference on Integrated Formal Methods, 99-119, 2025 | | 2025 |
| A Timed Obstruction Logic for Dynamic Game Models D Cortes, J Leneutre, V Malvone, J Ortiz arXiv preprint arXiv:2510.06045, 2025 | | 2025 |
| 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 |
