Login / Signup
James Ortiz
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Model Checking
Temporal Logic
Formal Verification
Timed Automata
Top Venues
FormaliSE@ICSE
FTSCS
ICSTW
Expert Syst. Appl.
</>
Publications
</>
David Cortés
,
James Ortiz
,
Davide Basile
,
Jesús Aranda
,
Gilles Perrouin
,
Pierre-Yves Schobbens
Time for Networks: Mutation Testing for Timed Automata Networks.
FormaliSE@ICSE
(2024)
Jaime Cuartas
,
Jesús Aranda
,
Maxime Cordy
,
James Ortiz
,
Gilles Perrouin
,
Pierre-Yves Schobbens
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.
ICSTW
(2023)
Jaime Cuartas
,
David Cortés
,
Joan S. Betancourt
,
Jesús Aranda
,
José I. García
,
Andrés M. Valencia
,
James Ortiz
Formal Verification of a Mechanical Ventilator using UPPAAL.
FTSCS
(2023)
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
Providing command and control agility: A software product line approach.
Expert Syst. Appl.
216 (2023)