Wolfgang Rosenstiel

Affiliations:
  • University of Tübingen, Germany


According to our database1, Wolfgang Rosenstiel authored at least 470 papers between 1981 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A Timed-Value Stream Based ESL Timing and Power Estimation and Simulation Framework for Heterogeneous MPSoCs.
Int. J. Parallel Program., 2020

A New Method for Detecting Leaks in MEMS Accelerometers at Wafer-Level.
Proceedings of the 2020 IEEE Sensors, Rotterdam, The Netherlands, October 25-28, 2020, 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

Training Decision Trees as Replacement for Convolution Layers.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Validation loss for landmark detection.
CoRR, 2019

Fully Automated R-peak Detection Algorithm (FLORA) for fetal magnetoencephalographic data.
Comput. Methods Programs Biomed., 2019

Bridging XML and UML - An Automated Framework.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Firmware Synthesis for Ultra-Thin IoT Devices Based on Model Integration.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Camera-Based Eye Blink Detection Algorithm for Assessing Driver Drowsiness.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

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

The Applicability of Cycle GANs for Pupil and Eyelid Segmentation, Data Generation and Image Refinement.
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshops, 2019

Ferns for area of interest free scanpath classification.
Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications, 2019

Fully Automated Subtraction of Heart Activity for Fetal Magnetoencephalography Data.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

500, 000 Images Closer to Eyelid and Pupil Segmentation.
Proceedings of the Computer Analysis of Images and Patterns, 2019

Prediction of item familiarity based on ERPs.
Proceedings of the 7th International Winter Conference on Brain-Computer Interface, 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

Eye movement simulation and detector creation to reduce laborious parameter adjustments.
CoRR, 2018

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

Measurements revealing Challenges in Radar Sensor Modeling for Virtual Validation of Autonomous Driving.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Rapid Sensitivity Curve Measurement for MEMS Accelerometers.
Proceedings of the 12th International Conference on Sensing Technology, 2018

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

A software reconfigurable assertion checking unit for run-time error detection.
Proceedings of the 23rd IEEE European Test Symposium, 2018

The art of pervasive eye tracking: unconstrained eye tracking in the Austrian Gallery Belvedere.
Proceedings of the 7th Workshop on Pervasive Eye Tracking and Mobile Eye-Based Interaction, 2018

Region of interest generation algorithms for eye tracking data.
Proceedings of the 3rd Workshop on Eye Tracking and Visualization, 2018

CBF: circular binary features for robust and real-time pupil center detection.
Proceedings of the 2018 ACM Symposium on Eye Tracking Research & Applications, 2018

BORE: boosted-oriented edge optimization for robust, real time remote pupil center detection.
Proceedings of the 2018 ACM Symposium on Eye Tracking Research & Applications, 2018

MAM: Transfer Learning for Fully Automatic Video Annotation and Specialized Detector Creation.
Proceedings of the Computer Vision - ECCV 2018 Workshops, 2018

Evaluating Optical Flow Vectors Under Varying Computer-Generated Snow Intensities and Pixel Density for Autonomous Vehicles.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

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

Implications and methods for co-existing automotive radar and communication systems.
Proceedings of the 52nd Asilomar Conference on Signals, Systems, and Computers, 2018

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

Ready for Take-Over? A New Driver Assistance System for an Automated Classification of Driver Take-Over Readiness.
IEEE Intell. Transp. Syst. Mag., 2017

Online Recognition of Driver-Activity Based on Visual Scanpath Classification.
IEEE Intell. Transp. Syst. Mag., 2017

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

PupilNet v2.0: Convolutional Neural Networks for CPU based real time Robust Pupil Detection.
CoRR, 2017

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques.
Proceedings of the Testing Software and Systems, 2017

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

Random Visual evoked potentials (Rvep) for brain-Computer Interface (BCI) control.
Proceedings of the From Vision to Reality, 2017

Non-stationarity and Inter-subject variability of EEG characteristics in the Context of BCI Development.
Proceedings of the From Vision to Reality, 2017

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

2016
Eine Tcl-basierte Methode zur Fehlerinjektion und Fehlereffektsimulation/-emulation auf Xilinx-FPGAs.
Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Neues Konzept zur Steigerung der Zuverlässigkeit einer ARM-basierten Prozessorarchitektur unter Verwendung eines CGRAs.
Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 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

Flexible in-silicon checking of run-time programmable assertions.
Proceedings of the 22nd IEEE International Symposium on On-Line Testing and Robust System Design, 2016

Using touchscreen interaction data to predict cognitive workload.
Proceedings of the 18th ACM International Conference on Multimodal Interaction, 2016

Eyes wide open? eyelid location and eye aperture estimation for pervasive eye tracking in real-world scenarios.
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016

Evaluation of state-of-the-art pupil detection algorithms on remote eye images.
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016

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

On the necessity of adaptive eye movement classification in conditionally automated driving scenarios.
Proceedings of the Ninth Biennial ACM Symposium on Eye Tracking Research & Applications, 2016

Novel Methods for Analysis and Visualization of Saccade Trajectories.
Proceedings of the Computer Vision - ECCV 2016 Workshops, 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

Simulation of falling rain for robustness testing of video-based surround sensing systems.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Leveraging FDSOI through body bias domain partitioning and bias search.
Proceedings of the 53rd Annual Design Automation Conference, 2016

MuCCRA4-BB: A fine-grained body biasing capable DRP.
Proceedings of the 2016 IEEE Symposium in Low-Power and High-Speed Chips, 2016

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

2015
Adaptive multi-layer techniques for increased system dependability.
it Inf. Technol., 2015

Scalable and Optimized Hybrid Verification of Embedded Software.
J. Electron. Test., 2015

Efficient Testing of Different Loop Paths.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 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

Improving accuracy of source level timing simulation for GPUs using a probabilistic resource model.
Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

keyValuate: A Framework for Rapid Evaluation of Adaptive Keyboards on Touchscreens.
Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction, 2015

Framework for Varied Sensor Perception in Virtual Prototypes.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 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

Robustness Evaluation and Improvement for Vision-Based Advanced Driver Assistance Systems.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

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

Driver-Activity Recognition in the Context of Conditionally Autonomous Driving.
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

A spiking neuronal model learning a motor control task by reinforcement learning and structural synaptic plasticity.
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

Learning Instead of Markers: Flexible Recognition of Mobile Devices on Interactive Surfaces.
Proceedings of the Distributed, Ambient, and Pervasive Interactions, 2015

Efficient Fault Localization During Replay of Embedded Software.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Comparing metrics to evaluate performance of regression methods for decoding of neural signals.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

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

Spatial and temporal granularity limits of body biasing in UTBB-FDSOI.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Source level performance simulation of GPU cores.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Bordersearch: an adaptive identification of failure regions.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Fined-grained body biasing for frequency scaling in advanced SOI processes.
Proceedings of the 2015 IEEE Symposium in Low-Power and High-Speed Chips, 2015

ExCuSe: Robust Pupil Detection in Real-World Scenarios.
Proceedings of the Computer Analysis of Images and Patterns, 2015

Eyetrace2014 - Eyetracking Data Analysis Tool.
Proceedings of the HEALTHINF 2015, 2015

Analysis of Eye Movements with Eyetrace.
Proceedings of the Biomedical Engineering Systems and Technologies, 2015

2014
Resilience Articulation Point (RAP): Cross-layer dependability modeling for nanometer system-on-chip resilience.
Microelectron. Reliab., 2014

Estimation of diffusion coefficients from voltammetric signals by support vector and gaussian process regression.
J. Cheminformatics, 2014

Decoding stimulation intensity from evoked ECoG activity.
Neurocomputing, 2014

Design Method for a Scalable Modular Structure Product Family.
Proceedings of the International Joint Conference SOCO'14-CISIS'14-ICEUTE'14, 2014

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

More Flexible Object Invariants with Less Specification Overhead.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

An ESL timing & power estimation and simulation framework for heterogeneous socs.
Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Rotated parallel mapping: A novel approach for mapping data parallel applications on CGRAs.
Proceedings of the 2014 International Conference on ReConFigurable Computing and FPGAs, 2014

Predicting Wrist Movement Trajectory from Ipsilesional ECoG in Chronic Stroke Patients.
Proceedings of the 2nd International Congress on Neurotechnology, 2014

Increasing Software Reliability by Integrating Formal Verification and Robustness Testing.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Optimized hybrid verification of embedded software.
Proceedings of the 15th Latin American Test Workshop, 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

User identification using raw sensor data from typing on interactive displays.
Proceedings of the 19th International Conference on Intelligent User Interfaces, 2014

Simulation and evaluation of sensor characteristics in vision based advanced driver assistance systems.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

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

Module Family Design for Modular Product.
Proceedings of the Intelligent Systems'2014, 2014

Model-based platform design and evaluation of cloud-based cyber-physical systems (CCPS).
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 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

Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment.
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Detection and Utilization of Emotional State for Disabled Users.
Proceedings of the Computers Helping People with Special Needs, 2014

Towards automated comparison of eye-tracking recordings in dynamic scenes.
Proceedings of the 5th European Workshop on Visual Information Processing, 2014

Gaze guidance for the visually impaired.
Proceedings of the Eye Tracking Research and Applications, 2014

SubsMatch: scanpath similarity in dynamic scenes based on subsequence frequencies.
Proceedings of the Eye Tracking Research and Applications, 2014

The applicability of probabilistic methods to the online recognition of fixations and saccades in dynamic scenes.
Proceedings of the Eye Tracking Research and Applications, 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

TICoMS - A Modular and Message-Based Framework for Monitoring and Control of Medical Devices.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

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

Rule-based Classification of Visual Field Defects.
Proceedings of the HEALTHINF 2014, 2014

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

2013
Circuit Level Concurrent Error Detection in FSMs.
J. Electron. Test., 2013

Predicting the Flow of Defect Correction Effort using a Bayesian Network Model.
Empir. Softw. Eng., 2013

Modellgestützter Entwurf Cloud-basierter Cyber-physischer Systeme (CCPS).
Autom., 2013

Timing error handling on CGRAs.
Proceedings of the 2012 International Conference on Reconfigurable Computing and FPGAs, 2013

Image content matched directional filters for image coding based on contourlet transform.
Proceedings of the 30th Picture Coding Symposium, 2013

Dynamics of a Stimulation-evoked ECoG Potential During Stroke Rehabilitation - A Case Study.
Proceedings of the International Congress on Neurotechnology, Electronics and Informatics, 2013

Ein template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-Beschreibungen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

A Software Testing Framework to Integrate Formal Verification Results.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Rapid Design Space Exploration of a State-of-the-art PSI 5 Controller.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

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

Model based estimation of ego-motion and road plane using vehicle-mounted camera.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Maneuver decision for active pedestrian protection under uncertainty.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Online Classification of Eye Tracking Data for Automated Analysis of Traffic Hazard Perception.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2013, 2013

Unsupervised Online Calibration of a c-VEP Brain-Computer Interface (BCI).
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2013, 2013

StML: Bridging the gap between FPGA design and HDL circuit description.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

Testing reliability techniques for SoCs with fault tolerant CGRA by using live FPGA fault injection.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

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

A Fast and Accurate FPGA-Based Fault Injection System.
Proceedings of the 21st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2013

Decoding stimulation intensity from evoked ECoG activity using support vector regression.
Proceedings of the 21st European Symposium on Artificial Neural Networks, 2013

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

A New Method for Assessing the Exploratory Field of View (EFOV).
Proceedings of the HEALTHINF 2013, 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

Using Cross-Task Classification for Classifying Workload Levels in Complex Learning Tasks.
Proceedings of the 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction, 2013

2012
Object-Oriented Bayesian Networks for Detection of Lane Change Maneuvers.
IEEE Intell. Transp. Syst. Mag., 2012

FPGA-based architecture to speed-up scientific computation in seismic applications.
Int. J. High Perform. Syst. Archit., 2012

Principal component based covariate shift adaption to reduce non-stationarity in a MEG-based brain-computer interface.
EURASIP J. Adv. Signal Process., 2012

Towards the keyboard of oz: learning individual soft-keyboard models from raw optical sensor data.
Proceedings of the Interactive Tabletops and Surfaces, 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

Latency-Optimized Force-directed Process Mapping for MPSoC Architectures.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Optimized Static Parameter Assignment for Semiformal Software Verification.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Using Run-Time Reconfiguration to Implement Fault-Tolerant Coarse Grained Reconfigurable Architectures.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Adaptive SVM-Based Classification Increases Performance of a MEG-Based Brain-Computer Interface (BCI).
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2012, 2012

Dependable embedded systems: The German research foundation DFG priority program SPP 1500.
Proceedings of the 17th IEEE European Test Symposium, 2012

Bayesian online clustering of eye movement data.
Proceedings of the 2012 Symposium on Eye-Tracking Research and Applications, 2012

Optimized hardware architecture of a smart camera with novel cyclic image line storage structures for morphological raster scan image processing.
Proceedings of the 2012 IEEE International Conference on Emerging Signal Processing Applications, 2012

One Class SVM and Canonical Correlation Analysis increase performance in a c-VEP based Brain-Computer Interface (BCI).
Proceedings of the 20th European Symposium on Artificial Neural Networks, 2012

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

Efficient digital design for automotive mixed-signal ASICs using simulink.
Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

Analysis of multi-domain scenarios for optimized dynamic power management strategies.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Beyond CMOS - benchmarking for future technologies.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Hybrid source-level simulation of data caches using abstract cache models.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Hierarchical propagation of geometric constraints for full-custom physical design of ICs.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 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

System Architecture for Future Driver Assistance Based on Stereo Vision.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

A brain-computer interface for chronic pain patients using epidural ECoG and visual feedback.
Proceedings of the 12th IEEE International Conference on Bioinformatics & Bioengineering, 2012

2011
Online SVR Training by Solving the Primal Optimization Problem.
J. Signal Process. Syst., 2011

An Efficient SER Estimation Method for Combinational Circuits.
IEEE Trans. Reliab., 2011

DWARF-driven Equivalence Checking of UML Statecharts and Software Components.
Softwaretechnik-Trends, 2011

Neural mechanisms of brain-computer interface control.
NeuroImage, 2011

Revitalisierung der akademischen Großrechnerausbildung.
Inform. Spektrum, 2011

System-Level Power-Accuracy Trade-Off in Bluetooth Low Energy Networks.
Proceedings of the Ubiquitous Intelligence and Computing - 8th International Conference, 2011

Runtime-datapath-remapping for fault-tolerant coarse-grained reconfigurable architectures.
Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

Low-Cost TMR for Fault-Tolerance on Coarse-Grained Reconfigurable Architectures.
Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs, 2011

System-Level Design for Automotive Mixed-Signal ASICs: An Industrial Point of View.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

SystemC-based Performance Optimization in Embedded System Design: A Synthetic-Aperture-Radar (SAR) Case Study.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Scalable and Extendable Hybrid Verification Platform.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Hybrid verificatio of temporal properties in hardware dependent software.
Proceedings of the 12th Latin American Test Workshop, 2011

Object-oriented Bayesian networks for detection of lane change maneuvers.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

Autonomous multi-processor-SoC optimization with distributed learning classifier systems XCS.
Proceedings of the 8th International Conference on Autonomic Computing, 2011

Classifying mental states with machine learning algorithms using alpha activity decline.
Proceedings of the 19th European Symposium on Artificial Neural Networks, 2011

Detection of motor planning and suppression with the help of electroencephalography.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Spatial and Temporal Data Path Remapping for Fault-Tolerant Coarse-Grained Reconfigurable Architectures.
Proceedings of the 2011 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2011

Fast and accurate resource conflict simulation for performance analysis of multi-core systems.
Proceedings of the Design, Automation and Test in Europe, 2011

Scalable hybrid verification for embedded software.
Proceedings of the Design, Automation and Test in Europe, 2011

Fast and accurate source-level simulation of software timing considering complex code optimizations.
Proceedings of the 48th Design Automation Conference, 2011

Dominator homomorphism based code matching for source-level simulation of embedded software.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011


Hybrid Infrastructure as a Service - A Cloud-oriented Provisioning Model for Virtual Hosts and Accelerators in Hybrid Computing Environments.
Proceedings of the CLOSER 2011, 2011

Vishnoo - An open-source software for vision research.
Proceedings of the 24th IEEE International Symposium on Computer-Based Medical Systems, 2011

Applying ASoC to Multi-core Applications for Workload Management.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Autonomic System on Chip Platform.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Combining Software and Hardware LCS for Lightweight On-chip Learning.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

2010
Charge Recycling in Voltage-Dithered Circuits.
J. Low Power Electron., 2010

Design and Run-time Reliability at the Electronic System Level.
IPSJ Trans. Syst. LSI Des. Methodol., 2010

CODES+ISSS 2009 guest editors' introduction.
Des. Autom. Embed. Syst., 2010

Orthogonal shift level comparison reuse for structuring element shape independent VLSI-Architectures of 2D morphological operations.
Proceedings of the Annual IEEE International SoC Conference, SoCC 2010, 2010

Defect cost flow model: a Bayesian network for predicting defect correction effort.
Proceedings of the 6th International Conference on Predictive Models in Software Engineering, 2010

Key randomization using a power analysis resistant deterministic random bit generator.
Proceedings of the 16th IEEE International On-Line Testing Symposium (IOLTS 2010), 2010

Pruning population size in XCS for complex problems.
Proceedings of the International Joint Conference on Neural Networks, 2010

Combining Software and Hardware LCS for Lightweight On-Chip Learning.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Shape independent VLSI-architecture design approach for 2D morphological operations with non-flat structuring elements.
Proceedings of the 17th IEEE International Conference on Electronics, 2010

RTOS-aware modeling of embedded hardware/software systems.
Proceedings of the 28th International Conference on Computer Design, 2010

Organizing and Planning the ASIC Design Process by Means of a Multi-agent System.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.
Proceedings of the FM+AM 2010, 2010

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

Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation.
Proceedings of the Design, Automation and Test in Europe, 2010

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

Simulation-based verification of the MOST NetInterface specification revision 3.0.
Proceedings of the Design, Automation and Test in Europe, 2010

Evaluation and Design Methods for Processor-Like Reconfigurable Architectures.
Proceedings of the Dynamically Reconfigurable Systems - Architectures, 2010

2009
CGADL: An Architecture Description Language for Coarse-Grained Reconfigurable Arrays.
IEEE Trans. Very Large Scale Integr. Syst., 2009

The Last Byte: The HLS tipping point.
IEEE Des. Test Comput., 2009

ESWEEK 2007 special issue introduction.
Des. Autom. Embed. Syst., 2009

Generic Self-Adaptation to Reduce Design Effort for System-on-Chip.
Proceedings of the Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2009

Prevention of Hot Spot Development on Coarse-Grained Dynamically Reconfigurable Architectures.
Proceedings of the ReConFig'09: 2009 International Conference on Reconfigurable Computing and FPGAs, 2009

Low Energy Voltage Dithering in Dual <i>V</i><sub><i>DD</i></sub> Circuits.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2009

SySifoS: SystemC simulator for sensor and communication systems.
Proceedings of the 6th International Conference on Mobile Technology, 2009

BCCI - A Bidirectional Cortical Communication Interface.
Proceedings of the IJCCI 2009, 2009

ASIC Design Project Management Supported by Multi Agent Simulation.
Proceedings of the Artificial Intelligence Applications and Innovations III, 2009

Network-on-Chip Architecture Exploration Framework.
Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

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

Semiformal verification of temporal properties in automotive hardware dependent software.
Proceedings of the Design, Automation and Test in Europe, 2009

The wild west: conquest of complex hardware-dependent software design.
Proceedings of the 46th Design Automation Conference, 2009

Using genetic algorithms for planning of ASIC chip-design project flows.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Off-loading compute intensive tasks for insurance products using a just-in-time compiler on a hybrid system.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

Automated synthesis and verification of embedded systems: wishful thinking or reality?
Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2008
Automatic Cluster Detection in Kohonen's SOM.
IEEE Trans. Neural Networks, 2008

A Systematic Approach for Synthesizing VLSI Architectures of Lifting-Based Filter Banks and Transforms.
IEEE Trans. Circuits Syst. I Regul. Pap., 2008

Advanced Assertion-Based Design for Mixed-Signal Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

Self-Localization in a Low Cost Bluetooth Environment.
Proceedings of the Ubiquitous Intelligence and Computing, 5th International Conference, 2008

Optimizing Partial Reconfiguration of Multi-context Architectures.
Proceedings of the ReConFig'08: 2008 International Conference on Reconfigurable Computing and FPGAs, 2008

Object-Oriented Message-Passing in Heterogeneous Environments.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-Funktionalität.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

Automatic synthesis of VLSI architectures for arbitrary lifting-based filter banks and transforms.
Proceedings of the IEEE International Conference on Acoustics, 2008

Evaluation of the Learning Classifier System XCS for SoC run-time control.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

Evaluating the impact of customized instruction set on coarse grained reconfigurable arrays.
Proceedings of the 2008 International Conference on Field-Programmable Technology, 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

Efficient Architecture Evaluation Using Functional Mapping.
Proceedings of the Languages for Embedded Systems and their Applications, 2008

Enabling Automated Code Transformation and Variable Tracing.
Proceedings of the Forum on specification and Design Languages, 2008

Direct and inverse solution for a stimulus adaptation problem using SVR.
Proceedings of the 16th European Symposium on Artificial Neural Networks, 2008

Verification of Temporal Properties in Automotive Embedded Software.
Proceedings of the Design, Automation and Test in Europe, 2008

Current state of ASoC design methodology.
Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

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

Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007
Real-Time Fetal Heart Monitoring in Biomagnetic Measurements Using Adaptive Real-Time ICA.
IEEE Trans. Biomed. Eng., 2007

An MEG-based brain-computer interface (BCI).
NeuroImage, 2007

Erratum to "An MEG-based brain-computer interface (BCI)" [NeuroImage 36 (2007) 581-593].
NeuroImage, 2007

CRC - Concepts and Evaluation of Processor-Like Reconfigurable Architectures (CRC - Konzepte und Bewertung prozessorartig rekonfigurierbarer Architekturen).
it Inf. Technol., 2007

Online Artifact Removal for Brain-Computer Interfaces Using Support Vector Machines and Blind Source Separation.
Comput. Intell. Neurosci., 2007

Nessi: An EEG-Controlled Web Browser for Severely Paralyzed Patients.
Comput. Intell. Neurosci., 2007

Property Set Exhaustiveness Estimation Approach for BMC-based Formal Hardware Verification.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Semiformal Verification of Temporal Properties in Embedded Software.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Eine SystemC-basierte Heuristik zur Performanzoptimierung datenflussorientierter Applikationen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Coverage Driven Verification applied to Embedded Software.
Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

Optimization of Area and Performance by Processor-Like Reconfiguration.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 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

Self-Learning Prediction System for Optimisation of Workload Management in a Mainframe Operating System.
Proceedings of the ICEIS 2007, 2007

Exploiting Slack Time in Dynamically Reconfigurable Processor Architectures.
Proceedings of the 2007 International Conference on Field-Programmable Technology, 2007

Grid Based Fast Falsification For Bounded Property Checking.
Proceedings of the Forum on specification and Design Languages, 2007

Fully Adaptive Fault-Tolerant Routing Algorithm for Network-on-Chip Architectures.
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

Timing simulation of interconnected AUTOSAR software-components.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 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
Organic Computing at the System on Chip Level.
Proceedings of the IFIP VLSI-SoC 2006, 2006

Tuning Coarse-Grained Reconfigurable Architectures towards an Application Domain.
Proceedings of the 2006 IEEE International Conference on Reconfigurable Computing and FPGA's, 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

Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Communication Refinement and Target Software Generation using SystemC.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Monitoring-based Formal Hardware Verification.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Error Detection Techniques Applicable in an Architecture Framework and Design Methodology for Autonomic SoCs.
Proceedings of the Biologically Inspired Cooperative Computing, 2006

An Architecture for Runtime Evaluation of SoC Reliability.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Design and validation of execution schemes for dynamically reconfigurable architectures.
Proceedings of the 2006 IEEE International Conference on Field Programmable Technology, 2006

Optimal Simultaneous Scheduling, Binding and Routing for Processor-Like Reconfigurable Architectures.
Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), 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

Flexible specification and application of rule-based transformations in an automotive design flow.
Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

Automatic systemC design configuration for a faster evaluation of different partitioning alternatives.
Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

Fast falsification based on symbolic bounded property checking.
Proceedings of the 43rd Design Automation Conference, 2006

Libraries and Methods for Parallel Particle Simulations.
Proceedings of the High Performance Computing in Science and Engineering, 2006

2005
Distributed Symbolic Bounded Property Checking.
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Robust EEG Channel Selection across Subjects for Brain-Computer Interfaces.
EURASIP J. Adv. Signal Process., 2005

Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems.
Des. Autom. Embed. Syst., 2005

Second special issue on SystemC.
Des. Autom. Embed. Syst., 2005

Editors' introduction.
Des. Autom. Embed. Syst., 2005

Parallel Motif Search using ParSeq.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005

A brain computer interface with online feedback based on magnetoencephalography.
Proceedings of the Machine Learning, 2005

ANN-Based System for Sorting Spike Waveforms Employing Refractory Periods.
Proceedings of the Artificial Neural Networks: Biological Inspirations, 2005

Towards a Framework and a Design Methodology for Autonomic SoC.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Overlap reduction in symbolic system traversal.
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

Evaluation of Ray Casting on Processor-Like Reconfigurable Architectures.
Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), 2005

Efficient and Customizable Integration of Temporal Properties.
Proceedings of the Forum on specification and Design Languages, 2005

SystemC-Based Communication and Performance Analysis.
Proceedings of the Forum on specification and Design Languages, 2005

Toward seamless top-down of A/MS systems.
Proceedings of the Forum on specification and Design Languages, 2005

SPH2000: A Parallel Object-Oriented Framework for Particle Simulations with SPH.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Feature selection for high-dimensional industrial data.
Proceedings of the 13th European Symposium on Artificial Neural Networks, 2005

Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs.
Proceedings of the 2005 Design, 2005


Conflict analysis in multiprocess synthesis for optimized system integration.
Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

Towards a Framework and a Design Methodology for Autonomous SoC.
Proceedings of the 18th International Conference on Architecture of Computing Systems, 2005

2004
Automation of IP qualification and IP exchange.
Integr., 2004

IP and design reuse.
Integr., 2004

Untersuchungen zur effizienten Kommunikation in EJB-Systemen.
Inform. Forsch. Entwickl., 2004

Parallel I/O in an Object-Oriented Message-Passing Library.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2004

Communication Analysis for Network-on-Chip Design.
Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004

A Design Environment for Processor-Like Reconfigurable Hardware.
Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004

Methods Towards Invasive Human Brain Computer Interfaces.
Proceedings of the Advances in Neural Information Processing Systems 17 [Neural Information Processing Systems, 2004

Rapid Prototyping of a Microcontroller IP Core under Resource Limitations.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Ein XML-basierter Ansatz zur flexiblen Darstellung und Transformation von Schaltungsbeschreibungen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Dynamic guiding of bounded property checking.
Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Towards a Framework and a Design Methodology for Autonomic Integrated Systems.
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Performance Analysis and Automated C++ Modularization Using Module-Adapters for SystemC.
Proceedings of the Forum on specification and Design Languages, 2004

Parallel Hybrid Particle Simulations Using MPI and OpenMP.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Modeling and Formal Verification of Production Automation Systems.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Measurement of IP Qualification Costs and Benefits.
Proceedings of the 2004 Design, 2004

Communication Analysis for System-On-Chip Design.
Proceedings of the 2004 Design, 2004

SystemC and SystemVerilog: Where do They Fit? Where are They Going?
Proceedings of the 2004 Design, 2004

Verification of a Microcontroller IP Core for System-on-a-Chip Designs Using Low-Cost Prototyping Environments.
Proceedings of the 2004 Design, 2004

Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks.
Proceedings of the 2004 Design, 2004

Object-oriented modeling and synthesis of SystemC specifications.
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003
Automated Conversion of SystemC Fixed-Point Data Types.
Proceedings of the VLSI-SOC: From Systems to Chips, 2003

Automated Conversion of SystemC Fixed-Point Data Types for Hardware Synthesis.
Proceedings of the IFIP VLSI-SoC 2003, 2003

AFC: ART-Based Fuzzy Classifier.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification.
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

A Seamless Simulink Based System Desing Flow for Automotive Applications.
Proceedings of the Forum on specification and Design Languages, 2003

Using Symbolic Simulation for Bounded Property Checking.
Proceedings of the Forum on specification and Design Languages, 2003

Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1.
Proceedings of the Forum on specification and Design Languages, 2003

Towards the restoration of hand grasp function of quadriplegic patients based on an artificial neural net controller using peripheral nerve stimulation - an approach.
Proceedings of the 11th European Symposium on Artificial Neural Networks, 2003

Instruction Set Emulation for Rapid Prototyping of SoCs .
Proceedings of the 2003 Design, 2003

Panel Title: Reconfigurable Computing - Different Perspectives.
Proceedings of the 2003 Design, 2003

Roles of funding agencies in technology-driven economic development.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2002
Neural Networks Evaluating NMR Data: An Approach To Visualize Similarities and Relationships of Sol-Gel Derived Inorganic-Organic and Organometallic Hybrid Polymers1.
J. Chem. Inf. Comput. Sci., 2002

Struktur und Aufgaben des edacentrums.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

High Level Testbench Transformation for Pipelined Components.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Controller Estimation for FPGA Target Architectures during High-Level Synthesis.
Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002

A Qualification Platform for Design Reuse.
Proceedings of the 3rd International Symposium on Quality of Electronic Design, 2002

Checking temporal properties in SystemC specifications.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002


Worst-case performance analysis of parallel, communicating software processes.
Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001
Java in eingebetteten Systemen (Java in Embedded Systems).
Informationstechnik Tech. Inform., 2001

A Repartitioning and HW/SW Partitioning Algorithm to the Automatic Design Space Exploration in the Co-Synthesis of Embedded Systems.
Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001

New Design Paradigms: What Needs to be Standardized?.
Proceedings of the 14th International Symposium on Systems Synthesis, 2001

Object oriented hardware synthesis and verification.
Proceedings of the 14th International Symposium on Systems Synthesis, 2001

Synthesis of data transmission circuits starting from behavioral HW descriptions.
Proceedings of the 2001 8th IEEE International Conference on Electronics, 2001

Detection of cluster in Self-Organizing Maps for controlling a prostheses using nerve signals.
Proceedings of the 9th European Symposium on Artificial Neural Networks, 2001

Simulation-guided property checking based on a multi-valued AR-automata.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

The simulation semantics of systemC.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

C/C++: progress or deadlock in system-level specification.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

A Framework for Object Oriented Hardware Specification, Verification, and Synthesis.
Proceedings of the 38th Design Automation Conference, 2001

2000
Error Classification and Yield Prediction of Chips in Semiconductor Industry Applications.
Neural Comput. Appl., 2000

Hierarchische Synthese für anwendungsspezifische Prototypenimplementierungen (Hierarchical Synthesis for Application-Specific Prototyping Implementations).
Informationstechnik Tech. Inform., 2000

Methods Based on Petri Net for Resource Sharing Estimation.
Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, 2000

Embedded System Architecture Design Based on Real-Time Emulation.
Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), 2000

Emulation synthetisierter Verhaltensbeschreibungen mit VLIW-Prozessoren.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

A Constraint-Based Design Methodology for Automated Composition with IPs.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

Embedded Java.
Proceedings of the 13th International Symposium on System Synthesis, 2000

TPO++: An Object-Oriented Message-Passing Library in C++.
Proceedings of the 2000 International Conference on Parallel Processing, 2000

A Methodology and Tool for Automated Transformational High-Level Design Space Exploration.
Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Checking temporal properties under simulation of executable system descriptions.
Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

Transformation of algorithmic simulation vector sets considering mapping problems of I/O operations.
Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

Power estimation approach for SRAM-based FPGAs.
Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2000

Object-Oriented Message-Passing with TPO++ (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

Simulation Meets Verification: Checking Temporal Properties in SystemC.
Proceedings of the 26th EUROMICRO 2000 Conference, 2000

Automatic Generation of Local Internet Catalogues Using the Hierarchical Radius-based Competitive Learning.
Proceedings of the ECAI 2000, 2000

Static Timing Analysis of Embedded Software on Advanced Processor Architectures.
Proceedings of the 2000 Design, 2000

A Hardware Platform for VLIW Based Emulation of Digital Designs.
Proceedings of the 2000 Design, 2000

Target Architecture Oriented High-Level Synthesis for Multi-FPGA Based Emulation.
Proceedings of the 2000 Design, 2000

A Design Automation Roadmap for Europe Panel discussion.
Proceedings of the 2000 Design, 2000

Java based object oriented hardware specification and synthesis.
Proceedings of ASP-DAC 2000, 2000

One language or more?: how can we design an SoC at a system level?
Proceedings of ASP-DAC 2000, 2000

1999
Editorial: Entwurfsmethoden für eingebettete Systeme.
Informationstechnik Tech. Inform., 1999

Evaluation of branch-prediction methods on traces from commercial applications.
IBM J. Res. Dev., 1999

A Petri Net Model for Hardware/Software Codesign.
Des. Autom. Embed. Syst., 1999

Application of Artificial Neural Networks for Different Engineering Problems.
Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

Performance Analysis of a RTOS by Emulation of an Embedded System.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

Beschreibung und Simulation von Hardware/Software-Systemen mit Java.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

An Interface Description Model for Reuse of Algorithmic Hardware Specifications.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

Description and Classification of VHDL Objects in the Reuse Management System.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

The use of dARTMAP and fuzzy ARTMAP to solve the quality testing task in semiconductor industry.
Proceedings of the Third International Conference on Knowledge-Based Intelligent Information Engineering Systems, 1999

Der Einsatz von Jini für die Realisierung durchgängiger Steuerungskonzepte in verteilten eingebetteten Systemen.
Proceedings of the JIT '99, 1999

Hierarchische Synthese für die Emulation von integrierten Steuerungssystemen.
Proceedings of the Informatik '99, 1999

Exploiting FPGA-Features During the Emulation of a Fast Reactive Embedded System.
Proceedings of the 1999 ACM/SIGDA Seventh International Symposium on Field Programmable Gate Arrays, 1999

VHDL Description and High-Level Synthesis of an ATM Layer Circuit.
Proceedings of the 25th EUROMICRO '99 Conference, 1999

Emulation of a Fast Reactive Embedded System using a Real Time Operating System.
Proceedings of the 1999 Design, 1999

An Efficient Reuse System for Digital Circuit Design.
Proceedings of the 1999 Design, 1999

Object-Oriented Reuse Methodology for VHDL.
Proceedings of the 1999 Design, 1999

Description and Simulation of Hardware/Software Systems with Java.
Proceedings of the 36th Conference on Design Automation, 1999

An Approach for Extracting RT Timing Information to Annotate Algorithmic VHDL Specifications.
Proceedings of the 36th Conference on Design Automation, 1999

1998
Breakpoints and breakpoint detection in source-level emulation.
ACM Trans. Design Autom. Electr. Syst., 1998

Hardware-Software Prototyping from LOTOS.
Des. Autom. Embed. Syst., 1998

Value-Added Services in Industrial Automation.
Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

A Petri net based approach for performing the initial allocation in hardware/software codesign.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

A Co-Synthesis Approach based on Symbolic Reachability Analysis.
Proceedings of the 11th Annual Symposium on Integrated Circuits Design, 1998

CVF ¾ Coverification Framework.
Proceedings of the 11th Annual Symposium on Integrated Circuits Design, 1998

Behavioral Emulation of Synthesized RT-Level Descriptions Using VLIW Architectures.
Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping (RSP 1998), 1998

Profilierung von VHDL-Prozessen mit minimierten Aufwand.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Eine Umgebung zur transformationalen Entwurfsraum-Exploration.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Realisierung einer Client/Server-Anwendung mit CORBA und Java unter Berücksichtigung bestehender C++-Komponenten.
Proceedings of the JIT '98, 1998

Synchronization Detection for Multi-Process Hierarchical Synthesis.
Proceedings of the 11th International Symposium on System Synthesis, 1998

Visualization of Parallel Execution Graphs.
Proceedings of the Graph Drawing, 6th International Symposium, 1998

Reconfigurable Hardware as Shared Resource in Multipurpose Computers.
Proceedings of the Field-Programmable Logic and Applications, 1998

Advantages of the XC6000 Architecture for Embedded System Design (Abstract).
Proceedings of the 1998 ACM/SIGDA Sixth International Symposium on Field Programmable Gate Arrays, 1998

Analysis of the XC6000 Architecture for Embedded System Design.
Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998

Reconfigurable Hardware as Shared Resource for Parallel Threads.
Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998

Next Generation System Level Design Tools.
Proceedings of the 1998 Design, 1998

Formal Verification: A New Standard CAD Tool for the Industrial Design Flow.
Proceedings of the 1998 Design, 1998

A Comparing Study of Technology Mapping for FPGA.
Proceedings of the 1998 Design, 1998

Verification by Simulation Comparison using Interface Synthesis.
Proceedings of the 1998 Design, 1998

A Scalable Methodology for Cost Estimation in a Transformational High-Level Design Space Exploration Environment.
Proceedings of the 1998 Design, 1998

Cross-Level Hierarchical High-Level Synthesis.
Proceedings of the 1998 Design, 1998

Elektronik-CAD-Anwendung im WWW.
Proceedings of the CAD '98: Tele-CAD, 1998

1997
The Continuous Interpolating Self-organizing Map.
Neural Process. Lett., 1997

DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme.
Inform. Forsch. Entwickl., 1997

Editorial.
Des. Autom. Embed. Syst., 1997

Prototyping of Tightly Coupled Hardware/Software-Systems.
Des. Autom. Embed. Syst., 1997

Performance analysis for a Java-based virtual prototype.
Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997

Computing communication cost by Petri nets for hardware/software codesign.
Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997

Co-Emulation and Debugging of HW/SW-Systems.
Proceedings of the 10th International Symposium on System Synthesis, 1997

Resource sharing in hierarchical synthesis.
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996
System prototyping in the COBRA project.
Microprocess. Microsystems, 1996

Automatic generation of interprocess communication in the PARAGON system.
Proceedings of the Seventh IEEE International Workshop on Rapid System Prototyping (RSP '96), 1996

Regularized SOM-training: a solution to the topology-approximation dilemma?
Proceedings of International Conference on Neural Networks (ICNN'96), 1996

Varying cooperation in SOM for improved function approximation.
Proceedings of International Conference on Neural Networks (ICNN'96), 1996

A hardware supported system for a special online application of self-organizing map.
Proceedings of International Conference on Neural Networks (ICNN'96), 1996

Modeling Psychological Stereotypes in Self-Organizing Maps.
Proceedings of the Artificial Neural Networks, 1996

A Design Exploration Environment.
Proceedings of the 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), 1996

Combined Spectral Techniques for Boolean Matching.
Proceedings of the 1996 Fourth International Symposium on Field Programmable Gate Arrays, 1996

Automatic structuring and optimization of hierarchical designs.
Proceedings of the conference on European design automation, 1996

Library based technology mapping using multiple domain representations.
Proceedings of the conference on European design automation, 1996

The extraction of Sugeno fuzzy rules from neural networks.
Proceedings of the 4th European Symposium on Artificial Neural Networks, 1996

A Methodology for Rapid Analysis and Optimization of Embedded Systems.
Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

Error Detection in Fault Secure Controllers using State Encoding.
Proceedings of the 1996 European Design and Test Conference, 1996

Speed-up estimation for HW/SW-systems.
Proceedings of the Forth International Workshop on Hardware/Software Codesign, 1996

1995
System Validation by Source Level Emulation of Behavioral VHDL Specifications.
Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

Symmetric Distributed Computing with Dynamic Load Balancing and Fault Tolerance.
Proceedings of the Languages, 1995

Neurons with Continuous Varying Activation in Self-Organizing Maps.
Proceedings of the From Natural to Artificial Neural Computation, 1995

Distributed Symbolic Computation with DTS.
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995

Device selection for system partitioning.
Proceedings of the Proceedings EURO-DAC'95, 1995

Reduced design time by load distribution with CAD framework methodology information.
Proceedings of the Proceedings EURO-DAC'95, 1995

Debugging of behavioral VHDL specifications by source level emulation.
Proceedings of the Proceedings EURO-DAC'95, 1995

Topological interpolation in SOM by affine transformations.
Proceedings of the 3rd European Symposium on Artificial Neural Networks, 1995

1994
Specification of interface components for synchronous data paths.
Proceedings of the 7th International Symposium on High Level Synthesis, 1994

Specification and Synthesis of Complex Arithmetic Operators for FPGAs.
Proceedings of the Field-Programmable Logic, 1994

Compiling C Programs into Threads.
Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

A method for partitioning UNITY language in hardware and software.
Proceedings of the Proceedings EURO-DAC'94, 1994

A hardware environment for prototyping and partitioning based on multiple FPGAs.
Proceedings of the Proceedings EURO-DAC'94, 1994

Timing preserving interface transformations for the synthesis of behavioral VHDL.
Proceedings of the Proceedings EURO-DAC'94, 1994

Improvement of learning results of the selforganizing map by calculating fractal dimensions.
Proceedings of the 2nd European Symposium on Artificial Neural Networks, 1994

Design flow for hardware/software cosynthesis of a video compression system.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

A prototyping environment for hardware/software codesign in the COBRA project.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993
Technology mapping for sequential circuits based on retiming techniques.
Proceedings of the European Design Automation Conference 1993, 1993

Interface specification and synthesis for VHDL processes.
Proceedings of the European Design Automation Conference 1993, 1993

1992
Synthese von Register-Transfer-Strukturen aus Verhaltensbeschriebungen.
Inform. Spektrum, 1992

Automatic module allocation in high level synthesis.
Proceedings of the conference on European design automation, 1992

1991
Test scheduling and controller synthesis in the CADDY-system.
Proceedings of the conference on European design automation, 1991

CASCH: a scheduling algorithm for "high level"-synthesis.
Proceedings of the conference on European design automation, 1991

1990
CASCH - ein Scheduling-Algorithmus für "High-Level"-Synthese.
Proceedings of the Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme, 1990

System synthesis using behavioural descriptions.
Proceedings of the European Design Automation Conference, 1990

1989
Synthesizing circuits from behavioural descriptions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

Architecture design of a RISC-processor for prolog.
Microprocessing and Microprogramming, 1989

CALLAS - ein System zur automatischen Synthese digitaler Schaltungen.
Inform. Forsch. Entwickl., 1989

1988
Entwurf einer integrierten Schaltung zur Beschleunigung von Koordinatentransformationen mit einem Silicon Compiler.
Proceedings of the GI, 1988

1986
On fault modeling for dynamic MOS circuits.
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1984
Synthese des Datenflusses digitaler Schaltungen aus formalen Funktionsbeschreibungen.
PhD thesis, 1984

Automatischer Entwurf hochintegrierter Schaltungen aus Beschreibungen der Schaltungsfunktion.
Proceedings of the GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings, 1984

1981
RNL - A Language for Digital Systems Design Based on Nets.
Proceedings of the Application and Theory of Petri Nets, 1981


  Loading...