17. ECBS 2011: Las Vegas, NV, USA

Keynotes

• Kevin L. Moore:
  Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings. 1
  
• Oleg Sokolsky:
  Medical Cyber-Physical Systems. 2
  
• Robert B. France:
  Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD. 3
  

Software I

• Renée C. Bryce, Charles J. Colbourn, D. Richard Kuhn:
  Finding Interaction Faults Adaptively Using Distance-Based Strategies. 4-13
  
• Shvetha Soundararajan, James D. Arthur:
  A Structured Framework for Assessing the "Goodness" of Agile Methods. 14-23
  
• Peter Yastrebenetsky, Mark Trakhtenbrot:
  Analysis of Applicability for Synchronization Complexity Metric. 24-33
  

Embedded Systems

• Sachidanand Mahadevan, Vijay Shankar Gopinath, Roman Lysecky, Jonathan Sprinkle, Jerzy W. Rozenblit, Michael W. Marcellin:
  Hardware/Software Communication Middleware for Data Adaptable Embedded Systems. 34-43
  
• Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale:
  MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems. 44-51
  
• Jong Chul Lee, Andrew S. Gardner, Roman Lysecky:
  Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded Systems. 52-60
  
• Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons:
  GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications. 61-70
  

Doctoral Symposium

• Tripti Saxena, Gabor Karsai:
  A Meta-Framework for Design Space Exploration. 71-80
  
• Travis A. Hoffman, Jerzy W. Rozenblit, Ali Akoglu, Liana Suantak:
  Queral Networks: Toward an Approach for Engineering Large Artificial Neural Networks. 81-88
  
• Mohammed Akour, Akanksha Jaidev, Tariq M. King:
  Towards Change Propagating Test Models in Autonomic and Adaptive Systems. 89-96
  
• Alois Mayr, Reinhold Plösch, Matthias Saft:
  Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3. 97-104
  

Computer-Based Systems: Scale, Transition, and Legacy

• Nico Krebs, Sebastian Rönnau, Uwe M. Borghoff, Sebastian Rönnau:
  Fostering the Universal Virtual Computer as Long-Term Preservation Platform. 105-110
  
• Karin Breitman, Simone Diniz Junqueira Barbosa, Percy E. Salas, Rita Berardi, José Viterbo F., Tássia Freitas, Thaís Vasconcelos Batista: Understanding IT Organizations Using Viewpoints. 111-119

Model-Based Design

• James H. Hill:
  Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples. 120-129
  
• Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama:
  Automated Adaptor Generation for Services Based on Pushdown Model Checking. 130-139
  
• Nicolas Frisby, M. Peck, Mark Snyder, Perry Alexander:
  Model Composition in Rosetta. 140-148
  
• Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté:
  UML/OCL and Refinement. 149-158
  

Component-Based Systems

• Jonathan Sprinkle, Brandon Eames:
  On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle. 159-168
  
• Roland Mader, Gerhard Griessnig, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Eric Armengaud, Christian Steger, Reinhold Weiß:
  A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems. 169-178
  
• Matthias Galster, Armin Eberlein:
  Identifying Potential Core Assets in Service-Based Systems to Support the Transition to Service-Oriented Product Lines. 179-186
  
• Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
  Pattern-Driven Support for Designing Component-Based Architectural Models. 187-196
  

Distributed and Networked Systems

• Miroslav Svéda, Ondrej Rysavy, Gayan de Silva, Petr Matousek, Jaroslav Ráb:
  Reachability Analysis in Dynamically Routed Networks. 197-205
  
• Ivana Popovic, Vladislav Vrtunski, Miroslav Popovic:
  Formal Verification of Distributed Transaction Management in a SOA Based Control System. 206-215
  

Software II

• Meiru Che, Dewayne E. Perry:
  Scenario-Based Architectural Design Decisions Documentation and Evolution. 216-225
  
• Håkan Gustavsson, Jakob Axelsson:
  A Comparative Case Study of Architecting Practices in the Embedded Software Industry. 226-231
  
• Matthias Galster, Armin Eberlein:
  Facilitating Software Architecting by Ranking Requirements Based on their Impact on the Architecture Process. 232-240
  

Eighth IEEE Workshop on Model-Based Development for Computer-Based Systems

• Stefano Cucchiella, Antonio Cicchetti, Federico Ciccozzi:
  An Open-Source Pivot Language for Proprietary Tool-Chaining. 241-250
  
• Sean Whitsitt, Jonathan Sprinkle:
  Message Modeling for the Joint Architecture for Unmanned Systems (JAUS). 251-259
  
• Maribel Hudson, Jonathan Sprinkle:
  Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks. 260-268
  
• Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss:
  Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments. 269-275
  
• Vijay Shankar Gopinath, Jonathan Sprinkle, Roman Lysecky:
  Modeling of Data Adaptable Reconfigurable Embedded Systems. 276-283
  
• Matthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert:
  Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository. 284-291
  

Last update Thu May 24 04:16:37 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page