I agree that this site is using cookies. You can find further informations here.
X
Abeywickrama, Dhaminda B
10  results:
Bookchapter (Online) X
Search for persons X
?
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

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/..
 
?
3

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/..
 
?
4

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/..
 
?
5

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..
 
?
6

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..
 
?
7

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..
 
?
8

Trustworthy Swarms:

, In: Proceedings of the First International Symposium on Trustworthy Autonomous Systems,
Wilson, James ; Chance, Greg ; Winter, Peter... - p. 1-11 , 2023
Link: https://dl.acm.org/doi/1..
 
?
9

A model-based approach for engineering pervasive services i..:

, In: Proceedings of the 5th international conference on Pervasive services,
Abeywickrama, Dhaminda ; Ramakrishnan, Sita - p. 57-60 , 2008
Link: https://dl.acm.org/doi/1..
 
?
10

Towards engineering models of aspectual pervasive software ..:

, In: Proceedings of the 3rd ACM workshop on Software engineering for pervasive services,
Abeywickrama, Dhaminda ; Ramakrishnan, Sita - p. 3-8 , 2008
Link: https://dl.acm.org/doi/1..
 
1-10