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.
.
2009. Quality in Conference Publishing. IEEE Professional Communication Society. 52
.
2009. A Self-Adaptive Architechture For Autonomic Systems Developed With ASSL. Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT 2009)Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT 2009).
.
2009. A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. IEEE Computer. 42
.
2009. Systems, methods and apparatus for implementation of formal specifications derived from informal requirements. # 7,739,671
.
2009. Systems, methods and apparatus for verification of knowledge-based sytems. Patent Number #7,752,608
.
2009. Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. Proceedings of the 4th International Conference on Software and Data TechnologiesProceedings of the 4th International Conference on Software and Data Technologies.
.
2008. Desert Island Column. Automated Software Engineering. 15
.
2008. ICT Research Experience. Computer. 41
.
2008. Software Engineering and Formal Methods. Communications of the ACM. 51
