Skip to main content
Un sito ufficiale dell’Unione europeaUn sito ufficiale dell’UE
European Commission logo
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Contenuto archiviato il 2024-06-18

Diagnosis, Error Modelling and Correction for Reliable Systems Design

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Optimizing Fault Tolerance for Real-Time Systems

Autori: Nikolov, Dimitar
Pubblicato in: Linköpings universitet, Programvara och system 2012

Identifying Untestable Faults in Sequential Circuits Using Test Path Constraints

Autori: Hideo Fujiwara; Taavi Viilukas; Anton Karputkin; Jaan Raik; Maksim Jenihhin; Raimund Ubar
Pubblicato in: Springer Science and Business Media LLCCrossref 2012
ID permanente: Digital Object Identifier:10.1007/s10836-012-5312-5; Microsoft Academic Graph Identifier:1974001719

Parameterized Synthesis

Autori: Jacobs, Swen; Bloem, Roderick
Pubblicato in: Centre pour la Communication Scientifique Directe (CCSD)Logical Methods in Computer Science, Vol Volume 10, Issue 1 (2014) 2012
ID permanente: Digital Object Identifier:10.2168/lmcs-10(1:12)2014; Digital Object Identifier:10.1007/978-3-642-28756-5_25; Digital Object Identifier:10.48550/arxiv.1401.3588; arXiv:http://arxiv.org/abs/1401.3588; Microsoft Academic Graph Identifier:3038004135; Microsoft Academic Graph Identifier:2913930975

Fault Tolerance for Real-Time Systems: Analysis and Optimization of Roll-back Recovery with Checkpointing

Autori: Nikolov, Dimitar
Pubblicato in: Lund University 2014

Synthesis of Reactive(1) designs

Autori: Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa'Ar, Yaniv
Pubblicato in: Elsevier BVCrossref 2012
ID permanente: Digital Object Identifier:10.1016/j.jcss.2011.08.007; Microsoft Academic Graph Identifier:2041701185; Handle:2381/10278

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Autori: Roderick Bloem; Georg Hofferek; Robert Könighofer
Pubblicato in: Springer Science and Business Media LLCCrossref 2011
ID permanente: Digital Object Identifier:10.1007/s10009-011-0221-y; Microsoft Academic Graph Identifier:2082212664

Test Cost Reduction of 3D Stacked ICs : Test Planning and Test Flow Selection

Autori: Sengupta, Breeta
Pubblicato in: Department of Electroscience, Lund University 2020

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile