James Ortiz

According to our database, James Ortiz authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models.

Jean Leneutre, Vadim Malvone, James Ortiz

CoRR, 2024

Time for Networks: Mutation Testing for Timed Automata Networks.

David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

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, Pierre-Yves Schobbens, Gilles Perrouin

Expert Syst. Appl., April, 2023

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.

Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

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

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023