7. EMSOFT 2007: Salzburg, Austria

• Jane W.-S. Liu:
  User-centered semiautomatic assistive devices. 1
  

Panel

• Christoph M. Kirsch, Reinhard Wilhelm:
  Grand challenges in embedded software. 2-6
  

Tutorials

• Patrick Cousot:
  Proving the absence of run-time errors in safety-critical avionics code. 7-9
  
• Lothar Thiele:
  Performance analysis of distributed embedded systems. 10
  

Formal methods

• Simon Bliudze, Joseph Sifakis:
  The algebra of connectors: structuring interaction in BIP. 11-20
  
• Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
  A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. 21-29
  
• David Monniaux:
  Verification of device drivers and intelligent controllers: a case study. 30-36
  

Scheduling

• Ruibin Xu, Rami G. Melhem, Daniel Mossé:
  A unified practical approach to stochastic DVS scheduling. 37-46
  
• Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, Luca Benini:
  Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip. 47-56
  
• Orlando Moreira, Frederico Valente, Marco Bekooij:
  Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessor. 57-66
  
• Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee:
  A dynamic scheduling approach to designing flexible safety-critical systems. 67-74
  

Optimisation

• Haifeng He, Saumya K. Debray, Gregory R. Andrews:
  The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading. 75-83
  
• David C. Snowdon, Stefan M. Petters, Gernot Heiser:
  Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. 84-93
  
• Jiwon Hahn, Pai H. Chou:
  Buffer optimization and dispatching scheme for embedded systems with behavioral transparency. 94-103
  
• Arne Hamann, Razvan Racu, Rolf Ernst:
  Methods for multi-dimensional robustness optimization in complex embedded systems. 104-113
  

Synchronous languages

• Edward A. Lee, Haiyang Zheng:
  Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. 114-123
  
• Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel:
  Necessary and sufficient conditions for deterministic desynchronization. 124-133
  
• Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens:
  Virtual execution of AADL models via a translation into synchronous programs. 134-143
  

Flash

• Dongwon Kang, Dawoon Jung, Jeong-Uk Kang, Jin-Soo Kim:
  mu-tree: an ordered index structure for NAND flash memory. 144-153
  
• Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee Lee, Sam H. Noh:
  Uniformity improving page allocation for flash memory file systems. 154-163
  
• In Hwan Doh, Jongmoo Choi, Donghee Lee, Sam H. Noh:
  Exploiting non-volatile RAM to enhance flash file system performance. 164-173
  
• Jongmin Lee, Sunghoon Kim, Hunki Kwon, Choulseung Hyun, Seongjun Ahn, Jongmoo Choi, Donghee Lee, Sam H. Noh:
  Block recycling schemes and their cost-based optimization in nand flash memory based storage system. 174-182
  

Performance

• Gabor Madl, Nikil Dutt, Sherif Abdelwahed:
  Performance estimation of distributed real-time embedded systems by discrete event simulations. 183-192
  
• Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour:
  Influence of different system abstractions on the performance analysis of distributed real-time systems. 193-202
  
• Rathijit Sen, Y. N. Srikant:
  WCET estimation for executables in the presence of data caches. 203-212
  
• Changhee Jung, Duk-Kyun Woo, Kanghee Kim, Sung-Soo Lim:
  Performance characterization of prelinking and preloadingfor embedded systems. 213-220
  

Models of computation

• Roumen Kaiabachev, Walid Taha, Angela Zhu:
  E-FRP with priorities. 221-230
  
• Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
  Loosely time-triggered architectures based on communication-by-sampling. 231-239
  
• Vijay D'Silva, Sampada Sonalkar, S. Ramesh:
  Existential abstractions for distributed reactive systems via syntactic transformations. 240-248
  

Implementations

• Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley:
  Design and implementation of a comprehensive real-time java virtual machine. 249-258
  
• Gernot Gebhard, Sebastian Altmeyer:
  Optimal task placement to improve cache performance. 259-268
  
• Michael Roitzsch:
  Slice-balancing H.264 video encoding for improved scalability of multicore decoding. 269-278
  
• Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin:
  SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems. 279-288