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.
.
2018. Dynamic Software Product Lines. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Cutting-Edge Topics in Dynamic Software Variability. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Formality, Agility, Security, and Evolution in Software Engineering. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Requirements Engineering for Adaptive and Self-Adaptive Systems. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Toward Artificial Intelligence through Knowledge Representation for Awareness. Software Technology: 10 Years of Innovation in IEEE Computer.
.
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
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).
