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.
.
2013. Implementing Artificial Awareness with KnowLang. Proceedings of the IEEE International Systems Conference (SysCon2013)Proceedings of the IEEE International Systems Conference (SysCon2013).
.
2013. Knowledge-Based Self-Adaption. Sixth Latin-American Symposium on Dependable Computing (LADC 2013)Sixth Latin-American Symposium on Dependable Computing (LADC 2013).
.
2013. Sustainable Embedded Software Life-Cycle Planning. IEEE Software. 30(4)
.
2013. Towards Formal Verification of a Separation Microkernel. DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference.
.
2012. Automatic Repair of Software Systems. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
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. Systems, methods, and apparatus for otoacoustic protection of autonomic systems. #8,140,452
.
2012. Systems, methods, and apparatus for otoacoustic protection of autonomic systems. #8,165,977
.
2012. Systems, methods, and apparatus for otoacoustic protection of autonomic systems. #8,140,453
.
2012. Awareness in Software-intensive Systems. IEEE Computer. 45
