Part I: Real-Time and Performance Analysis in Heterogeneous Embedded Systems
Performance Prediction of Distributed Platforms. SystemC-Based Performance Analysis of Embedded Systems. Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems. Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1. Modeling and Analysis Framework for Embedded Systems. TrueTime: Simulation Tool for Performance Analysis of Real-Time Embedded Systems.
Part II: Design Tools and Methodology for Multiprocessor System-on-Chip
MPSoC Platform Mapping Tools for Data-Dominated Applications. Retargetable, Embedded Software DesignMethodology for Multiprocessor-Embedded Systems. Programming Models for MPSoC. Platform-Based Design and Frameworks: METROPOLIS and METRO II. Reconfigurable Multicore Architectures for Streaming Applications. FPGA Platforms for Embedded Systems.
Part III: Design Tools and Methodology for Multidomain Embedded Systems
Modeling, Verification, and Testing Using Timed and Hybrid Automata. Semantics of Domain-Specific Modeling Languages. Multi-Viewpoint State Machines for Rich Component Models. Generic Methodology for the Design of Continuous/Discrete Co-Simulation Tools. Modeling and Simulation of Mixed Continuous and Discrete Systems. Design Refinement of Embedded Mixed-Signal Systems. Platform for Model-Based Design of Integrated Multi-Technology Systems. CAD Tools for Multi-Domain Systems on Chips. Smart Sensors Modeling Using VHDL-AMS for Microinstrument Implementation with a Distributed Architecture.