Skip to content

Toggle service links

You are here

  1. Home
  2. Dr Arosha Bandara

Dr Arosha Bandara

Profile summary

  • Central Academic Staff
  • Senior Lecturer in Computing
  • Faculty of Science, Technology, Engineering & Mathematics
  • School of Computing & Communications
  • arosha.bandara

Research interests

My research interests include:

  • Adaptive systems 
  • Analysis and refinement of policies for adaptive systems
  • Software engineering for adaptive systems
  • Adaptive security and privacy 

My research focuses on the addressing the practical problems associated with building and maintaining self- managing (adaptive) systems by combining rigorous formal techniques with concrete implementations and applications of those techniques. My interest in practical applications of formal techniques includes investigation of the usability of technologies that leverage such formalisms. My doctoral research focused on formal ways of refining and analysing the policy rules that govern the behaviour of adaptive systems.  Motivated by the increasing use of mobile computing applications, I have been investigating ways in which machine-learning techniques can improve the privacy management capabilities for users of such applications, work which started in the context of the EPSRC funded PRiMMA project and the Software Engineering for Usable Mobile Privacy Management project, funded by a Microsoft Software Engineering Innovation Foundation award.  Current projects that are pursuing a related research agenda include:

 

Teaching interests

I am interested in computer science education, most recently leading the development of a massive open online course called Introduction to Cyber Security, which is delivered via Futurelearn. I also teach Software Engineering as part of the MSc in Computing programme.

Additionally, I have worked on studying the efficacy of visual programming approaches to teaching entry level computer science.  I was part of the team that developed Sense, a unique ubiquitous computing experimentation kit that allows novice students to build computer programs that interact with the physical world and online information sources

Research Activity

Research groups

NameTypeParent Unit
CRC: Software Engineering and DesignGroupFaculty of Mathematics, Computing and Technology
CRC: Software Engineering and DesignGroupFaculty of Mathematics, Computing and Technology

 

Externally funded projects

STRETCH: Socio-Technical Resilience for Enhancing Targeted Community Healthcare

RoleStart dateEnd dateFunding source
Co-investigator01/Apr/201731/Mar/2020EPSRC (Engineering and Physical Sciences Research Council)
The aim of this project will be to build a dynamic and resilient socio-technical system that sustains care for people with chronic illnesses in old age. Its principle novelty will be the integration of human and technical resources into a single system that will have resilient care at its heart. Resilience will mean both social resilience and technical resilience. To deliver social resilience we will explore how technology can help to harness existing social support as well as building wider social capital around older people. To deliver technical resilience we will design systems that integrate existing technological capacity in novel configurations as well as integrating new sensing / Internet of Things capability. However, the key innovation will be that the integrated socio-technical system will allow for the interchange between human assets and technological assets in the delivery of a resilient care architecture for older people. The system will not seek to replace human resource with a technology derived alternative, but to harness the capacities of all elements of the system in a way that serves the needs of the older person. Sometimes the system will respond to need through mobilising human resources, at other times the same need could be met through technological capability. In that sense, the system will have the needs of the older person at its core.

Publications

Logging you, Logging me: A Replicable Study of Privacy and Sharing Behaviour in Groups of Visual Lifeloggers (2017-06)
Price, Blaine A.; Stuart, Avelie; Calikli, Gul; Mccormick, Ciaran; Mehta, Vikram; Hutton, Luke; Bandara, Arosha K.; Levine, Mark and Nuseibeh, Bashar
Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies, 1, Article 22(2)
Valorising the IoT Databox: creating value for everyone (2017-01)
Perera, Charith; Wakenshaw, Susan Y. L.; Baarslag, Tim; Haddadi, Hamed; Bandara, Arosha K.; Mortier, Richard; Crabtree, Andy; Ng, Irene C. L.; McAuley, Derek and Crowcroft, Jon
Transactions on Emerging Telecommunications Technologies, 28, Article e3125(1)
Visual Simple Transformations: Empowering End-Users to Wire Internet of Things Objects (2017)
Akiki, Pierre A.; Bandara, Arosha K. and Yu, Yijun
Transactions on Computer-Human Interaction ((In Press))
A comparison of MOOC development and delivery approaches (2017)
Smith, Neil; Richards, Michael; Caldwell, Helen and Bandara, Arosha
International Journal of Information and Learning Technology, 34(2) (pp. 152-164)
Feature-driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things (2017)
Bennaceur, Amel; Tun, Thein Than; Bandara, Arosha K.; Yu, Yijun and Nuseibeh, Bashar
ACM Transactions on Cyber-Physical Systems ((In Press))
Engineering Adaptive Model-Driven User Interfaces (2016-12-08)
Akiki, Pierre A.; Bandara, Arosha K. and Yu, Yijun
IEEE Transactions on Software Engineering, 42(12) (pp. 1118-1147)
Protecting Privacy in the Cloud: Current Practices, Future Directions (2016-02-11)
Barhamgi, Mahmoud; Bandara, Arosha K.; Yu, Yijun; Belhajjame, Khalid and Nuseibeh, Bashar
Computer, 49(2) (pp. 68-72)
Adaptive model-driven user interface development systems (2015-03)
Akiki, Pierre A.; Bandara, Arosha K. and Yu, Yijun
ACM Computing Surveys, 47, Article 9(1)
“Why can’t I do that?”: tracing adaptive security decisions (2015-01)
Nhlabatsi, Armstrong; Tun, Thein; Khan, Niamul; Yu, Yijun; Bandara, Arosha; Khan, Khaled M. and Nuseibeh, Bashar
EAI Endorsed Transactions on Self-Adaptive Systems, 1, Article e2(1)
Educating the Internet-of-Things generation (2013-02)
Kortuem, Gerd; Bandara, Arosha; Smith, Neil; Richards, Michael and Petre, Marian
Computer, 46(2) (pp. 53-61)
Analysing monitoring and switching problems for adaptive systems (2012-07-31)
Salifu, Mohammed; Yu, Yijun; Bandara, Arosha K. and Nuseibeh, Bashar
Journal of Systems and Software, 85(12) (pp. 2829-2839)
Commentary on ‘Software architectures and mobility: A roadmap’ (2010)
Wermelinger, Michel and Bandara, Arosha
Journal of Systems and Software, 83(6) (pp. 899-901)
A formal logic approach to firewall packet filtering analysis and generation (2009-06)
Govaerts, John; Bandara, Arosha and Curran, Kevin
Artificial Intelligence Review, 29(3-4) (pp. 223-248)
Policy conflict analysis for diffserv quality of service management (2009)
Charalambides, M.; Flegkas, P.; Pavlou, G.; Rubio-Loyola, J.; Bandara, A. K.; Lupu, E. C.; Russo, A.; Dulay, N. and Sloman, M.
IEEE Transactions on Network and Service Management, 6(1) (pp. 15-30)
Policy refinement for IP differentiated services quality of service management (2006-04)
Bandara, Arosha K.; Lupu, Emil C.; Russo, Alessandra; Dulay, Naranker; Sloman, Morris; Flegkas, Paris; Charalambides, Marinos and Pavlou, George
IEEE Transactions on Network and Service Management, 3(2) (pp. 2-13)
From model-driven software development processes to problem diagnoses at runtime (2014)
Yu, Yijun; Tun, Thein Than; Bandara, Arosha K.; Zhang, Tian and Nuseibeh, Bashar
In: Bencome, Nelly; France, Robert; Cheng, Betty H.C. and Aßmann, Uwe eds. Models@run.time -- Foundations, Applications, and Roadmaps. Lecture Notes in Computer Science (8378) (pp. 188-207)
ISBN : 978-3-319-08914-0 | Publisher : Springer International Publishing | Published : Cham
Security patterns: comparing modeling approaches (2010-10)
Bandara, Arosha; Shinpei, Hayashi; Jurjens, Jan; Kaiya, Haruhiko; Kubo, Atsuto; Laney, Robin; Mouratidis, Haris; Nhlabatsi, Armstrong; Nuseibeh, Bashar; Tahara, Yasuyuki; Tun, Thein; Washizaki, Hironori; Yoshioka, Nobukazi and Yu, Yijun
In: Mouratidis, Haris ed. Software Engineering for Secure Systems: Industrial and Research Perspectives (pp. 75-111)
ISBN : 9781615208371 | Publisher : IGI Global | Published : Hershey, PA
Policy technologies for security management in coalition networks (2010)
Calo, Seraphin B.; Karat, Clare-Marie; Karat, John; Lobo, Jorge; Craven, Robert; Lupu, Emil ; Ma, Jiefei; Russo, Alessandra; Sloman, Morris and Bandara, Arosha
In: Verma, Dinesh ed. Network Science for Military Coalition Operations: Information Exchange and Interaction. Premier Reference Source (pp. 146-173)
ISBN : 9781615208555 | Publisher : IGI Global | Published : Pennsylvania, USA
Policy based management (2008)
Bandara, A. K.; Damianou, N.; Lupu, E. C. and Sloman, M.
In: Bergstra, J. and Burgess, M. eds. Handbook of Network and System Administration (pp. 507-564)
ISBN : 978-0-444-52198-9 | Publisher : Elsevier
Identifying Conflicting Requirements in Systems of Systems (2017-09-04)
Viana, Thiago; Zisman, Andrea and Bandara, Arosha K.
In : IEEE International Requirements Engineering Conference (RE@NEXT) (4-8 Sep 2017)
Enabling End-Users to Protect Their Privacy (2017-04)
Barhamgi, Mahmoud; Yang, Mu; Yu, Chia-Mu; Yu, Yijun; Bandara, Arosha K.; Benslimane, Djamal and Nuseibeh, Bashar
In : ACM on Asia Conference on Computer and Communications Security (ASIACCS) 2017 (2-6 April 2017, Abu Dhabi, UAE) (pp. 905-907)
Towards a Framework for Managing Inconsistencies in Systems of Systems (2016-12)
Viana, Thiago; Bandara, Arosha and Zisman, Andrea
In : Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture (29th November 2016, Copenhagen)
Privacy-by-Design Framework for Assessing Internet of Things Applications and Platforms (2016-11-07)
Perera, Charith; Mccormick, Ciaran; Bandara, Arosha; Price, Blaine and Nuseibeh, Bashar
In : International Conference on the Internet of Things (IOT 2016) (7-9 November 2016, Stuttgart, Germany)
Verifiable Limited Disclosure: Reporting and Handling Digital Evidence in Police Investigations (2016-09-12)
Tun, Thein; Price, Blaine; Bandara, Arosha; Yu, Yijun and Nuseibeh, Bashar
In : iRENIC: 1st International Workshop on Requirements Engineering for Investigating and Countering Crime (12th September 2016, Beijing, China)
Wearables for Physical Privacy (2016-09-12)
Mehta, Vikram; Price, Blaine; Bandara, Arosha and Nuseibeh, Bashar
In : UbiComp 2016 (12-16 Sep 2016, Heidelberg, Germany)
Privacy Dynamics: Learning Privacy Norms for Social Software (2016-05-14)
Calikli, Gul; Law, Mark; Bandara, Arosha K.; Russo, Alesandra; Dickens, Luke; Price, Blaine A.; Stuart, Avelie; Levine, Mark and Nuseibeh, Bashar
In : 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (16-17 May 2016, Austin, Texas, USA) (pp. 47-56)
Privacy Itch and Scratch:
 On Body Privacy Warnings and Controls (2016-05-07)
Mehta, Vikram; Bandara, Arosha; Price, Blaine and Nuseibeh, Bashar
In : ACM Conference on Human Factors in Computing Systems (7-12 May 2016, San Jose, CA)
Managing security control assumptions using causal traceability (2015-07-17)
Nhlabatsi, Armstrong; Yu, Yijun; Zisman, Andrea; Tun, Thein; Khan, Niamul; Bandara, Arosha; Khan, Khaled and Nuseibeh, Bashar
In : 8th International Symposium on Software and Systems Traceability (SST 2015) (17 July 2015, Florence, Italy)
Teaching software systems thinking at The Open University (2015-05)
Wermelinger, Michel; Hall, Jon; Rapanotti, Lucia; Barroca, Leonor; Ramage, Magnus and Bandara, Arosha
In : Joint Software Engineering Education and Training Conference (18-22 May 2015, Florence, Italy) (pp. 307-310)
Adaptive sharing for online social networks: a trade-off between privacy risk and social benefit (2014-09-24)
Yang, Mu; Yu, Yijun; Bandara, Arosha and Nuseibeh, Bashar
In : 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14) (24-26 September 2014, Beijing, China) (pp. 45-52)
Personal Informatics for Non-Geeks: Lessons Learned from Ordinary People (2014-09-13)
Calikli, Gul; Andersen, Mads Schaarup; Bandara, Arosha; Price, Blaine A. and Nuseibeh, Bashar
In : Ubicomp Adjunct 2014 (September 13-17, 2014)., Seattle, WA, USA) (pp. 683-686)
Traceability for adaptive information security in the cloud (2014-06-27)
Nhlabatsi, Armstrong; Tun, Thein; Khan, Niamul; Yu, Yijun; Bandara, Arosha; Khan, Khaled and Nuseibeh, Bashar
In : 7th IEEE International Conference on Cloud Computing (27 June - 2 July 2014, Alaska, USA) (pp. 958-959)
Distilling Privacy Requirements for Mobile Applications (2014-05-31)
Thomas, Keerthi; Bandara, Arosha K.; Price, Blaine A. and Nuseibeh, Bashar
In : 36th International Conference on Software Engineering (ICSE 2014) (31 May-7 June, 2014, Hyderabad, India)
Integrating adaptive user interface capabilities in enterprise applications (2014)
Akiki, Pierre A.; Bandara, Arosha K. and Yu, Yijun
In : 36th International Conference on Software Engineering (ICSE 2014) (31 May-7 June, 2014, Hyderabad, India)
Requirements-driven mediation for collaborative security (2014)
Bennaceur, Amel; Bandara, Arosha; Jackson, Michael; Liu, Wei; Montrieux, Lionel; Tun, Thein; Yu, Yijun and Nuseibeh, Bashar
In : SEAMS'14 - The 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2-3 June 2014, Hyderabad)
RBUIS: simplifying enterprise application user interfaces through engineering role-based adaptive behavior (2013)
Akiki, Pierre; Bandara, Arosha and Yu, Yijun
In : Fifth ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013) (24–27 June 2013, London, UK) (pp. 3-12)
Crowdsourcing user interface adaptations for minimizing the bloat in enterprise applications (2013)
Akiki, Pierre; Bandara, Arosha and Yu, Yijun
In : Fifth ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013) (24–27 June 2013, London, UK)
Cedar Studio: an IDE supporting adaptive model-driven user interfaces for enterprise applications (2013)
Akiki, Pierre; Bandara, Arosha and Yu, Yijun
In : Fifth ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013) (24–27 June 2013, London, UK)
Preserving designer input on concrete user interfaces using constraints while maintaining adaptive behavior (2013)
Akiki, Pierre; Bandara, Arosha and Yu, Yijun
In : 2nd Workshop on Context-Aware Adaptation of Service Front-Ends (CASFE 2013) (24 June 2013, London, UK)
Starting with Ubicomp: using the SenseBoard to introduce computing (2012-02-29)
Richards, Michael; Petre, Marian and Bandara, Arosha
In : 43rd ACM Technical Symposium on Computer Science Education (29 February - 3 March 2012, Raleigh, NC)
Privacy arguments: analysing selective disclosure requirements for mobile applications (2012)
Tun, Thein Than; Bandara, Arosha K.; Price, Blaine A.; Yu, Yijun; Haley, Charles; Omoronyia, Inah and Nuseibeh, Bashar
In : 20th IEEE International Requirements Engineering Conference (24-28 September 2012 , Chicago, Illinois) (pp. 131-140)
Using interpreted runtime models for devising adaptive user interfaces of enterprise applications (2012)
Akiki, Pierre A.; Bandara, Arosha K. and Yu, Yijun
In : 14th International Conference on Enterprise Information Systems (ICEIS 2012) (28 June - 1 July 2012, Wroclaw, Poland)
Towards learning to detect meaningful changes in software (2011-11)
Yu, Yijun; Bandara, Arosha; Tun, Thein Than and Nuseibeh, Bashar
In : Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering (12 November 2011, Lawrence, Kansas) (pp. 51-54)
PrimAndroid: privacy policy modelling and analysis for Android applications (2011-06-07)
Benats, Guillaume; Bandara, Arosha; Yu, Yijun; Colin, Jean-Noel and Nuseibeh, Bashar
In : IEEE International Symposium on Policies for Distributed Systems and Networks (6-8 June 2011, Pisa, Italy)
In the best families: tracking and relationships (2011)
Mancini, Clara; Rogers, Yvonne; Thomas, Keerthi; Joinson, Adam; Price, Blaine; Bandara, Arosha; Jedrzejczyk, Lukasz and Nuseibeh, Bashar
In : 29th International ACM Conference on Human Factors in Computing Systems, ACM CHI 2011 (07-12 May 2011, Vancouver, Canada) (pp. 2419-2428)
“Privacy-shake”: a haptic interface for managing privacy settings in mobile location sharing applications (2010-09)
Jedrzejczyk, Lukasz; Price, Blaine A.; Bandara, Arosha and Nuseibeh, Bashar
In : MobileHCI '10: Proceedings of the 12th International Conference on Human Computer Interaction with Mobile Devices and Services (7-10 September 2010, Libon, Portugal) (pp. 411-412)
On the impact of real-time feedback on users' behaviour in mobile location-sharing applications (2010-07-14)
Jedrzejczyk, Lukasz; Price, Blaine A.; Bandara, Arosha K. and Nuseibeh, Bashar
In : SOUPS '10: Proceedings of the Sixth Symposium on Usable Privacy and Security (14-16 July 2010) (pp. 1-12)
Contravision: Exploring users' reactions to futuristic technology (2010-04-10)
Mancini, Clara; Rogers, Yvonne; Bandara, Arosha; Coe, Tony; Jedrzejczyk, Lukasz; Joinson, Adam; Price, Blaine; Thomas, Keerthi and Nuseibeh, Bashar
In : Proceedings of the 28th International Conference on Human factors in computing systems (10-15 April 2010, Atlanta Georgia, USA) (pp. 153-162)
ContraVision: presenting contrasting visions of future technology (2010-04)
Price, Blaine A.; Mancini, Clara; Rogers, Yvonne; Bandara, Arosha K.; Coe, Tony; Joinson, Adam N.; Lay, Jeffery A. and Nuseibeh, Bashar
In : 28th International Conference on Human Factors in Computing Systems (10-15 Apr 2010, Atlanta, GA, USA) (pp. 4759-4764)
Studying location privacy in mobile applications: 'predator vs. prey' probes (2009-07)
Thomas, Keerthi; Mancini, Clara; Jedrzejczyk, Lukasz; Bandara, Arosha K.; Joinson, Adam; Price, Blaine A.; Rogers, Yvonne and Nuseibeh, Bashar
In : Proceedings of the 5th Symposium on Usable Privacy and Security (15-17 July 2009, California) (pp. 1-1)
Expressive policy analysis with enhanced system dynamicity (2009-03-12)
Craven, Robert; Lobo, Jorge; Lupu, Emil C.; Ma, Jiefei; Russo, Alessandra; Bandara, Arosha K.; Calo, Seraphin and Sloman, Morris
In : ACM Symposium on Information, Computer and Communications Security (ASIACCS 2009) (10-12 March 2009, Sydney, Australia)
From spaces to places: Emerging contexts in mobile privacy (2009)
Mancini, Clara; Thomas, Keerthi; Rogers, Yvonne; Price, Blaine A.; Jedrzejczyk, Lukazs; Bandara, Arosha K.; Joinson, Adam N. and Nuseibeh, Bashar
In : Proceedings of the 11th International conference on Ubiquitous computing (30 Sept - 3 Oct 2009, Orlando, Florida, USA) (pp. 1-10)
Learning rules from user behaviour (2009)
Corapi, Domenico; Ray, Oliver; Russo, Alessandra; Bandara, Arosha and Lupu, Emil
In : Artificial Intelligence Applications and Innovations III: Proceedings of the 5TH IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI '2009) (23-25 April 2009, Thessaloniki, Greece) (pp. 459-468)
A multi-pronged empirical approach to mobile privacy investigation (2009)
Mancini, Clara; Rogers, Yvonne; Jedrzejczyk, Lukasz; Thomas, Keerthi; Price, Blaine; Joinson, Adam; Bandara, Arosha and Nuseibeh, Bashar
In : Workshop on Mobile User Experience Research: Challenges, Methods & Tools. 27th ACM International Conference on Human Factors in Computing Systems, ACM CHI 2009 (4-9 Apr 2009, Boston, USA)
Using argumentation logic for firewall configuration management (2009)
Bandara, A. K.; Kakas, A. C.; Lupu, E. C. and Russo, A.
In : IFIP/IEEE International Symposium on Integrated Network Management (IM '09) (1-5 June 2009, Long Island, USA) (pp. 180-187)
Towards learning privacy policies (2007-06-20)
Bandara, A. K.; Russo, A. and Lupu, E. C.
In : 8th IEEE International Workshop on Policies for Distributed Systems and Networks (13-15 June, Bologna, Italy) (pp. 274-274)
Using Argumentation Logic for Firewall Policy Specification and Analysis (2006-10-15)
Bandara, Arosha K.; Kakas, Antonis; Lupu, Emil C. and Russo, Alessandra
In : 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (23-25 Oct 2006, Dublin, Ireland) (pp. 185-196)
Dynamic policy analysis and conflict resolution for DiffServ quality of service management (2006-04-03)
Charalambides, M.; Flegkas, P.; Pavlou, G.; Rubio-Loyola, J.; Bandara, A. K.; Lupu, E. C.; Russo, A.; Sloman, M. and Dulay, N.
In : 10th IEEE/IFIP Network Operations and Management Symposium (NOMS 2006) (3-7 April 2006, Vancouver, Canada) (pp. 294-304)
Policy refinement for DiffServ quality of service (2005-05-01)
Bandara, Arosha K.; Lupu, Emil C.; Russo, Alessandra; Dulay, Naranker; Sloman, Morris; Flegkas, Paris; Charalambides, Marinos and Pavlou, George
In : 9th IFIP/IEEE International Symposium on Integrated Network Management (15-19 May 2005, Nice, France)
Policy conflict analysis for quality of service management (2005)
Charalambides, M.; Flegkas, P.; Pavlou, G.; Bandara, A. K.; Lupu, E. C.; Russo, A.; Dulav, N.; Sloman, M. and Rubio-Loyola, J.
In : Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (6-8 June 2005, Stockholm, Sweden) (pp. 99-108)
A Goal-based Approach to Policy Refinement (2004-06-07)
Bandara, Arosha; Lupu, Emil C; Moffett, Jonathan and Russo, Alessandra
In : 5th IEEE International Workshop on Policies for Distributed Systems and Networks (7-9 Jun 2004, Yorktown Heights, USA)
Using Event Calculus to Formalise Policy Specification and Analysis (2003-06-25)
Bandara, Arosha; Lupu, Emil C and Russo, Alessandra
In : IEEE 4th International Workshop on Policies for Distributed Systems and Networks (4-6 Jun 2003, Lake Como, Italy)

Meet our Academics

Head and shoulders of male OU academic

In addition to teaching on Open University modules our academics are engaged in ground breaking research that benefits individuals and society.

Request your prospectus

Request a prospectus icon

Explore our qualifications and courses by requesting one of our prospectuses today.

Request prospectus

Are you already an OU student?

Go to StudentHome