David Adjepon-Yamoah

Orcid: 0000-0002-9680-3646

According to our database1, David Adjepon-Yamoah authored at least 10 papers between 2015 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Cloud Accountability Method: Towards Accountable Cloud Service-Level Agreements.
Proceedings of Sixth International Congress on Information and Communication Technology, 2021

2019
Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development.
Proceedings of the Software Engineering for Resilient Systems, 2019

2018
A reactive architecture for cloud-based system engineering.
PhD thesis, 2018

2016
Automating Verification of Event-B Models.
CoRR, 2016

Towards Dependable Change Management and Traceability for Global Software Development.
CoRR, 2016

cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures.
Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

Static Verification of Railway Schema and Interlocking Design Data.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Assuring Dependable Cloud-Based System Engineering: A Cloud Accountability Method.
Proceedings of the 12th European Dependable Computing Conference, 2016

Rodin Platform Why3 Plug-In.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
A reactive architecture for cloud-based system engineering.
Proceedings of the 2015 International Conference on Software and System Process, 2015


  Loading...