Mike Hinchey

Researcher Next ID · RN-040612

Researcher · Computer Science

Limerick, Ireland

Accepting doctoral researchersFunding unknown

Research interests

Computer Science

Engineering

Advanced Software Engineering Methodologies

Distributed systems and fault tolerance

Service-Oriented Architecture and Web Services

Formal Methods in Verification

Modular Robots and Swarm Intelligence

Proceedings of the 24th Asia-Pacific Software Engineering Conference: APSEC 2017
Deakin Research Online (Deakin University) · 2017
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
Journal of Systems and Software · 2014 · 10.1016/j.jss.2013.12.038
Dynamic Software Product Lines
Computer · 2008 · https://doi.org/10.1109/mc.2008.123
Swarms and Swarm Intelligence
Computer · 2007 · 10.1109/mc.2007.144
NASA's swarm missions: the challenge of building autonomous software
IT Professional · 2004 · 10.1109/mitp.2004.66
Applications of Formal Methods
Prentice Hall PTR eBooks · 1995
Ten commandments of formal methods
Computer · 1995 · https://doi.org/10.1109/2.375178
Seven more myths of formal methods
IEEE Software · 1995 · https://doi.org/10.1109/52.391826

No projects listed.