Rolf Ernst

Alan Burns

Lothar Thiele

Jimmy Le Rhun

Proceedings of the 12th International Conference on Embedded Software, 2012

Deriving Monitoring Bounds for Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Optimizing performance analysis for synchronous dataflow graphs with shared resources.

[BibT_eX]

[DOI]

Daniel Thiele

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

A high-performance dense block matching solution for automotive 6D-vision.

[BibT_eX]

[DOI]

Henning Sahlbach

Sean Whitty

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Using timing analysis for the design of future switched based Ethernet automotive networks.

[BibT_eX]

[DOI]

Paolo Giusto

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Formal analysis of sporadic overload in real-time systems.

[BibT_eX]

[DOI]

Sophie Quinton

Matthias Hanke

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Challenges and new trends in probabilistic timing analysis.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Probabilistic response time bound for CAN messages with arbitrary deadlines.

[BibT_eX]

[DOI]

Philip Axer

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Internet-of-energy: combining embedded computing and communication for the smart grid.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

Trends in automotive embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

System Level Performance Analysis for Real-Time Multi-Core and Network Architectures.

[BibT_eX]

[DOI]

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

Institut für Datentechnik und Kommunikationsnetze - Mitgestaltung der Informatik in Braunschweig.

[BibT_eX]

[DOI]

Harald Michalik

Peter Rüffer

Proceedings of the 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972, 2012

2011

Mastering MPSoCs for Mixed-critical Applications.

[BibT_eX]

[DOI]

IPSJ Trans. Syst. LSI Des. Methodol., 2011

The MORPHEUS Heterogeneous Dynamically Reconfigurable Platform.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2011

Contract-based dynamic task management for mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the Industrial Embedded Systems (SIES), 2011

Admission control and self-configuration in the EPOC framework.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors.

[BibT_eX]

[DOI]

Philip Axer

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

A Lazy Algorithm for Distributed Priority Assignment in Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Bounding mode change transition latencies for multi-mode real-time distributed applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Real-time communication analysis for networks with two-stage arbitration.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

Design and architectures for dependable embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Reliability analysis for MPSoCs with mixed-critical, hard real-time constraints.

[BibT_eX]

[DOI]

Philip Axer

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

The EPOC Architecture - Enabling Evolution Under Hard Constraints.

[BibT_eX]

[DOI]

Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

2010

Real-time performance analysis of multiprocessor systems with shared memory.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2010

Editorial: Model-driven embedded-system design.

[BibT_eX]

[DOI]

Twan Basten

ACM Trans. Embed. Comput. Syst., 2010

Estimating and Mitigating Design Risk in a Flexible Distributed Design Process.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2010

Back Suction: Service Guarantees for Latency-Sensitive On-chip Networks.

[BibT_eX]

[DOI]

Jonas Diemer

Proceedings of the NOCS 2010, 2010

Consistency Challenges in Self-Organizing Distributed Hard Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design.

[BibT_eX]

[DOI]

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

A Scalable, High-Performance Motion Estimation Application for a Weakly-Programmable FPGA Architecture.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

A Polynomial-Time Algorithm for Computing Response Time Bounds in Static Priority Scheduling Employing Multi-linear Workload Bounds.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Application-specific memory performance of a heterogeneous reconfigurable architecture.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Bounding the shared resource load for the performance analysis of multiprocessor systems.

[BibT_eX]

[DOI]

Mircea Negrean

Proceedings of the Design, Automation and Test in Europe, 2010

Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

A software update service with self-protection capabilities.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Efficient throughput-guarantees for latency-sensitive networks-on-chip.

[BibT_eX]

[DOI]

Jonas Diemer

Michael Kauschke

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

2009

Response Time Analysis in Multicore ECUs with Shared Resources.

[BibT_eX]

[DOI]

Mircea Negrean

IEEE Trans. Ind. Informatics, 2009

Application development with the FlexWAFE real-time stream processing architecture for FPGAs.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2009

System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Influence of different abstractions on the performance analysis of distributed hard real-time systems.

[BibT_eX]

[DOI]

Michael González Harbour

Des. Autom. Embed. Syst., 2009

Dependency-aware stochastic analysis of chained execution times.

[BibT_eX]

[DOI]

Matthias Ivers

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Probabilistic Network Loads with Dependencies and the Effect on Queue Sojourn Times.

[BibT_eX]

[DOI]

Matthias Ivers

Proceedings of the Quality of Service in Heterogeneous Networks, 2009

Reliability Analysis of Single Bus Communication with Real-Time Requirements.

[BibT_eX]

[DOI]

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

A multi-core signal processor for heterogeneous reconfigurable computing.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Symposium on System-on-Chip, 2009

ESL design in the context of embedded systems education.

[BibT_eX]

[DOI]

Proceedings of the 2009 Workshop on Embedded Systems Education, 2009

Mapping of a film grain removal algorithm to a heterogeneous reconfigurable architecture.

[BibT_eX]

[DOI]

Sean Whitty

Henning Sahlbach

Proceedings of the Design, Automation and Test in Europe, 2009

Learning early-stage platform dimensioning from late-stage timing verification.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Response-time analysis of arbitrarily activated tasks in multiprocessor systems with shared resources.

[BibT_eX]

[DOI]

Mircea Negrean

Proceedings of the Design, Automation and Test in Europe, 2009

Panel session - Multicore, will Startups drive innovation?

[BibT_eX]

[DOI]

Ahmed Amine Jerraya

Proceedings of the Design, Automation and Test in Europe, 2009

A link arbitration scheme for quality of service in a latency-optimized network-on-chip.

[BibT_eX]

[DOI]

Jonas Diemer

Proceedings of the Design, Automation and Test in Europe, 2009

A recursive approach to end-to-end path latency computation in heterogeneous multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

2008

Sensitivity analysis of complex embedded real-time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2008

A bandwidth optimized SDRAM controller for the MORPHEUS reconfigurable architecture.

[BibT_eX]

[DOI]

Sean Whitty

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Modelling and designing reliable on-chip-communication devices in MPSoCs with real-time requirements.

[BibT_eX]

[DOI]

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers.

[BibT_eX]

[DOI]

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

Modeling Event Stream Hierarchies with Hierarchical Event Models.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures.

[BibT_eX]

[DOI]

E. Frank

Reinhard Wilhelm

Alberto L. Sangiovanni-Vincentelli

Marco Di Natale

Proceedings of the Design, Automation and Test in Europe, 2008

Formal Methods in System and MpSoC Performance Analysis and Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

Providing accurate event models for the analysis of heterogeneous multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

Reliable performance analysis of a multicore multithreaded system-on-chip.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

Distributed Performance Control in Organic Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Autonomic and Trusted Computing, 5th International Conference, 2008

2007

Scalable precision cache analysis for real-time software.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2007

A High-End Real-Time Digital Film Processing Reconfigurable Platform.

[BibT_eX]

[DOI]

EURASIP J. Embed. Syst., 2007

Scenario Aware Analysis for Complex Event Models and Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Multi-dimensional Robustness Optimization in Heterogeneous Distributed Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Automotive System Optimization using Sensitivity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

Efficient priority optimization in complex distributed embedded systems through search space adaptation.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Influence of different system abstractions on the performance analysis of distributed real-time systems.

[BibT_eX]

[DOI]

Michael González Harbour

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Methods for multi-dimensional robustness optimization in complex embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Performance analysis of complex systems by integration of dataflow graphs and compositional performance analysis.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Automotive Software Integration.

[BibT_eX]

[DOI]

Proceedings of the 44th Design Automation Conference, 2007

FlexWAFE - A High-end Real-Time Stream Processing Library for FPGAs.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the 44th Design Automation Conference, 2007

Improved response time analysis of tasks scheduled under preemptive Round-Robin.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

Combined approach to system level performance analysis of embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

Automotive networks: are new busses and gateways the answer or just another challenge?

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006

A framework for modular analysis and exploration of heterogeneous embedded systems.

[BibT_eX]

[DOI]

Real Time Syst., 2006

A Framework for the Busy Time Calculation of Multiple Correlated Events.

[BibT_eX]

[DOI]

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Scheduling Anomaly Detection and Optimization for Distributed Systems with Preemptive Task-Sets.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

VLSI Design Exchange with Intellectual Property Protection in FPGA Environment Using both Secret and Public-Key Cryptography.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006

Real-Time Property Verification in Organic Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Real-time Management in Emergent Systems.

[BibT_eX]

[DOI]

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Worst case timing analysis of input dependent data cache behavior.

[BibT_eX]

[DOI]

Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

How OEMs and suppliers can face the network integration challenges.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

A reconfigurable HW/SW platform for computation intensive high-resolution real-time digital film applications.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Improved offset-analysis using multiple timing-references.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

FlexFilm - an Image Processor for Digital Film Processing.

[BibT_eX]

[DOI]

Proceedings of the Dynamically Reconfigurable Architectures, 02.04. - 07.04.2006, 2006

Integrated analysis of communicating tasks in MPSoCs.

[BibT_eX]

[DOI]

Matthias Ivers

Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

A formal approach to robustness maximization of complex heterogeneous embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

Methods for power optimization in distributed embedded systems with real-time requirements.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Compilers, 2006

2005

Performance analysis for complex embedded applications.

[BibT_eX]

[DOI]

Int. J. Embed. Syst., 2005

Analysis of Memory Latencies in Multi-Processor Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

Applying Sensitivity Analysis in Real-Time Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Early Architecture Exploration with SymTA/S.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

Scalable precision cache analysis for preemptive scheduling.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

From Model to Requirements: Pattern-Based Analysis in Distributed Development of Embedded Systems.

[BibT_eX]

[DOI]

Clive Thomsen

Judita Kruse

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems.

[BibT_eX]

[DOI]

Bren Mochocki

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.

[BibT_eX]

[DOI]

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

An FPGA based SDRAM controller with complex QoS scheduling and traffic shaping (abstract only).

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGDA 13th International Symposium on Field Programmable Gate Arrays, 2005

Scheduling Analysis of Real-Time Systems with Precise Modeling of Cache Related Preemption Delay.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

Context Sensitive Performance Analysis of Automotive Applications.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

Introducing Flexible Quantity Contracts into Distributed SoC and Embedded System Design Processes.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

TDMA Time Slot and Turn Optimization with Evolutionary Search Techniques.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

Traffic shaping for an FPGA based SDRAM controller with complex QoS requirements.

[BibT_eX]

[DOI]

Proceedings of the 42nd Design Automation Conference, 2005

An Image Processor for Digital Film.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Application-Specific Systems, 2005

2004

Interval-based analysis in embedded system design.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2004

Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Calculating Task Output Event Models to Reduce Distributed System Cost.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Multiple process execution in cache related preemption delay analysis.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2004, 2004

Context-Aware Performance Analysis for Efficient Embedded System Design.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

2003

Putting It All Together.

[BibT_eX]

[DOI]

ACM Queue, 2003

A Formal Approach to MpSoC Performance Verification.

[BibT_eX]

[DOI]

Computer, 2003

Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Certifiable Software-Integration for Engine Electronics.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Safe Automotive Software Development.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

Formal Methods for Integration of Automotive Software.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals.

[BibT_eX]

[DOI]

Proceedings of the 40th Design Automation Conference, 2003

The future of system-level design: can we find the right solutions to the right problems at the right time?

[BibT_eX]

[DOI]

Reinaldo A. Bergamaschi

Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003

Safe Automotive Software Development.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software for SoC, 2003

Formal Methods for Integration of Automotive Software.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software for SoC, 2003

2002

SPI - a system model for heterogeneously specified embedded systems.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2002

Hybrid Cache Analysis in Running Time Verification of Embedded Software.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2002

Flexibility/Cost-Tradeoffs of Platform-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation, 2002

SPI - Workbench für die Analyse Eingebetteter Systeme.

[BibT_eX]

Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002

Local Constraint Derivation for Platform-Based Design.

[BibT_eX]

Wayne H. Wolf

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Modellierung rekonfigurierbarer Systemarchitekturen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Bottom-Up Performance Analysis of HW/SW Platforms.

[BibT_eX]

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

Event Model Interfaces for Heterogeneous System Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2002 Design, 2002

System Design for Flexibility.

[BibT_eX]

[DOI]

Proceedings of the 2002 Design, 2002

Associative caches in formal software timing analysis.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

Model composition for scheduling analysis in platform design.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

Transformation of SDL specifications for system-level timing analysis.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

Readings in hardware / software co-design.

[BibT_eX]

Giovanni De Micheli

Wayne H. Wolf

Morgan Kaufmann, ISBN: 978-1-55860-702-6, 2002

2001

Path clustering in software timing analysis.

[BibT_eX]

[DOI]

Wei Ye

IEEE Trans. Very Large Scale Integr. Syst., 2001

FunState-an internal design representation for codesign.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2001

An approach to automated hardware/software partitioning using a flexible granularity that is driven by high-level estimation techniques.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2001

Execution cost interval refinement in static software analysis.

[BibT_eX]

[DOI]

J. Syst. Archit., 2001

Interval-Based Analysis of Software Processes.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001

Combining complex event models and timing constraints.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

Combining Languages in Embedded System Design.

[BibT_eX]

[DOI]

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

2000

Das DFG-Schwerpunktprogramm 1020 (Research Priority Program 1020 of the German "Deutsche Forschungsgemeinschaft").

[BibT_eX]

[DOI]

Informationstechnik Tech. Inform., 2000

Rapid Prototyping von integrierten Steuerungssystemen.

[BibT_eX]

[DOI]

Informationstechnik Tech. Inform., 2000

Intervals in Software Execution Cost Analysis.

[BibT_eX]

[DOI]

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

A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model.

[BibT_eX]

[DOI]

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

Data flow based cache prediction using local simulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

A Reconfigurable Hardware Platform for Digital Real-Time Signal Processing in Television Studios.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2000), 2000

The Future of Flexible HW Platform Architectures Panel Discussion.

[BibT_eX]

[DOI]

Proceedings of the 2000 Design, 2000

embedded system design with multiple languages: embedded tutorial.

[BibT_eX]

[DOI]

Ahmed Amine Jerraya

Proceedings of ASP-DAC 2000, 2000

1999

Process Versions in Rapid Prototyping.

[BibT_eX]

[DOI]

Achim Österling

Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

SPI -- An Internal Representation for Heterogeneously Specified Embedded Systems.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

FunState - an internal design representation for codesign.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Improved interconnect sharing by identity operation insertion.

[BibT_eX]

[DOI]

Dirk Herrmann

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

System level design and debug of high-performance embedded media systems (tutorial).

[BibT_eX]

[DOI]

Kees A. Vissers

Pieter van der Wolf

Gert-Jan van Rootselaar

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Multi-Language System Design.

[BibT_eX]

[DOI]

Ahmed Amine Jerraya

Proceedings of the 1999 Design, 1999

Representation of Function Variants for Embedded System Optimization and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

Scheduling hardware/software systems using symbolic techniques.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

Using Adaptive Layout Calculation to Handle the Visual Chaos in GUIs.

[BibT_eX]

Stefan Stille

Proceedings of the Computer-Aided Design of User Interfaces II, 1999

1998

Codesign of Embedded Systems: Status and Trends.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 1998

Representation of process mode correlation for scheduling.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Combining multiple models of computation for scheduling and allocation.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998

High-Level Estimation Techniques for Usage in Hardware/Software Co-Design.

[BibT_eX]

[DOI]

Proceedings of the ASP-DAC '98, 1998

1997

An Adaptive Window Management System.

[BibT_eX]

Stefan Stille

Shailey Minocha

Proceedings of the Human-Computer Interaction, 1997

Embedded program timing analysis based on path clustering and architecture classification.

[BibT_eX]

[DOI]

Wei Ye

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

A processor-coprocessor architecture for high end video applications.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE International Conference on Acoustics, 1997

Rapid Prototyping für integrierte Steuerungssysteme mit harten Zeitbedingungen.

[BibT_eX]

[DOI]

Proceedings of the Informatik '97, 1997

[BibT_eX]

[DOI]

Dirk Herrmann

Proceedings of the European Design and Test Conference, 1997

A Hardware/Software Partitioner Using a Dynamically Determined Granularity.

[BibT_eX]

[DOI]

Proceedings of the 34st Conference on Design Automation, 1997

An Event-Driven Multi-Threading Architecture for Embedded Systems.

[BibT_eX]

[DOI]

Reinhard Gerndt

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

An Approach to Mixed Systems Co-Synthesis.

[BibT_eX]

[DOI]

Thomas Benner

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

1996

The COSYMA environment for hardware/software cosynthesis of small embedded systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1996

The Interplay of Run-Time Estimation and Granularity in HW/SW Partitioning.

[BibT_eX]

[DOI]

Proceedings of the Forth International Workshop on Hardware/Software Codesign, 1996

1995

An Approach to Automatic Display Layout Using Combinatorial Optimization Algorithms.

[BibT_eX]

[DOI]

Stefan Stille

Softw. Pract. Exp., 1995

Das Automatisierte Bildschirmlayout.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 1995

A prototyping system for verification and evaluation in hardware-software cosynthesis.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

A path-based technique for estimating hardware runtime in HW/SW-cosynthesis.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), 1995

Research report: improving browsing in information by the automatic display layout.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium On Information Visualization 1995, 1995

Scalable performance scheduling for hardware-software cosynthesis.

[BibT_eX]

[DOI]

Thomas Benner

Achim Österling

Proceedings of the Proceedings EURO-DAC'95, 1995

Combining MBP-speculative computation and loop pipelining in high-level synthesis.

[BibT_eX]

[DOI]

Ulrich Holtmann

Proceedings of the 1995 European Design and Test Conference, 1995

1994

The Dynamic Screen - Beyond the Limits of Traditional Graphic User Interfaces.

[BibT_eX]

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

FPGA Based Prototyping for Verification and Evaluation in Hardware-Software Cosynthesis.

[BibT_eX]

[DOI]

Proceedings of the Field-Programmable Logic, 1994

An approach to the adaptation of estimated cost parameters in the COSYMA system.

[BibT_eX]

[DOI]

Dirk Herrmann

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993

Experiments with low-level speculative computation based on multiple branch prediction.

[BibT_eX]

[DOI]

Ulrich Holtmann

IEEE Trans. Very Large Scale Integr. Syst., 1993

Hardware-Software Cosynthesis for Microcontrollers.

[BibT_eX]

[DOI]

Thomas Benner

IEEE Des. Test Comput., 1993

Automatic Display Layout in Window Oriented User Interfaces.

[BibT_eX]

Proceedings of the Interfaces in Industrial Systems for Production Engineering, 1993

Fast Timing Analysis for Hardware-Software Co-Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

Speculative Computation for Coprocessor Synthesis.

[BibT_eX]

[DOI]

Ulrich Holtmann

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

1992

Verbesserung der Benutzeroberfläche von CAD-Systemen durch automatisches Bildschirmlayout.

[BibT_eX]

Proceedings of the CAD '92: Neue Konzepte zur Realisierung anwendungsorientierter CAD-Systeme, 1992

1991

Simulation-Based Verification for High-Level Synthesis.

[BibT_eX]

[DOI]

Jayaram Bhasker

IEEE Des. Test Comput., 1991

Fault Tolerant VLSI Design with Functional Block Redundancy.

[BibT_eX]

[DOI]

P. Nowottnick

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

1990

Simulation based verification of register-transfer level behavioral synthesis tools.

[BibT_eX]

[DOI]

Proceedings of the European Design Automation Conference, 1990

1989

TSG: A Test System Generator for Debugging and Regression Test of High-Level Behavioral Synthesis Tools.

[BibT_eX]

[DOI]

S. Sutarwala

J.-Y. Jou

Proceedings of the Proceedings International Test Conference 1989, 1989

1988

Ein neuartiges Steuerflusskonzept für vielstufige Pipelines in integrierten Signalprozessoren und das Modell eines Signalprozessors als Beispiel für seinen Einsatz.

[BibT_eX]

[DOI]