People

Professor Martin Henson

Emeritus Professor
School of Computer Science and Electronic Engineering
Professor Martin Henson

Research and professional activities

Research interests

Formal methods including Logics for Specification, Refinement and Program Development.

Publications

Journal articles (1)

Whittington, L., Dooley, J., Henson, M. and Al-Ghamdi, A., (2013). Towards Realising FollowMe User Profiles for Macro-Intelligent Environments. Computers. 2 (3), 132-151

Books (1)

Henson, M., (1987). Elements of functional languages. Blackwell Scientific Publications, Ltd.. 0-632-01506-3

Book chapters (6)

Dooley, J., Hagras, H., Callaghan, V. and Henson, M., (2013). The Tailored Fabric of Intelligent Environments.. In: Internet of Things and Inter-cooperative Computational Technologies for Collective Intelligence. Editors: Bessis, N., Xhafa, F., Varvarigou, D., Hill, R. and Li, M., . Springer. 321- 344. 978-3-642-34951-5

Henson, M., Dooley, J., Whittington, L. and Al Malaise Al Ghamdi, A., (2012). FollowMe: A Bigraphical Approach. In: Workshop Proceedings of the 8th International Conference on Intelligent Environments. IOS Press. 434- 445. 9781614990796

Whittington, L., Dooley, J., Henson, M. and Al Malaise Al Ghamdi, A., (2012). Towards FollowMe User Profiles for Macro Intelligent Environments. In: Workshop Proceedings of the 8th International Conference on Intelligent Environments. IOS Press. 179- 190. 9781614990796

Henson, M., Dooley, J., Al Malaise Al Ghamdi, A. and Whittington, L., (2012). Towards Simple and Effective Formal Methods for Intelligent Environments. In: Proceedings of the Eighth International Conference on Intelligent Environments. Institute of Electrical and Electronics Engineers (IEEE). 251- 258. 9781467320931

Henson, M., (2009). Applications and Methodology of ?Z. In: Formal Methods: State of the Art and New Directions. Editors: Boca, P., Bowen, JP. and Siddiqi, J., . Springer. 117- 145. 9781848827356

Henson, M., Deutsch, M. and Reeves, S., (2008). Z Logic and Its Applications. In: Logics of Specification Languages. Editors: Henson, M. and Bjorner, D., . Springer. 489- 596. 9783540741060

Conferences (4)

Henson, M., (2014). From specification languages to wide-spectrum logics

Bilgin, A., Dooley, J., Whittington, L., Hagras, H., Henson, M., Wagner, C., Malibari, A., Al-Ghamdi, A., Alhaddad, MJ. and Alghazzawi, D., (2012). Dynamic Profile-Selection for zSlices based type-2 fuzzy agents controlling multi-user Ambient Intelligent Environments

Dooley, J., Henson, M., Callaghan, V., Hagras, H., Al-Ghazzawi, D., Malibari, A., Al-Haddad, M. and Al-Ghamdi, AA-M., (2011). A Formal Model for Space Based Ubiquitous Computing

Dooley, J., Henson, M., Callaghan, V., Hagras, H., Al-Ghazzawi, D., Malibari, A., Al-Haddad, M. and Al-Ghamdi, AA., (2011). A Formal Model for Space Based Ubiquitous Computing

Contact

martin.henson@essex.ac.uk
+44 (0) 1206 872341

Location:

1NW.3.10, Colchester Campus