Mike Hinchey
Academic
Professor Mike Hinchey is the former Director of Lero and Professor of Software Engineering at the University of Limerick. Prof Hinchey was previously Director of the Software Engineering Laboratory at NASA Goddard Space Flight Centre in Greenbelt, Maryland. He remains as a consultant to NASA. His work with NASA was implemented in various space projects and will be incorporated in future missions. Particular areas of software research for Professor Hinchey include Formal Methods, Autonomous Systems and Software Reliability.
.
2012. Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems. published in Chinese by National Defense Industry Presspublished in Chinese by National Defense Industry Press.
.
2012. Swarm Technology at NASA: Building Resilient Systems. IT Professional. 14
.
2012. Software Engineering and Formal Methods. 10th International Conference, SEFM 2012, Thessaloniki, Greece10th International Conference, SEFM 2012, Thessaloniki, Greece.
.
2012. Representing Knowledge in Robotic Systems with KnowLang. Leveraging Applications of Formal Methods, Verification, and ValidationLeveraging Applications of Formal Methods, Verification, and Validation.
.
2012. Multi-Agent Systems – Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their ApplicationsSoftware Agents, Agent Systems and Their Applications. 32
.
2012. Method of improving system performance and survivability through changing function. Patent Number #8,275,724
.
2012. 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. Awareness in Software-intensive Systems. IEEE Computer. 45
