Alexander Viehl

According to our database1, Alexander Viehl authored at least 73 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
The Universal Safety Format in Action: Tool Integration and Practical Application.
SN Comput. Sci., March, 2023

Fast Environment Generation Methods for Virtual Testing.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

2022
Universal Safety Format: Automated Safety Software Generation.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021
Accurate LLVM IR to Binary CFGs Mapping for Simulation of Optimized Embedded Software.
Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

Platform Generation for Edge AI Devices with Custom Hardware Accelerators.
Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

Framework for safety assessment of autonomous driving functions up to SAE level 5 by self-learning iteratively improving control loops between development, safety and field life cycle phases.
Proceedings of the 17th IEEE International Conference on Intelligent Computer Communication and Processing, 2021

2020
Lemons: Leveraging Model-Based Techniques to Enable Non-Intrusive Semantic Enrichment in Wireless Sensor Networks.
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

JIT-Based Context-Sensitive Timing Simulation for Efficient Platform Exploration.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019
Ontology-based Requirements Transformation.
Proceedings of the International Symposium on Systems Engineering, 2019

Demonstration of a Toolchain for Feature Extraction, Analysis and Visualization on an Industrial Case Study.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

SIMULTime: Context-sensitive timing simulation on intermediate code representation for rapid platform explorations.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018
Mission profile-based assessment of semiconductor technologies for automotive applications.
Microelectron. Reliab., 2018

Model-guided Security Analysis of Interconnected Embedded Systems.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Ontology-Supported Design Parameter Management for Change Impact Analysis.
Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

Attack Surface Modeling and Assessment for Penetration Testing of IoT System Designs.
Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

2017
Precise Software Timing Simulation Considering Execution Contexts.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

Energy-Efficiency Optimization of Torque Vectoring Control for Battery Electric Vehicles.
IEEE Intell. Transp. Syst. Mag., 2017

Reasoning-Supported Robustness Validation of Automotive E/E Components.
Int. J. Semantic Comput., 2017

SEMF - The Semantic Engineering Modeling Framework - Bringing Semantics into the Eclipse Modeling Framework for Space Systems Engineering.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Verification of Component Fault Trees Using Error Effect Simulations.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

Digital Space Systems Engineering through Semantic Data Models.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Context-sensitive timing automata for fast source level simulation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
Ontology-Based Design of Space Systems.
Proceedings of the Semantic Web - ISWC 2016, 2016

SCDML: A Language for Conceptual Data Modeling in Model-based Systems Engineering.
Proceedings of the MODELSWARD 2016, 2016

A Methodology for Deriving Conceptual Data Models from Systems Engineering Artefacts.
Proceedings of the MODELSWARD 2016, 2016

Impact analysis of AUTOSAR energy saving mechanisms for automotive networks.
Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016

Safety consideration in state-based power optimization with partial networking - A case study.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

An application case study of state-based power optimization with partial networking.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Fault injection ecosystem for assisted safety validation of automotive systems.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Adaptive Control of the Heating System for Optimized Energy Consumption in Electric Vehicles.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Combining graph-based guidance with error effect simulation for efficient safety analysis.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Trace-based context-sensitive timing simulation considering execution path variations.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015
Fast Software Performance Evaluation for Embedded Hardware in Componentbased Embedded Systems.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

On Languages for Conceptual Data Modeling in Multi-disciplinary Space Systems Engineering.
Proceedings of the MODELSWARD 2015, 2015

Improved energy efficiency and vehicle dynamics for battery electric vehicles through torque vectoring control.
Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

State-based power optimization using mixed-criticality filter for automotive networks.
Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

Exploiting Pretended Networking for Energy Saving in Automotive Networks.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Safe and Efficient Runtime Resource Management in Heterogeneous Systems for Automated Driving.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

White-Box Error Effect Simulation for Assisted Safety Analysis.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014
Virtual prototyping evaluation framework for automotive embedded systems engineering.
Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014

HVAC system modeling for range prediction of electric vehicles.
Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014

Energy-efficient torque distribution for axle-individually propelled electric vehicles.
Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014

STELLaR - A case-study on SysTEmaticaLLy embedding a Traffic Light Recognition.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Battery aging estimation for eco-driving strategy and electric vehicles sustainability.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

Sicherstellen semantischer Integrität im Big Data Umfeld - Problemstellung und Lösungsansatz.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Mission profile aware robustness assessment of automotive power devices.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014


Execution cost estimation for software deployment in component-based embedded systems.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Context-sensitive timing simulation of binary embedded software.
Proceedings of the 2014 International Conference on Compilers, 2014

Constraint-based platform variants specification for early system verification.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013
Advanced driver assistance system for optimized recuperation under consideration of parameter uncertainties.
Proceedings of the 2013 IEEE Intelligent Vehicles Symposium (IV), 2013

Advanced features for industry-level logging and tracing of C-based designs.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

Shared memory aware MPSoC software deployment.
Proceedings of the Design, Automation and Test in Europe, 2013

Reliability assessment of safety-relevant automotive systems in a model-based design flow.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
Quantitative Synchronisationsanalyse kommunizierender Prozesse zum Echtzeitnachweis verteilter eingebetteter Systeme.
PhD thesis, 2012

Model-driven virtual prototyping for real-time simulation of distributed embedded systems.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Combining instruction set simulation and WCET analysis for embedded software performance estimation.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Optimized software mapping for advanced driver assistance systems.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Distance-Constrained Force-Directed Process Mapping for MPSoC Architectures.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Stereo depth map computation on a Tilera TILEPro64 embedded multicore processor.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

Parallel video-based traffic sign recognition on the Intel SCC many-core platform.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2010
Reconstructing Line References from Optimized Binary Code for Source-Level Annotation.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

Towards assertion-based verification of heterogeneous system designs.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
White box performance analysis considering static non-preemptive software scheduling.
Proceedings of the Design, Automation and Test in Europe, 2009

Bottom-up performance analysis considering time slice based software scheduling at system level.
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

2008
Analysis of Non-functional Properties of MPSoC Designs.
Proceedings of the Languages for Embedded Systems and their Applications, 2008

Integrated Requirement Evaluation of Non-Functional System-on-Chip Properties.
Proceedings of the Forum on specification and Design Languages, 2008

High-performance timing simulation of embedded software.
Proceedings of the 45th Design Automation Conference, 2008

2007
A Hybrid Approach for System-Level Design Evaluation.
Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

Probabilistic performance risk analysis at system-level.
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

Control-Flow Aware Communication and Conflict Analysis of Parallel Processes.
Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2006
Virtual Prototyping und frühe Evaluierung von Systems-on-Chip mit UML2 und SysML.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Formal performance analysis and simulation of UML/SysML models for ESL design.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006


  Loading...