Publications
Publications
Selected publications in journals and conferences.
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, Gilles Perrouin, Pierre-Yves Schobbens
Software Testing, Verification and Reliability (STVR)
2024Q2
Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems
Joan S. Betancourt, Jesús Aranda, James Ortiz
Ingeniería y Competitividad, v.25, e-20713144
Providing Command and Control Agility: a Software Product Line Approach
Junier Caminha Amorim, Eduardo Lemos, Luigi Minardi, Vander Alves, Edison Pignaton de Freitas, Moussa Amrani, James Ortiz, Pierre-Yves Schobbens, Gilles Perrouin
Expert Systems with Applications, 216, 119473
2023Q1
Modeling and Specification of Distributed Timed Systems
James Ortiz
Ingeniería y Competitividad, v.15, n.2, p.229-238, ISSN: 0123-3033
2013Q3
Crear: Consejero para la Repetición de Artículos y Evaluadores en Eventos Académicos
James Jerson Ortiz, Jesus Aranda, Juan Francisco Díaz
Ingeniería y Competitividad, vol. 6, no. 1, pp. 53-62
2004Q3