Start a project

← Back to the AI Evidence NetworkPermanent public evidence dossier

TaRDIS · Trustworthy and Resilient Decentralised Intelligence for Edge Systems

cordis:101093006

Trustworthy and Resilient Decentralised Intelligence for Edge Systems

Entity type · ProjectPublic dossier · indexable01 Oct 2026, 10:35

Identity extends only as far as the published stable identifier or explicit mapping. Similar names are not merged. Missing links mean not observed in the bounded sources—not absent in reality.

identity ≠ name similarity · edge ≠ causality

17direct evidenced connections

17exact-identifier edges

18referenced source snapshots

7published attributes

ONE-HOP EVIDENCE

Every direct connection and its proof

The relation label and evidence class describe the entire claim. Open the source record before drawing a broader conclusion.

Exact identifieredge:project-output:101093006:16461ede17b217bb5c92c975

Relationshiphas an observed research output

Research outputParameterized Complexity of Caching in Networks

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:2a49acd58b6439a2e28dc42d

Relationshiphas an observed research output

Research outputEncoding choice and replication in roll-π

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:3c6c40c2afb77c995ca69b55

Relationshiphas an observed research output

Research outputType Congruence, Duality and Iso-Recursive Binary Session Types

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:4d0027974ea7be1a762bb08d

Relationshiphas an observed research output

Research outputGrading Call-By-Push-Value, Explicitly and Implicitly.

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:4f7e06583ec034fae107ebee

Relationshiphas an observed research output

Research outputEnsuring Convergence and Invariants Without Coordination (Artifact).

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:659e898d55c4900a3816bfb2

Relationshiphas an observed research output

Research outputHow to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:854301fc01104b0112f236a9

Relationshiphas an observed research output

Research outputParameterized Complexity of Caching in Networks

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:914538fa15679e44a920bdda

Relationshiphas an observed research output

Research outputEnsuring Convergence and Invariants Without Coordination.

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:984f8a94ebe0474adc7c2a7b

Relationshiphas an observed research output

Research outputUnreliability in Practical Subclasses of Communicating Systems

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:9aa2b32dff6ace0e45559fea

Relationshiphas an observed research output

Research outputCheckpoint-based rollback recovery in session programming

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:a0f1366564f712b4b93197ed

Relationshiphas an observed research output

Research outputFormalising Subject Reduction and Progress for Multiparty Session Processes.

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:a4cc667d55de5feb8bd59a35

Relationshiphas an observed research output

Research outputFine-Tuning LLMs for Croatian Text Retrieval

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:bf89122d7585d2cb380b2b1d

Relationshiphas an observed research output

Research outputCrash-Stop Failures in Asynchronous Multiparty Session Types

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:d65668e4430fd1c2e4dcb9e3

Relationshiphas an observed research output

Research outputCorrect orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:d7a78f9ec06db2b45028a268

Relationshiphas an observed research output

Research outputReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifieredge:project-output:101093006:e92f2596749cd8a477598d83

Relationshiphas an observed research output

Research outputTowards Local-First Distributed Property Graphs

CORDIS project code

No additional excerpt published.

Open source ↗

Exact identifierclaim:funding:101093006:912999891

Relationshipparticipates in

ActorACTYX AG

CORDIS project code and participant PIC

No additional excerpt published.

Open source ↗

PUBLISHED ATTRIBUTES

Fields retained with this identity

Attributes are descriptive source fields. They do not create cross-dataset identity unless an edge states that join explicitly.

Acronym: TaRDIS
Code: 101093006
End Date: 2026-03-31
Framework Programme: HORIZON
Funding: Currency: EUR · German Net Eu Contribution Cents: 70356125 · Participant Edge Count: 1 · Status: linked
Research: Citation Data Output Count: 89 · Cited Output Count: 37 · First Publication Date: 2022-01-01 · Last Publication Date: 2025-09-25 · Open Access Output Count: 85 · Output Count: 89 · Status: linked · Total Citations: 132
Start Date: 2023-01-01

PROVENANCE

Inspect the source snapshots

A source snapshot describes what was available at collection time. Corrections and later publications can change future observations.

01

german-ai-innovation-pathcordis:101093006 · cordis_project_id

02

german-ai-research-to-transfer-index101093006:output:16461ede17b217bb5c92c975 · cordis_project_code

03

german-ai-research-to-transfer-index101093006:output:2a49acd58b6439a2e28dc42d · cordis_project_code

04

german-ai-research-to-transfer-index101093006:output:3c6c40c2afb77c995ca69b55 · cordis_project_code

05

german-ai-research-to-transfer-index101093006:output:4d0027974ea7be1a762bb08d · cordis_project_code

06

german-ai-research-to-transfer-index101093006:output:4f7e06583ec034fae107ebee · cordis_project_code

07

german-ai-research-to-transfer-index101093006:output:659e898d55c4900a3816bfb2 · cordis_project_code

08

german-ai-research-to-transfer-index101093006:output:854301fc01104b0112f236a9 · cordis_project_code

09

german-ai-research-to-transfer-index101093006:output:914538fa15679e44a920bdda · cordis_project_code

10

german-ai-research-to-transfer-index101093006:output:984f8a94ebe0474adc7c2a7b · cordis_project_code

11

german-ai-research-to-transfer-index101093006:output:9aa2b32dff6ace0e45559fea · cordis_project_code

12

german-ai-research-to-transfer-index101093006:output:a0f1366564f712b4b93197ed · cordis_project_code

13

german-ai-research-to-transfer-index101093006:output:a4cc667d55de5feb8bd59a35 · cordis_project_code

14

german-ai-research-to-transfer-index101093006:output:bf89122d7585d2cb380b2b1d · cordis_project_code

15

german-ai-research-to-transfer-index101093006:output:d65668e4430fd1c2e4dcb9e3 · cordis_project_code

16

german-ai-research-to-transfer-index101093006:output:d7a78f9ec06db2b45028a268 · cordis_project_code

17

german-ai-research-to-transfer-index101093006:output:e92f2596749cd8a477598d83 · cordis_project_code

18

german-ai-innovation-pathcordis:101093006:participant:912999891 · cordis_project_code_and_participant_pic

Return to the full evidence network

Search every published entity, inspect one-hop neighbourhoods and find the bridges public data still cannot support.

Open Evidence Network Explore all tools

Related tools

Useful next steps

These tools cover related ground.

IndexPublic AI outcome ledgerFollow public AI funding from projects and organizations to reported outputs and citations. Every connection retains its evidence; patents and procurement appear only with exact identifier bridges.Provenance checkPublic-sector AI system passportSee which public records can be linked to each published government AI system through stable identifiers or exact source-declared repository URLs—with a source for every edge and visible evidence boundaries.IndexPublic AI actorsSearch organizations across funding, research, procurement, influence and infrastructure. Every role stays tied to its source; matching names are queued for review only.