161 citations · 378 across the 16 of their papers we have counts for
16 papers
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…
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…
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…
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).…
Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
David Knothe, Oliver Bringmann
Verified compilers aim to guarantee that compilation preserves the observable behavior of source programs. While small-step semantics are widely used in such compilers, they are no…
A Comprehensive Safety Metric to Evaluate Perception in Autonomous Systems
Georg Volk, Jörg Gamerdinger, Alexander von Bernuth +1
Complete perception of the environment and its correct interpretation is crucial for autonomous vehicles. Object perception is the main component of automotive surround sensing. Va…