Mike Hinchey

Academic

University of Limerick

Contact Details

Office: T2-013
Tel No: +353-61-233607

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.

Publications

2009

McInerney C, Hinchey M, McQuade E. 2009. Investment in Information and Communication Technologies in the Irish Education Sector. Proceedings of 9th IFIP TC3 World Conference on Computers in EducationProceedings of 9th IFIP TC3 World Conference on Computers in Education.

Vassev E, Hinchey M. 2009. Model Checking for Autonomic Systems Specified with ASSL. In Proc. 1st NASA Formal Methods Symposium (NFM 2009)In Proc. 1st NASA Formal Methods Symposium (NFM 2009).

Shokry H, Hinchey M. 2009. Model-based verification of embedded software. IEEE Computer. 42

Vassev E, Hinchey M. 2009. Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL. The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09)The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09).

Shokry H, Hinchey M. 2009. On Practical Service-Based Computing in Distributed Embedded Automotive Systems.. 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES), ICSE 2009.

Laplante P, Rockne J, Montuschi P, Baldwin T, Hinchey M, Shafer L, Voas J, Wang V. 2009. Quality in Conference Publishing. IEEE Professional Communication Society. 52

Vassev E, Hinchey M, Quigley A. 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).

Lee D-hyun, Lee K, Park S, Hinchey M. 2009. A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. IEEE Computer. 42

Hinchey M, Rash J.L, Erickson JD, Gracanin D, Rouff C. 2009. Systems, methods and apparatus for implementation of formal specifications derived from informal requirements. # 7,739,671

Hinchey M, Rash J.L, Erickson JD, Gracanin D, Rouff C. 2009. Systems, methods and apparatus for verification of knowledge-based sytems. Patent Number #7,752,608