Model Checking for Autonomic Systems Specified with ASSL. Proceedings of the First NASA Formal Methods Symposium (NFM 2009).
.
2009. Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL. The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09)The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09).
.
2009. Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. Proceedings of the 4th International Conference on Software and Data TechnologiesProceedings of the 4th International Conference on Software and Data Technologies.
.
2009. Self-Optimization Property in Autonomic Specification of Distributed MARF with ASSL. The 4th International Conference on Software and Data Technologies (ICSOFT 2009)The 4th International Conference on Software and Data Technologies (ICSOFT 2009).
.
2009. A Self-Adaptive Architechture For Autonomic Systems Developed With ASSL. Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT 2009)Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT 2009).
.
2009. Knowledge Representation with KnowLang - The marXbot Case Study. Proceedings of the 11th IEEE International Conference on Cybernetic Intelligent SystemsProceedings of the 11th IEEE International Conference on Cybernetic Intelligent Systems.
.
2012. Knowledge Representation for Self-Adaptive Behavior. Proceeding of C* Conference on Computer Science & Software Engineering (C3S2E ’12)Proceeding of C* Conference on Computer Science & Software Engineering (C3S2E ’12).
.
2012. Knowledge Representation for Cognitive Robotic Systems. Proceedings of the 15th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2012).
.
2012. Fundamentals of Designing Complex Aerospace Software Systems. Complex Systems Design & ManagementComplex Systems Design & Management.
.
2012. Formal Specification as High-Level Programming: The ASSL Approach. Patterns, Programming and EverythingPatterns, Programming and Everything.
.
2012. Efficient Space Exploration through Laziness. Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012)Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012).
.
2012. Efficient Reasoning with Ambient Trees for Space Exploration. Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012)Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012).
.
2012. Developing Autonomic Systems with ASSL - Theory and Practice. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and VerificationFormal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification.
.
2012. Building the Pyramid of Awareness. Awareness Magazine - Self-awareness in Autonomic Systems.
.
2012. Awareness in Software-intensive Systems. IEEE Computer. 45
.
2012. Automatic Repair of Software Systems. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2012. Knowledge-Based Self-Adaption. Sixth Latin-American Symposium on Dependable Computing (LADC 2013)Sixth Latin-American Symposium on Dependable Computing (LADC 2013).
.
2013. Implementing Artificial Awareness with KnowLang. Proceedings of the IEEE International Systems Conference (SysCon2013)Proceedings of the IEEE International Systems Conference (SysCon2013).
.
2013. Representing Knowledge in Robotic Systems with KnowLang. Leveraging Applications of Formal Methods, Verification, and ValidationLeveraging Applications of Formal Methods, Verification, and Validation.
.
2012. On the Autonomy Requirements for Space Missions. Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013).
.
2013. On the Autonomy Requirements for Space Missions. Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013)Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distribut.
.
2013. Autonomy Requirements Engineering: A Case Study on the BepiColombo Mission. Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013)Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013).
.
2013. Autonomy Requirements Engineering: A Case Study on the BepiColombo Mission. Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013)Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013).
.
2013. Autonomy Requirements Engineering. Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013)Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013).
.
2013. The ASSL Formalism for Real-Time Autonomic Systems. Self-Organization in Embedded Real-Time SystemsSelf-Organization in Embedded Real-Time Systems.
.
2013.