---
type: ItemList
title: Publications in Formal Methods and Testing
description: Selected journal, conference, and workshop papers by James Ortiz on timed automata, obstruction logics, mutation testing, and verification tools such as MUPPAAL.
resource: https://jamesortiz.site/en/publications
tags: [publications, timed-automata, obstruction-logic, mutation-testing]
timestamp: 2026-08-15
---

# Publications

James Ortiz publishes on timed automata, obstruction and temporal logics, mutation testing, and verification of real-time and multi-agent systems. Venues include IJCAI, AAMAS, iFM, NASA Formal Methods, FormaliSE, and STVR.

Profiles: [ORCID](https://orcid.org/0000-0001-5407-963X), [Google Scholar](https://scholar.google.com/citations?user=x5XHr_AAAAAJ&hl=en), [DBLP](https://dblp.org/pid/24/8836.html), [ResearchGate](https://www.researchgate.net/profile/James-Ortiz).

## Journals

- **MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems** (2024). 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)*, Q2.
- **Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems** (2023). Joan S. Betancourt, Jesús Aranda, James Ortiz. *Ingeniería y Competitividad*, [doi:10.25100/iyc.v25iSuplemento.1314](https://doi.org/10.25100/iyc.v25iSuplemento.1314).
- **Providing Command and Control Agility: a Software Product Line Approach** (2023). 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, Q1.
- **Modeling and Specification of Distributed Timed Systems** (2013). James Ortiz. *Ingeniería y Competitividad*.
- **Crear: Consejero para la Repetición de Artículos y Evaluadores en Eventos Académicos** (2004). James Jerson Ortiz, Jesus Aranda, Juan Francisco Díaz. *Ingeniería y Competitividad*.

## Conferences

- **A Verification Framework for Obstruction, Probability, and Time** (2026). Axel Oscar, James Ortiz, Jean Leneutre, Vadim Malvone. *AAMAS 2026*, A*.
- **Extending Timed Automata with Clock Derivatives** (2025). James Ortiz, Jean Leneutre, Vadim Malvone, Pierre-Yves Schobbens. *iFM 2025*, B.
- **Coalition Obstruction Temporal Logic** (2025). Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz. *IJCAI 2025*, A*.
- **A Timed Obstruction Temporal Logic to Reason about Dynamic Game Models** (2025). James Ortiz, Jean Leneutre, Vadim Malvone. *AAMAS 2025*, A*.
- **Time for Networks: Mutation Testing for Timed Automata Networks** (2024). David Cortés, James Ortiz, Davide Basile, Jesus Aranda, Gilles Perrouin, Pierre-Yves Schobbens. *FormaliSE 2024*, B.
- **MLv: A Distributed Real-Time Modal Logic** (2019). James Ortiz, Moussa Amrani, Pierre-Yves Schobbens. *NASA Formal Methods 2019*, B.
- **Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda** (2018). James Ortiz, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens. *IEEE QRS 2018*, B.
- **Multi-timed Bisimulation for Distributed Timed Automata** (2017). James Ortiz, Moussa Amrani, Pierre-Yves Schobbens. *NASA Formal Methods 2017*, B.
- **Memory Event Clocks** (2010). James Ortiz, Axel Legay, Pierre-Yves Schobbens. *FORMATS 2010*, C.
- **The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event** (2005). James Ortiz, Jesús Aranda, Juan Francisco Díaz. *Mozart/OZ Conference*, LNCS 3389.
- **El Problema de la Asignación de Evaluadores para los Artículos Presentados a un Evento Académico** (2005). James Ortiz, Jesús Aranda, Juan Francisco Díaz. *CLEI*.

## Workshops

- **Reasoning about Real-Time and Probability on Obstruction Logic** (2024). James Ortiz, Jean Leneutre, Vadim Malvone. *SPIRIT 2024*.
- **An Alternative Semantics for Timed Automata with Independent Clocks** (2023). James Ortiz, Pierre-Yves Schobbens. *Recent Advances in Concurrency and Logic*.
- **Formal Verification of a Mechanical Ventilator using UPPAAL** (2023). Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz. *FTSCS 2023*.
- **MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL** (2023). Jaime Cuartas, Jesus Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens. *A-MOST 2023* (ICST).
- **Extended Abstract: Multi-timed Bisimulation for Distributed Timed Automata** (2016). James Ortiz, Pierre-Yves Schobbens. *Open Problems in real-time computing*.
- **ArThUR: A Tool for Markov Logic Network** (2014). Keyvin Evrand, Axel Bodart, James Ortiz, Pierre-Yves Schobbens. *OTM 2014*.

## Related

- [James Ortiz](person.md)
- [Research](research.md)
- [Tools](tools.md)
- [Projects](projects.md)