Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners

Khalilov, Eldar; Ross, Jordan; Antkiewicz, Michał; Völter, Markus; Czarnecki, Krzysztof · 2016 · Crossref

DOI: 10.1007/978-3-319-47169-3_37

archive: archived pipeline: cataloged

Get this paper ↗ (DOI — opens at the source; we link to it, we don't host it)

Abstract

2.1 2010-06-30 Updated version from the EC FP7 project ATESST2 with Timing concepts from ITEA TIMMO. 2.1.11 2013-05-28 Updated version from the EC FP7 project MAENAD with Timing concepts from ITEA2 TIMMO-2-USE.

Provenance

The full processing record for this entry. Every stage of this paper's journey through the pipeline is logged — what ran, with which tool and model, how many attempts it took, and when it last completed.

StageOutcomeToolModelPromptAttemptsCompleted
discover success Crossref 1 2026-06-25
archive success canonical_url 1 2026-06-26
extract success cached 2 2026-06-26
clean success clean 1 2026-06-26
chunk success chunk 1 2026-06-26
embed success embed Qwen/Qwen3-Embedding-8B 1 2026-06-26
enrich failed 1 2026-06-26
promote success 1 2026-06-25
summarize skipped llm qwen3.6-27b-prismaquant summ-v5 1 2026-06-26
tag success vector_similarity 6 2026-06-26

Topics

Ranked by relevance to this paper. Hover a topic for its definition.