Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Next generation system and software architectures challenges from future NASA exploration missions
Science of Computer Programming - Special issue on quality system and software architectures
Journal of Integrated Design & Process Science
Bionic autonomic nervous system and self-healing for NASA ANTS-like missions
Proceedings of the 2007 ACM symposium on Applied computing
Digitally Evolving Models for Dynamically Adaptive Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Towards an ASSL specification model for NASA swarm-based exploration missions
Proceedings of the 2008 ACM symposium on Applied computing
Selection for group-level efficiency leads to self-regulation of population size
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Some Verification Issues at NASA Goddard Space Flight Center
Verified Software: Theories, Tools, Experiments
An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
Evolution of robust data distribution among digital organisms
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
A concise introduction to autonomic computing
Advanced Engineering Informatics
FPGA based distributed self healing architecture for reusable systems
Cluster Computing
Emergent Behavior Control Patterns in Robotic Collectives
ICIRA '09 Proceedings of the 2nd International Conference on Intelligent Robotics and Applications
Self-management capability requirements with SelfMML & INGENIAS to attain self-organising behaviours
Proceedings of the second international workshop on Self-organizing architectures
Towards a self-forensics property in the ASSL toolset
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Apoptosis and self-destruct: a contribution to autonomic agents?
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Transactions on Computational Science XV
| Hi-index | 0.00 |
In future space missions, thousands of tiny spacecraft will cooperate to explore the solarsystem. Providing the required autonomy will take systems and software where no one has gonebefore.