https://jesusc.github.io/news/announcement_1/ 2023-09-03T21:59:00+02:00 https://jesusc.github.io/news/announcement_2/ 2024-09-27T16:00:00+02:00 https://jesusc.github.io/projects/1_project/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/projects/2_project/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/projects/3_project/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/projects/4_project/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/projects/5_project/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/projects/6_project/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/software/a2l/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/software/anatlyzer/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/software/bento/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/software/efinder/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/software/mar/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/software/modelset/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/software/rubytl/ 2025-05-09T08:53:40+02:00 https://jesusc.github.io/ https://jesusc.github.io/cv/ https://jesusc.github.io/_pages/dropdown/ https://jesusc.github.io/news/ https://jesusc.github.io/projects/ https://jesusc.github.io/publications/ https://jesusc.github.io/repositories/ https://jesusc.github.io/software/ https://jesusc.github.io/teaching/ https://jesusc.github.io/papers/Realistic-Models-TSE-2022.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/a2l.tse2020.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/ast-probe-ase-2022.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/classification-models-2022.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/mar-sosym-2021.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/modelmime.tse2022.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/models2020-mar.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/models21-realistic-model-generators.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/models22-classification.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/models23-worde4mde.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/models24-modelmate.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/modelset-demo.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/modelset-tool-2024.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/modelset.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/optimising-ocl-ecmfa-2018.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/puzzles-sosym25.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/realistic-models-2021.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/sosym-ocl-optimisations.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/tosem-typing-2019.pdf 2025-05-09T08:52:10+02:00 https://jesusc.github.io/papers/verified-catalogue-ocl-2020.pdf 2025-05-09T08:52:10+02:00