E-LIB Suche - Ergebnisse für: Abeywickrama, Dhaminda B

1

Soft Gripping: Specifying for Trustworthiness:

, In: 2024 IEEE 7th International Conference on Soft Robotics (RoboSoft),

Abeywickrama, Dhaminda B. ; Le, Nguyen Hao ; Chance, Greg... - p. 565-571 , 2024

Link: https://doi.org/10.1109/..

2

Engineering Responsible And Explainable Models In Human-Age..:

Abeywickrama, Dhaminda B. ; Ramchurn, Sarvapali D.
Applied Artificial Intelligence. 38 (2023) 1 - p. , 2023

Link: https://doi.org/10.1080/..

3

AERoS: Assurance of Emergent Behaviour in Autonomous Roboti..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,

Abeywickrama, Dhaminda B. ; Wilson, James ; Lee, Suet... - p. 341-354 , 2023

Link: https://doi.org/10.1007/..

4

On Specifying for Trustworthiness:

Abeywickrama, Dhaminda B. ; Bennaceur, Amel ; Chance, Greg...
Communications of the ACM. 67 (2023) 1 - p. 98-109 , 2023

Link: https://doi.org/10.1145/..

5

Emergence of norms in interactions with complex rewards:

Abeywickrama, Dhaminda B. ; Griffiths, Nathan ; Xu, Zhou.
Autonomous Agents and Multi-Agent Systems. 37 (2022) 1 - p. , 2022

Link: https://doi.org/10.1007/..

6

The SOTA approach to engineering collective adaptive system:

Abeywickrama, Dhaminda B. ; Bicocchi, Nicola ; Mamei, Marco.
International Journal on Software Tools for Technology Transfer. 22 (2020) 4 - p. 399-415 , 2020

Link: https://doi.org/10.1007/..

7

Model Checking Human-Agent Collectives for Responsible AI:

, In: 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN),

Abeywickrama, Dhaminda B. ; Cirstea, Corina ; Ramchurn, Sarvapali D. - p. 1-8 , 2019

Link: https://doi.org/10.1109/..

8

Engineering Collectives of Self-driving Vehicles: The SOTA ..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science,

Abeywickrama, Dhaminda B. ; Mamei, Marco ; Zambonelli, Franco - p. 79-93 , 2018

Link: https://doi.org/10.1007/..

9

ADSEng : a model-based methodology for autonomous digita..:

, In: Proceedings of the 8th International Conference on Management of Digital EcoSystems,

Abeywickrama, Dhaminda B. ; Ovaska, Eila - p. 34-42 , 2016

Link: https://dl.acm.org/doi/1..

10

A survey of autonomic computing methods in digital service ..:

Abeywickrama, Dhaminda B. ; Ovaska, Eila
Service Oriented Computing and Applications. 11 (2016) 1 - p. 1-31 , 2016

Link: https://doi.org/10.1007/..

11

Monitoring and visualizing adaptation of autonomic systems ..:

, In: Proceedings of the 30th Annual ACM Symposium on Applied Computing,

Abeywickrama, Dhaminda B. ; Serbedzija, Nikola ; Loreti, Michele - p. 1857-1860 , 2015

Link: https://dl.acm.org/doi/1..

12

SimSOTA : engineering and simulating feedback loops for ..:

, In: Proceedings of the International C* Conference on Computer Science and Software Engineering,

Abeywickrama, Dhaminda B. ; Hoch, Nicklas ; Zambonelli, Franco - p. 67-76 , 2013

Link: https://dl.acm.org/doi/1..

13

Context-aware services engineering: Models, transformations..:

Abeywickrama, Dhaminda B. ; Ramakrishnan, Sita
ACM Transactions on Internet Technology. 11 (2012) 3 - p. 1-28 , 2012

Link: https://doi.org/10.1145/..

14

Context-aware services engineering : Models, transformat..:

Abeywickrama, Dhaminda B. ; Ramakrishnan, Sita
ACM Transactions on Internet Technology (TOIT). 11 (2012) 3 - p. 1-28 , 2012

Link: https://dl.acm.org/doi/1..

15

Soft Gripping: Specifying for Trustworthiness:

Abeywickrama, Dhaminda B ; Le, Nguyen Hao ; Chance, Greg...
http://arxiv.org/abs/2307.01159. , 2023

Link: http://arxiv.org/abs/230..