Lothar Thiele

According to our database1, Lothar Thiele authored at least 394 papers between 1985 and 2018.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Efficient, Long-Term Logging of Rich Data Sensors Using Transient Sensor Nodes.
ACM Trans. Embedded Comput. Syst., 2018

W-Air: Enabling Personal Air Pollution Monitoring on Wearables.
IMWUT, 2018

The 2017 Embedded Systems Week (ESWEEK).
IEEE Design & Test, 2018

Guest Editors' Introduction: Special Issue on Time-Critical Systems Design Part II.
IEEE Design & Test, 2018

Time-Critical Systems Design: A Survey.
IEEE Design & Test, 2018

Guest Editors' Introduction: Special Issue on Time-Critical Systems Design.
IEEE Design & Test, 2018

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.
Design Autom. for Emb. Sys., 2018

Multi-Task Zipping via Layer-wise Neuron Sharing.
CoRR, 2018

Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks.
CoRR, 2018

The security risks of power measurements in multicores.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

TTW: A Time-Triggered Wireless design for CPS.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Implementation of Partitioned Mixed-Criticality Scheduling on a Multi-Core Platform.
ACM Trans. Embedded Comput. Syst., 2017

Minimising Access Conflicts on Shared Multi-Bank Memory.
ACM Trans. Embedded Comput. Syst., 2017

On The Design and Application of Thermal Isolation Servers.
ACM Trans. Embedded Comput. Syst., 2017

Adaptive Real-Time Communication for Wireless Cyber-Physical Systems.
TCPS, 2017

Optimizing resource speed for two-stage real-time tasks.
Real-Time Systems, 2017

Isolation scheduling on multicores: model and scheduling approaches.
Real-Time Systems, 2017

SCAN: Multi-Hop Calibration for Mobile Sensor Arrays.
IMWUT, 2017

Report of the 2016 Embedded Systems Week (ESWEEK).
IEEE Design & Test, 2017

Internet of Things - The Quest for Trust.
IEEE Design & Test, 2017

Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191).
Dagstuhl Reports, 2017

Unsupervised Feature Learning for Audio Analysis.
CoRR, 2017

TTW: A Time-Triggered-Wireless Design for CPS [ Extended version ].
CoRR, 2017

Efficient Convolutional Neural Network For Audio Event Detection.
CoRR, 2017

Mitigating Erroneous Wake-ups.
Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Stalwart: a Predictable Reliable Adaptive and Low-latency Real-time Wireless Protocol.
Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Resilient scheduling of energy-variable weakly-hard real-time systems.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

BLITZ: A Network Architecture for Low Latency and Energy-efficient Event-triggered Wireless Communication.
Proceedings of the 4th ACM Workshop on Hot Topics in Wireless, 2017

BARTON: Low Power Tongue Movement Sensing with In-Ear Barometers.
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

The Design of a Responsive and Energy-efficient Event-triggered Wireless Sensing System.
Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

Testbed Assisted Control Flow Tracing for Wireless Embedded Systems.
Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

Competition: Robust Flooding using Back-to-Back Synchronous Transmissions with Channel-Hopping.
Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

Measurement and validation of energy harvesting IoT devices.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Self-Sustainability in Nano Unmanned Aerial Vehicles: A Blimp Case Study.
Proceedings of the Computing Frontiers Conference, 2017

2016
Analysis and Scheduling of a Battery-Less Mixed-Criticality System with Energy Uncertainty.
ACM Trans. Embedded Comput. Syst., 2016

Mixed-criticality scheduling on cluster-based manycores with shared communication and storage resources.
Real-Time Systems, 2016

Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441).
Dagstuhl Reports, 2016

RocketLogger: Mobile Power Logger for Prototyping IoT Devices: Demo Abstract.
Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

A Benchmark for Low-power Wireless Networking: Poster Abstract.
Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

End-to-End Real-Time Guarantees in Wireless Cyber-Physical Systems.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Exploring Energy Saving for Mixed-Criticality Systems on Multi-Cores.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

On platforms for CPS - adaptive, predictable and efficient.
Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016

Poster Abstract: A Heterogeneous System Architecture for Event-Triggered Wireless Sensing.
Proceedings of the 15th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2016

Pre-Deployment Testing, Augmentation and Calibration of Cross-Sensitive Sensors.
Proceedings of the International Conference on Embedded Wireless Systems and Networks, 2016

Time-of-Flight Aware Time Synchronization for Wireless Embedded Systems.
Proceedings of the International Conference on Embedded Wireless Systems and Networks, 2016

On the capacity of thermal covert channels in multicores.
Proceedings of the Eleventh European Conference on Computer Systems, 2016

Mobile Ultrasound Imaging on Heterogeneous Multi-Core Platforms.
Proceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2016

On-the-fly fast overrun budgeting for mixed-criticality systems.
Proceedings of the 2016 International Conference on Embedded Software, 2016

Speed optimization for tasks with two resources.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Dynamic energy burst scaling for transiently powered systems.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Towards the design of fault-tolerant mixed-criticality systems on multicores.
Proceedings of the 2016 International Conference on Compilers, 2016

The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources.
Proceedings of the Business Process Management - 14th International Conference, 2016

2015
Indicator-Based Selection.
Proceedings of the Springer Handbook of Computational Intelligence, 2015

Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211).
Dagstuhl Reports, 2015

Thermal Covert Channels on Multi-core Platforms.
CoRR, 2015

Thermal Covert Channels on Multi-core Platforms.
Proceedings of the 24th USENIX Security Symposium, 2015

Demo: Building Reliable Wireless Embedded Platforms using the Bolt Processor Interconnect.
Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, 2015

Bolt: A Stateful Processor Interconnect.
Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, 2015

Zippy: On-Demand Network Flooding.
Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, 2015

An Isolation Scheduling Model for Multicores.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Mixed-criticality runtime mechanisms and evaluation on multicores.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

A testbed for fine-grained tracing of time sensitive behavior in wireless sensor networks.
Proceedings of the 40th IEEE Local Computer Networks Conference Workshops, 2015

Wake-up flooding: an asynchronous network flooding primitive.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

Predictable wireless embedded platforms.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

Reducing multi-hop calibration errors in large-scale mobile sensor networks.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

Health-optimal routing in urban areas.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Executing dataflow actors as kahn processes.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Can real-time systems be chaotic?
Proceedings of the 2015 International Conference on Embedded Software, 2015

Passive, Privacy-Preserving Real-Time Counting of Unmodified Smartphones via ZigBee Interference.
Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015

Optimal Power Management with Guaranteed Minimum Energy Utilization for Solar Energy Harvesting Systems.
Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015

A calibration based thermal modeling technique for complex multicore systems.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Run and be safe: mixed-criticality scheduling with temporary processor speedup.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Multi/many-core programming: where are we standing?
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts.
Proceedings of the 52nd Annual Design Automation Conference, 2015

2014
Worst-case guarantees on a processor with temperature-based feedback control of speed.
ACM Trans. Embedded Comput. Syst., 2014

Optimizing the NoC Slack Through Voltage and Frequency Scaling in Hard Real-Time Embedded Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2014

Route selection for mobile sensor nodes on public transport networks.
J. Ambient Intelligence and Humanized Computing, 2014

EURETILE D7.3 - Dynamic DAL benchmark coding, measurements on MPI version of DPSNN-STDP (distributed plastic spiking neural net) and improvements to other DAL codes.
CoRR, 2014

Dynamic power management for long-term energy neutral operation of solar energy harvesting systems.
Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

SF3P: a framework to explore and prototype hierarchical compositions of real-time schedulers.
Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Pushing the spatio-temporal resolution limit of urban air pollution maps.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications, 2014

EURETILE Design Flow: Dynamic and Fault Tolerant Mapping of Multiple Applications Onto Many-Tile Systems.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2014

Demonstration abstract: automatic speech recognition for resource-constrained embedded systems.
Proceedings of the IPSN'14, 2014

Towards Enabling Uninterrupted Long-Term Operation of Solar Energy Harvesting Embedded Systems.
Proceedings of the Wireless Sensor Networks - 11th European Conference, 2014

Deterministic memory sharing in Kahn process networks: Ultrasound imaging as a case study.
Proceedings of the 12th IEEE Symposium on Embedded Systems for Real-time Multimedia, 2014

P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Energy efficient DVFS scheduling for mixed-criticality systems.
Proceedings of the 2014 International Conference on Embedded Software, 2014

COOLIP: Simple yet effective job allocation for distributed thermally-throttled processors.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Reliability-aware mapping optimization of multi-core systems with mixed-criticality.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Mapping mixed-criticality applications on multi-core architectures.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Computing a language-based guarantee for timing properties of cyber-physical systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Static Mapping of Mixed-Critical Applications for Fault-Tolerant MPSoCs.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

On the Scheduling of Fault-Tolerant Mixed-Criticality Systems.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

AdaPNet: Adapting process networks in response to resource variations.
Proceedings of the 2014 International Conference on Compilers, 2014

Service adaptions for mixed-criticality systems.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013
Methods and Tools for Mapping Process Networks onto Multi-Processor Systems-On-Chip.
Proceedings of the Handbook of Signal Processing Systems, 2013

Predictability for timing and temperature in multiprocessor system-on-chip platforms.
ACM Trans. Embedded Comput. Syst., 2013

Introduction to the special section on rigorous embedded systems design.
ACM Trans. Embedded Comput. Syst., 2013

Component-based system design: analytic real-time interfaces for state-based component implementations.
STTT, 2013

Behavioural composition constructively built server algorithms.
SIGBED Review, 2013

Real-time worst-case temperature analysis with temperature-dependent parameters.
Real-Time Systems, 2013

Efficient Worst-Case Temperature Evaluation for Thermal-Aware Assignment of Real-Time Applications on MPSoCs.
J. Electronic Testing, 2013

EURETILE 2010-2012 summary: first three years of activity of the European Reference Tiled Experiment
CoRR, 2013

Virtual Synchrony Guarantees for Cyber-physical Systems.
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Synchronous transmissions enable simple yet accurate protocol modeling.
Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 2013

Revealing the limits of spatio-temporal high-resolution pollution maps.
Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 2013

Spatially Resolved Monitoring of Radio-Frequency Electromagnetic Fields.
Proceedings of First International Workshop on Sensing and Big Data Mining, 2013

Messages from the conference chairs.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

On Modeling Low-Power Wireless Protocols Based on Synchronous Packet Transmissions.
Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013

Reliable and Efficient Execution of Multiple Streaming Applications on Intel's SCC Processor.
Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

Designing Applications with Predictable Runtime Characteristics for the Baremetal Intel SCC.
Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

Interference Constraint Graph - A new specification for mixed-criticality systems.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Exploiting the parallelism of heterogeneous systems using dataflow graphs on top of OpenCL.
Proceedings of the 11th IEEE Symposium on Embedded Systems for Real-time Multimedia, 2013

Scheduling of mixed-criticality applications on resource-sharing multicore systems.
Proceedings of the International Conference on Embedded Software, 2013

The Problem Bit.
Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

Model-Driven Accuracy Bounds for Noisy Sensor Readings.
Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

A satisfiability approach to speed assignment for distributed real-time systems.
Proceedings of the Design, Automation and Test in Europe, 2013

Designing energy-efficient NoC for real-time embedded systems through slack optimization.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Distributed stable states for process networks: algorithm, analysis, and experiments on intel SCC.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Expandable process networks to efficiently specify and explore task, data, and pipeline parallelism.
Proceedings of the International Conference on Compilers, 2013

2012
Conformance testing for cyber-physical systems.
ACM Trans. Embedded Comput. Syst., 2012

On the use of greedy shapers in real-time embedded systems.
ACM Trans. Embedded Comput. Syst., 2012

Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications.
ACM Trans. Embedded Comput. Syst., 2012

Dynamic Frequency Scaling Schemes for Heterogeneous Clusters under Quality of Service Requirements.
J. Inf. Sci. Eng., 2012

Worst-case temperature analysis for different resource models.
IET Circuits, Devices & Systems, 2012

Multi-hop network tomography: path reconstruction and per-hop arrival time estimation from partial information.
Proceedings of the ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 2012

How was your journey?: uncovering routing dynamics in deployed sensor networks with multi-hop network tomography.
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

Low-power wireless bus.
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

Quantifying the Effect of Rare Timing Events with Settling-Time and Overshoot.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Worst-Case Temperature Guarantees for Real-Time Applications on Multi-core Systems.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Timing Analysis on a Processor with Temperature-Controlled Speed Scaling.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Route selection for mobile sensors with checkpointing constraints.
Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

The bus goes wireless: Routing-free data collection with QoS guarantees in sensor networks.
Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

Bounding the Effectiveness of Hypervolume-Based (μ + λ)-Archiving Algorithms.
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Visualizing large sensor network data sets in space and time with vizzly.
Proceedings of the 37th Annual IEEE Conference on Local Computer Networks, 2012

Fast worst-case peak temperature evaluation for real-time applications on multi-core systems.
Proceedings of the 13th Latin American Test Workshop, 2012

pTunes: runtime parameter adaptation for low-power MAC protocols.
Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012

The low-power wireless bus: simplicity is (again) the soul of efficiency.
Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012

On-the-Fly Calibration of Low-Cost Gas Sensors.
Proceedings of the Wireless Sensor Networks - 9th European Conference, 2012

Multi-objective mapping optimization via problem decomposition for many-core systems.
Proceedings of the IEEE 10th Symposium on Embedded Systems for Real-time Multimedia, 2012

Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems.
Proceedings of the 12th International Conference on Embedded Software, 2012

Mixed critical system design and analysis.
Proceedings of the 12th International Conference on Embedded Software, 2012

An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

MAMOT: Memory-Aware Mapping Optimization Tool for MPSoC.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

A hybrid approach to cyber-physical systems verification.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Scenario-based design flow for mapping streaming applications onto on-chip many-core systems.
Proceedings of the 15th International Conference on Compilers, 2012

Power agnostic technique for efficient temperature estimation of multicore embedded systems.
Proceedings of the 15th International Conference on Compilers, 2012

Interface-Based Design of Real-Time Systems.
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

2011
Approximating Pareto optimal compiler optimization sequences - a trade-off between WCET, ACET and code size.
Softw., Pract. Exper., 2011

Applying real-time interface and calculus for dynamic power management in hard real-time systems.
Real-Time Systems, 2011

Thermal-aware global real-time scheduling and analysis on multicore systems.
Journal of Systems Architecture - Embedded Systems Design, 2011

Platform synthesis and partitioning of real-time tasks for energy efficiency.
Journal of Systems Architecture - Embedded Systems Design, 2011

Poster Abstract: If You Have Time, Save Energy with Pull
CoRR, 2011

Power management schemes for heterogeneous clusters under quality of service requirements.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Real-Time Analysis of Servers for General Job Arrivals.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Energy-Efficient Scheduling Algorithms for Periodic Power Management for Real-Time Event Streams.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Timing Analysis for Resource Access Interference on Adaptive Resource Arbiters.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Temperature-aware Real-Time Scheduling - Extended Abstract.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Worst-Case Temperature Analysis for Different Resource Availabilities: A Case Study.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation, 2011

Evolutionary Exploration of E/E-Architectures in Automotive Design.
Proceedings of the Operations Research Proceedings 2011, Selected Papers of the International Conference on Operations Research (OR 2011), August 30, 2011

Comparative performance analysis of the PermaDozer protocol in diverse deployments.
Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

Reconstruction of the correct temporal order of sensor network data.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Efficient network flooding and time synchronization with Glossy.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Maximizing population diversity in single-objective optimization.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Demand bound server: generalized resource reservation for hard real-time systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

End-to-End Delay Minimization in Thermally Constrained Distributed Systems.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Worst-case temperature analysis for real-time systems.
Proceedings of the Design, Automation and Test in Europe, 2011

Composing heterogeneous components for system-wide performance analysis.
Proceedings of the Design, Automation and Test in Europe, 2011

X-SENSE: Sensing in extreme environments.
Proceedings of the Design, Automation and Test in Europe, 2011

Thermal-aware system analysis and software synthesis for embedded multi-processors.
Proceedings of the 48th Design Automation Conference, 2011

Cool shapers: shaping real-time tasks for improved thermal guarantees.
Proceedings of the 48th Design Automation Conference, 2011

Mapping of applications to MPSoCs.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

System-level power and timing variability characterization to compute thermal guarantees.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Mutation operator characterization: Exhaustiveness, locality, and bias.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Enabling parametric feasibility analysis in real-time calculus driven performance evaluation.
Proceedings of the 14th International Conference on Compilers, 2011

Thermally optimal stop-go scheduling of task graphs with real-time constraints.
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010
Dynamic Power-Aware Mapping of Applications onto Heterogeneous MPSoC Platforms.
IEEE Trans. Industrial Informatics, 2010

On Set-Based Multiobjective Optimization.
IEEE Trans. Evolutionary Computation, 2010

Adaptive Power Management for Environmentally Powered Systems.
IEEE Trans. Computers, 2010

An energy management framework for energy harvesting embedded systems.
JETC, 2010

Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems.
Design Autom. for Emb. Sys., 2010

Analysis, Comparison, and Optimization of Routing Protocols for Energy Harvesting Wireless Sensor Networks.
Proceedings of the IEEE International Conference on Sensor Networks, 2010

Accurate clock models for simulating Wireless Sensor Networks.
Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

If you have time, save energy with pull.
Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010

Secondis: An Adaptive Dissemination Protocol for Synchronizing Wireless Sensor Networks.
Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010

Energy-efficient scheduling on homogeneous multiprocessor platforms.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Energy-Efficient Static Priority and Speed Assignment for Real-Time Tasks with Non-deterministic Release Times.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Timing Analysis for TDMA Arbitration in Resource Sharing Systems.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Defining and Optimizing Indicator-Based Diversity Measures in Multiobjective Search.
Proceedings of the Parallel Problem Solving from Nature, 2010

Modeling structured event streams in system level performance analysis.
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Multi-objective Exploration of Compiler Optimizations for Real-Time Systems.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Exploiting protocol models for generating feasible communication stack configurations.
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Rupeas: Ruby powered event analysis DSL.
Proceedings of the Seventh International Conference on Networked Sensing Systems, 2010

Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis.
Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

OpenSense: open community driven sensing of environment.
Proceedings of the 2010 ACM SIGSPATIAL International Workshop on GeoStreaming, 2010

Resource adaptations with servers for hard real-time systems.
Proceedings of the 10th International conference on Embedded software, 2010

ZeroCal: Automatic MAC Protocol Calibration.
Proceedings of the Distributed Computing in Sensor Systems, 2010

Energy-efficient real-time task scheduling with temperature-dependent leakage.
Proceedings of the Design, Automation and Test in Europe, 2010

Worst case delay analysis for memory interference in multicore systems.
Proceedings of the Design, Automation and Test in Europe, 2010

Cool MPSoC programming.
Proceedings of the Design, Automation and Test in Europe, 2010

Worst-case response time analysis of resource access models in multi-core systems.
Proceedings of the 47th Design Automation Conference, 2010

Modeling and analyzing real-time multiprocessor systems.
Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

Dynamic and adaptive allocation of applications on MPSoC platforms.
Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

Dynamic power management in environmentally powered systems.
Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

Adaptive power management for real-time event streams.
Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

Methods and Tools for Mapping Process Networks onto Multi-Processor Systems-On-Chip.
Proceedings of the Handbook of Signal Processing Systems, 2010

2009
Design of a Solar-Harvesting Circuit for Batteryless Embedded Systems.
IEEE Trans. on Circuits and Systems, 2009

Cache-aware timing analysis of streaming applications.
Real-Time Systems, 2009

A Preference-Based Evolutionary Algorithm for Multi-Objective Optimization.
Evolutionary Computation, 2009

Influence of different abstractions on the performance analysis of distributed hard real-time systems.
Design Autom. for Emb. Sys., 2009

Learning from sensor network data.
Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

The FlockLab testbed architecture.
Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

NoSE: Efficient Maintenance and Initialization of Wireless Sensor Networks.
Proceedings of the Sixth Annual IEEE Communications Society Conference on Sensor, 2009

Generation and calibration of compositional performance analysis models for multi-processor systems.
Proceedings of the 2009 International Conference on Embedded Computer Systems: Architectures, 2009

Optimal service level allocation in environmentally powered embedded systems.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Adaptive Dynamic Power Management for Hard Real-Time Systems.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event Streams.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Energy-Efficient Speed Scheduling for Real-Time Tasks under Thermal Constraints.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Task Partitioning and Platform Synthesis for Energy Efficiency.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Power-Aware Mapping of Probabilistic Applications onto Heterogeneous MPSoC Platforms.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Thermal-Aware Global Real-Time Scheduling on Multicore Systems.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Power management in energy harvesting embedded systems with discrete service levels.
Proceedings of the 2009 International Symposium on Low Power Electronics and Design, 2009

Demo abstract: Operating a sensor network at 3500 m above sea level.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Energy minimization for periodic real-time tasks on heterogeneous processing units.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Adaptive power control for solar harvesting multimodal wireless smart camera.
Proceedings of the Third ACM/IEEE International Conference on Distributed Smart Cameras, 2009

Exploiting Timed Automata for Conformance Testing of Power Measurements.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Energy Reduction Techniques for Systems with non-DVS Components.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Efficient execution of Kahn process networks on multi-processor systems using protothreads and windowed FIFOs.
Proceedings of the 7th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2009

Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction.
Proceedings of the Perspectives of Systems Informatics, 2009

Modular performance analysis of cyclic dataflow graphs.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

An approximation scheme for energy-efficient scheduling of real-time tasks in heterogeneous multiprocessor systems.
Proceedings of the Design, Automation and Test in Europe, 2009

Reliable mode changes in real-time systems with fixed priority or EDF scheduling.
Proceedings of the Design, Automation and Test in Europe, 2009

09041 Working Group on EMO for Interactive Multiobjective Optimization (1st Round).
Proceedings of the Hybrid and Robust Approaches to Multiobjective Optimization, 18.01., 2009

Periodic power management schemes for real-time event streams.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Wireless Sensor Networks Testing and Validation.
Proceedings of the Networked Embedded Systems - Volume 2 of the Embedded Systems Handbook, 2009

Performance Analysis of Distributed Embedded Systems.
Proceedings of the Embedded Systems Design and Verification, 2009

2008
EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.
Proceedings of the IEEE International Conference on Sensor Networks, 2008

Scalably distributed SystemC simulation for embedded applications.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

NoSE: efficient initialization of wireless sensor networks.
Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

Reward Maximization for Embedded Systems with Renewable Energies.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

SPAM: Set Preference Algorithm for Multiobjective Optimization.
Proceedings of the Parallel Problem Solving from Nature, 2008

Expected system energy consumption minimization in leakage-aware DVS systems.
Proceedings of the 2008 International Symposium on Low Power Electronics and Design, 2008

Energy-Efficient Task Partition for Periodic Real-Time Tasks on Platforms with Dual Processing Elements.
Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008

Approximate Control Design for Solar Driven Sensor Nodes.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Cyclic dependencies in modular performance analysis.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Robust and Low Complexity Rate Control for Solar Powered Sensors.
Proceedings of the Design, Automation and Test in Europe, 2008

An Efficient Solar Energy Harvester for Wireless Sensor Nodes.
Proceedings of the Design, Automation and Test in Europe, 2008

Quality Assessment of Pareto Set Approximations.
Proceedings of the Multiobjective Optimization, 2008

2007
Special Issue on ASAP 2004 Conference.
VLSI Signal Processing, 2007

Real-time scheduling for energy harvesting sensor nodes.
Real-Time Systems, 2007

Infrastructures for a Smart Earth - The Swiss NCCR-MICS initiative -.
Praxis der Informationsverarbeitung und Kommunikation, 2007

Workload correlations in multi-processor hard real-time systems.
J. Comput. Syst. Sci., 2007

A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

S-XTC: A Signal-Strength Based Topology Control Algorithm for Sensor Networks.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Deployment Support Network.
Proceedings of the Wireless Sensor Networks, 2007

Performance analysis of distributed embedded systems.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Influence of different system abstractions on the performance analysis of distributed real-time systems.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Increasing the reliability of wireless sensor networks with a distributed testing framework.
Proceedings of the 4th Workshop on Embedded Networked Sensors, 2007

Cache-Aware Timing Analysis of Streaming Applications.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Adaptive power management in energy harvesting systems.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Performance analysis of multimedia applications using correlated streams.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

07101 Executive Summary -- Quantitative Aspects of Embedded Systems.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

Combined approach to system level performance analysis of embedded systems.
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

Complex task activation schemes in system level performance analysis.
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

Windowed FIFOs for FPGA-based Multiprocessor Systems.
Proceedings of the IEEE International Conference on Application-Specific Systems, 2007

Mapping Applications to Tiled Multiprocessor Embedded Systems.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006
System architecture evaluation using modular performance analysis: a case study.
STTT, 2006

An efficient, adaptive parameter variation scheme for metaheuristics based on the epsilon-constraint method.
European Journal of Operational Research, 2006

A systematic comparison and evaluation of biclustering methods for gene expression data.
Bioinformatics, 2006

Interface-Based Rate Analysis of Embedded Systems.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Interface-Based Design of Real-Time Systems with Hierarchical Scheduling.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Generating event traces based on arrival curves.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

Lazy Scheduling for Energy Harvesting Sensor Nodes.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Optimal temporal partitioning based on slowdown and retiming.
Proceedings of the 2006 IEEE International Conference on Field Programmable Technology, 2006

Power Management for Bluetooth Sensor Networks.
Proceedings of the Wireless Sensor Networks, Third European Workshop, 2006

Real-time interfaces for composing real-time systems.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

The Hypervolume Indicator Revisited: On the Design of Pareto-compliant Indicators Via Weighted Integration.
Proceedings of the Evolutionary Multi-Criterion Optimization, 4th International Conference, 2006

Real-Time Scheduling with Regenerative Energy.
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

Performance analysis of greedy shapers in real-time systems.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Combining simulation and formal methods for system-level performance analysis.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

SHAPES: : a tiled scalable software hardware architecture platform for embedded systems.
Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

Optimal TDMA time slot and cycle length allocation for hard real-time systems.
Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005
Performance Analysis of Distributed Embedded Systems.
Proceedings of the Embedded Systems Handbook., 2005

Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications.
Real-Time Systems, 2005

Counting Interface Automata and their Application in Static Analysis of Actor Models.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Characterizing Workload Correlations in Multi Processor Hard Real-Time Systems.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Brief announcement: gradient clock synchronization in sensor networks.
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Interval-based clock synchronization is resilient to mobility.
Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Scalable topology control for deployment-support networks.
Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.
Proceedings of the INFORMATIK 2005, 2005

Modular Performance Analysis of Distributed Embedded Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Analitic Performance Analysis of Distributed Embedded Systems.
Proceedings of the Forum on specification and Design Languages, 2005

Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling.
Proceedings of the EMSOFT 2005, 2005

A New Task Model for Streaming Applications and Its Schedulability Analysis.
Proceedings of the 2005 Design, 2005

An Adaptive Scheme to Generate the Pareto Front Based on the Epsilon-Constraint Method.
Proceedings of the Practical Approaches to Multi-Objective Optimization, 2005

DVS for buffer-constrained architectures with predictable QoS-energy tradeoffs.
Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

Abstracting functionality for modular performance analysis of hard real-time systems.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004
Running time analysis of multiobjective evolutionary algorithms on pseudo-Boolean functions.
IEEE Trans. Evolutionary Computation, 2004

A Systematic Approach to the Design of Distributed Wearable Systems.
IEEE Trans. Computers, 2004

Design for Timing Predictability.
Real-Time Systems, 2004

Running time analysis of evolutionary algorithms on a simplified multiobjective knapsack problem.
Natural Computing, 2004

Evaluating Schedulers for Multimedia Processing on Buffer-Constrained SoC Platforms.
IEEE Design & Test of Computers, 2004

Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications.
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Internal synchronization of drift-constraint clocks in ad-hoc sensor networks.
Proceedings of the 5th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2004

System Architecture Evaluation Using Modular Performance Analysis - A Case Study.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Improved interval-based clock synchronization in sensor networks.
Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine.
Proceedings of the 12th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2004), 2004

Prototyping Wireless Sensor Network Applications with BTnodes.
Proceedings of the Wireless Sensor Networks, First European Workshop, 2004

Trace-based evaluation of clock synchronization algorithms for wireless loudspeakers.
Proceedings of the 2nd Workshop on Embedded Systems for Real-Time Multimedia, 2004

Workload Characterization Model for Tasks with Variable Execution Demand.
Proceedings of the 2004 Design, 2004

Design for Time-Predictability.
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Abstracts Collection.
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Rate analysis for streaming applications with on-chip buffer constraints.
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003
Performance assessment of multiobjective optimizers: an analysis and review.
IEEE Trans. Evolutionary Computation, 2003

The case for reconfigurable hardware in wearable computing.
Personal and Ubiquitous Computing, 2003

Performance evaluation of network processor architectures: combining simulation with analytical estimation.
Computer Networks, 2003

Online Scheduling and Placement of Real-time Tasks to Partially Reconfigurable Devices.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

PISA: A Platform and Programming Language Independent Interface for Search Algorithms.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2003

A General Framework for Analysing System Properties in Platform-Based Embedded System Designs.
Proceedings of the 2003 Design, 2003

2002
SPI - a system model for heterogeneously specified embedded systems.
IEEE Trans. VLSI Syst., 2002

Combining Convergence and Diversity in Evolutionary Multiobjective Optimization.
Evolutionary Computation, 2002

Exact Partitioning of Affine Dependence Algorithms.
Proceedings of the Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation, 2002

Approximate Schedulability Analysis.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Supporting a Low Delay Best-Effort Class in the Presence of Real-Time Traffic.
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Running Time Analysis of Multi-objective Evolutionary Algorithms on a Simple Discrete Optimization Problem.
Proceedings of the Parallel Problem Solving from Nature, 2002

Reconfigurable Hardware in Wearable Computing Nodes.
Proceedings of the 6th International Symposium on Wearable Computers (ISWC 2002), 2002

Why Quality Assessment Of Multiobjective Optimizers Is Difficult.
Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Archiving With Guaranteed Convergence And Diversity In Multi-objective Optimization.
Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

A framework for evaluating design tradeoffs in packet processing architectures.
Proceedings of the 39th Design Automation Conference, 2002

Schedulability of event-driven code blocks in real-time embedded systems.
Proceedings of the 39th Design Automation Conference, 2002

2001
FunState-an internal design representation for codesign.
IEEE Trans. VLSI Syst., 2001

Generating an action notation environment from Montages descriptions.
STTT, 2001

On the Complexity of Scheduling Conditional Real-Time Code.
Proceedings of the Algorithms and Data Structures, 7th International Workshop, 2001

Integral Design Representations for Embedded Systems.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Embedded Software in Network Processors - Models and Algorithms.
Proceedings of the Embedded Software, First International Workshop, 2001

On the Effects of Archiving, Elitism, and Density Based Selection in Evolutionary Multi-objective Optimization.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2001

2000
Interval diagrams for efficient symbolic verification of processnetworks.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2000

Regular state machines.
Parallel Algorithms Appl., 2000

Comparison of Multiobjective Evolutionary Algorithms: Empirical Results.
Evolutionary Computation, 2000

Conflicting Criteria in Embedded System Design.
IEEE Design & Test of Computers, 2000

1999
Multiobjective evolutionary algorithms: a comparative case study and the strength Pareto approach.
IEEE Trans. Evolutionary Computation, 1999

Dynamic Min-Max Problems.
Discrete Event Dynamic Systems, 1999

SPI -- An Internal Representation for Heterogeneously Specified Embedded Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

FunState - an internal design representation for codesign.
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Communication Synthesis for Reconfigurable Embedded Systems.
Proceedings of the Field-Programmable Logic and Applications, 9th International Workshop, 1999

Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.
Proceedings of the 1999 Design, 1999

Representation of Function Variants for Embedded System Optimization and Synthesis.
Proceedings of the 36th Conference on Design Automation, 1999

Scheduling hardware/software systems using symbolic techniques.
Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

1998
Complexity Analysis of a Parallel Lattice Basis Reduction Algorithm.
SIAM J. Comput., 1998

System-Level Synthesis Using Evolutionary Algorithms.
Design Autom. for Emb. Sys., 1998

Multiobjective Optimization Using Evolutionary Algorithms - A Comparative Case Study.
Proceedings of the Parallel Problem Solving from Nature, 1998

Representation of process mode correlation for scheduling.
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Symbolic model checking of process networks using interval diagram techniques.
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Rapid Prototyping of Dataflow Programs on Hardware/Software Architectures.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Integrating Domain Specific Language Design in the Software Life Cycle.
Proceedings of the Applied Formal Methods, 1998

Combining multiple models of computation for scheduling and allocation.
Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998

1997
Partitioning Processor Arrays under Resource Constraints.
VLSI Signal Processing, 1997

Performance analysis and optimization of mixed asynchronous synchronous systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1997

Periodic and Non-periodic Min-Max Equations.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

An evolutionary approach to system-level synthesis.
Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

1996
A Comparison of Selection Schemes used in Evolutionary Algorithms.
Evolutionary Computation, 1996

VLIW-Processors under Periodic Real Time Constraints.
Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Scheduling of Partitioned Regular Algorithms on Processor Arrays with Constrained Resources.
Proceedings of the 1996 International Conference on Application-Specific Systems, 1996

1995
Resource constrained scheduling of uniform algorithms.
VLSI Signal Processing, 1995

Algorithm-architecture co-design by example: a coprocessor for on-line arithmetic.
Microprocessing and Microprogramming, 1995

Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model.
Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), 1995

A Mathematical Analysis of Tournament Selection.
Proceedings of the 6th International Conference on Genetic Algorithms, 1995

POM: a processor model for image processing.
Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994
Guest editors' introduction.
VLSI Signal Processing, 1994

Computing Linear Data Dependencies in Nested Loop Programs.
Parallel Processing Letters, 1994

Is it Possible to achieve a Teraflop/s on a chip? From High Performance Algorithms to Architectures.
Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

1993
Partitioning of processor arrays: a piecewise regular approach.
Integration, 1993

A Parallel Lattice Basis Reduction for Mesh-Connected Processor Arrays and Parallel Complexity.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Parallel Complexitiy of Lattice Basis Reduction and a Floating-Point Parallel Algorithm.
Proceedings of the PARLE '93, 1993

1992
Analysis of Free Schedule in Periodic Graphs.
SPAA, 1992

1991
Control generation in the design of processor arrays.
VLSI Signal Processing, 1991

On the analysis and optimization of selftimed processor arrays.
Integration, 1991

Rekursive Prozeduraufrufe in VLSI-Occam.
Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1991

1989
Linear Systolic Arrays for Matrix Comutations.
J. Parallel Distrib. Comput., 1989

1988
A Systolic Array for the Assignment Problem.
IEEE Trans. Computers, 1988

1987
A Systolic Array for Cyclic-by-Rows Jacobi Algorithms.
J. Parallel Distrib. Comput., 1987

1986
On the Systolic Detection of Shortest Routes.
Proceedings of the International Conference on Parallel Processing, 1986

1985
Analytische Netzwerksynthese: neue Methoden zur Approximation u. Realisierung.
PhD thesis, 1985


  Loading...