15. ICECCS 2010: Oxford, UK

Adaptation and Autonomic Systems

• Jorge Fox, Siobhán Clarke:
  An Analysis of Formal Languages for Dynamic Adaptation. 3-13
  
• Ewoud Werkman, Bas van Schoonhoven, Marc de Jonge, Edwin Matthijssen:
  Development of Autonomic Management Solutions for the Military Application Domain. 14-20
  
• Rasmus Adler, Daniel Schneider, Mario Trapp:
  Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems. 21-30
  
• Florian Skopik, Daniel Schall, Schahram Dustdar:
  Trust-Based Adaptation in Complex Service-Oriented Systems. 31-40
  

Distributed and Service-Based Applications

• Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella:
  A Tile-Based Approach for Self-Assembling Service Compositions. 43-52
  
• Minh H. Tran, Alan W. Colman, Jun Han:
  Service-Based Development of Context-Aware Automotive Telematics Systems. 53-62
  
• Kristian Ellebaek Kjaer, Klaus Marius Hansen:
  Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web Technologies. 63-71
  
• Ilango Sriram, Dave Cliff:
  Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling. 72-81
  

Formal Methods 1

• Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi:
  Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. 85-94
  
• Shinji Kikuchi, Satoshi Tsuchiya:
  Configuration Procedure Synthesis for Complex Systems Using Model Finder. 95-104
  
• Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth:
  Patterns for Modelling Time and Consistency in Business Information Systems. 105-114
  

Formal Methods 2

• Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun:
  Implementing and Evaluating a Model Checker for Transactional Memory Systems. 117-126
  
• Xin An, Jun Pang:
  Model Checking Round-Based Distributed Algorithms. 127-135
  
• Shinya Umeno, Nancy A. Lynch:
  Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. 136-145
  
• Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani:
  Performance Antipatterns as Logical Predicates. 146-156
  

Real-Time Systems

• Jonathan Tate, Iain Bate:
  Maintaining Stable Node Populations in Long-Lifetime Sensornets. 159-168
  
• Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström:
  Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks. 169-179
  

Model-Driven Engineering

• Hannes Schwarz, Jürgen Ebert, Jens Lemcke, Tirdad Rahmani, Srdjan Zivkovic:
  Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement. 183-192
  
• Vidhi Thapa, Eunjee Song, Hanil Kim:
  An Approach to Verifying Security and Timing Properties in UML Models. 193-202
  

Requirements

• Shelly Park, Frank Maurer:
  A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development. 205-214
  
• Ivonne Erfurth, Kathrin Kirchner:
  Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process Analysis. 215-223
  
• Russell Lock, Ian Sommerville:
  Modelling and Analysis of Socio-Technical System of Systems. 224-232
  
• Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal:
  A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. 233-242
  

Poster Session

• Klaus Lochmann:
  Engineering Quality Requirements Using Quality Models. 245-246
  
• Thomas Goldschmidt, Steffen Becker, Axel Uhl:
  Incremental Updates for Textual Modelling of Large Scale Models. 247-248
  
• Michael Thonhauser, Christian Kreiner, Andrea Leitner:
  A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems. 249-252
  
• Fahad Javed, Naveed Arshad, Fredrik Wallin, Iana Vassileva, Erik Dahlquist:
  Engineering Optimization Models at Runtime for Dynamically Adaptive Systems. 253-254
  
• Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
  McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. 255-256
  
• Yi Lu Murphey, ZhiHang Chen:
  A Multi-agent System for Complex Vehicle Fault Diagnostics and Health Monitoring. 257-258
  
• Christopher Power, Helen Petrie:
  An Experience Report in Requirements Elicitation for Accessible E-Learning Systems. 259-261
  
• Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek:
  Enriching Use Cases with CTTs. 262-263
  
• Manuel Oriol, Sotirios Tassis:
  Testing .NET Code with YETI. 264-265
  

Special Session on Complex System Modelling and Simulation

• Thomas Stibor, Anastasio Salazar-Bañuelos:
  On Immunological Memory as a Function of a Recursive Proliferation Process. 269-275
  
• Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson:
  Reflections on the Simulation of Complex Systems for Science. 276-285
  
• Tim Hoverd, Adam T. Sampson:
  A Transactional Architecture for Simulation. 286-290
  
• Thomas R. Anderson, Michael J. Follows:
  Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture. 291-295
  
• Kuiying Deng, Zhuozheng Li, Tianguang Chu:
  Severe Punishment for Those Who Were Caught. 296-301
  
• Enrique Kremers, Pablo Viejo, Oscar Barambones, José González de Durana:
  A Complex Systems Modelling Approach for Decentralised Simulation of Electrical Microgrids. 302-311
  
• Teodor Ghetiu, Fiona A. C. Polack, James L. Bown:
  In Search of Sound 'in silico' Research - Validating a Complex System Simulation. 312
  
• Amelia Ritahani Ismail, Jon Timmis:
  Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation. 313-314
  
• Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack:
  Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. 315-316
  

Fifth International UML and AADL Workshop

• Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz:
  An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. 319-324
  
• Matthew Hause, Andrew Stuart, David Richards, Jon Holt:
  Testing Safety Critical Systems with SysML/UML. 325-330
  
• T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat:
  Supporting the Design of Safety Critical Systems Using AADL. 331-336
  
• Olivier Gilles, Jérôme Hugues:
  Expressing and Enforcing User-Defined Constraints of AADL Models. 337-342
  
• Pablo Peñil, Hector Posadas, Eugenio Villar:
  Formal Modeling for UML/MARTE Concurrency Resources. 343-348
  
• Li Dan:
  QVT Based Model Transformation from Sequence Diagram to CSP. 349-354
  
• David Simon Zayas, Anne Monceaux, Yamine Aït Ameur:
  Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. 355-360
  
• Isabelle Perseil, Laurent Pautet:
  From MARTE to AADL with a Seamless Process. 361-366
  
• Mickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux:
  Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. 367-372
  
• Iulian Ober, Iulia Dragomir:
  OMEGA2: A New Version of the Profile and the Tools. 373-378
  
• Roberto Varona-Gomez, Eugenio Villar:
  AADS+: AADL Simulation Including the Behavioral Annex. 379-384
  

Last update Fri May 24 02:52:41 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page