most citedVerification of Component Fault Trees Using Error Effect Simulations

3 citations · 10 across the 6 of their papers we have counts for

collaborators

6 papers

cs.NI2026★ 3 cited

LEMONS: Leveraging Model-Based Techniques to Enable Non-Intrusive Semantic Enrichment in Wireless Sensor Networks

Jan Novacek, Arthur Kühlwein, Sebastian Reiter +3

The paper presents an efficient approach to the semantic enrichment of measured sensor data in Wireless Sensor Networks (WSNs), by bridging techniques from Model-driven Software De…

cs.AI2026

Reasoning-supported Robustness Validation of Automotive E/E Components

Jan Novacek, Alexander Viehl, Oliver Bringmann +1

This article presents an ontology-supported approach to tackle the complexity of the Robustness Validation (RV) process of automotive electrical/electronic (E/E) components. The ap…

cs.SE2026★ 1 cited

Ontology-supported Design Parameter Management for Change Impact Analysis

Jan Novacek, Ali Ahari, Alessandro Cornaglia +4

This paper presents an ontology-supported approach to the management of design parameters in engineering. This approach aims specifically at enabling Change Impact Analysis through…

cs.SE2026★ 2 cited

Ontology-based Requirements Transformation

Jan Novacek, Alexander Viehl, Oliver Bringmann +1

This paper presents an ontology-based approach to the supply chain-aware transformation of functional and environmental load requirements given by so-called Mission Profiles (MPs).…

cs.AI2026★ 1 cited

Ontology-supported AI Model and Dataset Management

Jan Novacek, Ali Ahari, Tobias Müller +3

Recently, there has been a great deal of research into improving AI methods and their application. The main focus is on tracking progress, enabling transparent comparisons, and fos…

cs.SE2021★ 3 cited

Verification of Component Fault Trees Using Error Effect Simulations

Sebastian Reiter, Marc Zeller, Kai Hoefig +3

The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe o…