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.
.
2012. Software Engineering and Formal Methods. 10th International Conference, SEFM 2012, Thessaloniki, Greece10th International Conference, SEFM 2012, Thessaloniki, Greece.
.
2012. Efficient Space Exploration through Laziness. Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012)Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012).
.
2012. Systems, methods, and apparatus for otoacoustic protection of autonomic systems. Patent Number #8,165,976
.
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. Verification of Adaptive Systems. Infotech@Aerospace Conference 2012Infotech@Aerospace Conference 2012.
.
2011. Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer. 44
.
2011. Knowledge Representation and Awareness in Autonomic Service-Component Ensembles – State of the Art. Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISCORC 2011)Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computin.
