15. ECBS 2008: Belfast, Northern Ireland

• Noel E. Sharkey:
  Robotics Today: The Good, Bad, and Ugly. 3-4
  
• Brian Randell:
  System Complexity and System Failures. 5
  
• Yan Liu, Jing Zhang, Michael Jiang, David Raymer, John Strassner:
  A Case Study: A Model-Based Approach to Retrofit a Network Fault Management System with Self-Healing Functionality. 9-18
  
• Philippe Aniorté, Jérôme Lacouture:
  CompAA : A Self-Adaptable Component Model for Open Systems. 19-25
  
• Horst F. Wedde, Sebastian Lehnhoff, Kai M. Moritz, Edmund Handschin, Olav Krause:
  Distributed Learning Strategies for Collaborative Agents in Adaptive Decentralized Power Systems. 26-35
  
• Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes:
  Goal-Based Modeling of Dynamically Adaptive System Requirements. 36-45
  
• Marcel Seelig, Stephan Kluth, Tomasz Porzucek, Flavius Copaciu, Nico Naumann, Steffen Kühn:
  Comparison of Simulation and Performance Modeling - A Case Study. 49-56
  
• Mathias Fritzsche, Wasif Gilani, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick, Rabih Bashroush:
  Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA Applications. 57-65
  
• James H. Hill, Douglas C. Schmidt, Adam A. Porter, John M. Slaby:
  CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments. 66-75
  
• Artem Parakhine, John Leaney, Tim O'Neill:
  Design Guidance Using Simulation-Based Bayesian Belief Networks. 76-84
  
• Peter Wallin, Jakob Axelsson:
  A Case Study of Issues Related to Automotive E/E System Architecture Development. 87-95
  
• Ge Zhang, Feng Cheng, Christoph Meinel:
  Towards Secure Mobile Payment Based on SIP. 96-104
  
• Muhammad Ali Babar, Andrew Northway, Ian Gorton, Paul Heuer, Thong Nguyen:
  Introducing Tool Support for Managing Architectural Knowledge: An Experience Report. 105-113
  
• Sven Feja, Daniel Fötsch:
  Model Checking with Graphical Validation Rules. 117-125
  
• Constantin Enea:
  Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. 126-135
  
• Inès Mouakher, Jeanine Souquières, Francis Alexandre:
  Protocol Verification in a Software Component-Based Approach. 136-145
  
• Jin-Suk Kang, Yonghee You, Mee Young Sung:
  Implementation of a Modular Mobile Mapping in a Geocomputing Platform for Location-Based Services Using Geographic Recognition. 149-158
  
• Abbas Cheddad, Joan Condell, Kevin Curran, Paul McKevitt:
  Biometric Inspired Digital Image Steganography. 159-168
  
• Petr Matousek, Jaroslav Ráb, Ondrej Rysavy, Miroslav Svéda:
  A Formal Model for Network-Wide Security Analysis. 171-181
  
• Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
  An Interval-Based Solution for Static Analysis in the SIGNAL Language. 182-190
  
• Tony Spiteri Staines:
  Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. 191-200
  
• Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton:
  Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST). 203-209
  
• Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata:
  A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. 210-218
  
• Roy Harper, Peter Nicholl, Michael F. McTear, Jonathan Wallace, Lesley-Ann Black, Patricia Kearney:
  Automated Phone Capture of Diabetes Patients Readings with Consultant Monitoring via the Web. 219-226
  
• Claudio Talarico, David Freiberger, Tyler Jones, Brandon Hopkins, Charlie Herr, Min-Sung Koh, Esteban Rodriguez-Marek:
  A Hybrid Approach for Modeling and Assessing Performance of Embedded Systems in a Biologically Critical Application. 227-232
  
• Matthias Riebisch, Robert Brcina:
  Optimizing Design for Variability Using Traceability Links. 235-244
  
• Jennifer Pérez, Isidro Ramos, José A. Carsí:
  Taking Advantage of COTS for Developing Aspect-Oriented Software Architectures. 245-254
  
• Leire Etxeberria, Goiuria Sagardui Mendieta:
  Evaluation of Quality Attribute Variability in Software Product Families. 255-264
  
• Cheng Thao, Ethan V. Munson, Tien Nhut Nguyen:
  Software Configuration Management for Product Derivation in Software Product Families. 265-274
  
• Mikaël Barbero, Frédéric Jouault, Jean Bézivin:
  Model Driven Management of Complex Systems: Implementing the Macroscope’s Vision. 277-286
  
• Cameron Maxwell, John Leaney, Tim O'Neill:
  Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation. 287-296
  
• Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown, Wasif Gilani, Mathias Fritzsche:
  ALI: An Extensible Architecture Description Language for Industrial Applications. 297-304
  
• Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen:
  A Model-Based Design Process for the SegBus Distributed Architecture. 307-316
  
• Sébastien Lafond, Johan Lilius:
  Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. 317-325
  
• Luigia Petre:
  Energy-Aware Middleware. 326-334
  
• Abdelkrim Amirat, Mourad Oussalah:
  Hierarchical Model to Develop Component-Based Systems. 337-345
  
• Diego Alonso, Cristina Vicente-Chicote, Olivier Barais:
  V3Studio: A Component-Based Architecture Modeling Language. 346-355
  
• Rohit Saraswat, Brandon Eames:
  On the Use of DesertFD to Generate Custom Architectures for H.264 Motion Estimation. 359-368
  
• Gaye Lightbody, Roger Woods:
  QR Recursive Least Squares IP Core Example. 369-374
  
• Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho:
  Testable Specifications of NoTA-based Modular Embedded Systems. 375-383
  
• Fabrizio Cannizzo, Gabriela Marcionetti, Paul Moser:
  The Toolbox of a Successful Software Craftsman. 389-397
  
• Jann Thomas:
  Introducing Agile Development Practices from the Middle. 401-407
  
• Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena:
  A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. 408-417
  
• Masoumeh Taromirad, Raman Ramsin:
  An Appraisal of Existing Evaluation Frameworks for Agile Methodologies. 418-427
  
• Alexander Campbell, Anthony Cox:
  Scenario-Based Program Slicing. 428-436
  
• Kevin Logue, Kevin McDaid:
  Agile Release Planning: Dealing with Uncertainty in Development Time and Business Value. 437-442
  
• Tobias Brückmann, Volker Gruhn:
  AMABULO - A Model Architecture for Business Logic. 445-452
  
• Audrey Occello, Anne-Marie Pinna-Dery, Michel Riveill, Günter Kniesel:
  Managing Model Evolution Using the CCBM Approach. 453-462
  
• László Angyal, László Lengyel, Hassan Charaf:
  A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering. 463-472
  
• Reuven Gallant, Meir M. Lehman:
  The 2-chart Problem - Contemplating System Behavior in the Aggregate. 473-482
  
• Steffen Skatulla, Detlef Hornbostel, Christian Erfurth, Wilhelm Rossak:
  Model-Driven Engineering with Large Models in the Context of Product Line Engineering with IBYKUS AP. 483-489
  
• Peter Braun, Ronny Eckhaus:
  Experiences on Model-Driven Software Development for Mobile Applications. 490-493
  
• David Connolly, Frank Keenan, Brendan Ryder:
  Tag Oriented Agile Requirements Identification. 497-498
  
• Mohamed Benaouicha, Mohamed Tmar, Mohand Boughanem, Mohamed Abid:
  XML Information Retrieval Based on Tree Matching. 499-500
  
• Malik Shahzad Kaleem Awan, Mian M. Awais:
  Towards a Generic Model for Forecasting Rain Duration Using GITIC Model. 501-502