Skip to content

Author

C. Lüth

We have 2 of 131 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Sep 2026

FormalHandshake — Open Source Design and Verification Flow for Complex Hardware Circuits: Tool Paper

Formal verification methods like bounded model checking can deliver reassurance by proving safety and security properties. However, they come with their own challenges and limits, often preventing them to be an integral part of digital system designs. In this paper we introduce FormalHandshake, a hardware design and ve...

Milan Funck, C. Lüth, R. Drechsler · 0 citations
Conference Open access Jul 2026

KiMeKo: A Collaborative AI Platform for Medical Device Development

The project contributes a practical toolchain and platform capabilities for non-experts and experts, including structured innovation support, uncertaintyaware sensor-data fusion, hybrid expert-system modeling, and workflow-guided data acquisition and anonymization.

Serge Autexier, N. Ay, Stefan Fischer et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.