Home
  • Home
  • About Us
    • About Us
    • Management and Governance
      • Overview
      • Advisory Board
      • Executive Committee
      • Governance Committee
      • Operations Team
    • History of Lero
    • Lero/CSIS Athena Swan
    • Logos and Guidelines
  • Research
    • Introduction
    • Publications
      • All Publications
      • Technical Reports
      • Irish Software Landscape Study
      • PodCasts
  • Meet the Team
    • People Directory
    • Operations Team
    • Executive Committee
  • Engaging with Lero
    • Overview
    • Our Partners
    • Testimonials
  • Impact & Excellence
    • Overview
    • Economic Impact
    • Spinout Companies
  • Computing for Schools
    • Overview
    • Support for Schools
    • Education and Public Engagement projects
  • News & Events
  • Careers
  • Contact

Search form

Mike Hinchey

Academic

You are here

  • Home
  • Our People
  • Mike Hinchey
Mike Hinchey's picture
University of Limerick

Contact Details

Office: T2-013
Tel No: +353-61-233607

send email

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.

  • Publications
2018
Vassev E, Hinchey M.  2018.  Requirements Engineering for Adaptive and Self-Adaptive Systems. Software Technology: 10 Years of Innovation in IEEE Computer.
Vassev E, Hinchey M.  2018.  Toward Artificial Intelligence through Knowledge Representation for Awareness. Software Technology: 10 Years of Innovation in IEEE Computer.
Hallsteinsen S, Hinchey M, Park S, Schmid K.  2018.  Dynamic Software Product Lines. Software Technology: 10 Years of Innovation in IEEE Computer.
Capilla R, Bosch J, Hinchey M.  2018.  Cutting-Edge Topics in Dynamic Software Variability. Software Technology: 10 Years of Innovation in IEEE Computer.
Bowen JP, Hinchey M, Janicke H, Ward M, Zedan H.  2018.   Formality, Agility, Security, and Evolution in Software Engineering. Software Technology: 10 Years of Innovation in IEEE Computer.
Hinchey M.  2018.  Software Technology: 10 Years of Innovation in IEEE Computer.
Hinchey M.  2018.  Software Technology : 10 Years of Innovation in IEEE Computer.
2017
Vassev E, Hinchey M.  2017.  Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper)
Hinchey M, Bowen J, Olderog E-R.  2017.  Provably Correct Systems.
2016
Vassev E, Hinchey M.  2016.  Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innovations in Systems and Software Engineering. 12

Pages

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • next ›

For further information

To find out more information about Lero or if you are interested in engaging with us.
Contact Us
Funded By

footer logo

Quick links
  • Disclaimer
  • Privacy statement
  • Contact us
Stay In Touch
Subscribe to our
newsletter
Follow us

Contact
Tierney Building
University of Limerick
Ireland
Postcode : V94 NYD3
Tel: +353 61 213028 Fax: +353 61 213036 Email: info@lero.ie
euro
euro
euro
euro

Copyright 2019 Lero

logo

Website by: Dara Creative