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. 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.
.
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.
.
2017. Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper)
.
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
