Swarm Technology at NASA: Building Resilient Systems. IT Professional. 14
.
2012. An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.
.
2011. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience.
.
2011. Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL. Transactions on Computational Science. Springer Verlag
.
2011. Developing Model-Checking Mechanisms for ASSL: An Experience Report. Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011)Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011).
.
2011. Fundamentals of Designing Complex Aerospace Software Systems. Proceedings of Complex Systems Design & Management (CSDM2011)Proceedings of Complex Systems Design & Management (CSDM2011).
.
2011. Knowledge Representation and Awareness in Autonomic Service-Component Ensembles – State of the Art. Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISCORC 2011)Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computin.
.
2011. Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer. 44
.
2011. Knowledge Representation for Autonomous Systems – the "ASCENS" Case Study. Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181)Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181). 1
.
2011. Knowledge Representation for Intelligent Systems. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2011. Representing Knowledge in Robotic Systems with KnowLang. Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems.
.
2011. Requirements and Initial Model for KnowLang - a Language for Knowledge Representation in Autonomic Service-Component Ensembles. Proceedings the Fourth International C* Conference on Computer Science & Software Engineering (C3S2E 2011)Proceedings the Fourth International C* Conference on Computer Science & Software Engineering (C3S2E 2011).
.
2011. Self-Awareness in Autonomous Nano-Technology Swarm Missions. Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011)Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011).
.
2011. Software Verification of Autonomic Systems Developed with ASSL. Proceedings of the 16th Monterey Workshop on Modeling - Monterey Workshops 2010Proceedings of the 16th Monterey Workshop on Modeling - Monterey Workshops 2010.
.
2011. Towards a Formal Language for Knowledge Representation in Autonomic Service-Component Ensembles. Proceedings of the 3rd International Conference on Data Mining and Intelligent Information Technology Applications (ICMIA2011)Proceedings of the 3rd International Conference on Data Mining and Intelligent Information Technology Applications (ICMIA2011).
.
2011. The Challenge of Developing Autonomic Systems. Computer. 43
.
2010. Developing Intelligent Sensor Networks - A Technological Convergence Approach. Proceedings of the Workshop on Software Engineering for Sensor Network Applications (SESENA2010) - In conjunction with the ACM/IEEE International Conference on Software Engineering (ICSE2010).
.
2010. .
2010. A Formal Approach to Self-configurable Swarm-based Space-exploration Systems. Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010)Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010).
.
2010. Prototyping Home Automation Wireless Sensor Networks with ASSL. Proceedings of the 7th IEEE International Conference on Autonomic Computing and Communications (ICAC2010)Proceedings of the 7th IEEE International Conference on Autonomic Computing and Communications (ICAC2010).
.
2010. Software Verification of Autonomic Systems Developed with ASSL. Proceedings of the 16th Monterey Workshop on Modeling, Development and Verification of Adaptive Computer Systems: The Grand Challenge for Robotic Software (Monterey2010).
.
2010. ASSL: A Software Engineering Approach to Autonomic Computing. IEEE Computer Society. 42
.
2009. .
2009. ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems. Proceedings of the 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2009)Proceedings of the 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2009).
.
2009. An ASSL-Generated Architecture for Autonomic Systems. Conference on Computer Science & Software Engineering (C3S2E ’09)Conference on Computer Science & Software Engineering (C3S2E ’09).
.
2009.