| 2010 | 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010 Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska |
| 2010 | A Complex Systems Modelling Approach for Decentralised Simulation of Electrical Microgrids. Enrique Kremers, Pablo Viejo, Oscar Barambones, José González de Durana |
| 2010 | A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal |
| 2010 | A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems. Michael Thonhauser, Christian Kreiner, Andrea Leitner |
| 2010 | A Multi-agent System for Complex Vehicle Fault Diagnostics and Health Monitoring. Yi Lu Murphey, ZhiHang Chen |
| 2010 | A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development. Shelly Park, Frank Maurer |
| 2010 | A Tile-Based Approach for Self-Assembling Service Compositions. Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella |
| 2010 | A Transactional Architecture for Simulation. Tim Hoverd, Adam T. Sampson |
| 2010 | AADS+: AADL Simulation Including the Behavioral Annex. Roberto Varona-Gomez, Eugenio Villar |
| 2010 | An Analysis of Formal Languages for Dynamic Adaptation. Jorge Fox, Siobhán Clarke |
| 2010 | An Approach to Verifying Security and Timing Properties in UML Models. Vidhi Thapa, Eunjee Song, Hanil Kim |
| 2010 | An Experience Report in Requirements Elicitation for Accessible E-Learning Systems. Christopher Power, Helen Petrie |
| 2010 | An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz |
| 2010 | Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. Shinya Umeno, Nancy A. Lynch |
| 2010 | Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. Mickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux |
| 2010 | Configuration Procedure Synthesis for Complex Systems Using Model Finder. Shinji Kikuchi, Satoshi Tsuchiya |
| 2010 | Development of Autonomic Management Solutions for the Military Application Domain. Ewoud Werkman, Bas van Schoonhoven, Marc de Jonge, Edwin Matthijssen |
| 2010 | Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling. Ilango Sriram, Dave Cliff |
| 2010 | Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems. Rasmus Adler, Daniel Schneider, Mario Trapp |
| 2010 | Engineering Optimization Models at Runtime for Dynamically Adaptive Systems. Fahad Javed, Naveed Arshad, Fredrik Wallin, Iana Vassileva, Erik Dahlquist |
| 2010 | Engineering Quality Requirements Using Quality Models. Klaus Lochmann |
| 2010 | Enriching Use Cases with CTTs. Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek |
| 2010 | Expressing and Enforcing User-Defined Constraints of AADL Models. Olivier Gilles, Jérôme Hugues |
| 2010 | Formal Modeling for UML/MARTE Concurrency Resources. Pablo Peñil, Hector Posadas, Eugenio Villar |
| 2010 | From MARTE to AADL with a Seamless Process. Isabelle Perseil, Laurent Pautet |
| 2010 | Implementing and Evaluating a Model Checker for Transactional Memory Systems. Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
| 2010 | In Search of Sound 'in silico' Research - Validating a Complex System Simulation. Teodor Ghetiu, Fiona A. C. Polack, James L. Bown |
| 2010 | Incremental Updates for Textual Modelling of Large Scale Models. Thomas Goldschmidt, Steffen Becker, Axel Uhl |
| 2010 | Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. David Simon Zayas, Anne Monceaux, Yamine Aït Ameur |
| 2010 | Maintaining Stable Node Populations in Long-Lifetime Sensornets. Jonathan Tate, Iain Bate |
| 2010 | McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2010 | Model Checking Round-Based Distributed Algorithms. Xin An, Jun Pang |
| 2010 | Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web Technologies. Kristian Ellebaek Kjaer, Klaus Marius Hansen |
| 2010 | Modelling and Analysis of Socio-Technical System of Systems. Russell Lock, Ian Sommerville |
| 2010 | OMEGA2: A New Version of the Profile and the Tools. Iulian Ober, Iulia Dragomir |
| 2010 | On Immunological Memory as a Function of a Recursive Proliferation Process. Thomas Stibor, Anastasio Salazar-Bañuelos |
| 2010 | Patterns for Modelling Time and Consistency in Business Information Systems. Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth |
| 2010 | Performance Antipatterns as Logical Predicates. Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani |
| 2010 | QVT Based Model Transformation from Sequence Diagram to CSP. Li Dan |
| 2010 | Reflections on the Simulation of Complex Systems for Science. Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson |
| 2010 | Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture. Thomas R. Anderson, Michael J. Follows |
| 2010 | Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process Analysis. Ivonne Erfurth, Kathrin Kirchner |
| 2010 | Service-Based Development of Context-Aware Automotive Telematics Systems. Minh H. Tran, Alan W. Colman, Jun Han |
| 2010 | Severe Punishment for Those Who Were Caught. Kuiying Deng, Zhuozheng Li, Tianguang Chu |
| 2010 | Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks. Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström |
| 2010 | Supporting the Design of Safety Critical Systems Using AADL. T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat |
| 2010 | Testing .NET Code with YETI. Manuel Oriol, Sotirios Tassis |
| 2010 | Testing Safety Critical Systems with SysML/UML. Matthew Hause, Andrew Stuart, David Richards, Jon Holt |
| 2010 | Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation. Amelia Ritahani Ismail, Jon Timmis |
| 2010 | Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack |
| 2010 | Trust-Based Adaptation in Complex Service-Oriented Systems. Florian Skopik, Daniel Schall, Schahram Dustdar |
| 2010 | Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi |
| 2010 | Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement. Hannes Schwarz, Jürgen Ebert, Jens Lemcke, Tirdad Rahmani, Srdjan Zivkovic |