2023
Incorporating software security: using developer workshops to engage product managers.
Empir. Softw. Eng., 2023
2021
Women's Sense of Belonging in Computer Science Education: The Need for a Collective Response.
Proceedings of the UKICER '21: United Kingdom and Ireland Computing Education Research Conference, Glasgow, UK, September 2, 2021
'It's a Bit Weird, but it's OK'? How Female Computer Science Students Navigate being a Minority.
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021
A Passion for Security: Intervening to Help Software Developers.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021
2020
Interventions for long-term software security: Creating a lightweight program of assurance techniques for developers.
Softw. Pract. Exp., 2020
Increasing academic diversity and inter-disciplinarity of Computer Science in Higher Education.
Proceedings of the CEP 2020: Computing Education Practice 2020, 2020
2019
Using children's literature to introduce computing principles and concepts in primary schools: work in progress.
Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019
Interventions for software security: creating a lightweight program of assurance techniques for developers.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019
2018
Light-Touch Interventions to Improve Software Development Security.
Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018
2017
The Future of the Computing Curriculum: How the Computing Curriculum Instills Values and Subjectivity in Young People.
Int. J. Comput. Sci. Educ. Sch., 2017
2015
Developing Radical-Digital Interventions to Tackle Loneliness Amongst the Elderly.
Proceedings of the Human Aspects of IT for the Aged Population. Design for Everyday Life, 2015
Models and Patterns of Trust.
Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing, 2015
2014
Proceedings of the Computer Supported Cooperative Work, 2014
Rethinking plan A for sustainable HCI.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014
Patterns of persuasion for sustainability.
Proceedings of the Designing Interactive Systems Conference 2014, DIS '14, Vancouver, BC, 2014
2013
Exploring sustainability research in computing: where we are and where we go next.
Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013
2011
Cyber-sustainability: leaving a lasting legacy of human wellbeing.
Proceedings of the 2011 British Computer Society Conference on Human-Computer Interaction, 2011
2009
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition.
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009
2008
Securing aspect composition.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
2007
Policies and conflicts in call control.
Comput. Networks, 2007
2006
A Framework for Policy Driven Auto-adaptive Systems Using Dynamic Framed Aspects.
LNCS Trans. Aspect Oriented Softw. Dev., 2006
Policy support for call control.
Comput. Stand. Interfaces, 2006
2005
Policies for an AOP Based Auto-Adaptive Framework.
Proceedings of the NODe 2005, 2005
Handling Policy Conflicts in Call Control.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005
2003
Separating Interaction Concerns from Distributed Feature Components.
Proceedings of the 2003 Workshop on Software Composition, 2003
Editorial: Aspect-oriented Programming and Separation of Crosscutting Concerns.
Comput. J., 2003
Aspect-Oriented Solutions to Feature Interaction Concerns using AspectJ.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003
2002
Reflection, self-awareness and self-healing in OpenORB.
Proceedings of the First Workshop on Self-Healing Systems, 2002
An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002
A Feature Manager Approach to the Analysis of Component-Interactions.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002
2001
Formal support for dynamic QoS management in the development of open component-based distributed systems.
IEE Proc. Softw., 2001
The Design and Implementation of Open ORB 2.
,
,
,
,
,
,
,
,
,
,
,
IEEE Distributed Syst. Online, 2001
The use of Automata in Modelling and Building a Real-time Component Based System.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001
Feature Interactions Outside a Telecom Domain.
Proceedings of the ECOOP 2001 Workshop on Feature Interaction in Composed Systems (FICS 2001), 2001
2000
Supporting dynamic QoS management functions in a reflective middleware platform.
IEE Proc. Softw., 2000
A Principled Approach to Supporting Adaptation in Distributed Mobile Environments.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms.
Proceedings of the Middleware 2000, 2000
Specification and Analysis of Automata-Based Designs.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
Stochastically Enhanced Timed Automata.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
Feature Interactions - Life Beyond Traditional Telephony.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000
1999
Composition in Multiparadigm Specification Techniques.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
A Tool Suite for Multi-paradigm Specification.
Proceedings of the Fundamental Approaches to Software Engineering, 1999
A Tool Suite to Support Aspect-Oriented Specification.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
1998
The Impact of Aspect-Oriented Programming on Formal Methods.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998
1997
A Specification Architecture for Multimedia Systems in Open Distributed Processing.
Comput. Networks ISDN Syst., 1997
1995
Formal description of distributed multimedia systems: an assessment of potential techniques.
Comput. Commun., 1995
1994
A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation.
Proceedings of the Multimedia Transport and Teleservices, 1994
1993
Time Versus Abstraction in Formal Description.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993