A MODEL BASED APPROACH FOR DEBUGGING EMBEDDED SYSTEMS IN REAL TIME
Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann and Elke Pulvermueller

A RELIABLE MTD DESIGN FOR MLC FLASH-MEMORY STORAGE SYSTEMS
Yuan-Hao Chang and Tei-Wei Kuo

A UNIFYING VIEW OF LOOSELY TIME-TRIGGERED ARCHITECTURES
Albert Benveniste, Anne Bouillard and Paul Caspi

AUTOMATIC VERICATION OF CONTROL SYSTEM IMPLEMENTATIONS
Adolfo Anta, Rupak Majumdar, Indranil Saha and Paulo Tabuada

COMPONENTS, PLATFORMS AND POSSIBILITIES: TOWARDS GENERIC AUTOMATION FOR MDA
Eunsuk Kang, Ethan Jackson, Dirk Seifert, Markus Dahlweid and Thomas Santen

DYNAMIC TUNING OF FEATURE SET IN HIGHLY VARIANT INTERACTIVE APPLICATIONS
Tushar Kumar, Romain Cledat and Santosh Pande

ENERGY-AWARE PACKET AND TASK CO-SCHEDULING FOR EMBEDDED SYSTEMS
Luca Santinelli, Mauro Marinoni, Francesco Prosperi, Francesco Esposito, Gianluca Franchino and Giorgio Buttazzo

FROM HIGH-LEVEL COMPONENT-BASED MODELS TO DISTRIBUTED IMPLEMENTATIONS
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf and Joseph Sifakis

INITIATING A DESIGN PATTERN CATALOG FOR EMBEDDED NETWORK SYSTEMS
Sally K. Wahba, Jason O. Hallstrom and Neelam Soundarajan

JANUS-FTL: FINDING OPTIMAL POINT ON THE SPECTRUM BETWEEN PAGE AND BLOCK MAPPING SCHEMES
Hunki Kwon, Eunsam Kim, Jongmoo Choi, Donghee Lee and Sam H. Noh

LOAD-BASED SCHEDULABILITY ANALYSIS OF CERTIFIABLE MIXED-CRITICALITY SYSTEMS
Haohan Li and Sanjoy Baruah

MODEL-BASED IMPLEMENTATION OF REAL-TIME APPLICATIONS
Tesnim Abdellatif, Jacques Combaz and Joseph Sifakis

MODEL-BASED SPECIFICATION OF TIMING REQUIREMENTS
Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll and Edward Lee

MODELING BUFFERS WITH DATA REFRESH SEMANTICS IN AUTOMOTIVE ARCHITECTURES
Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty and Insup Lee

NUCLEOS: A RUNTIME SYSTEM FOR ULTRA-COMPACT WIRELESS SENSOR NODES
Jiwon Hahn and Pai Chou

ONLINE DYNAMIC STABILITY VERIFICATION USING SECTOR SEARCH
Joseph Porter, Graham Hemingway, Chris vanBusKirk, Nicholas
Kottenstette, Gabor Karsai and Janos Sztipanovits

ONLINE ROBUST OPTIMIZATION FRAMEWORK FOR QOS GUARANTEES IN DISTRIBUTED SOFT REAL-TIME SYSTEMS
Jinkyu Lee, Insik Shin and Arvind Easwaran

OPTIMAL WCET-AWARE CODE SELECTION FOR SCRATCHPAD MEMORY
Hui Wu, Jingling Xue and Sri Parameswaran

PARALLELIZING THE H.264 DECODER ON THE CELL BE PROCESSOR
Yongjin Cho, Seungkyun Kim, Jaejin Lee and Heonshik Shin

PINAVM: A SYSTEMC FRONT-END BASED ON AN EXECUTABLE INTERMEDIATE REPRESENTATION
Kevin Marquet and Matthieu Moy

POWER-AWARE TEMPORAL ISOLATION WITH VARIABLE-BANDWIDTH SERVERS
Silviu Craciunas, Christoph Kirsch and Ana Sokolova

PTERA: AN EVENT-ORIENTED MODEL OF COMPUTATION FOR HETEROGENEOUS SYSTEMS
Thomas Huining Feng, Edward A. Lee and Lee W. Schruben

REDUCING STACK WITH INTRA-TASK THRESHOLD PRIORITIES IN REAL-TIME SYSTEMS
Gang Yao and Giorgio Buttazzo

RESOURCE ADAPTATIONS WITH SERVERS FOR HARD REAL-TIME SYSTEMS
Nikolay Stoimenov, Lothar Thiele, Luca Santinelli and Giorgio Buttazzo

SCHEDULABILITY AND END-TO-END LATENCY IN DISTRIBUTED ECU NETWORKS: FORMAL MODELING AND PRECISE ESTIMATION
A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi and S. Ramesh

SEMANTICS-PRESERVING IMPLEMENTATION OF SYNCHRONOUS SPECIFICATIONS OVER DYNAMIC TDMA DISTRIBUTED ARCHITECTURES
Dumitru Potop-Butucaru, Akramul Azim and Sebastian Fischmeister

SWITCHING LOGIC SYNTHESIS FOR REACHABILITY
Ankur Taly and Ashish Tiwari

TELESCRIBE: A SCALABLE, RESUMABLE WIRELESS REPROGRAMMING APPROACH
Min-Hua Chen and Pai Chou

USING NAND FLASH MEMORY FOR EXECUTING LARGE VOLUME REAL-TIME PROGRAMS IN AUTOMOTIVE EMBEDDED SYSTEMS
Kwangyoon Cho, Kyoung-Soo We, Chang-Gun Lee and Kanghee Kim