James Jerson Ortiz

According to our database, James Jerson Ortiz authored at least 18 papers between 2004 and 2025.

Collaborative distances:

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

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

Softw. Test. Verification Reliab., January, 2025

Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning.

Jean Leneutre, Vadim Malvone, James Ortiz

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

2024

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

Jean Leneutre, Vadim Malvone, James Ortiz

CoRR, 2024

Reasoning about Real-Time and Probability on Obstruction Logic.

Jean Leneutre, Vadim Malvone, James Ortiz

Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 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

Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks

James Jerson Ortiz

PhD thesis, 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

2019

ML_ν: A Distributed Real-Time Modal Logic.

James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda.

James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

Multi-timed Bisimulation for Distributed Timed Automata.

James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2014

ArThUR: A Tool for Markov Logic Network.

Axel Bodart, Keyvin Evrard, James Jerson Ortiz, Pierre-Yves Schobbens

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Workshops, 2014

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

Proceedings of the Actes du XXXIème Congrès INFORSID, Paris, France, 29-31 Mai 2013., 2013

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques.

Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens

Proceedings of the IC 2013 : 24es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 24th French Knowledge Engineering Conference), 2013

2011

Distributed Event Clock Automata - Extended Abstract.

James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens

Proceedings of the Implementation and Application of Automata, 2011

2010

Memory Event Clocks.

James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2004

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

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004