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.
.
2017. Provably Correct Systems.
.
2016. Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innovations in Systems and Software Engineering. 12
.
2016. Value-driven V-model: From requirements analysis to acceptancetesting. IEICE Transactions on Information and Systems. E99D:1776-1785.
.
2016. Integration and Promotion of Autonomy with the ARE Framework. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
.
2016. Good Change and Bad Change: An Analysis Perspective on Software Evolution. Transactions on Foundations for Mastering Change ITransactions on Foundations for Mastering Change I.
.
2016. Good Change and Bad Change: an Analysis Perspective on Software Evolution. Transactions on Foundations for Managing Change.
.
2015. Nature of Computation and Communication. International Conference on Nature of Computation and CommunicationInternational Conference on Nature of Computation and Communication. LNICST 144
.
2015. Modeling Swarm Robotics with KnowLang. Nature of Computation and CommunicationNature of Computation and Communication.
.
2015. Knowledge Representation for Adaptive and Self-aware Systems. Software Engineering for Collective Autonomic Systems, Lecture Notes in Computer ScienceSoftware Engineering for Collective Autonomic Systems, Lecture Notes in Computer Science. 8998
