| Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181). | 0 | 0.34 | 2011 |
| Ten commandments ten years on: lessons for ASM, B, Z and VSR-net | 1 | 0.37 | 2009 |
| Component-Oriented Behavior Extraction for Autonomic System Design. | 5 | 0.77 | 2009 |
| The Use of Formal Ontology to Specify Context in Ubiquitous Computing | 1 | 0.38 | 2008 |
| Risk-Driven Software Reliability and Testing | 0 | 0.34 | 2008 |
| You can’t get there from here! Problems and potential solutions in developing new classes of complex computer systems | 0 | 0.34 | 2008 |
| Encouraging the Uptake of Formal Methods Training in an Industrial Context | 0 | 0.34 | 2008 |
| Anything You Want to Ask about Software Reliability Engineering | 0 | 0.34 | 2008 |
| Introduction to special issue: selected papers from SEW-31 | 0 | 0.34 | 2008 |
| Michael G. Hinchey: Biological Inspiration. | 0 | 0.34 | 2007 |
| Agent-Based Software Systems Evolution via Model-Driven Architecture | 0 | 0.34 | 2007 |
| Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings | 19 | 1.71 | 2007 |
| Building and implementing policies in autonomous and autonomic systems using MaCMAS | 2 | 0.39 | 2007 |
| Model-Based Evolution of Collaborative Agent-Based Systems | 1 | 0.35 | 2007 |
| Adding flexibility to workflows through incremental planning. | 3 | 0.45 | 2007 |
| Bionic autonomic nervous system and self-healing for NASA ANTS-like missions | 4 | 0.64 | 2007 |
| Swarms and Swarm Intelligence | 18 | 0.89 | 2007 |
| Using Analogy to Promote Conceptual Modeling Reuse | 4 | 0.44 | 2007 |
| Editorial : A Year of Aerospace Computing pages - (Editorial) | 0 | 0.34 | 2007 |
| Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing | 12 | 0.78 | 2007 |
| Designing and managing evolving systems using a MAS product line approach | 14 | 0.73 | 2007 |
| Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems | 5 | 0.53 | 2007 |
| Experiences applying formal approaches in the development of swarm-based space exploration systems | 10 | 0.82 | 2006 |
| Multi-agent system product lines: challenges and benefits | 0 | 0.34 | 2006 |
| Enhanced Requirements-Based Programming for Embedded Systems Design | 1 | 0.37 | 2006 |
| A requirements-based programming approach to developing a NASA autonomous ground control system | 3 | 0.40 | 2006 |
| 99% (Biological) Inspiration... | 5 | 0.50 | 2006 |
| Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach | 5 | 0.58 | 2006 |
| Achieving dependability in sensor networks through automated requirements-based programming | 3 | 0.40 | 2006 |
| Building the core architecture of a NASA multiagent system product line | 15 | 0.85 | 2006 |
| Completing and Adapting Models of Biological Processes | 7 | 0.76 | 2006 |
| Special Issue Introduction: The IEEE Computer Society's 60th Anniversary | 0 | 0.34 | 2006 |
| Software engineering and swarm-based systems | 0 | 0.34 | 2006 |
| Next generation system and software architectures challenges from future NASA exploration missions | 6 | 0.59 | 2006 |
| A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems | 8 | 0.61 | 2006 |
| Editorial: Engineering autonomic systems | 0 | 0.34 | 2006 |
| Innovative Concepts for Autonomic and Agent-Based Systems, Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers | 34 | 3.34 | 2006 |
| Self-Managing Software | 10 | 0.81 | 2006 |
| Software Assurance Research Infusion: The NASA Experience | 2 | 0.52 | 2006 |
| Ten Commandments of Formal Methods ...Ten Years Later | 16 | 1.30 | 2006 |
| Biologically-Inspired Concepts for Self-Management of Complexity | 3 | 0.64 | 2006 |
| Self*- Properties in NASA Mission | 9 | 0.95 | 2005 |
| Towards Autonomic Management of NASA Missions | 3 | 0.43 | 2005 |
| Autonomous and Autonomic Swarms | 17 | 1.28 | 2005 |
| Why Computer-Based Systems Should Be Autonomic | 22 | 1.63 | 2005 |
| An Approach to Generating and Verifying Complex Scripts and Procedures | 2 | 0.43 | 2005 |
| A Formal Approach to Requirements-Based Programming | 16 | 1.24 | 2005 |
| Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions | 10 | 0.76 | 2005 |
| Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers | 21 | 2.58 | 2005 |
| A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture | 3 | 0.48 | 2005 |
