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.
.
2011. Representing Knowledge in Robotic Systems with KnowLang. Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems.
.
2011. A Control Theory Based Approach for Self-Healing of Un-handled Runtime Exceptions. 8th International Conference on Autonomic Computing (ICAC 2011)8th International Conference on Autonomic Computing (ICAC 2011).
.
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. Smart Health Management for Swarm-based Space Exploration Systems. Proceedings of the 2nd International Workshop on Software Health Management(SHM’11).
.
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. Swarm autonomic agents with self-destruct capability. #7,925,600
.
2011. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience.
