Dhaminda B. Abeywickrama

38 papers A 1B 4C 3Misc 1Journal 14Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems. CoRR Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis
2025	J	`jnl`	Towards Continuous Assurance with Formal Verification and Assurance Cases. CoRR Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis
2025	B	`conf`	Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots. ICSR Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis
2024	J	`jnl`	A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms. CoRR Dhaminda B. Abeywickrama, Suet Lee, Chris Bennett, Razanne Abu-Aisheh, Tom Didiot-Cook, Simon Jones, Sabine Hauert, Kerstin Eder
2024	J	`jnl`	Engineering Responsible And Explainable Models In Human-Agent Collectives. Appl. Artif. Intell. Dhaminda B. Abeywickrama, Sarvapali D. Ramchurn
2024	J	`jnl`	On Specifying for Trustworthiness. Commun. ACM Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder
2024	—	`conf`	Soft Gripping: Specifying for Trustworthiness. RoboSoft Dhaminda B. Abeywickrama, Nguyen Hao Le, Greg Chance, Peter D. Winter, Arianna Manzini, Alix J. Partridge, Jonathan Ives, John Downer, Graham Deacon, Jonathan Rossiter, Kerstin Eder, Shane Windsor
2023	—	`conf`	AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. SAFECOMP Workshops Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
2023	J	`jnl`	AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. CoRR Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
2023	J	`jnl`	Assessing Trustworthiness of Autonomous Systems. CoRR Gregory Chance, Dhaminda B. Abeywickrama, Beckett LeClair, Owen Kerr, Kerstin Eder
2023	A	`conf`	Emergence of Norms in Interactions with Complex Rewards. AAMAS Dhaminda B. Abeywickrama, Nathan Griffiths, Zhou Xu, Alex Mouzakitis
2023	J	`jnl`	Emergence of norms in interactions with complex rewards. Auton. Agents Multi Agent Syst. Dhaminda B. Abeywickrama, Nathan Griffiths, Zhou Xu, Alex Mouzakitis
2023	J	`jnl`	Soft Gripping: Specifying for Trustworthiness. CoRR Dhaminda B. Abeywickrama, Nguyen Hao Le, Greg Chance, Peter D. Winter, Arianna Manzini, Alix J. Partridge, Jonathan Ives, John Downer, Graham Deacon, Jonathan Rossiter, Kerstin Eder, Shane Windsor
2023	—	`conf`	Trustworthy Swarms. TAS James Wilson, Greg Chance, Peter D. Winter, Suet Lee, Emma Milner, Dhaminda B. Abeywickrama, Shane Windsor, John Downer, Kerstin Eder, Jonathan Ives, Sabine Hauert
2022	J	`jnl`	On Specifying for Trustworthiness. CoRR Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder
2020	J	`jnl`	The SOTA approach to engineering collective adaptive systems. Int. J. Softw. Tools Technol. Transf. Dhaminda B. Abeywickrama, Nicola Bicocchi, Marco Mamei, Franco Zambonelli
2019	B	`conf`	Model Checking Human-Agent Collectives for Responsible AI. RO-MAN Dhaminda B. Abeywickrama, Corina Cîrstea, Sarvapali D. Ramchurn
2018	—	`conf`	Engineering Collectives of Self-driving Vehicles: The SOTA Approach. ISoLA (3) Dhaminda B. Abeywickrama, Marco Mamei, Franco Zambonelli
2017	J	`jnl`	A survey of autonomic computing methods in digital service ecosystems. Serv. Oriented Comput. Appl. Dhaminda B. Abeywickrama, Eila Ovaska
2017	—	`conf`	Reflexive and Evolutional Digital Service Ecosystems with Models at Runtime. MoDELS (Satellite Events) Dhaminda B. Abeywickrama, Eila Ovaska
2016	C	`conf`	ADSEng: a model-based methodology for autonomous digital service engineering. MEDES Dhaminda B. Abeywickrama, Eila Ovaska
2015	Misc	`conf`	Monitoring and visualizing adaptation of autonomic systems at runtime. SAC Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti
2015	—	`ch.`	The E-mobility Case Study. The ASCENS Approach Nicklas Hoch, Henry-Paul Bensler, Dhaminda B. Abeywickrama, Tomás Bures, Ugo Montanari
2015	—	`ch.`	Tools for Ensemble Design and Runtime. The ASCENS Approach Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev
2014	C	`conf`	An Integrated Eclipse Plug-In for Engineering and Implementing Self-Adaptive Systems. WETICE Dhaminda B. Abeywickrama, Nicklas Hoch, Franco Zambonelli
2014	—	`ch.`	Context-Aware Services Engineering for Service-Oriented Architectures. Web Services Foundations Dhaminda B. Abeywickrama
2014	J	`jnl`	Engineering and implementing software architectural patterns based on feedback loops. Scalable Comput. Pract. Exp. Dhaminda B. Abeywickrama, Nicklas Hoch, Franco Zambonelli
2013	—	`conf`	SimSOTA: engineering and simulating feedback loops for self-adaptive systems. C3S2E Dhaminda B. Abeywickrama, Nicklas Hoch, Franco Zambonelli
2012	J	`jnl`	Context-aware services engineering: Models, transformations, and verification. ACM Trans. Internet Techn. Dhaminda B. Abeywickrama, Sita Ramakrishnan
2012	—	`conf`	Model Checking Goal-Oriented Requirements for Self-Adaptive Systems. ECBS Dhaminda B. Abeywickrama, Franco Zambonelli
2012	C	`conf`	SOTA: Towards a General Model for Self-Adaptive Systems. WETICE Dhaminda B. Abeywickrama, Nicola Bicocchi, Franco Zambonelli
2012	—	`conf`	Towards Simulating Architectural Patterns for Self-Aware and Self-Adaptive Systems. SASO Workshops Dhaminda B. Abeywickrama, Franco Zambonelli, Nicklas Hoch
2011	—	`conf`	A Framework for Aspectual Pervasive Software Services Evaluation. ENASE (Selected Papers) Dhaminda B. Abeywickrama, Sita Ramakrishnan
2011	B	`conf`	An Evaluation Framework for Validating Aspectual Pervasive Software Services. ENASE Dhaminda B. Abeywickrama, Sita Ramakrishnan
2011	B	`conf`	Model Checking Aspectual Pervasive Software Services. COMPSAC Dhaminda B. Abeywickrama, Sita Ramakrishnan
2010	—	`conf`	Model-Driven Development of Aspectual Pervasive Software Services. EDOCW Dhaminda B. Abeywickrama, Sita Ramakrishnan
2008	—	`conf`	A model-based approach for engineering pervasive services in SOAs. ICPS Dhaminda B. Abeywickrama, Sita Ramakrishnan
2008	—	`conf`	Pervasive Services Engineering for SOAs. ICSOC PhD Symposium Dhaminda B. Abeywickrama