Mike Mannion
Mike Mannion
Glasgow Caledonian University
No verified email
Cited by
Cited by
Interactive multimedia and learning: Realizing the benefits
S Cairncross, M Mannion
Innovations in education and teaching international 38 (2), 156-164, 2001
Using first-order logic for product line model validation
M Mannion
International Conference on Software Product Lines, 176-187, 2002
Using patterns to model variability in product families
B Keepence, M Mannion
IEEE software 16 (4), 102-108, 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
SMART requirements
M Mannion, B Keepence
ACM SIGSOFT Software Engineering Notes 20 (2), 42-47, 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
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
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
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
Theorem proving for product line model verification
M Mannion, J Camara
International Workshop on Software Product-Family Engineering, 211-224, 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
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
Using parameters and discriminants for product line requirements
M Mannion, H Kaindl
Systems engineering 11 (1), 61-80, 2008
oriented variability modeling
M Mannion, J Savolainen, T Asikainen
2009 33rd Annual IEEE International Computer Software and Applications …, 2009
Visualising product line requirement selection decision inter-dependencies
D Sellier, M Mannion
Second International Workshop on Requirements Engineering Visualization (REV …, 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
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
Using viewpoints to define domain requirements
M Mannion, B Keepence, D Harper
IEEE software 15 (1), 95-102, 1998
How multimedia functions in engineering education
S Cairncross, M Mannion
Engineering Science & Education Journal 8 (3), 100-106, 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
The system can't perform the operation now. Try again later.
Articles 1–20