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.
.
2019. The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. :268–296.
.
2018. Apoptotic Computing: Programmed Death by Default for Software Technologies. Software Technology: 10 Years of Innovation in IEEE Computer. :91-106.
.
2018. Stability analysis for adaptive behavior (position paper). VEHITS 2018 - Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems. 2018-March:481-487.
.
2018. Formality, Agility, Security, and Evolution in Software Engineering. 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. Cutting-Edge Topics in Dynamic Software Variability. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Dynamic Software Product Lines. 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.
