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.
.
2015. Dynamic Variability Meets Robotics. Computer. 48:94-97.
.
2015. Editorial. Formal Aspects of Computing. 27:473–473.
.
2015. Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems. Nature of Computation and Communication.
.
2015. Nature of Computation and Communication. International Conference on Nature of Computation and CommunicationInternational Conference on Nature of Computation and Communication. LNICST 144
.
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)
.
2015. Collaborative Context Features for Critical Systems. 9th International Workshop on Variability Modelling of Software-intensive Systems.
.
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
.
2015. Modeling Swarm Robotics with KnowLang. Nature of Computation and CommunicationNature of Computation and Communication.
.
2015. Requirement-Centric Reactive Testing for Safety-Related Automotive Software. Proceedings of the 2nd International Workshop on Requirements Engineering and Testing (RET’15), co-located with ICSE’15.
