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. Systems, methods and apparatus for quiesence of autonomic systems with self action. #7,899,760
.
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. Towards Resilient Space Exploration Systems. Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11)Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11).
.
2010. Flash drive memory apparatus and method. #7,673,089
.
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. Formal Requirements Specification. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2010. Fulfilling the vision of autonomic computing. IEEE Computer. 43
.
2010. Guest Editor’s introduction: Evolving Critical Systems. Computer. 43
.
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. System and method for deriving a process-based specification. #7,543,274
