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. Good Change and Bad Change: an Analysis Perspective on Software Evolution. Transactions on Foundations for Managing Change.
.
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. 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. Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innovations in Systems and Software Engineering. 12
.
2015. Capturing Autonomy Features for Unmanned Spacecraft with ARE, the Autonomy Requirements Engineering Approach. Innovations in Systems and Software Engineering - a NASA Journal. 11
.
2015. Engineering Requirements for Autonomy Features. Software Engineering for Collective Autonomic Systems: Results of the ASCENS ProjectSoftware Engineering for Collective Autonomic Systems: Results of the ASCENS Project.
.
2015. The ins and outs of Autonomy Requirements Engineering. The Engineers Journal (EngineersJournal.ie).
.
2015. The KnowLang Approach to Self-adaptation. Software, Services, and Systems,Lecture Notes in Computer ScienceSoftware, Services, and Systems,Lecture Notes in Computer Science. 8950
.
2015. KnowLang: Knowledge Representation for Self-Adaptive Systems. IEEE Computer. 48(2)
Pages
SOFTWARE ENGINEERING FOR THE EUROPEAN SPACE AGENCY
In the Methods and Tools for On-Board Software Engineering(MTOBSE) project Lero addresses several challenges associated with the development of on-board flight software for the European Space Agency (ESA).
