LZI - Schloss Dagstuhl - Talks + Materials of Seminar 07101

Collector buttons:

Seminar 07101
Quantitative Aspects of Embedded Systems

B. Haverkort (Univ. of Twente, NL), J.-P. Katoen (RWTH Aachen, DE), L. Thiele (ETH Zürich, CH)

Seminar Wide Materials

Slides of the Program

Abstracts:

Slides:

Other:

Working Group Report: performance measures other than time

Abstracts:

Slides:

DROPS-Submission:

Executive Summary

Abstracts:

DROPS-Submission:

	Upload or overwrite a document file and/or change title of talk


	Due to caching problems of microsofts internet explorer concerning dynamic webpages, sometimes newly uploaded files are not shown. By pressing [CTRL]+[F5], the page is completely reloaded.

Sebastian Altmeyer , Universität des Saarlandes

Minimizing Cache Conflicts by Optimal Task Placement

Abstracts:

Slides:

Henrik Bohnenkamp , RWTH Aachen

What good are formal methods for model-based design? Workgroup 4 debrief.

Slides:

Hichem Boudali , University of Twente

Dynamic fault tree analysis using I/O interactive Markov chains

Abstracts:

Slides:

Lucia Cloth , University of Twente

Computing Battery Lifetime Distributions

Abstracts:

Slides:

Pepijn Crouezen , Universität des Saarlandes

Stephen A. Edwards , Columbia University

Precision-Timed (PRET) Machines

Abstracts:

Slides:

Matthias Fruth , University of Birmingham

Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol

Abstracts:

Slides:

Reinhard German , Universität Erlangen

Measuring and Modeling Quantitative Aspects of Networked Embedded Systems

Abstracts:

Slides:

Tingting Han , RWTH Aachen

Boudewijn Haverkort , University of Twente

Holger Hermanns , Universität des Saarlandes

David N. Jansen , RWTH Aachen

Bisimulation minimisation mostly speeds up probabilistic model checking

Abstracts:

Slides:

Marijn Jongerden , University of Twente

Bengt Jonsson , University of Uppsala

Joost-Pieter Katoen , RWTH Aachen

Mark Kattenbelt , University of Birmingham

Hermann Kopetz , TU Wien

Kim Guldstrand Larsen , Aalborg University

Jaejin Lee , Seoul Nat. University

Virtual Memory Environments for Instruction Scratchpad Memory Management

Abstracts:

Slides:

Jan Madsen , Technical University of Denmark

MOVES - A Tool for Modelling and Verification of Embedded Systems

Abstracts:

Slides:

Peter Marwedel , Universität Dortmund

Pieter J. Mosterman , The MathWorks Inc. - Natick

Model-Based Embedded System Design

Abstracts:

Slides:

Model-Based Design--An overview and research

Abstracts:

Slides:

Martin Neuhaeusser , RWTH Aachen

Vladimir Okulevich , OOO Siemens CT - St. Petersburg

Experience in Formal Model Verification for Mission-Critical Domains

Abstracts:

Slides:

Jean-Francois Raskin , Université Libre de Bruxelles

Algorithms for Omega-regular games of Incomplete Information.

Abstracts:

Slides:

Michael Reichhardt Hansen , Technical University of Denmark

Jan Reineke , Universität des Saarlandes

Timing-Predictability of Cache Replacement Policies

Abstracts:

Slides:

Anne Remke , University of Twente

Bottleneck analysis in IEEE 802.11e

Abstracts:

Slides:

Paper:

Wolfgang Rosenstiel , Universität Tübingen

A Hybrid Approach for Performance Simulation of Distributed Embedded Software

Abstracts:

A Hybrid Approach for Performance Evaluation of Distributed Embedded Software

Abstracts:

Slides:

Bastian Schlich , RWTH Aachen

Applying Model Checking to Real Microcontroller Code

Abstracts:

Slides:

Gerard Smit , University of Twente

Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC)

Abstracts:

DROPS-Submission:

Marielle Stoelinga , University of Twente

Resource Interfaces

Abstracts:

Paper:

Jürgen Teich , Universität Erlangen

Evaluation and Optimization of Reliability of Embedded Systems during Design Space Exploration

Abstracts:

Slides:

Lothar Thiele , ETH Zürich

Interface-based Composition of Embedded Systems

Abstracts:

Slides:

Working Group: Stochastic vs. Worst-Case Methods

Abstracts:

Slides:

Reinhard Wilhelm , Universität des Saarlandes

Design for Timing Predictability

Abstracts:

Slides:

Daniel Willems , RWTH Aachen

Abstraction for continuous-time Markov chains

Abstracts:

Slides:

Jin Hyuk Yoon , Seoul Nat. University

Implementation of High Performance Flash Memory Based Storage

Abstracts:

Slides:

Lijun Zhang , Universität des Saarlandes

Predicate abstraction for probabilistic models

Abstracts:

Slides:

Copyright

This webpage and the material that is made available on this webpage is licensed under a
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License.

The CC by-nc-nd license allows you to copy, distribute and transmit the work under the following conditions:

Attribution: You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).
Noncommercial: You may not use this work for commercial purposes.
No Derivative Works: You may not alter, transform, or build upon this work.

Seminar 07101 Quantitative Aspects of Embedded Systems

Copyright

Seminar 07101
Quantitative Aspects of Embedded Systems