Session I: Adaptive Systems

"A Case Study: A Model-Based Approach to Retrofit a Network Fault Management System with Self-Healing Functionality"
Yan Liu, Jing Zhang, Michael Jiang, David Raymer, and John Strassner

"CompAA : A Self-Adaptable Component Model For Open Systems"
Jérôme Lacouture and Philippe Aniorté

"Distributed Learning Strategies for Collaborative Agents in Adaptive Decentralized Power Systems"
H.F.Wedde, S.Lehnhoff, K.M.Moritz, E.Handschin, and O.Krause

"Goal-Based Modeling of Dynamically Adaptive System Requirements"
Heather J. Goldsby, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, and Danny Hughes

Session II: Systems Modeling 1

"Comparison of Simulation and Performance Modeling - a Case Study"
Marcel Seelig, Stephan Kluth, Tomasz Porzucek, Flavius Copaciu, Nico Naumann, and Steffen Kühn

"Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA Applications"
Mathias Fritzsche, Wasif Gilani, Ivor Spence, T. John Brown, Peter Kilpatrick, and Rabih Bashroush

"CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments"
James H. Hill, Douglas C. Schmidt, Adam A. Porter, and John M. Slaby

"Design Guidance Using Simulation-Based Bayesian Belief Networks"
Artem Parakhine, John Leaney, and Tim O‘Neill

Posters

"Tag Oriented Agile Requirements Identification"
David Connolly, Frank Keenan, and Brendan Ryder

"Towards a Generic Model for Forecasting Rain Duration using the GITIC Model"
Malik Shahzad Kaleem Awan, and Mian Muhammad Awais

"XML Information Retrieval Based on Tree Matching"
Mohamed Ben Aouicha, Mohamed Tmar, Mohand Boughanem, and Mohamed Abid

Session III: Systems Applications 1

"A Case Study of Issues Related to Automotive E/E System Architecture Development"
Peter Wallin and Jakob Axelsson

"Towards Secure Mobile Payment Based On SIP"
Ge Zhang, Feng Cheng, and Christoph Meinel

"Introducing Tool Support for Managing Architectural Knowledge: An Experience Report"
Muhammad Ali Babar, Andrew Northway, Ian Gorton, Paul Heuer, and Thong Nguyen

Session IV: Formal Modeling 1

"Model Checking with Graphical Validation Rules"
Sven Feja and Daniel Fötsch

"Counterexample Guided Abstraction Refinement is Better under Equational Abstraction"
Constantin Enea

"Protocol Verification in a Software Component-Based Approach"
Inès Mouakher, Jeanine Souquières, and Francis Alexandre

Session V: Systems Applications 2

"Implementation of a Modular Mobile Mapping in a Geocomputing Platform for Location-Based Services using Geographic Recognition"
Jin-Suk Kang, Younghee You, and Mee Young Sung

"Biometric Inspired Digital Image Steganography"
Abbas Cheddad, Joan Condell, Kevin Curran, and Paul Mc Kevitt

Session VI: Formal Modeling 2

"A Formal Model for Network-wide Security Analysis"
Petr Matoušek, Jaroslav Ráb, and Ondrej Ryšaý

"An Interval-Based Solution for Static Analysis in the SIGNAL Language"
Abdoulaye Gamatié, Thierry Gautier, and Loïc Besnard

"Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets"
Tony Spiteri Staines