Jan Novacek

FZI Forschungszentrum Informatik, Eberhard Karls Universität Tübingen

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Reasoning & Chain-of-Thought (1)

Frequent co-authors

Alexander Viehl (1)Oliver Bringmann (1)Wolfgang Rosenstiel (1)

Papers (1)

Aug 17, 2026

FZI Forschungszentrum Informatik1w ago·also Tübingen

Reasoning-supported Robustness Validation of Automotive E/E Components

Automating the analysis selection in Robustness Validation can cut design time and enhance thoroughness, transforming how automotive components are validated.

Jan Novacek, Alexander Viehl, Oliver Bringmann +1

Reasoning & Chain-of-Thought

Search

Jan Novacek

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)