The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics. - Jesús Aranda; Juan Francisco Díaz; V. James Ortiz (MOZ, 2004)

Memory Event Clocks. - James Jerson Ortiz; Axel Legay; Pierre-Yves Schobbens (FORMATS, 2010)

Distributed Event Clock Automata - Extended Abstract. - James Jerson Ortiz; Axel Legay; Pierre-Yves Schobbens (CIAA, 2011)

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques. - Damien De Nizza; James Jerson Ortiz; Hubert Meurisse; Pierre-Yves Schobbens (IC, 2013)

ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques. - Damien De Nizza; James Jerson Ortiz; Hubert Meurisse; Pierre-Yves Schobbens (INFORSID, 2013)

ArThUR: A Tool for Markov Logic Network. - Axel Bodart; Keyvin Evrard; James Jerson Ortiz; Pierre-Yves Schobbens (OTM Workshops, 2014)

Multi-timed Bisimulation for Distributed Timed Automata. - James Jerson Ortiz; Moussa Amrani; Pierre-Yves Schobbens (NFM, 2017)

Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. - James Jerson Ortiz Vega; Gilles Perrouin; Moussa Amrani; Pierre-Yves Schobbens (QRS, 2018)

MLν: A Distributed Real-Time Modal Logic. - James Jerson Ortiz; Moussa Amrani; Pierre-Yves Schobbens (NFM, 2019)

Formal Verification of a Mechanical Ventilator using UPPAAL. - Jaime Cuartas; David Cortés; Joan S. Betancourt; Jesús Aranda; José I. García; Andrés M. Valencia; James Ortiz 001 (FTSCS, 2023)

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. - Jaime Cuartas; Jesús Aranda; Maxime Cordy; James Ortiz 001; Gilles Perrouin; Pierre-Yves Schobbens (ICSTW, 2023)

Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks - James Jerson Ortiz (2023)

Providing command and control agility: A software product line approach. - Junier Caminha Amorim; Eduardo Lemos Rocha; Luigi Minardi; Vander Alves; Edison Pignaton de Freitas; Thiago M. Castro; Moussa Amrani; James Ortiz 001; Pierre-Yves Schobbens; Gilles Perrouin (Expert Syst. Appl., 2023)

Time for Networks: Mutation Testing for Timed Automata Networks. - David Cortés; James Ortiz 001; Davide Basile 001; Jesús Aranda; Gilles Perrouin; Pierre-Yves Schobbens (FormaliSE@ICSE, 2024)

Reasoning about Real-Time and Probability on Obstruction Logic. - Jean Leneutre; Vadim Malvone; James Ortiz 001 (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models. - Jean Leneutre; Vadim Malvone; James Ortiz 001 (CoRR, 2024)

Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning. - Jean Leneutre; Vadim Malvone; James Ortiz 001 (AAMAS, 2025)

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems. - Jaime Cuartas; David Cortés; Joan S. Betancourt; Jesús Aranda; Maxime Cordy; James Ortiz 001; Gilles Perrouin; Pierre-Yves Schobbens (Softw. Test. Verification Reliab., 2025)