James Jerson Ortiz

According to our database, James Jerson Ortiz authored at least 9 papers between 2010 and 2023.

Collaborative distances:

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

2023

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

James Jerson Ortiz

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