16. ECBS 2009: San Francisco, California, USA

Modeling

• Jacob Gulotta, Diyang Chu, Ximing Yu, Hussain Al-Helal Tapasya Patki, Jason Hansen, Maribel Hudson, Jonathan Sprinkle:
  Using Integrative Models in an Advanced Heterogeneous System Simulation. 3-10
  
• Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale:
  CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems. 11-20
  
• Muhammad Rashid, Bernard Pottier:
  Application Capturing and Performance Estimation in an Holistic Design Environment. 21-30
  
• Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi:
  Raising the Abstraction of Domain-Specific Model Translator Development. 31-37
  

Software

• Miroslav Popovic, Ilija Basicevic, Vladislav Vrtunski:
  A Task Tree Executor: New Runtime for Parallelized Legacy Software. 41-47
  
• Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup:
  Semantically Enhanced Containers for Concurrent Real-Time Systems. 48-57
  
• Jessica Díaz, Agustín Yagüe, Juan Garbajosa:
  A Systematic Process for Implementing Gateways for Test Tools. 58-66
  

Formal Methods

• Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty:
  Modeling and Analysis of Probabilistic Timed Systems. 69-78
  
• Allan I. McInnes:
  Using CSP to Model and Analyze TinyOS Applications. 79-88
  
• S. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song:
  Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. 89-94
  
• Yosr Jarraya, Mourad Debbabi, Jamal Bentahar:
  On the Meaning of SysML Activity Diagrams. 95-105
  

Systems: Design and Analysis

• Stephan Bode, Anja Fischer, Winfried E. Kühnhauser, Matthias Riebisch:
  Software Architectural Design Meets Security Engineering. 109-118
  
• Hamdy Ibrahim, Behrouz H. Far, Armin Eberlein:
  Tradeoff and Sensitivity Analysis of a Hybrid Model for Ranking Commercial Off-the-Shelf Products. 119-127
  
• Fahad Javed, Naveed Arshad:
  A Penny Saved is a Penny Earned: Applying Optimization Techniques to Power Management. 128-137
  
• Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake:
  Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. 138-146
  

Safety Analysis

• Abhishek Dubey:
  Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems. 149-155
  
• Benjamin Hummel:
  A Semantic Model for Computer-Based Spatio-temporal Systems. 156-165
  
• Philippa Conmy, Iain Bate:
  Semi-Automated Safety Analysis for Field Programmable Gate Arrays. 166-175
  
• Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton, Andrzej Wytyczak-Partyka:
  Defining Spatial Regions in Computer-Assisted Laparoscopic Surgical Training. 176-183
  

Software II

• Shvetha Soundararajan, James D. Arthur:
  A Soft-Structured Agile Framework for Larger Scale Systems Development. 187-195
  
• Robert Brcina, Stephan Bode, Matthias Riebisch:
  Optimisation Process for Maintaining Evolvability during Software Evolution. 196-205
  
• Thein Than Tun, Rod Chapman, Charles B. Haley, Robin C. Laney, Bashar Nuseibeh:
  A Framework for Developing Feature-Rich Software Systems. 206-214
  
• Rami Al-Motlak, Jerzy W. Rozenblit, Faisal Momen:
  A Distributed Computing Framework for Parallelization of Coevolution in Multi-sided Conflicts. 215-224
  

Modeling II

• Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz:
  Structured Formalization of Service-Oriented Specifications. 227-236
  
• Tomasz Porzucek, Stephan Kluth, Flavius Copaciu, Werner Zorn:
  Modeling and Evaluation Framework for FMC-QE. 237-243
  
• Mathias Fritzsche, Hugo Bruneliere, Bert Vanhooff, Yolande Berbers, Frédéric Jouault, Wasif Gilani:
  Applying Megamodelling to Model Driven Performance Engineering. 244-253
  
• Michael Thonhauser, Christian Kreiner, Martin Schmid:
  Interpreting Model-Based Components for Information Systems. 254-261
  

Embedded Systems

• Brian Dougherty, Jules White, Chris Thompson, Douglas C. Schmidt:
  Automating Hardware and Software Evolution Analysis. 265-274
  
• Jonathan Tate, Iain Bate:
  Tuning Complex Sensornet Systems Using Principled Engineering Methods. 275-284
  

Poster Session Abstracts

• Andrzej Wytyczak-Partyka, Jan Nikodem, Ryszard Klempous:
  Application of Structure-from-Motion 3D Reconstruction in Computer-Guided Surgical Training. 287-290
  
• Babak Mohammadizadeh Khoshroo, Hassan Rashidi:
  Towards a Framework for Agile Management Based on Chaos and Complex System Theories. 291-292
  

Model Based Design Workshop

• Damian Dechev, Bjarne Stroustrup:
  Model-Based Product-Oriented Certification. 295-304
  
• Thomas Leveque, Jacky Estublier, Germán Vega:
  Extensibility and Modularity for Model Driven Engineering Environments. 305-314
  
• Martin Monperrus, Antoine Beugnard, Joël Champeau:
  A Definition of "Abstraction Level" for Metamodels. 315-320
  
• Jung Ho Bae, Heung Seok Chae:
  An Automatic Approach to Generating State Diagram from Contract-Based Class. 323-331
  
• Michael C. Jaeger, Ludger Fiege:
  Viewpoints in the Smart Home Product Line. 332-339
  
• Meiko Jensen, Sven Feja:
  A Security Modeling Approach for Web-Service-Based Business Processes. 340-347