Found 298 results
Filters: First Letter Of Last Name is B [Clear All Filters]
.
2020.
Software Development. Proceedings of 3rd International Conference on Software DevelopmentProceedings of 3rd International Conference on Software Development.
.
2005. Feed me, Feed me: An Exemplar for Engineering Adaptive Software. 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016)11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016).
.
2016. Feature-Driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things. ACM Transactions Cyber-Physical Systems. 2:21:1–21:25.
.
2018. The Many Facets of Mediation A Requirements-driven Approach for Trading-off Mediation Solutions. {Managing trade-offs in adaptable software architectures}.
.
2016. Modelling and Analysing Resilient Cyber-physical Systems. 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
.
2019. Won't Take No for an Answer: Resource-Driven Requirements Adaptation. 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
.
2019. Values@Runtime: An Adaptive Framework for Operationalising Values. IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Society .
.
2023. Socio-Technical Resilience for Community Healthcare. Proceedings of the First International Symposium on Trustworthy Autonomous Systems.
.
2023. Values@Runtime: An Adaptive Framework for Operationalising Values. 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS).
.
2023. .
2022.
FlowTalk: Language Support for Long-Latency Operations in Embedded Devices. IEEE Transactions on Software Engineering. 37
.
2011. Creating Sophisticated Development Tools with Omnibrowser. Computer Languages, Systems and Structures. 34
.
2008. Stateful traits and their formalisation. Computer Languages, Systems and Structures. 34
.
2008. Classboxes: Supporting Unanticipated Variation Points in the Source Code. Proceedings of 2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE 2007), collocated with the 6th International Conference on Generative Programming and Component Engineering (GPCE 2007).
.
2007. Aspectboxes - Controlling the Visibility of Aspects. International Conference on Software and Data Technologies (ICSOFT 2006)International Conference on Software and Data Technologies (ICSOFT 2006).
.
2006. FacetS: First Class Entities for an Open Dynamic AOP Language. Proceedings of the Open and Dynamic Aspect Languages Workshop.
.
2006. Meta-Driven Browsers, Advances in Smalltalk. 14th International Smalltalk Conference (ISC 2006)14th International Smalltalk Conference (ISC 2006).
.
2006. Prototyping Languages, Related Constructs and Tools with Squeak. Proceedings of the Workshop on Revival of Dynamic Languages (co-located with ECOOP’06).
.
2006. Stateful Traits, Advances in Smalltalk. 14th International Smalltalk Conference (ISC 2006)14th International Smalltalk Conference (ISC 2006).
.
2006. Using higher-order contracts to model session types. Logical Methods in Computer Science. 12
.
2016. Mutually Testing Processes. Logical Methods in Computer Science. 11(2)
.
2015. An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference onEmbedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on.
.
2011. A process algebraic description of a temporal wireless network protocol. Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011).
.
2011.