Research
My colleagues and I have produced a video demonstrating some of my research! View it HERE.
My main research interest lies in the Requirements Engineering field, more specifically in Requirements Modelling. I look at ways in which the requirements for systems that reconfigure themselves at run-time can be modelled. More recently, I've been exploring whether these models could be used by the system itself, at run-time, to guide adaptation.
Publications
2014
“Self-Explanation in Adaptive Systems based on Runtime Goal-based Models” Welsh, K., Bencomo, N., Sawyer, P., Whittle, J., in Transactions on Computational Collective Intelligence XVI. Lecture Notes in Computer Science . Springer, Berlin, pp. 122-145. ISBN 9783662448700 [PDF]
2012
“Run-time model evaluation for requirements model-driven self-adaptation” Welsh, K., Bencomo, N., in proceedings of the 20th IEEE International Conference on Requirements Engineering. Chicago, Illinois, USA, September 24th-28th 2012. [PDF]
“Self-Explanation in Adaptive Sytems” Bencomo, N., Welsh, K., Sawyer, P., Whittle, J., (Best Paper Award) in proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems. Paris, France, July 18th-20th 2012. [PDF]
“The danger of big data: Social media as computational social science” Oboler, A., Welsh, K., Cruz, L., in First Monday 17(7). Jun 2012. [Link]
2011
“Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions” Welsh, K., Sawyer, P., Bencomo, N., in proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering. Lawrence, Kansas, USA, November 6th-10th 2011. [PDF]
“Tracing Requirements for Adaptive Systems using Claims” Welsh, K., Bencomo, N., Sawyer, P., in proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering. Honolulu, Hawaii, USA, May 23rd 2011. [PDF]
2010
"Design-Time and Run-Time Requirements Modelling for Adaptive Systems" Welsh, K. Doctoral Thesis, Lancaster University. Sep 2010. [PDF]
“Deriving Adaptive Behaviour from i* Models”, Welsh, K., Sawyer, P., in proceedings of the Fourth International i* Workshop, Hammammet, Tunisia, June 2010. [PDF]
“Understanding the Scope of Uncertainty in Dynamically Adaptive Systems”, Welsh, K., Sawyer, P., in proceedings of the 16th International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany, June 2010. [PDF]
“Managing Testing Complexity in Dynamically Adaptive Systems”, Welsh, K., Sawyer, P., in proceedings of the First International Workshop on Validation and Verification of Dynamic Software Systems, Paris, France, March 2010 [PDF]
2009
“Requirements Tracing to Support Change in Dynamic Adaptive Systems”, Welsh, K., Sawyer, P., in proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality, Amsterdam, Netherlands, June 2009. [PDF]
2008
“When to Adapt? Identification of Problem Domains for Adaptive Systems”, in proceedings of the 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, Montpellier, France, June 2008 [PDF]