14/06/2022Published by jferrus on 14/06/2022Categories Main Projects ProjectsFAVPQCFormal Analysis and Verification of Post-Quantum Cryptographic Protocols
24/03/2022Published by jferrus on 24/03/2022Categories Main Projects ProjectsTAILOREuropean TAILOR project
23/03/2022Published by jferrus on 23/03/2022Categories Main Projects ProjectsOGMIOSIntelligent system for clinical decision support in precision medicine.
22/03/2022Published by jferrus on 22/03/2022Categories Main Projects Projectsiv4XRIntelligent Verification/Validation for Extended Reality Based Systems
21/03/2022Published by jferrus on 21/03/2022Categories Main Projects ProjectsDECODERDEveloper COmpanion for Documented and annotated code Reference
20/03/2022Published by jferrus on 20/03/2022Categories Main Projects ProjectsGISPROGenomic Information Systems Production – Deciphering the Life Language using the Information Systems Engineering
19/03/2022Published by jferrus on 19/03/2022Categories ProjectsDataMeA Conceptual Model-driven Method for Big Data applications
18/03/2022Published by jferrus on 18/03/2022Categories ProjectsPROTEUSDesigning Self-Adaptive Systems Involving Humans