Projects per year
Fingerprint
- 1 Similar Profiles
Network
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & SCHOBBENS, P.
1/09/17 → 31/08/23
Project: PHD
-
CFV: Federated Centre for Software Verification
SCHOBBENS, P., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Project: Research
-
THCS: Testing Highly-configurable Systems
Perrouin, G., SCHOBBENS, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Project: Research
-
SEMIA: Semantics Enhanced Medical Imaging Architecture
SCHOBBENS, P., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Project: Research
-
Providing command and control agility: A software product line approach
Amorim, J. C., Rocha, E. L., Minardi, L., Alves, V., de Freitas, E. P., Castro, T., Amrani, M., Ortiz, J., Schobbens, P. Y. & Perrouin, G., 15 Apr 2023, In: Expert Systems with Applications. 216, 119473.Research output: Contribution to journal › Article › peer-review
-
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 proceeding › Conference contribution
-
Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 1 Jul 2018, p. 325-332. 8 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile45 Downloads (Pure) -
Multi-timed Bisimulation for Distributed Timed Automata
Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 1 Jan 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 proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile44 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 proceeding › Conference contribution
File294 Downloads (Pure)
Activities
-
FOCUS Research Seminar
Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee) & Christian Colot (Member of Organizing Committee)
6 Dec 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
NASA Formal Methodos 2019
James Jerson Ortiz Vega (Speaker)
7 May 2019 → 9 May 2019Activity: Talk or presentation types › Oral presentation
-
International Conference on Quality, Reliability, and Security
James Jerson Ortiz Vega (Speaker)
16 Jul 2018 → 20 Jul 2018Activity: Talk or presentation types › Oral presentation
-
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Contributor)
2017 → …Activity: Participating in or organising an event types › Participation in conference
-
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Speaker)
2017 → …Activity: Talk or presentation types › Oral presentation