Mark Hennessy

According to our database, Mark Hennessy authored at least 6 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

An Ontology and Integration Framework for Smart Communities.

Shishir Kinkar, Mark Hennessy, Steven Ray

J. Comput. Inf. Sci. Eng., 2016

2013

Sensor Data as a Service - A Federated Platform for Mobile Data-centric Service Development and Sharing.

Jia Zhang, Bob Iannucci, Mark Hennessy, Kaushik Gopal, Sean Xiao, Sumeet Kumar, David Pfeffer, Basmah Aljedia, Yuan Ren, Martin L. Griss, Steven Rosenberg, Jordan Cao, Anthony Rowe

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2008

Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software.

Mark Hennessy, James F. Power

Empir. Softw. Eng., 2008

2006

Ensuring behavioural equivalence in test-driven porting.

Mark Hennessy, James F. Power

Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

2005

An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software.

Mark Hennessy, James F. Power

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2003

gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT.

Mark Hennessy, Brian A. Malloy, James F. Power

Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003