Innovating Works

IMDEA SOFTWARE INSTITUTE

Activa
Mostrando 1 al 20 de 33 resultados
NEAT: Non-linear Existential Arithmetic Theories IMDEA SOFTWARE INSTITUTE tramitó un HORIZON EUROPE: HORIZON-MSCA-2023-PF-01 Arithmetic theories are logical theories about systems of numbers that found important applications in several areas of computer science. Fo...
2024-04-03 - 2027-08-31 | Financiado
MADRIDNIGHT: Researchers and citizens facing together the European challenges FUNDACION PARA EL CONOCIMIENTO MADRID+D tramitó un HORIZON EUROPE: HORIZON-MSCA-2022-CITIZENS-01 The European Researchers' Night in Madrid will bring together researchers to the general public and will increase awareness of the importanc...
2022-04-21 - 2024-04-30 | Financiado
CRETE: Certified Refinement Types IMDEA SOFTWARE INSTITUTE tramitó un HORIZON EUROPE: ERC-2021-STG Refinement types are a type-based, static verification technique designed to be practical. They enrich the types of an existing programming...
2022-01-28 - 2027-06-30 | Financiado
PICOCRYPT: Cryptography for Privacy and Integrity of Computation on Untrusted Machines IMDEA SOFTWARE INSTITUTE tramitó un H2020: ERC-2020-COG Due to phenomena like the ubiquity of the Internet and cloud computing it is increasingly common to store and process data on third-party ma...
2021-02-04 - 2026-05-31 | Financiado
OPENQKD: Open European Quantum Key Distribution Testbed AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH tramitó un H2020: H2020-SU-ICT-2018-2020 OPENQKD brings together a multidisciplinary team of the leading European telecommunication equipment manufacturers, end-users and critical i...
2019-08-09 - 2023-03-01 | Financiado
ACCORD: Accelerated Ordering Service for Distributed Ledgers IMDEA SOFTWARE INSTITUTE tramitó un H2020: H2020-MSCA-IF-2018 Distributed ledgers (DLs), also called blockchains, have the potential of transforming the ways individuals and businesses interact. While t...
2019-04-23 - 2021-04-30 | Financiado
Mathador: Type and Proof Structures for Concurrent Software Verification IMDEA SOFTWARE INSTITUTE tramitó un H2020: ERC-2016-COG Verification of concurrent software is a notoriously difficult subject, whose complexities stem from the inability of the existing verificat...
2017-01-30 - 2023-03-31 | Financiado
RACCOON: A Rigorous Approach to Consistency in Cloud Databases IMDEA SOFTWARE INSTITUTE tramitó un H2020: ERC-2016-STG Modern Internet services store data in novel cloud databases, which partition and replicate the data across a large number of machines and a...
2016-12-12 - 2022-12-31 | Financiado
ELASTEST: ElasTest an elastic platform for testing complex distributed large software systems Universidad Rey Juan Carlos tramitó un H2020: H2020-ICT-2016-2017 The demand for larger and more interconnected software systems is constantly increasing, but the ability of developers to satisfy it is not...
2016-10-12 - 2019-12-31 | Financiado
NEXTLEAP: NEXTLEAP INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE tramitó un H2020: H2020-ICT-2015 The objective of the NEXTLEAP project is to build the fundamental interdisciplinary internet science necessary to create decentralized, secu...
2015-11-03 - 2018-12-31 | Financiado
VARIES: VARiability In safety critical Embedded Systems BARCO NV tramitó un FP6: In order to succeed or even to survive, manufacturers and system integrators must be able to deliver new products with speed, diversity, hig...
2012-05-01 - 2015-04-30 | Financiado
AMAROUT: AMAROUT Europe IMDEA SOFTWARE INSTITUTE tramitó un FP7: AMAROUT Europe is a Project built by the IMDEA institutes with a clear double purpose, on one hand contributing to the development of the E...
Financiado
VeriStab: Formal Verification of Stability of Embedded Control Systems IMDEA SOFTWARE INSTITUTE tramitó un FP7: Building high confidence embedded control systems is a grand challenge today. A fundamental property expected out of every control system de...
Financiado
ADVENT: Architecture driven verification of systems software IMDEA SOFTWARE INSTITUTE tramitó un FP7: Systems software such as operating system kernels, hypervisors, database engines, web servers and language run-times forms the foundation of...
Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.