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.
.
2010. Software Verification of Autonomic Systems Developed with ASSL. Proceedings of the 16th Monterey Workshop on Modeling, Development and Verification of Adaptive Computer Systems: The Grand Challenge for Robotic Software (Monterey2010).
.
2010. Swarm autonomic agents with self-destruct capability. Patent Number # 7,627,538
.
2010. System and method for deriving a process-based specification. #7,543,274
.
2009. Model-based verification of embedded software. IEEE Computer. 42
.
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.
.
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 verification of knowledge-based sytems. Patent Number #7,752,608
