Arosha K. Bandara

100 papers A* 7A 9B 7Misc 5Journal 32Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Sociotechnical Imaginaries of Responsible Design: A Case for Mitigating Gender-based Online Harm. CHI Extended Abstracts Min Zhang, Arosha K. Bandara, Gordon Rugg, Irum Rauf, Dilrukshi Gamage, Bashar Nuseibeh, Silvia Podestà, Wanling Cai, Sarah Robinson
2025	—	`conf`	Co-creating an Ontology of Online Gender-Based Harms: An Interdisciplinary Perspective. ISWC (2) Miriam Fernández, Alba Catalina Morales Tirado, Ángel Pavón Pérez, Keely Duddin, Min Zhang, Ksenia Bakina, Arosha K. Bandara, Rose Capdevila, Lisa Lazard, Olga Jurasz
2025	A*	`conf`	Labeling Synthetic Content: User Perceptions of Label Designs for AI-Generated Content on Social Media. CHI Dilrukshi Gamage, Dilki Sewwandi, Min Zhang, Arosha K. Bandara
2025	J	`jnl`	Labeling Synthetic Content: User Perceptions of Warning Label Designs for AI-generated Content on Social Media. CoRR Dilrukshi Gamage, Dilki Sewwandi, Min Zhang, Arosha K. Bandara
2025	B	`conf`	Predicting Loneliness Using Machine Learning and Self-Logged Behavioural Data. KES Mohamed Bennasar, Dmitri S. Katz, Avelie Stuart, Amel Bennaceur, Daniel Gooch, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2025	—	`conf`	To Protect & Serve: Enabling Responsible Software Engineering for Online Safety. ResponibleSE@SIGSOFT FSE Min Zhang, Irum Rauf, Arosha K. Bandara
2024	—	`conf`	How Do People Use a Public Gratitude Platform in the Wild? CHI Extended Abstracts Min Zhang, Carlos Arce-Plata, Blaine A. Price, Graham Pike, Zoe Walkington, Camilla Elphick, Lara Frumkin, Richard Philpot, Tina F. Keil, Mark Levine, Avelie Stuart, Bashar Nuseibeh, Arosha K. Bandara
2024	J	`jnl`	Reflections on using the story completion method in designing tangible user interfaces. Int. J. Hum. Comput. Stud. Daniel Gooch, Arosha K. Bandara, Amel Bennaceur, Emilie Giles, Lydia Harkin, Dmitri S. Katz, Mark Levine, Vikram Mehta, Bashar Nuseibeh, Clifford Stevenson, Avelie Stuart, Catherine V. Talbot, Blaine A. Price
2024	A	`conf`	Taming App Reliability: Mobile Analytics "in the wild". EASE Julian Harty, Arosha K. Bandara
2024	A*	`conf`	Understanding Pedestrians' Perception of Safety and Safe Mobility Practices. CHI Min Zhang, Arosha K. Bandara
2023	B	`conf`	A Card-based Ideation Toolkit to Generate Designs for Tangible Privacy Management Tools. TEI Vikram Mehta, Daniel Gooch, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2023	J	`jnl`	Security Responses in Software Development. ACM Trans. Softw. Eng. Methodol. Tamara Lopez, Helen Sharp, Arosha K. Bandara, Thein Tun, Mark Levine, Bashar Nuseibeh
2023	—	`conf`	Socio-Technical Resilience for Community Healthcare. TAS Amel Bennaceur, Avelie Stuart, Blaine A. Price, Arosha K. Bandara, Mark Levine, Linda Clare, Jessica Cohen, Ciaran McCormick, Vikram Mehta, Mohamed Bennasar, Daniel Gooch, Carlos Gavidia-Calderon, Anastasia Kordoni, Bashar Nuseibeh
2023	—	`conf`	Towards a Socio-Technical Understanding of Police-Citizen Interactions. INTERACT (3) Min Zhang, Arosha K. Bandara, Richard Philpot, Avelie Stuart, Zoe Walkington, Camilla Elphick, Lara Frumkin, Graham Pike, Blaine A. Price, Mark Levine, Bashar Nuseibeh
2022	—	`conf`	Attitudes towards Online Community Support Initiatives during the COVID-19 pandemic: A Survey in the UK. CHI Extended Abstracts Min Zhang, Camilla Elphick, Richard Philpot, Zoe Walkington, Lara Frumkin, Blaine A. Price, Graham Pike, Mark Levine, Bashar Nuseibeh, Arosha K. Bandara
2022	J	`jnl`	Evaluating Malware Forensics Tools. CoRR Ian Kennedy, Arosha K. Bandara, Blaine A. Price
2022	J	`jnl`	Significant Features for Human Activity Recognition Using Tri-Axial Accelerometers. Sensors Mohamed Bennasar, Blaine A. Price, Daniel Gooch, Arosha K. Bandara, Bashar Nuseibeh
2021	J	`jnl`	Privacy Care: A Tangible Interaction Framework for Privacy Management. ACM Trans. Internet Techn. Vikram Mehta, Daniel Gooch, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2021	B	`conf`	Up Close & Personal: Exploring User-preferred Image Schemas for Intuitive Privacy Awareness and Control. TEI Vikram Mehta, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh, Daniel Gooch
2020	J	`jnl`	Altruism and anxiety: Engagement with online community support initiatives (OCSIs) during Covid-19 lockdown in the UK and Ireland. CoRR Camilla Elphick, Avelie Stuart, Richard Philpot, Zoe Walkington, Lara Frumkin, Min Zhang, Mark Levine, Blaine A. Price, Graham Pike, Bashar Nuseibeh, Arosha K. Bandara
2020	J	`jnl`	Building trust in digital policing: A scoping review of community policing apps. CoRR Camilla Elphick, Richard Philpot, Min Zhang, Avelie Stuart, Zoe Walkington, Lara Frumkin, Graham Pike, Kelly Gardner, Mark Lacey, Mark Levine, Blaine A. Price, Arosha K. Bandara, Bashar Nuseibeh
2020	—	`conf`	Designing Technologies for Community Policing. CHI Extended Abstracts Min Zhang, Arosha K. Bandara, Blaine A. Price, Graham Pike, Zoe Walkington, Camilla Elphick, Lara Frumkin, Richard Philpot, Mark Levine, Avelie Stuart, Bashar Nuseibeh
2020	J	`jnl`	Designing privacy-aware internet of things applications. Inf. Sci. Charith Perera, Mahmoud Barhamgi, Arosha K. Bandara, Muhammad Ajmal Azad, Blaine A. Price, Bashar Nuseibeh
2020	J	`jnl`	EUD-MARS: End-user development of model-driven adaptive robotics software systems. Sci. Comput. Program. Pierre A. Akiki, Paul A. Akiki, Arosha K. Bandara, Yijun Yu
2020	—	`conf`	Finding & Reviewing Community Policing Apps in Asia. AsianCHI@CHI Min Zhang, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2020	B	`conf`	How are you feeling?: Using Tangibles to Log the Emotions of Older Adults. TEI Daniel Gooch, Vikram Mehta, Blaine A. Price, Ciaran McCormick, Arosha K. Bandara, Amel Bennaceur, Mohamed Bennasar, Avelie Stuart, Linda Clare, Mark Levine, Jessica Cohen, Bashar Nuseibeh
2020	J	`jnl`	Taking the Middle Path: Learning About Security Through Online Social Interaction. IEEE Softw. Tamara Lopez, Thein Than Tun, Arosha K. Bandara, Mark Levine, Bashar Nuseibeh, Helen Sharp
2020	J	`jnl`	Towards Increasing Trust In Expert Evidence Derived From Malware Forensic Tools. CoRR Ian Kennedy, Arosha K. Bandara, Blaine A. Price
2019	—	`conf`	"Hopefully we are mostly secure": views on secure code in professional practice. CHASE@ICSE Tamara Lopez, Helen Sharp, Thein Than Tun, Arosha K. Bandara, Mark Levine, Bashar Nuseibeh
2019	—	`conf`	An anatomy of security conversations in stack overflow. ICSE-SEIS Tamara Lopez, Thein Than Tun, Arosha K. Bandara, Mark Levine, Bashar Nuseibeh, Helen Sharp
2019	—	`book`	Engineering Adaptive Software Systems - Communications of NII Shonan Meetings Engineering Adaptive Software Systems Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh
2019	B	`conf`	Knowledge-Based Architecture for Recognising Activities of Older People. KES Mohamed Bennasar, Blaine A. Price, Avelie Stuart, Daniel Gooch, Ciaran McCormick, Vikram Mehta, Linda Clare, Amel Bennaceur, Jessica Cohen, Arosha K. Bandara, Mark Levine, Bashar Nuseibeh
2019	J	`jnl`	LiveBox: A Self-Adaptive Forensic-Ready Service for Drones. IEEE Access Yijun Yu, Danny Barthaud, Blaine A. Price, Arosha K. Bandara, Andrea Zisman, Bashar Nuseibeh
2019	—	`conf`	Talking about security with professional developers. CESSER-IP@ICSE Tamara Lopez, Helen Sharp, Thein Than Tun, Arosha K. Bandara, Mark Levine, Bashar Nuseibeh
2018	—	`conf`	An investigation of security conversations in stack overflow: perceptions of security and community involvement. SEAD@ICSE Tamara Lopez, Thein Than Tun, Arosha K. Bandara, Mark Levine, Bashar Nuseibeh, Helen Sharp
2018	J	`jnl`	Feature-Driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things. ACM Trans. Cyber Phys. Syst. Amel Bennaceur, Thein Than Tun, Arosha K. Bandara, Yijun Yu, Bashar Nuseibeh
2018	—	`conf`	Requirements and specifications for adaptive security: concepts and analysis. SEAMS@ICSE Thein Than Tun, M. Yang, Arosha K. Bandara, Yijun Yu, Armstrong Nhlabatsi, Niamul Khan, Khaled M. Khan, Bashar Nuseibeh
2017	J	`jnl`	Designing Privacy-aware Internet of Things Applications. CoRR Charith Perera, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2017	A	`conf`	Enabling End-Users to Protect their Privacy. AsiaCCS Mahmoud Barhamgi, Mu Yang, Chia-Mu Yu, Yijun Yu, Arosha K. Bandara, Djamal Benslimane, Bashar Nuseibeh
2017	A	`conf`	Identifying Conflicting Requirements in Systems of Systems. RE Thiago Viana, Andrea Zisman, Arosha K. Bandara
2017	A*	`conf`	Learning to share: engineering adaptive decision-support for online social networks. ASE Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, Bashar Nuseibeh
2017	J	`jnl`	Logging you, Logging me: A Replicable Study of Privacy and Sharing Behaviour in Groups of Visual Lifeloggers. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. Blaine A. Price, Avelie Stuart, Gul Calikli, Ciaran McCormick, Vikram Mehta, Luke Hutton, Arosha K. Bandara, Mark Levine, Bashar Nuseibeh
2017	J	`jnl`	Valorising the IoT Trans. Emerg. Telecommun. Technol. Charith Perera, Susan Wakenshaw, Tim Baarslag, Hamed Haddadi, Arosha K. Bandara, Richard Mortier, Andy Crabtree, Irene C. L. Ng, Derek McAuley, Jon Crowcroft
2017	J	`jnl`	Visual Simple Transformations: Empowering End-Users to Wire Internet of Things Objects. ACM Trans. Comput. Hum. Interact. Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2016	J	`jnl`	Engineering Adaptive Model-Driven User Interfaces. IEEE Trans. Software Eng. Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2016	—	`conf`	Privacy Itch and Scratch: On Body Privacy Warnings and Controls. CHI Extended Abstracts Vikram Mehta, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2016	—	`conf`	Privacy dynamics: learning privacy norms for social software. SEAMS@ICSE Gül Çalikli, Mark Law, Arosha K. Bandara, Alessandra Russo, Luke Dickens, Blaine A. Price, Avelie Stuart, Mark Levine, Bashar Nuseibeh
2016	—	`conf`	Privacy-by-Design Framework for Assessing Internet of Things Applications and Platforms. IOT Charith Perera, Ciaran McCormick, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2016	J	`jnl`	Privacy-by-Design Framework for Assessing Internet of Things Applications and Platforms. CoRR Charith Perera, Ciaran McCormick, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2016	J	`jnl`	Protecting Privacy in the Cloud: Current Practices, Future Directions. Computer Mahmoud Barhamgi, Arosha K. Bandara, Yijun Yu, Khalid Belhajjame, Bashar Nuseibeh
2016	—	`conf`	Towards a framework for managing inconsistencies in systems of systems. SiSoS@ECSA Thiago Viana, Andrea Zisman, Arosha K. Bandara
2016	J	`jnl`	Valorising the IoT Databox: Creating Value for Everyone. CoRR Charith Perera, Susan Wakenshaw, Tim Baarslag, Hamed Haddadi, Arosha K. Bandara, Richard Mortier, Andy Crabtree, Irene C. L. Ng, Derek McAuley, Jon Crowcroft
2016	—	`conf`	Verifiable Limited Disclosure: Reporting and Handling Digital Evidence in Police Investigations. RE Workshops Thein Than Tun, Blaine A. Price, Arosha K. Bandara, Yijun Yu, Bashar Nuseibeh
2016	—	`conf`	Wearables for physical privacy. UbiComp Adjunct Vikram Mehta, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2015	J	`jnl`	"Why can't I do that?": Tracing Adaptive Security Decisions. EAI Endorsed Trans. Self Adapt. Syst. Armstrong Nhlabatsi, Thein Than Tun, Niamul Khan, Yijun Yu, Arosha K. Bandara, Khaled M. Khan, Bashar Nuseibeh
2015	—	`conf`	Managing Security Control Assumptions Using Causal Traceability. SST@ICSE Armstrong Nhlabatsi, Yijun Yu, Andrea Zisman, Thein Than Tun, Niamul Khan, Arosha K. Bandara, Khaled M. Khan, Bashar Nuseibeh
2015	—	`conf`	Teaching Software Systems Thinking at The Open University. ICSE (2) Michel Wermelinger, Jon G. Hall, Lucia Rapanotti, Leonor Barroca, Magnus Ramage, Arosha K. Bandara
2014	J	`jnl`	Adaptive Model-Driven User Interface Development Systems. ACM Comput. Surv. Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2014	B	`conf`	Adaptive Sharing for Online Social Networks: A Trade-off Between Privacy Risk and Social Benefit. TrustCom Mu Yang, Yijun Yu, Arosha K. Bandara, Bashar Nuseibeh
2014	A*	`conf`	Distilling privacy requirements for mobile applications. ICSE Keerthi Thomas, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh
2014	A*	`conf`	Integrating adaptive user interface capabilities in enterprise applications. ICSE Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2014	—	`conf`	Personal informatics for non-geeks: lessons learned from ordinary people. UbiComp Adjunct Gul Calikli, Blaine A. Price, Mads Schaarup Andersen, Bashar Nuseibeh, Arosha K. Bandara
2014	A	`conf`	Requirements-driven mediation for collaborative security. SEAMS Amel Bennaceur, Arosha K. Bandara, Michael Jackson, Wei Liu, Lionel Montrieux, Thein Than Tun, Yijun Yu, Bashar Nuseibeh
2014	—	`conf`	Traceability for Adaptive Information Security in the Cloud. IEEE CLOUD Armstrong Nhlabatsi, Thein Than Tun, Niamul Khan, Yijun Yu, Arosha K. Bandara, Khaled M. Khan, Bashar Nuseibeh
2013	Misc	`conf`	Cedar studio: an IDE supporting adaptive model-driven user interfaces for enterprise applications. EICS Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2013	Misc	`conf`	Crowdsourcing user interface adaptations for minimizing the bloat in enterprise applications. EICS Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2013	J	`jnl`	Educating the Internet-of-Things Generation. Computer Gerd Kortuem, Arosha K. Bandara, Neil Smith, Mike Richards, Marian Petre
2013	—	`conf`	Preserving Designer Input on Concrete User Interfaces Using Constraints While Maintaining Adaptive Behavior. CASFE Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2013	Misc	`conf`	RBUIS: simplifying enterprise application user interfaces through engineering role-based adaptive behavior. EICS Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2012	J	`jnl`	Analysing monitoring and switching problems for adaptive systems. J. Syst. Softw. Mohammed Salifu, Yijun Yu, Arosha K. Bandara, Bashar Nuseibeh
2012	J	`jnl`	Engineering Autonomic Systems (EASy) (NII Shonan Meeting 2012-3). NII Shonan Meet. Rep. Arosha K. Bandara, Shinichi Honiden, Yijun Yu
2012	A	`conf`	Privacy arguments: Analysing selective disclosure requirements for mobile applications. RE Thein Than Tun, Arosha K. Bandara, Blaine A. Price, Yijun Yu, Charles B. Haley, Inah Omoronyia, Bashar Nuseibeh
2012	A	`conf`	Starting with Ubicomp: using the senseboard to introduce computing. SIGCSE Mike Richards, Marian Petre, Arosha K. Bandara
2012	J	`jnl`	Teaching cybersecurity at a distance. Inroads Marian Petre, Arosha K. Bandara, Blaine A. Price
2012	—	`conf`	Using Interpreted Runtime Models for Devising Adaptive User Interfaces of Enterprise Applications. ICEIS (3) Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2011	—	`conf`	From Model-Driven Software Development Processes to Problem Diagnoses at Runtime. [email protected]@Dagstuhl Yijun Yu, Thein Than Tun, Arosha K. Bandara, Tian Zhang, Bashar Nuseibeh
2011	A*	`conf`	In the best families: tracking and relationships. CHI Clara Mancini, Yvonne Rogers, Keerthi Thomas, Adam N. Joinson, Blaine A. Price, Arosha K. Bandara, Lukasz Jedrzejczyk, Bashar Nuseibeh
2011	—	`conf`	PrimAndroid: Privacy Policy Modelling and Analysis for Android Applications. POLICY Guillaume Benats, Arosha K. Bandara, Yijun Yu, Jean-Noël Colin, Bashar Nuseibeh
2010	—	`conf`	"Privacy-shake", : a haptic interface for managing privacy settings in mobile location sharing applications. Mobile HCI Lukasz Jedrzejczyk, Blaine A. Price, Arosha K. Bandara, Bashar Nuseibeh
2010	J	`jnl`	Commentary on 'Software architectures and mobility: A Roadmap'. J. Syst. Softw. Michel Wermelinger, Arosha K. Bandara
2010	—	`conf`	ContraVision: presenting contrasting visions of future technology. CHI Extended Abstracts Blaine A. Price, Clara Mancini, Yvonne Rogers, Arosha K. Bandara, Tony Coe, Adam N. Joinson, Jeffrey A. Lay, Bashar Nuseibeh
2010	A*	`conf`	Contravision: exploring users' reactions to futuristic technology. CHI Clara Mancini, Yvonne Rogers, Arosha K. Bandara, Tony Coe, Lukasz Jedrzejczyk, Adam N. Joinson, Blaine A. Price, Keerthi Thomas, Bashar Nuseibeh
2010	A	`conf`	On the impact of real-time feedback on users' behaviour in mobile location-sharing applications. SOUPS Lukasz Jedrzejczyk, Blaine A. Price, Arosha K. Bandara, Bashar Nuseibeh
2009	A	`conf`	Expressive policy analysis with enhanced system dynamicity. AsiaCCS Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara
2009	Misc	`conf`	From spaces to places: emerging contexts in mobile privacy. UbiComp Clara Mancini, Keerthi Thomas, Yvonne Rogers, Blaine A. Price, Lukasz Jedrzejczyk, Arosha K. Bandara, Adam N. Joinson, Bashar Nuseibeh
2009	Misc	`conf`	Learning Rules from User Behaviour. AIAI Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha K. Bandara, Emil C. Lupu
2009	J	`jnl`	Policy conflict analysis for diffserv quality of service management. IEEE Trans. Netw. Serv. Manag. Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman
2009	A	`conf`	Studying location privacy in mobile applications: 'predator vs. prey' probes. SOUPS Keerthi Thomas, Clara Mancini, Lukasz Jedrzejczyk, Arosha K. Bandara, Adam N. Joinson, Blaine A. Price, Yvonne Rogers, Bashar Nuseibeh
2009	—	`conf`	Using argumentation logic for firewall configuration management. Integrated Network Management Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
2008	J	`jnl`	A formal logic approach to firewall packet filtering analysis and generation. Artif. Intell. Rev. John Govaerts, Arosha K. Bandara, Kevin Curran
2007	—	`ed.`	Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings AIMS Arosha K. Bandara, Mark Burgess
2007	—	`conf`	Towards Learning Privacy Policies. POLICY Arosha K. Bandara, Alessandra Russo, Emil C. Lupu
2006	B	`conf`	Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management. NOMS Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Morris Sloman, Naranker Dulay
2006	J	`jnl`	Policy refinement for IP differentiated services Quality of Service management. IEEE Trans. Netw. Serv. Manag. Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou
2006	—	`conf`	Using Argumentation Logic for Firewall Policy Specification and Analysis. DSOM Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
2005	—	`—`	A formal approach to analysis and refinement of policies. Arosha K. Bandara
2005	—	`conf`	Policy Conflict Analysis for Quality of Service Management. POLICY Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola
2005	—	`conf`	Policy refinement for DiffServ quality of service management. Integrated Network Management Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou
2004	—	`conf`	A Goal-based Approach to Policy Refinement. POLICY Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo
2003	—	`conf`	Using Event Calculus to Formalise Policy Specification and Analysis. POLICY Arosha K. Bandara, Emil Lupu, Alessandra Russo