Interactive multimedia and learning: Realizing the benefits S Cairncross, M Mannion Innovations in education and teaching international 38 (2), 156-164, 2001 | 449 | 2001 |
Using first-order logic for product line model validation M Mannion International Conference on Software Product Lines, 176-187, 2002 | 342 | 2002 |
Using patterns to model variability in product families B Keepence, M Mannion IEEE software 16 (4), 102-108, 1999 | 185 | 1999 |
Developments in information and communication technologies for retail marketing channels AKJ Barlow, NQ Siddiqui, M Mannion International Journal of retail & distribution management 32 (3), 157-163, 2004 | 167 | 2004 |
SMART requirements M Mannion, B Keepence ACM SIGSOFT Software Engineering Notes 20 (2), 42-47, 1995 | 110 | 1995 |
Design and implementation of a cloud enabled random neural network-based decentralized smart controller with intelligent sensor nodes for HVAC A Javed, H Larijani, A Ahmadinia, R Emmanuel, M Mannion, D Gibson IEEE Internet of Things Journal 4 (2), 393-403, 2016 | 108 | 2016 |
Occupancy detection in non-residential buildings–A survey and novel privacy preserved occupancy monitoring solution J Ahmad, H Larijani, R Emmanuel, M Mannion, A Javed Applied Computing and Informatics 17 (2), 279-295, 2021 | 102 | 2021 |
Reusing single system requirements from application family requirements M Mannion, H Kaindl, J Wheadon, B Keepence Proceedings of the 21st international conference on Software engineering …, 1999 | 94 | 1999 |
A convolutional neural network for pavement surface crack segmentation using residual connections and attention gating J König, MD Jenkins, P Barrie, M Mannion, G Morison 2019 IEEE international conference on image processing (ICIP), 1460-1464, 2019 | 92 | 2019 |
Theorem proving for product line model verification M Mannion, J Camara International Workshop on Software Product-Family Engineering, 211-224, 2003 | 67 | 2003 |
Optimized deep encoder-decoder methods for crack segmentation J König, MD Jenkins, M Mannion, P Barrie, G Morison Digital Signal Processing 108, 102907, 2021 | 62 | 2021 |
An intelligent agent security intrusion system J Pikoulas, W Buchanan, M Mannion, K Triantafyllopoulos Proceedings Ninth Annual IEEE International Conference and Workshop on the …, 2002 | 52 | 2002 |
Using parameters and discriminants for product line requirements M Mannion, H Kaindl Systems engineering 11 (1), 61-80, 2008 | 48 | 2008 |
oriented variability modeling M Mannion, J Savolainen, T Asikainen 2009 33rd Annual IEEE International Computer Software and Applications …, 2009 | 42 | 2009 |
Visualising product line requirement selection decision inter-dependencies D Sellier, M Mannion Second International Workshop on Requirements Engineering Visualization (REV …, 2007 | 36 | 2007 |
Representing requirements on generic software in an application family model M Mannion, O Lewis, H Kaindl, G Montroni, J Wheadon International Conference on Software Reuse, 153-169, 2000 | 36 | 2000 |
Energy demand prediction through novel random neural network predictor for large non-domestic buildings J Ahmad, H Larijani, R Emmanuel, M Mannion, A Javed, M Phillipson 2017 Annual IEEE International Systems Conference (SysCon), 1-6, 2017 | 35 | 2017 |
Using viewpoints to define domain requirements M Mannion, B Keepence, D Harper IEEE software 15 (1), 95-102, 1998 | 32 | 1998 |
How multimedia functions in engineering education S Cairncross, M Mannion Engineering Science & Education Journal 8 (3), 100-106, 1999 | 31 | 1999 |
An agent-based Bayesian forecasting model for enhanced network security J Pikoulas, WJ Buchanan, M Mannion, K Triantafyllopoulos Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001 | 29 | 2001 |