Mike Hinchey
.
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. Systems, methods, and apparatus for otoacoustic protection of autonomic systems. Patent Number #8,165,976
.
2012. Swarm Technology at NASA: Building Resilient Systems. IT Professional.
.
2012. Systems, methods, and apparatus for otoacoustic protection of autonomic systems. #8,140,452
.
2012. Automatic Repair of Software Systems. Encyclopedia of Software Engineering.
.
2012. Conquering Complexity.
.
2012. Multi-Agent Systems – Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their Applications. 32:pp181-202.
.
2011. Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. Journal of Systems and Software Modelling. 10(1 ):55--62.
.
2011. Fundamentals of Designing Complex Aerospace Software Systems. Proceedings of Complex Systems Design & Management (CSDM2011).
.
2011. Developing Model-Checking Mechanisms for ASSL: An Experience Report. Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011).
.
2011. Otoacoustic protection in biologically-inspired systems. 8,041,655
.
2011. Representing Knowledge in Robotic Systems with KnowLang. Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems.
.
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).
.
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).
.
2011. Families (of Products) in Space. Software Product Line Conference.
.
2011. Smart Health Management for Swarm-based Space Exploration Systems. Proceedings of the 2nd International Workshop on Software Health Management(SHM'11).
.
2011. An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.
.
2011. A Control Theory Based Approach for Self-Healing of Un-handled Runtime Exceptions. 8th International Conference on Autonomic Computing (ICAC 2011).
.
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).
.
2011. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience.
.
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).
Printer-friendly version