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.
.
2015. Nature of Computation and Communication. International Conference on Nature of Computation and CommunicationInternational Conference on Nature of Computation and Communication. LNICST 144
.
2015. Towards the adoption of formal techniques for kernel qualification. European Space Agency, (Special Publication) ESA SP. SP-732
.
2015. Reasoning On Data Streams: An Approach To Adaptation In Pervasive Systems. Nature of Computation and CommunicationNature of Computation and Communication. 144
.
2013. Towards Formal Verification of a Separation Microkernel. DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference.
.
2013. Sustainable Embedded Software Life-Cycle Planning. IEEE Software. 30(4)
.
2013. Knowledge-Based Self-Adaption. Sixth Latin-American Symposium on Dependable Computing (LADC 2013)Sixth Latin-American Symposium on Dependable Computing (LADC 2013).
.
2013. Implementing Artificial Awareness with KnowLang. Proceedings of the IEEE International Systems Conference (SysCon2013)Proceedings of the IEEE International Systems Conference (SysCon2013).
.
2013. On the Autonomy Requirements for Space Missions. Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013).
.
2013. On the Autonomy Requirements for Space Missions. Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013)Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distribut.
.
2013. Autonomy Requirements Engineering: A Case Study on the BepiColombo Mission. Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013)Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013).
