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.
.
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 Methods. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
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. Self-managing Software. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2010. Software Verification of Autonomic Systems Developed with ASSL. Proceedings of the 16th Monterey Workshop on Modeling, Development and Verification of Adaptive Computer Systems: The Grand Challenge for Robotic Software (Monterey2010).
.
2010. System and method for deriving a process-based specification. #7,543,274
