If you made any changes in Pure these will be visible here soon.

Research Output 2004 2019

2019

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11460 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
2018
15 Downloads (Pure)

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

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
Taxonomies
Testing
Specifications
Costs
2017
18 Downloads (Pure)

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10227 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Open Access
File
Real time systems
Clocks
Computability and decidability
Explosions
2014
267 Downloads (Pure)

ArThUR: A Tool for Markov Logic Network

Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8842. p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8842).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Ontology
Logic
Description Logics
Open Source Software
Semantic Web
50 Downloads (Pure)

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J. & Schobbens, P-Y., 4 Apr 2014, Open problems in real-time computing. 2 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
2013
45 Downloads (Pure)

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

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, PFIA 2013: French Symposium of Artificial Intelligence. Lille, 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

File
87 Downloads (Pure)

Integrated Information System for Multi-criteria Management of Orthopedic Infections

Ortiz Vega, J. J., De Nizza, D., Schobbens, P-Y. & Meurisse, H., 20 Nov 2013, Mobile and Information Technologies in Medicine and Health 2013 .

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Information Systems
Orthopedics
Infection
Prosthesis Failure
Knee Prosthesis
23 Downloads (Pure)

Modeling and Specification of Distributed Timed Systems

Ortiz Vega, J. J., 10 Sep 2013, In : Ingeniería Y Competitividad. vol 15, 2, p. 229-238 10 p., 10.

Research output: Contribution to journalArticle

File
87 Downloads (Pure)

ORTHOGEN: Système d'Information Intégré pour la Traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, INFORSID 2013: Informatique des Organisation et Systèmes d'Information et de Décision. Paris, p. 312-328 16 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
2012
40 Downloads (Pure)
Open Access
File
2011
219 Downloads (Pure)

Distributed Event Clock Automata: Extended abstract

Ortiz Vega, J., Legay, A. & Schobbens, P-Y., 2011, CIAA 2011: 16th International Conference on Implementation and Application of Automata . Bouchou-Markhoff, B. (ed.). Heidelberg: Springer, Vol. 6807. p. 250-263 14 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Clocks
Temporal logic
Real time systems
Semantics
10 Downloads (Pure)
File
2010

Decidable Distributed Event Clock Automata

Ortiz Vega, J. J. & Schobbens, P-Y., 2010, (Unpublished) Moves-Verif Workshop at ASE2010. 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

1 Downloads (Pure)

Memory Event Clocks

Ortiz, J., Legay, A. & Schobbens, P-Y., 2010, Formal Modeling and Analysis of Timed Systems. Springer, Vol. 6246. p. 198 (Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Temporal logic
Clocks
Data storage equipment
2006
9 Downloads (Pure)

Revisión de algunos modelos de programación concurrente por restricciones y sus aplicaciones

Ortiz Vega, J. J., Aranda, J. & Moreno, P., 2006, The 2nd International Seminar on Genomics, Proteomics, Bioinformatics and Systems Biology" 2006. 14 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
2005
17 Downloads (Pure)

The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics

Ortiz Vega, J. J., Aranda, J. & Diaz, J. F., 2005, Multiparadigm Programming in Mozart/OZ. Charleroi, Belgium: Springer, Vol. 3389. p. 305-316 12 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
2004
12 Downloads (Pure)

Crear: Consejero para la Repetición de Artículos y Evaluadores en Eventos Académicos

Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, In : Ingeniería Y Competitividad. 6, 1, p. 53-62 10 p.

Research output: Contribution to journalArticle

Open Access
File
79 Downloads (Pure)

El Problema de la Asignación de Evaluadores para los Artículos Presentados a un Evento Académico: Modelamiento e Implementación de dos Solución Usando Programación por Restricciones.

Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, Conferencia Latinoamericana en Informática. Lima, Perù, p. 684-695 17 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File