Abstract is missing.
- An Analysis of Formal Languages for Dynamic AdaptationJorge Fox, Siobhán Clarke. 3-13 [doi]
- Development of Autonomic Management Solutions for the Military Application DomainEwoud Werkman, Bas van Schoonhoven, Marc de Jonge, Edwin Matthijssen. 14-20 [doi]
- Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded SystemsRasmus Adler, Daniel Schneider, Mario Trapp. 21-30 [doi]
- Trust-Based Adaptation in Complex Service-Oriented SystemsFlorian Skopik, Daniel Schall, Schahram Dustdar. 31-40 [doi]
- A Tile-Based Approach for Self-Assembling Service CompositionsLuca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella. 43-52 [doi]
- Service-Based Development of Context-Aware Automotive Telematics SystemsMinh H. Tran, Alan W. Colman, Jun Han. 53-62 [doi]
- Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web TechnologiesKristian Ellebaek Kjaer, Klaus Marius Hansen. 63-71 [doi]
- Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance ScalingIlango Sriram, Dave Cliff. 72-81 [doi]
- Using Compositionality to Formally Model and Analyze Systems Built of a High Number of ComponentsSilvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi. 85-94 [doi]
- Configuration Procedure Synthesis for Complex Systems Using Model FinderShinji Kikuchi, Satoshi Tsuchiya. 95-104 [doi]
- Patterns for Modelling Time and Consistency in Business Information SystemsJeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth. 105-114 [doi]
- Implementing and Evaluating a Model Checker for Transactional Memory SystemsWoongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun. 117-126 [doi]
- Model Checking Round-Based Distributed AlgorithmsXin An, Jun Pang. 127-135 [doi]
- Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order AbstractionShinya Umeno, Nancy A. Lynch. 136-145 [doi]
- Performance Antipatterns as Logical PredicatesVittorio Cortellessa, Antinisca Di Marco, Catia Trubiani. 146-156 [doi]
- Maintaining Stable Node Populations in Long-Lifetime SensornetsJonathan Tate, Iain Bate. 159-168 [doi]
- Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between TasksYue Lu, Thomas Nolte, Johan Kraft, Christer Norström. 169-179 [doi]
- Using Expressive Traceability Relationships for Ensuring Consistent Process Model RefinementHannes Schwarz, Jürgen Ebert, Jens Lemcke, Tirdad Rahmani, Srdjan Zivkovic. 183-192 [doi]
- An Approach to Verifying Security and Timing Properties in UML ModelsVidhi Thapa, Eunjee Song, Hanil Kim. 193-202 [doi]
- A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven DevelopmentShelly Park, Frank Maurer. 205-214 [doi]
- Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process AnalysisIvonne Erfurth, Kathrin Kirchner. 215-223 [doi]
- Modelling and Analysis of Socio-Technical System of SystemsRussell Lock, Ian Sommerville. 224-232 [doi]
- A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded SystemsHubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal. 233-242 [doi]
- Engineering Quality Requirements Using Quality ModelsKlaus Lochmann. 245-246 [doi]
- Incremental Updates for Textual Modelling of Large Scale ModelsThomas Goldschmidt, Steffen Becker, Axel Uhl. 247-248 [doi]
- A Model-Based Architecture Supporting Virtual Organizations in Pervasive SystemsMichael Thonhauser, Christian Kreiner, Andreas Leitner. 249-252 [doi]
- Engineering Optimization Models at Runtime for Dynamically Adaptive SystemsFahad Javed, Naveed Arshad, Fredrik Wallin, Iana Vassileva, Erik Dahlquist. 253-254 [doi]
- McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/JavaLu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li. 255-256 [doi]
- A Multi-agent System for Complex Vehicle Fault Diagnostics and Health MonitoringYi Lu Murphey, ZhiHang Chen. 257-258 [doi]
- An Experience Report in Requirements Elicitation for Accessible E-Learning SystemsChristopher Power, Helen Petrie. 259-261 [doi]
- Enriching Use Cases with CTTsRabeb Mizouni, Daniel Sinnig, Ferhat Khendek. 262-263 [doi]
- Testing .NET Code with YETIManuel Oriol, Sotirios Tassis. 264-265 [doi]
- On Immunological Memory as a Function of a Recursive Proliferation ProcessThomas Stibor, Anastasio Salazar-Bañuelos. 269-275 [doi]
- Reflections on the Simulation of Complex Systems for ScienceFiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson. 276-285 [doi]
- A Transactional Architecture for SimulationTim Hoverd, Adam T. Sampson. 286-290 [doi]
- Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing ArchitectureThomas R. Anderson, Michael J. Follows. 291-295 [doi]
- Severe Punishment for Those Who Were CaughtKuiying Deng, Zhuozheng Li, Tianguang Chu. 296-301 [doi]
- A Complex Systems Modelling Approach for Decentralised Simulation of Electrical MicrogridsEnrique Kremers, Pablo Viejo, Oscar Barambones, Jose Gonzalez de Durana. 302-311 [doi]
- In Search of Sound in silico Research - Validating a Complex System SimulationTeodor Ghetiu, Fiona A. C. Polack, James L. Bown. 312 [doi]
- Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma FormationAmelia Ritahani Ismail, Jon Timmis. 313-314 [doi]
- Towards a Principled Design of Bio-inspired Solutions to Adaptive Information FilteringNurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona A. C. Polack. 315-316 [doi]
- An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical SystemsJulien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz. 319-324 [doi]
- Testing Safety Critical Systems with SysML/UMLMatthew Hause, Andrew Stuart, David Richards, Jon Holt. 325-330 [doi]
- Supporting the Design of Safety Critical Systems Using AADLT. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat. 331-336 [doi]
- Expressing and Enforcing User-Defined Constraints of AADL ModelsOlivier Gilles, Jérôme Hugues. 337-342 [doi]
- Formal Modeling for UML/MARTE Concurrency ResourcesPablo Peñil, Hector Posadas, Eugenio Villar. 343-348 [doi]
- QVT Based Model Transformation from Sequence Diagram to CSPLi Dan. 349-354 [doi]
- Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems EngineeringDavid Simon Zayas, Anne Monceaux, Yamine Aït Ameur. 355-360 [doi]
- From MARTE to AADL with a Seamless ProcessIsabelle Perseil, Laurent Pautet. 361-366 [doi]
- Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with OsateMickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux. 367-372 [doi]
- OMEGA2: A New Version of the Profile and the ToolsIulian Ober, Iulia Dragomir. 373-378 [doi]
- AADS+: AADL Simulation Including the Behavioral AnnexRoberto Varona-Gomez, Eugenio Villar. 379-384 [doi]